Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Assume F is a field of characteristic different than 2. Let a, b be invertible elements in F, and let A(a,b) be the generalised quaternions. Using the Artin–Wedderburn theorem, there is a representation of A(a,b) over F. I found a representation as Q8 but it's not over F. So, how to find a representation as matrices over F?

share|improve this question

closed as off-topic by Johannes Hahn, abx, Alex Degtyarev, Suvrit, Stefan Kohl Mar 3 at 21:27

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Johannes Hahn, abx, Alex Degtyarev, Suvrit, Stefan Kohl
If this question can be reworded to fit the rules in the help center, please edit the question.

3  
Have you looked at en.wikipedia.org/wiki/Quaternion_algebra ? –  S. Carnahan Jun 1 '13 at 22:38

2 Answers 2

You could take the regular representation (left multiplication on $A$). So if $x^2 = a, y^2 = b$ then taking a basis $\{1,x,y,xy\}$ of $A$, $x$ would be represented by the matrix $$\left( \begin{array}{cccc} 0 & a & 0 & 0 \cr 1 & 0 & 0 & 0 \cr 0 & 0 & 0 & a \cr 0 & 0 & 1 & 0 \end{array} \right), $$ etc.

share|improve this answer
    
But Artin–Wedderburn theorem claim that there is 2*2 matrix over F exists. –  Andrew Jun 1 '13 at 12:52
1  
The Artin-Wedderburn theorem doesn't claim there is a representation as 2 x 2 matrices. Take Hamilton's quaternions $A(-1,-1)$ with $F = {\mathbf R}$. The usual representation with matrices uses 4 x 4 real matrices or 2 x 2 complex matrices. –  KConrad Jun 1 '13 at 12:57
    
ok, how to represent generalised quaternions A(a,b) using 2*2 matrices? I need this, cuz I want to prove isomorphism between generalised quaternions over F and matrix 2*2 over F. Thanks! –  Andrew Jun 1 '13 at 13:04
    
can we choose subfield closed so q^2=-a and p^2=-b hence we have representation i=((q,0),(0,-q)) and j=((0,p),(-p,0))? –  Andrew Jun 1 '13 at 13:12
2  
An isomorphism between the generalized quaternion algebra $(a,b)_F$ and $M_2(F)$ only exists if the the form $x^2-ay^2-bz^2+abt^2$ has a nontrivial zero. –  Name Jun 1 '13 at 14:00

You need a (necessarily non-central) sub-field $K$ of your quaternions $Q$, of degree $2$ over the center $k$ of the quaternions. Then there is a representation of $Q$ as $2$-by-$2$ matrices over $K$, by choosing any $K$-basis of $Q$...

share|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.