Octonion algebra

Octonion algebra

In mathematics, an octonion algebra over a field F is an algebraic structure which is an 8-dimensional composition algebra over F. In other words, it is a unital nonassociative algebra A over F with a nondegenerate quadratic form N (called the norm form) such that

N(xy) = N(x)N(y)

for all x and y in A.

The most well-known example of an octonion algebra are the classical octonions, which are an octonion algebra over R, the field of real numbers. The split-octonions also form an octonion algebra over R. Up to R-algebra isomorphism, these are the only octonion algebras over the reals.

A split octonion algebra is one for which the quadratic form N is isotropic (i.e. there exists a vector x with N(x) = 0). Up to F-algebra isomorphism, there is a unique split octonion algebra over any field F. When F is algebraically closed or a finite field, these are the only octonion algebras over F.

Octonion algebras are always nonassociative. They are however alternative algebras (a weaker form of associativity). Moreover, the Moufang identities hold in any octonion algebra. It follows that the set of invertible elements in any octonion algebra form a Moufang loop, as do the subset of unit norm elements.


It is a theorem of Adolf Hurwitz that the F-isomorphism classes of the norm form are in one-to-one correspondence with the isomorphism classes of octonion F-algebras. Moreover, the possible norm forms are exactly the Pfister 3-forms over F.

Since any two octonion F-algebras become isomorphic over the algebraic closure of F, one can apply the ideas of non-abelian Galois cohomology. In particular, by using the fact that the automorphism group of the split octonions is the split algebraic group G2, one sees the correspondence of isomorphism classes of octonion F-algebras with isomorphism classes of G2-torsors over F. These isomorphism classes form the non-abelian Galois cohomology set H1(F,G2).

See also


  • Springer, T. A.; F. D. Veldkamp (2000). Octonions, Jordan Algebras and Exceptional Groups. Springer-Verlag. ISBN 3-540-66337-1. 
  • Serre, J. P. (2002). Galois Cohomology. Springer-Verlag. 

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Octonion — In mathematics, the octonions are a normed division algebra over the real numbers, usually represented by the capital letter O, using boldface O or blackboard bold . There are only four such algebras, the other three being the real numbers R, the …   Wikipedia

  • Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… …   Wikipedia

  • *-algebra — * ring= In mathematics, a * ring is an associative ring with a map * : A rarr; A which is an antiautomorphism, and an involution.More precisely, * is required to satisfy the following properties: * (x + y)^* = x^* + y^* * (x y)^* = y^* x^* * 1^* …   Wikipedia

  • Octonión — Los octoniones son la extensión no asociativa de los cuaterniones. Fueron descubiertos por John T. Graves en 1843, e independientemente por Arthur Cayley, quien lo publicó por primera vez en 1845. Son llamados, a veces números de Cayley. Los… …   Wikipedia Español

  • Split-octonion — In mathematics, the split octonions are a nonassociative extension of the quaternions (or the split quaternions). They differ from the octonions in the signature of quadratic form: the split octonions have a split signature (4,4) whereas the… …   Wikipedia

  • Quaternion algebra — In mathematics, a quaternion algebra over a field, F , is a particular kind of central simple algebra, A , over F , namely such an algebra that has dimension 4, and therefore becomes the 2 times;2 matrix algebra over some field extension of F ,… …   Wikipedia

  • Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… …   Wikipedia

  • Alternative algebra — In abstract algebra, an alternative algebra is an algebra in which multiplication need not be associative, only alternative. That is, one must have *x(xy) = (xx)y *(yx)x = y(xx)for all x and y in the algebra. Every associative algebra is… …   Wikipedia

  • Composition algebra — In mathematics, a composition algebra A over a field K is a unital (but not necessarily associative) algebra over K together with a nondegenerate quadratic form N which satisfies for all x and y in A.  The quadratic form N is often referred… …   Wikipedia

  • Albert algebra — In mathematics, an Albert algebra is a 27 dimensional exceptional Jordan algebra. They are named after Abraham Adrian Albert, who pioneered the study of non associative algebras, usually working over the real numbers. Over the real numbers, there …   Wikipedia