PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] composition algebras over finite fields (Theorem)
Theorem 1   There are 5 non-isomorphic composition algebras over a finite field $k$ of characteristic not 2, 2 division algebras and 3 split algebras.
  1. The field $k$ .
  2. The unique quadratic extension field $K/k$ .
  3. The exchange algebra: $k\oplus k$ .
  4. $2\times 2$ matrices over $k$ : $M_2(k)$ .
  5. The split Cayley algebra.
Proof. Following Hurwitz's theorem every composition algebra is given by the Cayley-Dickson construction and has dimension 1,2, 4 or 8. Now we consider the possible non-degenerate quadratic forms of these dimensions.

Since every anisotropic 2 space corresponds to a quadratic field extension, and our field is finite, it follows that there is at most one anisotropic 2 subspace of our quadratic form. Therefore if $\dim C>2$ then the quadratic form is isotropic and so the algebra is a split. Therefore in the Cayley-Dickson construction over a finite field there every quaternion algebra is split, thus $M_2(k)$ . To build the non-associative division Cayley algebra of dimension 8 requires we start the Cayley-Dickson construction with a division ring which is not a field, and thus there are no Cayley division algebras over finite fields. $ \qedsymbol$

This result also can be seen as a consequence of Wedderburn's theorem that every finite division ring is a field. Likewise, a theorem of Artin and Zorn asserts that every finite alternative division ring is in fact associative, thus excluding the Cayley algebras in a fashion similar to how Wedderburn's theorem excludes division quaternion algebras.




"composition algebras over finite fields" is owned by Algeboy.
(view preamble | get metadata)

View style:

See Also: Hurwitz's theorem, Jacobson's theorem on composition algebras


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: similar, associative, theorem, Wedderburn's theorem, consequence, division ring, division, non-associative, quaternion algebra, quadratic form, subspace, finite, extension, quadratic field, non-degenerate quadratic forms, dimension, Cayley-Dickson construction, Hurwitz's theorem, Cayley algebra, matrices, algebra, quadratic extension, field, algebras, division algebras, characteristic, finite field, composition algebras

This is version 6 of composition algebras over finite fields, born on 2007-06-23, modified 2007-12-15.
Object id is 9655, canonical name is CompositionAlgebrasOverFiniteFields.
Accessed 733 times total.

Classification:
AMS MSC17A75 (Nonassociative rings and algebras :: General nonassociative rings :: Composition algebras)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)