Hurwitz’s theorem on composition algebras
Theorem 1 (Hurwitz).
[1, Theorem 3.25]Given a field of characteristic not , then every unital composition algebra over is isomorphic to one of:
- 1.
,
- 2.
for ,
- 3.
for ,
- 4.
for .
In particular, all composition algebras over are finite dimensional and of dimension, , or .
References
- 1 Richard D. Schafer, An introduction to nonassociative algebras, Pure andApplied Mathematics, Vol. 22, Academic Press, New York, 1966.