4
$\begingroup$

I've been reading up on quaternion algebras recently and noticed the vast majority of theorems are contingent on setting the characteristic $p \neq 2$. In particular, this is true for the central theorem that all quaternions over the reals are either isomorphic to the 2x2 real matrix algebra or form division rings.

I'm wondering why this is so: what's so special about the characteristic two that it causes quaternions to "break down" algebraically, so to speak?

Dually, are there any concrete examples that can help illustrate why characteristic two is such an anomaly in so far as quaternion algebras are concerned?

Thanks!

$\endgroup$
  • 3
    $\begingroup$ Well in characteristic 2, $ij=-ij=ji$, so the standard quaternion algebra $\Bbb F_2[Q_8]$ is actually commutative. $\endgroup$ – PVAL-inactive Mar 21 '15 at 1:09
  • $\begingroup$ @pval the first half of the comment is just fine, but in the last half, the group algebra over the quaternion group is quite different from what I think the OP is referring to $\endgroup$ – rschwieb Mar 21 '15 at 3:01
  • $\begingroup$ @rschwieb I'm somewhat rusty on this stuff. I meant the usual quaternions and I guess labeling them as a group algebra gives a different meaning to $-1$ $\endgroup$ – PVAL-inactive Mar 21 '15 at 3:25
  • $\begingroup$ @pval yes, right. At any rate, the group algebra is 8 dimensional while the quaternion algebras are 4 dimensional. And group algebras almost always have a nontrivial ideal :) $\endgroup$ – rschwieb Mar 21 '15 at 3:28
1
$\begingroup$

GROVE attributes these to Huppert in lecture notes 1968/69. This is on page 120. With a field $F$ of characteristic 2, choose any two elements $a,b \in F,$ create a four dimensional vector space with basis $1,i,j,k,$ and create an associative algebra with this multiplication table:

$$ \begin{array}{c|ccc|} & i & j & k \\ \hline i & a & k & aj \\ j & 1+k & b & bi + j \\ k & i + aj & bi & ab + k \\ \hline \end{array} $$

Grove has three chapters about characteristic 2; this chapter is about Clifford algebras.

$\endgroup$
1
$\begingroup$

The quaternion algebras are in the family of Weyl algebras, who, like their counterparts called Clifford algebras, are intertwined with geometry through bilinear forms.

Basically, geometry of planes for characteristic 2 fields is pathological compared to other fields. For one thing, symmetric and antisymmetric forms are the same thing over characteristic 2 fields. And the connection between bilinear forms and quadratic forms isn't as strong anymore.

So that is my case: it is related to geometry of planes, and planes over characteristic 2 fields misbehave.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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