Octonion algebra

In mathematics, an octonion algebra or Cayley algebra over a field F is a composition algebra over F that has dimension 8 over F. In other words, it is a unital non-associative algebra A over F with a non-degenerate quadratic form N (called the norm form) such that for all x and y in A. The most well-known example of an octonion algebra is 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. The algebra of bioctonions is the octonion algebra over the complex numbers C. The octonion algebra for N is a division algebra if and only if the form N is anisotropic. A split octonion algebra is one for which the quadratic form N is isotropic (i.e., there exists a non-zero 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 non-associative. They are, however, alternative algebras, alternativity being a weaker form of associativity. Moreover, the Moufang identities hold in any octonion algebra. It follows that the invertible elements in any octonion algebra form a Moufang loop, as do the elements of unit norm. The construction of general octonion algebras over an arbitrary field k was described by Leonard Dickson in his book Algebren und ihre Zahlentheorie (1927) (Seite 264) and repeated by Max Zorn. The product depends on selection of a γ from k. Given q and Q from a quaternion algebra over k, the octonion is written q + Qe. Another octonion may be written r + Re. Then with * denoting the conjugation in the quaternion algebra, their product is Zorn’s German language description of this Cayley–Dickson construction contributed to the persistent use of this eponym describing the construction of composition algebras.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (1)

Related concepts (6)

On Hermitian Pfister Forms

Let K be a field of characteristic different from 2. It is known that a quadratic Pfister form over K is hyperbolic once it is isotropic. It is also known that the dimension of an anisotropic quadratic form over K belonging to a given power of the fundamen ...

2008

Division algebra

In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible. Formally, we start with a non-zero algebra D over a field. We call D a division algebra if for any element a in D and any non-zero element b in D there exists precisely one element x in D with a = bx and precisely one element y in D such that a = yb.

Split-octonion

In mathematics, the split-octonions are an 8-dimensional nonassociative algebra over the real numbers. Unlike the standard octonions, they contain non-zero elements which are non-invertible. Also the signatures of their quadratic forms differ: the split-octonions have a split signature (4,4) whereas the octonions have a positive-definite signature (8,0). Up to isomorphism, the octonions and the split-octonions are the only two 8-dimensional composition algebras over the real numbers.

Moufang loop

In mathematics, a Moufang loop is a special kind of algebraic structure. It is similar to a group in many ways but need not be associative. Moufang loops were introduced by . Smooth Moufang loops have an associated algebra, the Malcev algebra, similar in some ways to how a Lie group has an associated Lie algebra. A Moufang loop is a loop that satisfies the four following equivalent identities for all , , in (the binary operation in is denoted by juxtaposition): These identities are known as Moufang identities.