octonion

octonion
Name	Octonion
Type	Algebraic division algebra
Field	Real numbers
Multiplication	Nonassociative, alternative
Norm	Quadratic form (positive-definite)
Discovered	19th century
Notable people	John T. Graves; Arthur Cayley; John H. Conway; Roger Penrose; Élie Cartan

octonion

Octonions are an eight-dimensional nonassociative algebra over the Real numbers that extend the Complex numbers and Quaternions, forming one of the four normed division algebras alongside the Real numbers, Complex numbers, and Quaternion. They play a recurring role in studies by Arthur Cayley, John T. Graves, and later researchers such as Élie Cartan, John H. Conway, and Roger Penrose in contexts ranging from algebra and topology to theoretical physics and geometry. Octonions are central to structures related to the exceptional Lie groups and to certain constructions in algebraic topology, differential geometry, and string theory.

Definition and algebraic structure

An octonion is an element of an eight-dimensional algebra over the Real numbers equipped with a bilinear multiplication, a unity, and a positive-definite quadratic norm. The algebra is neither commutative nor associative but is alternative and flexible, with conjugation defined analogously to Quaternion conjugation; left and right inverses coincide with multiplicative inverses when the norm is nonzero. The algebra satisfies identities studied by Élie Cartan, Emmy Noether, and Isaac Jacobson and is unique up to isomorphism as the eight-dimensional normed division algebra over the Real numbers by results related to theorems of Ferdinand von Lindemann (historical work on division algebras) and classification theorems influenced by Hurwitz.

Construction and representations

Octonions can be constructed by the Cayley–Dickson doubling process applied to Quaternions, iterating the doubling from Real numbers to Complex numbers to Quaternions and then to octonions; key expositors include Arthur Cayley and John T. Graves. They admit matrix-like representations over Real numbers using left- and right-multiplication operators producing elements of Endomorphism algebras studied by John H. Conway and Richard S. Hamilton (historical precursor via quaternions). Octonions are also represented via Fano plane mnemonic diagrams popularized in expositions by Rene Descartes-era diagrammatic traditions and modern treatments by Roger Penrose and John Baez, and they embed in tensor constructions encountered in the work of Hermann Weyl and Élie Cartan on spinors and triality.

Properties (nonassociativity, alternativity, normed division algebra)

Octonion multiplication fails associativity in general, a property that distinguishes research by Emmy Noether and Alexander Grothendieck-era algebraists exploring nonassociative algebras; nevertheless the algebra is alternative, meaning any subalgebra generated by two elements is associative, a fact used in structural analyses by Niels Henrik Abel-adjacent algebraists. The standard quadratic norm is multiplicative, giving octonions the structure of a normed division algebra and invoking Hurwitz-type classification results connecting to the works of Adolf Hurwitz and David Hilbert. Conjugation, trace, and determinant-like norm identities mirror properties studied in the context of Cayley algebras and are central to applications in representation theory by Élie Cartan and subsequent developments by John H. Conway.

Automorphisms and the exceptional Lie group G2

The automorphism group of the octonions is the compact real form of the exceptional Lie group G2, discovered in the classification of exceptional Lie algebras by Elie Cartan and later elucidated by Claude Chevalley and Robert Steinberg. The action of G2 preserves the multiplicative structure and the norm, linking octonions to exceptional structures studied by Hermann Weyl, Élie Cartan, and Robert Bryant. Triality symmetries connecting octonions to representations of Spin(8) were studied by Élie Cartan and developed in modern contexts by Michael Atiyah, Isadore Singer, and John Baez in relation to exceptional holonomy and special geometric structures.

Applications in mathematics and physics

Octonions appear in constructions of exceptional Lie groups such as F4, E6, E7, and E8 in the work of Elie Cartan, Nathan Jacobson, and Jacques Tits, and in formulations of triality and spinor correspondences used by Roger Penrose and Michael Atiyah in twistor theory and gauge-theoretic contexts. In theoretical physics octonions have been invoked in attempts to model features of string theory, M-theory, and grand unified theory proposals by researchers such as Günaydin, Feza Gürsey, John Baez, and Tony Smith; octonionic structures also arise in formulations of supersymmetry, exceptional compactifications studied in Edward Witten-related work, and in certain approaches to the Standard Model advanced by Geoffrey Dixon. In topology and geometry octonions underpin constructions of parallelizable spheres, notably the seven-sphere S7 explored by Raoul Bott and H. Samelson, and exceptional holonomy metrics studied by Robert Bryant and Simon Salamon.

Historical development and key contributors

Octonions were first discovered in the 19th century by John T. Graves and rediscovered and published by Arthur Cayley; subsequent formalizations and algebraic investigations were carried out by Adolf Hurwitz, Élie Cartan, and Nathan Jacobson. Twentieth-century development involved contributions from Emmy Noether on nonassociative algebra, Richard Brauer and Hans Zassenhaus on division algebra theory, and modern expositions and applications by John H. Conway, Roger Penrose, John Baez, Michael Atiyah, and Edward Witten, among others. Research into automorphisms and connections to exceptional Lie theory attracted the attention of Claude Chevalley, Robert Steinberg, and Jacques Tits, while applications in physics and geometry continue through work by Feza Gürsey, Günaydin, Robert Bryant, and contemporary researchers in mathematical physics and differential geometry.

Category:Nonassociative algebra