# .

# 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 \mathbb O. There are only four such algebras, the other three being the real numbers R, the complex numbers C, and the quaternions H. The octonions are the largest such algebra, with eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity, namely they are alternative.

Octonions are not as well known as the quaternions and complex numbers, which are much more widely studied and used. Despite this, they have some interesting properties and are related to a number of exceptional structures in mathematics, among them the exceptional Lie groups. Additionally, octonions have applications in fields such as string theory, special relativity, and quantum logic.

The octonions were discovered in 1843 by John T. Graves, inspired by his friend William Hamilton's discovery of quaternions. Graves called his discovery octaves, and mentioned them in a letter to Hamilton dated 16 December 1843, but his first publication of his result in (Graves 1845) was slightly later than Cayley's article on them. The octonions were discovered independently by Arthur Cayley[1] and are sometimes referred to as Cayley numbers or the Cayley algebra. Hamilton (1848) described the early history of Graves' discovery.

Definition

The octonions can be thought of as octets (or 8-tuples) of real numbers. Every octonion is a real linear combination of the unit octonions:

\( \{e_0, e_1, e_2, e_3, e_4, e_5, e_6, e_7\},\, \)

where e0 is the scalar or real element; it may be identified with the real number 1. That is, every octonion x can be written in the form

\( x = x_0e_0 + x_1e_1 + x_2e_2 + x_3e_3 + x_4e_4 + x_5e_5 + x_6e_6 + x_7e_7,\, \)

with real coefficients {xi}.

Addition and subtraction of octonions is done by adding and subtracting corresponding terms and hence their coefficients, like quaternions. Multiplication is more complex. Multiplication is distributive over addition, so the product of two octonions can be calculated by summing the product of all the terms, again like quaternions. The product of each term can be given by multiplication of the coefficients and a multiplication table of the unit octonions, like this one:[2]

× | e_{0} |
e_{1} |
e_{2} |
e_{3} |
e_{4} |
e_{5} |
e_{6} |
e_{7} |
---|---|---|---|---|---|---|---|---|

e_{0} |
e_{0} |
e_{1} |
e_{2} |
e_{3} |
e_{4} |
e_{5} |
e_{6} |
e_{7} |

e_{1} |
e_{1} |
−e_{0} |
e_{3} |
−e_{2} |
e_{5} |
−e_{4} |
−e_{7} |
e_{6} |

e_{2} |
e_{2} |
−e_{3} |
−e_{0} |
e_{1} |
e_{6} |
e_{7} |
−e_{4} |
−e_{5} |

e_{3} |
e_{3} |
e_{2} |
−e_{1} |
−e_{0} |
e_{7} |
−e_{6} |
e_{5} |
−e_{4} |

e_{4} |
e_{4} |
−e_{5} |
−e_{6} |
−e_{7} |
−e_{0} |
e_{1} |
e_{2} |
e_{3} |

e_{5} |
e_{5} |
e_{4} |
−e_{7} |
e_{6} |
−e_{1} |
−e_{0} |
−e_{3} |
e_{2} |

e_{6} |
e_{6} |
e_{7} |
e_{4} |
−e_{5} |
−e_{2} |
e_{3} |
−e_{0} |
−e_{1} |

e_{7} |
e_{7} |
−e_{6} |
e_{5} |
e_{4} |
−e_{3} |
−e_{2} |
e_{1} |
−e_{0} |

Most off-diagonal elements of the table are antisymmetric, making it almost a skew-symmetric matrix except for the elements on the main diagonal, as well as the row and column for which e0 is an operand.

The table can be summarized by the relations:[3]

\( e_i e_j = - \delta_{ij}e_0 + \varepsilon _{ijk} e_k,\, \)

where \varepsilon _{ijk} is a completely antisymmetric tensor with value +1 when ijk = 123, 145, 176, 246, 257, 347, 365, and:

\( e_ie_0 = e_0e_i = e_i;\,\,\,\,e_0e_0 = e_0,\, \)

with e0 the scalar element, and i, j, k = 1 ... 7.

The above definition though is not unique, but is only one of 480 possible definitions for octonion multiplication with e0 = 1. The others can be obtained by permuting and changing the signs of the non-scalar basis elements. The 480 different algebras are isomorphic, and there is rarely a need to consider which particular multiplication rule is used. Each of these 480 definitions is invariant up to signs under some 7-cycle of the points (1234567), and for each 7-cycle there are four definitions, differing by signs and reversal of order. A common choice is to use the definition invariant under the 7-cycle (1234567) with e1e2 = e4 as it is particularly easy to remember the multiplication. A variation of this sometimes used is to label the elements of the basis by the elements ∞, 0, 1, 2, ..., 6, of the projective line over the finite field of order 7. The multiplication is then given by e∞ = 1 and e1e2 = e4, and all expressions obtained from this by adding a constant (mod 7) to all subscripts: in other words using the 7 triples (124) (235) (346) (450) (561) (602) (013). These are the nonzero codewords of the quadratic residue code of length 7 over the field of 2 elements. There is a symmetry of order 7 given by adding a constant mod 7 to all subscripts, and also a symmetry of order 3 given by multiplying all subscripts by one of the quadratic residues 1, 2, 4 mod 7.[4][5]

The multiplication table can be given in terms of the following 7 quaternionic triples (omitting the identity element): (Ijk), (iJk), (ijK), (IJK), (Iim), (Jjm), (Kkm) in which the lowercase items are vectors (mathematics and physics) and the uppercase ones are bivectors.

Cayley–Dickson construction

A more systematic way of defining the octonions is via the Cayley–Dickson construction. Just as quaternions can be defined as pairs of complex numbers, the octonions can be defined as pairs of quaternions. Addition is defined pairwise. The product of two pairs of quaternions (a, b) and (c, d) is defined by

\( \ (a,b)(c,d)=(ac-d^{*}b,da+bc^{*}) \)

where z^{*} denotes the conjugate of the quaternion z. This definition is equivalent to the one given above when the eight unit octonions are identified with the pairs

(1,0), (i,0), (j,0), (k,0), (0,1), (0,i), (0,j), (0,k)

Fano plane mnemonic

A mnemonic for the products of the unit octonions.[6]

A convenient mnemonic for remembering the products of unit octonions is given by the diagram at the right, which represents the multiplication table of Cayley and Graves.[2][7] This diagram with seven points and seven lines (the circle through 1, 2, and 3 is considered a line) is called the Fano plane. The lines are oriented. The seven points correspond to the seven standard basis elements of Im(O) (see definition below). Each pair of distinct points lies on a unique line and each line runs through exactly three points.

Let (a, b, c) be an ordered triple of points lying on a given line with the order specified by the direction of the arrow. Then multiplication is given by

ab = c and ba = −c

together with cyclic permutations. These rules together with

1 is the multiplicative identity,

ei2 = −1 for each point in the diagram

completely defines the multiplicative structure of the octonions. Each of the seven lines generates a subalgebra of O isomorphic to the quaternions H.

Conjugate, norm, and inverse

The conjugate of an octonion

\( x = x_0\,e_0 + x_1\,e_1 + x_2\,e_2 + x_3\,e_3 + x_4\,e_4 + x_5\,e_5 + x_6\,e_6 + x_7\,e_7 \)

is given by

\( x^* = x_0\,e_0 - x_1\,e_1 - x_2\,e_2 - x_3\,e_3 - x_4\,e_4 - x_5\,e_5 - x_6\,e_6 - x_7\,e_7. \)

Conjugation is an involution of O and satisfies (xy)* = y* x* (note the change in order).

The real part of x is given by

\( \frac{x + x^*}{2} = x_0\,e_0 \)

and the imaginary part by

\( \frac{x - x^*}{2} = x_1\,e_1 + x_2\,e_2 + x_3\,e_3 + x_4\,e_4 + x_5\,e_5 + x_6\,e_6 + x_7\,e_7. \)

The set of all purely imaginary octonions span a 7 dimension subspace of O, denoted Im(O).

Conjugation of octonions satisfies the equation

\( x^* =-\frac{1}{6} (x+(e_1x)e_1+(e_2x)e_2+(e_3x)e_3+(e_4x)e_4+(e_5x)e_5+(e_6x)e_6+(e_7x)e_7). \)

The product of an octonion with its conjugate, x* x = x x*, is always a nonnegative real number:

\( x^*x = x_0^2 + x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 + x_6^2 + x_7^2. \)

Using this the norm of an octonion can be defined, as

\( \|x\| = \sqrt{x^*x}. \)

This norm agrees with the standard Euclidean norm on R8.

The existence of a norm on O implies the existence of inverses for every nonzero element of O. The inverse of x ≠ 0 is given by

x^{-1} = \frac {x^*}{\|x\|^2}. \)

It satisfies x x−1 = x−1 x = 1.

Properties

Octonionic multiplication is neither commutative:

\( e_ie_j = -e_je_i \neq e_je_i\, if i, j \) are distinct and non-zero,

nor associative:

\( (e_ie_j)e_k = -e_i(e_je_k) \neq e_i(e_je_k)\, if i, j, k \) are distinct, non-zero or if \( e_ie_j \neq\pm e_k. \)

The octonions do satisfy a weaker form of associativity: they are alternative. This means that the subalgebra generated by any two elements is associative. Actually, one can show that the subalgebra generated by any two elements of O is isomorphic to R, C, or H, all of which are associative. Because of their non-associativity, octonions don't have matrix representations, unlike quaternions.

The octonions do retain one important property shared by R, C, and H: the norm on O satisfies

\|xy\| = \|x\|\|y\|

This implies that the octonions form a nonassociative normed division algebra. The higher-dimensional algebras defined by the Cayley–Dickson construction (e.g. the sedenions) all fail to satisfy this property. They all have zero divisors.

Wider number systems exist which have a multiplicative modulus (e.g. 16 dimensional conic sedenions). Their modulus is defined differently from their norm, and they also contain zero divisors.

It turns out that the only normed division algebras over the reals are R, C, H, and O. These four algebras also form the only alternative, finite-dimensional division algebras over the reals (up to isomorphism).

Not being associative, the nonzero elements of O do not form a group. They do, however, form a loop, indeed a Moufang loop.

Commutator and cross product

The commutator of two octonions x and y is given by

\( [x, y] = xy - yx.\, \)

This is antisymmetric and imaginary. If it is considered only as a product on the imaginary subspace Im(O) it defines a product on that space, the seven-dimensional cross product, given by

\( x \times y = \frac{1}{2}(xy - yx). \)

Like the cross product in three dimensions this is a vector orthogonal to x and y with magnitude

\( \|x \times y\| = \|x\| \|y\| \sin \theta. \)

But like the octonion product it is not uniquely defined. Instead there are many different cross products, each one dependent on the choice of octonion product.[8]

Automorphisms

An automorphism, A, of the octonions is an invertible linear transformation of O which satisfies

\( A(xy) = A(x)A(y).\, \)

The set of all automorphisms of O forms a group called G2.[9] The group G2 is a simply connected, compact, real Lie group of dimension 14. This group is the smallest of the exceptional Lie groups and is isomorphic to the subgroup of Spin(7) that preserves any chosen particular vector in its 8-dimensional real spinor representation. The group Spin (7) is in turn a subgroup of the group of isotopies described below.

See also: PSL(2,7) - the automorphism group of the Fano plane.

Isotopies

An isotopy of an algebra is a triple of bijective linear maps a, b, c such that if xy=z then a(x)b(y)=c(z). For a=b=c this is the same as an automorphism. The isotopy group of an algebra is the group of all isotopies, which contains the group of automorphisms as a subgroup.

The isotopy group of the octonions is the group Spin8(R), with a, b, and c acting as the three 8-dimensional representations.[10] The subgroup of elements where c fixes the identity is the subgroup Spin7(R), and the subgroup where a, b, and c all fix the identity is the automorphism group G2.

Integral octonions

There are several natural ways to choose an integral form of the octonions. The simplest is just to take the octonions whose coordinates are integers. This gives a nonassociative algebra over the integers called the Gravesian octonions. However it is not a maximal order, and there are exactly 7 maximal orders containing it. These 7 maximal orders are all equivalent under automorphisms. The phrase "integral octonions" usually refers to a fixed choice of one of these seven orders.

These maximal orders were constructed by Kirmse (1925), Dickson and Bruck as follows. Label the 8 basis vectors by the points of the projective plane over the field with 7 elements. First form the "Kirmse integers" : these consist of octonions whose coordinates are integers or half integers, and that are half odd integers on one of the 16 sets

∅ (∞124) (∞235) (∞346) (∞450) (∞561) (∞602) (∞013) (∞0123456) (0356) (1460) (2501) (3612) (4023) (5134) (6245)

of the extended quadratic residue code of length 8 over the field of 2 elements, given by ∅, (∞124) and its images under adding a constant mod 7, and the complements of these 8 sets. (Kirmse incorrectly claimed that these form a maximal order, so thought there were 8 maximal orders rather than 7, but as Coxeter (1946) pointed out they are not closed under multiplication; this mistake occurs in several published papers.) Then switch infinity and any other coordinate; this gives a maximal order. There are 7 ways to do this, giving 7 maximal orders, which are all equivalent under cyclic permutations of the 7 coordinates 0123456.

The Kirmse integers and the 7 maximal orders are all isometric to the E8 lattice rescaled by a factor of 1/√2. In particular there are 240 elements of minimum nonzero norm 1 in each of these orders, forming a Moufang loop of order 240.

The integral octonions have a "division with remainder" property: given integral octonions a and b≠0, we can find q and r with a = qb + r, where the remainder r has norm less than that of b.

In the integral octonions, all left ideals and right ideals are 2-sided ideals, and the only 2-sided ideals are the principal ideals nO where n is a non-negative integer.

The integral octonions have a version of factorization into primes, though it is not straightforward to state because the octonions are not associative so the product of octonions depends on the order in which one does the products. The irreducible integral octonions are exactly those of prime norm, and every integral octonion can be written as a product of irreducible octonions. More precisely an integral octonion of norm mn can be written as a product of integral octonions of norms m and n.

The automorphism group of the integral octonions is the group G2(F2) of order 12096, which has a simple subgroup of index 2 isomorphic to the unitary group 2A2(32). The isotopy group of the integral octonions is the perfect double cover of the group of rotations of the E8 lattice.

See also

Composition algebra

Octonion algebra

Okubo algebra

Spin(8)

Split-octonions

Triality

Notes

Arthur Cayley (1845)

This table is due to Arthur Cayley (1845) and John T. Graves (1843). See G Gentili, C Stoppato, DC Struppa and F Vlacci (2009), "Recent developments for regular functions of a hypercomplex variable", in Irene Sabadini, M Shapiro, F Sommen, Hypercomplex analysis (Conference on quaternionic and Clifford analysis; proceedings ed.), Birkhäuser, p. 168, ISBN 978-3-7643-9892-7

Lev Vasilʹevitch Sabinin, Larissa Sbitneva, I. P. Shestakov (2006), "§17.2 Octonion algebra and its regular bimodule representation", Non-associative algebra and its applications, CRC Press, p. 235, ISBN 0-8247-2669-3

Rafał Abłamowicz, Pertti Lounesto, Josep M. Parra (1996), "§ Four ocotonionic basis numberings", Clifford algebras with numeric and symbolic computations, Birkhäuser, p. 202, ISBN 0-8176-3907-1

Jörg Schray, Corinne A. Manogue (1996), "Octonionic representations of Clifford algebras and triality", Foundations of physics (Springer) 26 (Number 1/January): 17–70, doi:10.1007/BF02058887. Available as ArXive preprint Figure 1 is located here.

(Baez 2002, p. 6)

Tevian Dray & Corinne A Manogue (2004), "Chapter 29: Using octonions to describe fundamental particles", in Pertti Lounesto, Rafał Abłamowicz, Clifford algebras: applications to mathematics, physics, and engineering, Birkhäuser, p. 452, ISBN 0-8176-3525-4 Figure 29.1: Representation of multiplication table on projective plane.

(Baez 2002, pp. 37–38)

(Conway & Smith 2003, Chapter 8.6)

(Conway & Smith 2003, Chapter 8)

References

Baez, John C. (2002). "The Octonions". Bulletin of the American Mathematical Society 39 (2): 145–205. arXiv:math/0105155v4. doi:10.1090/S0273-0979-01-00934-X. ISSN 0273-0979. MR 1886087. edit

Baez, John C. (2005). "Errata for The Octonions" (PDF). Bulletin of the American Mathematical Society 42 (2): 213–213. doi:10.1090/S0273-0979-05-01052-9. edit

Cayley, Arthur (1845), "On Jacobi's elliptic functions, in reply to the Rev..; and on quaternions", Philos. Mag. 26: 208–211, doi:10.1080/14786444508645107. Appendix reprinted in The Collected Mathematical Papers, Johnson Reprint Co., New York, 1963, p. 127.

Conway, John Horton; Smith, Derek A. (2003), On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry, A. K. Peters, Ltd., ISBN 1-56881-134-9, Zbl 1098.17001. (Review).

Coxeter, H. S. M. (1946), "Integral Cayley numbers.", Duke Math. J. 13: 561–578, doi:10.1215/s0012-7094-46-01347-6, MR 0019111

Freudenthal, Hans (1985) [1951], "Oktaven, Ausnahmegruppen und Oktavengeometrie", Geom. Dedicata 19 (1): 7–63, doi:10.1007/BF00233101, MR 0797151

Graves (1845), "On a Connection between the General Theory of Normal Couples and the Theory of Complete Quadratic Functions of Two Variables", Philos. Mag. 26: 315–320, doi:10.1080/14786444508645136

Hamilton (1848), "Note, by Sir W. R. Hamilton, respecting the researches of John T. Graves, Esq.", Trans. Roy. Irish Acad. 21: 338–341

Kirmse (1925), Ber. Verh. Sächs. Akad. Wiss. Leipzig. Math. Phys. Kl. 76: 63–82 Missing or empty |title= (help)

van der Blij, F. (1960/1961), "History of the octaves.", Simon Stevin 34: 106–125, MR 0130283 Check date values in: |date= (help)

External links

Hazewinkel, Michiel, ed. (2001), "Cayley numbers", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

Octonions and the Fano Plane Mnemonic (video demonstration)

Wilson, R. A. (2008), Octonions (PDF), Pure Mathematics Seminar notes

Undergraduate Texts in Mathematics

Graduate Studies in Mathematics

Retrieved from "http://en.wikipedia.org/"

All text is available under the terms of the GNU Free Documentation License