Fact-checked by Grok 2 weeks ago

Composition algebra

In mathematics, a composition algebra over a field K of characteristic not equal to 2 is a finite-dimensional unital algebra A (also known as a Hurwitz algebra) equipped with a nondegenerate quadratic form N: A \to K normalized so that N(e) = 1 for the unit e, called the norm, satisfying the multiplicative property N(xy) = N(x)N(y) for all x, y \in A. This structure generalizes normed division algebras while allowing non-associativity and non-division cases, where the associated bilinear form b(x, y) = N(x + y) - N(x) - N(y) is symmetric and nondegenerate.^[1] Composition algebras possess several key properties that stem from the norm's multiplicativity, including an involution (conjugation) \overline{x} = b(x, e) e - x, where e is the unit, making them alternative algebras (satisfying x(xy) = x^2 y and (yx)y = y x^2). They admit no zero divisors if the norm is anisotropic (definite over \mathbb{R}), leading to division algebras, or may be split otherwise, containing isotropic elements where N(x) = 0 for some nonzero x. The possible dimensions of composition algebras over \mathbb{R} are restricted to 1, 2, 4, or 8, as established by Hurwitz's theorem on the composition of quadratic forms.^[2] Over the real numbers, the division composition algebras are precisely the real numbers \mathbb{R} (dimension 1, associative), complex numbers \mathbb{C} (dimension 2, associative), quaternions \mathbb{H} (dimension 4, non-commutative but associative), and octonions \mathbb{O} (dimension 8, non-associative). Split examples include \mathbb{R} \oplus \mathbb{R} (dimension 2) and the algebra of $2 \times 2 real matrices (dimension 4), both with zero divisors. These structures play a foundational role in the study of exceptional Lie groups, Jordan algebras, and the classification of quadratic forms, with applications in physics and geometry.^[2] The concept originated in the work of Adolf Hurwitz in 1898, who proved that multiplicative identities for sums of squares hold only in dimensions 1, 2, 4, and 8, motivated by problems in invariant theory and quadratic forms. Subsequent developments by mathematicians like Max Zorn, Nathan Jacobson, and Tonny Springer extended the theory to arbitrary fields, incorporating automorphisms and connections to exceptional groups.^[2]

Definition and Fundamentals

Definition

A composition algebra over a field K with \operatorname{char}(K) \neq 2 is defined as a finite-dimensional unital algebra A over K, regarded as a vector space over K with a bilinear multiplication operation, that is equipped with a nondegenerate quadratic form N: A \to K satisfying the multiplicativity condition N(xy) = N(x)N(y) for all x, y \in A.^[3]^[4] The quadratic form N arises from a nondegenerate symmetric bilinear form \langle \cdot, \cdot \rangle: A \times A \to K, defined by the polarization identity \langle x, y \rangle = \frac{1}{2} \big( N(x+y) - N(x) - N(y) \big), ensuring that the associated bilinear form permits the recovery of the quadratic form uniquely under the characteristic assumption.^[2] The unital structure requires the existence of a multiplicative identity element e \in A such that ex = xe = x for all x \in A and N(e) = 1.^[3] This setup positions A as a left (or equivalently right) module over K, with the multiplication being K-bilinear, thereby integrating the algebraic and quadratic aspects into a cohesive framework.^[4] Such algebras are restricted in dimension: over the real numbers, unital composition algebras exist only in dimensions 1, 2, 4, or 8, a fact that foreshadows deeper classification results without entering their proofs here.^[3]

Norm and Conjugation

In a composition algebra A over a field K, the norm is a nondegenerate quadratic form N: A \to K satisfying the composition property N(xy) = N(x)N(y) for all x, y \in A.^[5]^[6] This norm arises from an associated symmetric bilinear form \langle \cdot, \cdot \rangle: A \times A \to K, defined via polarization as \langle x, y \rangle = \frac{1}{2} (N(x+y) - N(x) - N(y)) (assuming characteristic not 2), such that N(x) = \langle x, x \rangle.^[7]^[5] The conjugation operation is a standard involution x \mapsto x^* on A, which is K-linear and satisfies (x^*)^* = x and e^* = e for the multiplicative identity e \in A.^[5]^[6] It is defined explicitly as x^* = 2 t(x) e - x, where t: A \to K is the trace form t(x) = \langle x, e \rangle, and it acts as an anti-automorphism of the multiplication: (xy)^* = y^* x^* for all x, y \in A.^[7]^[5] The norm relates directly to conjugation via the identity N(x) = x x^* = x^* x.^[6]^[5] For any non-null element x \in A with N(x) \neq 0, the inverse exists and is given by x^{-1} = x^* / N(x).^[5]^[6] This follows from the relation x (x^* / N(x)) = (x x^*) / N(x) = e, with the right inverse coinciding with the left due to the central role of the norm. Null elements are nonzero x \in A such that N(x) = 0, which are necessarily non-invertible and play a role in the structure of split composition algebras.^[7]^[6]

Properties

Algebraic Properties

Composition algebras over a field of characteristic not 2 are alternative algebras, satisfying the left alternative law x(xy) = x^2 y and the right alternative law (yx)x = y x^2 for all x, y in the algebra.^[8] This property follows directly from the defining norm condition N(xy) = N(x) N(y), where N is the nondegenerate quadratic form. To derive alternativity, consider the associated symmetric bilinear form \langle u, v \rangle = N(u + v) - N(u) - N(v). The norm condition implies \langle xy, z \rangle + \langle y, xz \rangle = T(x) \langle y, z \rangle for the trace form T(x) = 2 \langle x, 1 \rangle, and \langle x y_1, x y_2 \rangle = N(x) \langle y_1, y_2 \rangle. Each element satisfies the minimum polynomial x^2 - T(x) x + N(x) 1 = 0. For left alternativity, compute \langle x(xy), z \rangle = T(x) \langle xy, z \rangle - \langle xy, xz \rangle, which simplifies using the minimum polynomial to match \langle x^2 y, z \rangle, so x(xy) = x^2 y by nondegeneracy of the form. The right alternative law follows analogously.^[8] A key consequence of alternativity is power-associativity: the subalgebra generated by any single element is associative, meaning (x^m) x^k = x^{m+k} for all positive integers m, k and x in the algebra.^[9] This holds because the alternative laws ensure that all powers of an element associate via Artin's theorem on alternative rings.^[10] Composition algebras also satisfy the flex property (xy)x = x(yx) for all x, y, which follows immediately from combining the left and right alternative laws applied to the same elements.^[11] Non-unital extensions of composition algebras, introduced by Petersson and Okubo, equip non-unital algebras with a nondegenerate quadratic form N satisfying the composition property N(xy) = N(x) N(y).^[12] These algebras, often symmetric, include examples like the 8-dimensional Okubo algebras derived from associative algebras with involution; one such instance arises in the derivation algebra associated with the 27-dimensional exceptional Jordan algebra.^[13]

Bilinear Forms

In composition algebras, the quadratic norm N induces a symmetric bilinear form B: V \times V \to K, defined by

B(x, y) = \frac{N(x + y) - N(x) - N(y)}{2}

for all x, y \in V, where V is the underlying vector space over the field K of characteristic not 2. This form satisfies B(x, x) = N(x) and B(x, y) = B(y, x), providing a metric structure that captures the geometry of the algebra.^[3]^[7] The polarization identity fully recovers the bilinear form from the norm and extends to derive key relations. Expanding the definition yields

B(x, y) = \frac{1}{4} \left[ N(x + y) - N(x - y) \right]

in characteristic not 2, highlighting its symmetry. From the multiplicativity of the norm, N(xy) = N(x)N(y), it follows that B(xy, z) = N(x) B(y, z) and B(y, xz) = N(z) B(y, x) for all x, y, z \in V, which underscores the compatibility between the algebra's multiplication and its metric. These properties ensure that left and right multiplications by nonzero elements act as isometries with respect to B.^[14]^[7]^[15] Orthogonality with respect to B plays a central role in decomposing the algebra. For a subspace W \subseteq V, the orthogonal complement is W^\perp = \{ z \in V \mid B(w, z) = 0 \ \forall w \in W \}, and the form restricts nondegenerately to W and W^\perp, allowing direct sum decompositions V = W \oplus W^\perp. Such orthogonal structures facilitate representations of the algebra, as seen in the Cayley-Dickson construction where new units are chosen orthogonal to existing subspaces.^[3]^[7] The bilinear form B is nondegenerate, meaning its radical \{ x \in V \mid B(x, y) = 0 \ \forall y \in V \} = \{0\}, which induces an isomorphism V \cong V^* with the dual space via x \mapsto B(x, \cdot). This nondegeneracy ensures that the norm distinguishes zero and supports the algebra's composition property without collapse.^[3]^[7]^[16]

Classification

Structure Theorem

A fundamental result in the theory of composition algebras is the classification of their possible dimensions. Over any field K of characteristic not equal to 2, every finite-dimensional composition algebra has dimension 1, 2, 4, or 8.^[17] This theorem, established by Nathan Jacobson, shows that no composition algebras exist in other dimensions under these conditions.^[17] The result extends to characteristic 2 via work of Tonny Springer, confirming the same dimensional restrictions.^[6] For real composition algebras equipped with a positive definite norm, the dimensional constraint is captured by Hurwitz's theorem from 1923. This theorem asserts that the only possible dimensions are 1, 2, 4, and 8, as these are the sole cases where the maximum number of linearly independent squares n(\mathbb{R}^n) satisfies n(\mathbb{R}^n) \leq \rho(n), with \rho(n) denoting the Radon-Hurwitz number, which equals the maximum dimension of a subspace admitting a composition of quadratic forms.^[18] Earlier contributions by Frobenius in 1878 and Pfister in related contexts laid groundwork, but Hurwitz provided the definitive classification for positive definite cases.^[18] The proof of the general structure theorem proceeds by induction on the dimension, leveraging the isotropy of the associated quadratic form and Witt decomposition. Specifically, for a composition algebra C over K (char \neq 2), the pure part \operatorname{Im} C admits a decomposition into isotropic and anisotropic components, allowing reduction to lower-dimensional subalgebras.^[17] Isotropy ensures the existence of non-zero elements with zero norm, facilitating the inductive step, while the alternative property preserves the composition relation. Zorn's vector matrix construction further demonstrates existence in dimensions up to 8 by embedding lower algebras into higher ones via structured multiplications.^[6] Over algebraically closed fields, composition algebras of each allowed dimension are unique up to isomorphism. In dimension 1, it is the base field itself; in dimension 2, the split algebra k \oplus k; in dimension 4, the split quaternion algebra; and in dimension 8, the split octonion algebra.^[19] This uniqueness follows from the classification of quadratic forms and the rigidity of the normed structure in such fields.^[19]

Division and Split Forms

A composition algebra is classified as a division form if its quadratic norm N is anisotropic, meaning N(x) = 0 if and only if x = 0. In such algebras, every nonzero element x is invertible, with the inverse given by N(x)^{-1} \bar{x}, where \bar{x} denotes the standard conjugate of x. This ensures the absence of zero divisors and endows the algebra with the structure of a division algebra over its base field.^[20] In contrast, split composition algebras admit nonzero isotropic elements, or null vectors, satisfying N(x) = 0 for x \neq 0. These elements generate isotropic subspaces on which the restricted norm vanishes identically, with the dimension of a maximal isotropic subspace termed the Witt index. The presence of such subspaces distinguishes split forms and allows for nontrivial zero divisors within the algebra.^[20] The norm N on a composition algebra A is a nondegenerate quadratic form, permitting a Witt decomposition into an orthogonal direct sum of an anisotropic kernel and a hyperbolic space composed of hyperbolic planes of dimension 2. Over \mathbb{R}, the norm on a composition algebra admits a Witt decomposition into an anisotropic part and a hyperbolic part. For division algebras, the norm is positive definite (anisotropic kernel is the algebra itself). For split algebras, the norm is hyperbolic (signature (d/2, d/2) where d is the dimension), with trivial anisotropic kernel; for instance, the split quaternions possess a norm of signature (2,2) and Witt index 2.^[21]^[20] Over \mathbb{R}, split forms exhibit indefinite norms. Non-unital variants of composition algebras, termed Petersson algebras, preserve the composition property N(x * y) = N(x) N(y) without a multiplicative identity. Constructed from a unital composition algebra (C, \cdot, N) equipped with an order-3 automorphism \tau (satisfying \tau^3 = \mathrm{id}), the new multiplication is defined as x * y = \tau(\bar{x}) \cdot \tau^2(\bar{y}), yielding an 8-dimensional algebra over fields of characteristic not 2 or 3. These algebras satisfy symmetric identities such as (x * y) * x = N(x) y = x * (y * x) and were introduced by Holger P. Petersson in 1969 as simple finite-dimensional algebras obeying specific power-associativity conditions.^[22]^[23]

Constructions

Cayley-Dickson Construction

The Cayley-Dickson construction provides an iterative method to generate higher-dimensional composition algebras from a given composition algebra over a field K of characteristic not 2. Given a composition algebra (A, N) over K, where N: A \to K is a nondegenerate multiplicative quadratic form, the construction produces a new algebra A_2 = A \oplus A of twice the dimension, equipped with a bilinear multiplication and an extended norm.^[24]^[2] The multiplication on A_2 is defined for elements (a, b), (c, d) \in A_2 by

(a, b)(c, d) = (a c + \gamma \overline{d} b, d a + b \overline{c}),

where \gamma \in K^* is a nonzero scalar parameter, and \overline{\cdot} denotes the standard involution (conjugation) on A induced by the norm via N(x) = x \overline{x}. This operation ensures A_2 inherits an involution ((a, b)^* = (\overline{a}, -b)) and forms an algebra over K. The choice of \gamma influences the structure, with specific values yielding division or split forms depending on the base field.^[25]^[26]^[24] The construction preserves the composition property through a new quadratic form \tilde{N}: A_2 \to K defined by \tilde{N}((a, b)) = N(a) - \gamma N(b). This norm is multiplicative, meaning \tilde{N}((a, b)(c, d)) = \tilde{N}((a, b)) \tilde{N}((c, d)) for all elements, provided the original N is, thus ensuring A_2 is a composition algebra. The process can be iterated indefinitely, doubling the dimension at each step, but the resulting algebras remain unital and quadratic.^[2]^[25]^[26] Applying the construction iteratively over the real numbers \mathbb{R} (starting from the 1-dimensional algebra \mathbb{R} with N(x) = x^2) yields the sequence of classical algebras: the complex numbers \mathbb{C} (dimension 2, \gamma = -1), quaternions \mathbb{H} (dimension 4, \gamma = -1), and octonions \mathbb{O} (dimension 8, \gamma = -1). Beyond dimension 8, further iterations produce algebras like the sedenions (dimension 16), but these introduce zero divisors. Different choices of \gamma over \mathbb{R} or other fields can produce split composition algebras, where the norm is indefinite.^[2]^[25]^[26] The construction systematically erodes certain algebraic properties with increasing dimension: commutativity is lost already at dimension 2 (in \mathbb{C}), while associativity holds up to dimension 4 (in \mathbb{H}) but fails in dimension 8 (in \mathbb{O}), where the algebras become alternative instead. Despite these losses, the algebras retain the key composition property up to the specified dimensions over suitable fields.^[24]^[2]^[25] Up to isomorphism, all finite-dimensional composition algebras over a field arise via the Cayley-Dickson construction applied iteratively to quadratic étale extensions of the base field, with the parameter \gamma determining the specific form (division or split). This iterative doubling captures the complete classification, as per the structure theorem for such algebras.^[24]^[2]^[25]

Alternative Constructions

Composition algebras can be constructed using matrix representations, particularly for quaternion algebras. The split quaternion algebra over the real numbers \mathbb{R} is isomorphic to the algebra M_2(\mathbb{R}) of $2 \times 2 real matrices, where the standard norm on the algebra corresponds to the determinant of the matrix.^[27] In general, a quaternion algebra (a, b)_K over a field K of characteristic not equal to 2 is defined as the K-vector space spanned by basis elements \{1, i, j, k\} with multiplication rules i^2 = a, j^2 = b, and k = ij = -ji, where a, b \in K^\times.^[27] This construction yields a 4-dimensional central simple algebra over K, and it is split (isomorphic to M_2(K)) if and only if the Hilbert symbol (a, b)_K = 1.^[28] Coordinate-based multiplication provides explicit formulas for basis elements in low dimensions. For dimension 2, the complex numbers \mathbb{C} over \mathbb{R} have basis \{1, i\} with i^2 = -1. In dimension 4, the quaternion algebra has basis \{1, i, j, k\} as above, with multiplication extending bilinearly. For dimension 8, the octonion algebra over \mathbb{R} uses basis \{e_0 = 1, e_1, \dots, e_7\} where the multiplication of imaginary units e_r e_s = -\delta_{rs} + \epsilon_{rs} e_t (with \epsilon_{rs} the structure constants) is encoded by the Fano plane: lines indicate cyclic permutations e_r e_s = e_t, and the opposite orientation gives the negative.^[29] This mnemonic ensures the algebra is alternative and admits a multiplicative norm N(x) = x \bar{x}. By the structure theorem, non-trivial composition algebras over fields of characteristic not 2 exist only in dimensions 1, 2, 4, and 8.^[30] Over finite fields \mathbb{F}_q with q odd, quaternion algebras are constructed as symbol algebras (a, b)_{\mathbb{F}_q}, which are cyclic algebras of degree 2 generated by symbols in the Brauer group

\mathrm{Br}(\mathbb{F}_q){{grok:render&&&type=render_inline_citation&&&citation_id=2&&&citation_type=wikipedia}}

. These algebras classify the 2-torsion in the Brauer group, and every such algebra is split over \mathbb{F}_q since \mathrm{Br}(\mathbb{F}_q) = 0.^[28] The invariants are given by the residue map to \mathbb{Z}/2\mathbb{Z}, but for finite fields, all 4-dimensional central simple algebras are matrix algebras.^[31] Zorn's vector-matrix algebra provides a construction for split composition algebras in dimension 8. It consists of formal matrices \begin{pmatrix} \alpha & \mathbf{v} \\ \mathbf{w} & \beta \end{pmatrix} where \alpha, \beta \in K and \mathbf{v}, \mathbf{w} \in V with V a 3-dimensional vector space over K equipped with a non-degenerate symmetric bilinear form and a cross product making V into a composition algebra of dimension 3 (isomorphic to the pure quaternions). Multiplication is defined by \begin{pmatrix} \alpha & \mathbf{v} \\ \mathbf{w} & \beta \end{pmatrix} \begin{pmatrix} \alpha' & \mathbf{v}' \\ \mathbf{w}' & \beta' \end{pmatrix} = \begin{pmatrix} \alpha \alpha' + \langle \mathbf{v}, \mathbf{w}' \rangle & \alpha \mathbf{v}' + \beta' \mathbf{v} + \mathbf{w} \times \mathbf{v}' \\ \beta \mathbf{w}' + \alpha' \mathbf{w} + \mathbf{v} \times \mathbf{w}' & \beta \beta' + \langle \mathbf{w}, \mathbf{v}' \rangle \end{pmatrix}, yielding the split octonion algebra with norm N\begin{pmatrix} \alpha & \mathbf{v} \\ \mathbf{w} & \beta \end{pmatrix} = \alpha \beta - \langle \mathbf{v}, \mathbf{w} \rangle.^[32] This generalizes to split forms in higher dimensions via recursive vector-matrix constructions.^[33] Composition algebras are closely related to Clifford algebras, as the even subalgebra of certain Clifford algebras yields composition structures. Specifically, for a composition algebra A of dimension n over a field K, the even part \mathrm{Cliff}^0(V, Q) of the Clifford algebra associated to the quadratic space (V, Q) where V = A_0 (pure imaginaries) and Q is the trace form, recovers A up to isomorphism in the real division case. Over \mathbb{R}, the division octonions arise as the even subalgebra of \mathrm{Cl}(0,7).^[34] This connection highlights how composition properties encode geometric data via spinor representations.^[30]

Examples

Over the Real Numbers

Over the real numbers \mathbb{R}, unital composition algebras exist only in dimensions 1, 2, 4, and 8, with exactly seven isomorphism classes: the division algebras \mathbb{R}, \mathbb{C}, \mathbb{H}, and \mathcal{O} equipped with positive definite norms, and the split algebras \mathbb{C}_s, \mathbb{H}_s, and \mathcal{O}_s equipped with indefinite norms. This classification follows from Hurwitz's theorem on the possible dimensions for such algebras, extended to include split forms. In dimension 1, the composition algebra is the field of real numbers \mathbb{R} itself, with the squared Euclidean norm N(x) = x^2, which is positive definite. This algebra is a division algebra, commutative, and associative. In dimension 2, there are two composition algebras: the complex numbers \mathbb{C} as a division algebra with positive definite norm N(x + yi) = x^2 + y^2, which is commutative and associative; and the split-complex numbers \mathbb{C}_s \cong \mathbb{R} \oplus \mathbb{R} (also known as hyperbolic or perplex numbers), a split algebra with indefinite norm N(x + yi) = x^2 - y^2 of signature (1,1), also commutative and associative. In dimension 4, the division algebra is the Hamilton quaternions \mathbb{H} with positive definite norm N(x_0 + x_1 i + x_2 j + x_3 k) = x_0^2 + x_1^2 + x_2^2 + x_3^2, which is associative but non-commutative; the split form is the split quaternions \mathbb{H}_s (isomorphic to the algebra of 2×2 real matrices M_2(\mathbb{R})), a split algebra with indefinite norm of signature (2,2).^[35] Both are associative. In dimension 8, the Cayley octonions \mathcal{O} form a division algebra with positive definite norm, which is alternative (satisfying the alternative laws) but non-associative; the split octonions \mathcal{O}_s are a split algebra with indefinite norm of signature (4,4) and Witt index 4, also alternative.^[36] Positive definiteness holds only for the division algebras \mathbb{R}, \mathbb{C}, \mathbb{H}, and \mathcal{O}, while associativity holds for all composition algebras in dimensions at most 4.

Over Other Fields

Over the complex numbers \mathbb{C}, which is an algebraically closed field, the composition algebras are classified into four types based on dimension as \mathbb{C}-vector spaces. The dimension-1 case is \mathbb{C} itself, a division algebra. The dimension-2 case is the split algebra \mathbb{C} \oplus \mathbb{C}. For dimension 4, the algebra is isomorphic to the matrix algebra M_2(\mathbb{C}), which is split. The dimension-8 case consists of the complex octonion algebra \mathbb{O} \otimes_{\mathbb{R}} \mathbb{C} (bioctonions), a split algebra.^[19] These exhaust the possibilities, as established by Hurwitz's theorem adapted to this setting via the Cayley-Dickson construction. Over finite fields \mathbb{F}_q with q odd, composition algebras have dimensions 1, 2, 4, or 8 as vector spaces over \mathbb{F}_q. The dimension-1 algebra is \mathbb{F}_q, and the dimension-2 algebras are either a quadratic field extension (division) or the split form \mathbb{F}_q \oplus \mathbb{F}_q. Quaternion algebras (a,b)_{\mathbb{F}_q} of dimension 4 are always split, isomorphic to M_2(\mathbb{F}_q), since no non-trivial central division algebras exist over finite fields by Wedderburn's little theorem. For dimension 8, only the split Cayley algebra exists; there are no division octonion algebras, as finite alternative division rings are associative (hence fields) by the Artin-Zorn theorem.^[37]^[38] Over p-adic fields \mathbb{Q}_p, the classification of quaternion algebras (dimension 4) follows the Brauer-Witt theorem: a quaternion algebra (a,b)_{\mathbb{Q}_p} is division if the Hilbert symbol (a,b)_p = -1 and split otherwise. Octonion algebras (dimension 8) are obtained via the Cayley-Dickson construction from quaternion algebras and can be either unramified (ramification index e_C = 1) or ramified (e_C = 2), with the latter occurring when the underlying quaternion algebra is division. The local invariants, including ramification index e_C, residue degree f_C, and trace exponent r_C, determine the isomorphism classes.^[39] In general, over a field k of characteristic not 2, every composition algebra has dimension 1, 2, 4, or 8, and its isomorphism class is determined by the anisotropic kernel—a maximal anisotropic subalgebra—and the Hasse invariant of the associated Pfister quadratic form on the kernel. Split forms correspond to trivial invariants, while division forms arise when the kernel is a division composition algebra with non-trivial invariant.^[38]

Applications

In Pure Mathematics

In number theory, quaternion algebras over number fields are central to class field theory, where the structure of their maximal orders and ideal classes provides key insights into abelian extensions. Specifically, the Hilbert class field of a quaternion algebra B is an extension in which every two-sided ideal of B becomes principal, facilitating computations of class numbers and ramification behavior through the Artin reciprocity map.^[28] This connection extends to the Brauer group, where quaternion algebras represent 2-torsion elements that define the Brauer-Manin obstruction to the Hasse principle for rational points on algebraic varieties. For instance, on conic bundles or K3 surfaces, unramified quaternion algebras can obstruct the existence of rational points even when local solubility holds everywhere, as the pairing with the Néron-Severi group captures global inconsistencies.^[40] In coding theory, the multiplicative norm on composition algebras yields tight bounds for sphere packings in Euclidean space, leveraging the preservation of the norm under multiplication to construct dense lattices. A prominent example is the Leech lattice in 24 dimensions, constructed as the set of triples (x, y, z) of integral octonions satisfying certain norm and orthogonality conditions derived from the E8 root lattice via octonionic extension; this lattice achieves the optimal sphere packing density in its dimension and underpins bounds for error-correcting codes like the Golay code.^[41] Additionally, over finite quaternion rings such as the Lipschitz or Hurwitz integers modulo a prime, cyclic codes can be defined using the quaternion Mannheim distance, enabling non-commutative error correction with decoding algorithms that correct up to a specified number of errors via idempotent generators and syndrome computations.^[42] Jordan algebras benefit significantly from composition algebras, particularly through Albert's construction of the exceptional 27-dimensional simple Jordan algebra, known as the Albert algebra, as the space of 3×3 Hermitian matrices over the octonions equipped with the symmetrized product xy + yx. This algebra is formally real and arises uniquely from the octonionic structure, providing a cubic norm form that encodes its exceptional properties and connections to cubic hypersurfaces. Complementing this, Freudenthal triple systems—ternary algebras defined on modules over composition algebras with a trilinear product preserving a symmetric bilinear form—facilitate the structuration of exceptional Jordan algebras and their derivations, as seen in systems built from octonion modules that yield the full automorphism structure.^[43] The automorphism groups of composition algebras generate the exceptional Lie algebras and groups. The derivation algebra of the octonions is the 14-dimensional Lie algebra \mathfrak{g}_2, whose automorphism group G_2 preserves the octonionic multiplication table and the standard norm. Extending this, the automorphism group of the 27-dimensional Albert algebra over the octonions yields the 52-dimensional Lie algebra \mathfrak{f}_4, while constructions involving Freudenthal triple systems over octonion modules produce \mathfrak{e}_6 (78 dimensions), \mathfrak{e}_7 (133 dimensions), and \mathfrak{e}_8 (248 dimensions), embedding the full chain \mathfrak{g}_2 \subset \mathfrak{f}_4 \subset \mathfrak{e}_6 \subset \mathfrak{e}_7 \subset \mathfrak{e}_8.^[44] In geometry, composition algebras underpin the analysis of Clifford modules through their relation to quadratic forms and spin structures, where the multiplicative norm enables explicit computation of spinor norms in the Clifford group. For quadratic spaces modeled on composition algebras like the quaternions or octonions, the spinor norm map from the orthogonal group to the multiplicative group factors through the Clifford algebra's units, providing obstructions to lifting orthogonal transformations to spin representations and clarifying isotropy in spinor modules over rings.

In Physics

Composition algebras, particularly the octonions, play a significant role in theoretical physics through their connections to exceptional Lie groups such as G_2, F_4, and E_8. These groups arise naturally from the algebraic structure of octonions and have been proposed in grand unified theories (GUTs) to unify the fundamental forces of the Standard Model. For instance, the automorphism group of the octonions is G_2, which embeds into larger exceptional groups like F_4 and E_8, providing a framework for models that incorporate all known particles and interactions under a single symmetry.^[45] In heterotic string theory, the E_8 \times E_8 gauge group emerges from octonionic constructions, offering a pathway to unify gravity with gauge interactions in ten dimensions, where octonions facilitate the embedding of fermion representations.^[46] In supergravity and M-theory, octonions underpin compactifications of eleven-dimensional supergravity, enabling the emergence of exceptional symmetries. Compactifying on manifolds with G_2 holonomy preserves supersymmetry and leads to N=1 supergravity in four dimensions, with octonions providing the necessary algebraic tools for describing the geometry and fluxes.^[47] Similarly, the E_8 \times E_8 structure in heterotic M-theory arises from octonionic membranes, where the self-dual or anti-self-dual 4-form fluxes in eight dimensions connect to the Yang-Mills fields on boundaries, influencing low-energy effective theories.^[48] These constructions highlight octonions' role in resolving singularities and stabilizing moduli in string compactifications.^[49] In quantum mechanics, quaternions describe the spin-1/2 representations of fermions, with the Pauli matrices corresponding to the imaginary quaternion units, providing a natural basis for spinor transformations under SU(2).^[50] This quaternion structure simplifies the representation of rotations for half-integer spins, as seen in the Dirac equation's non-relativistic limit. Split forms of composition algebras, such as split quaternions, extend this to indefinite metric spaces, relevant for relativistic quantum field theories like the Klein-Gordon equation, where the split signature accommodates Lorentzian geometry and indefinite inner products for scalar fields.^[51] Recent developments include the 2023 construction embedding all Hurwitz algebras (division and split forms) within three-dimensional geometric algebras, leveraging Clifford algebra techniques to unify real, complex, quaternion, and octonion structures. A 2024 follow-up recovers composition algebras from 3D geometric algebras, further supporting applications in relativistic models by providing tools for spacetime descriptions and in quantum computing through efficient representations of quantum gates via geometric products.^[52]^[53] Composition algebras also link to Clifford algebras, which generate Dirac operators whose spectra and index theorems classify anomalies and topological invariants in quantum field theories. The Hurwitz theorem on composition algebras determines the possible dimensions for Clifford module representations, directly influencing the index of the Dirac operator in even dimensions via Bott periodicity.^[54]

History

Early Developments

The study of composition algebras traces its origins to classical problems in number theory concerning representations of numbers as sums of squares. In the 3rd century CE, Diophantus of Alexandria explored equations involving sums of squares in his work Arithmetica, including problems that implicitly addressed decompositions into multiple squares, laying early groundwork for multiplicative norms in higher dimensions.^[55] By the 17th century, Pierre de Fermat advanced these ideas with his theorem stating that an odd prime can be expressed as the sum of two squares if and only if it is congruent to 1 modulo 4, a result that highlighted the multiplicative properties of such representations and influenced subsequent investigations into norms over the integers.^[56] In the 18th century, Joseph-Louis Lagrange proved in 1770 that every positive integer is the sum of at most four squares, establishing a foundational result on positive definite quadratic forms that served as a precursor to norm multiplicativity in four-dimensional algebras.^[57] Shortly thereafter, Leonhard Euler discovered the four-square identity in a 1748 letter to Christian Goldbach, demonstrating that the product of two sums of four squares is itself a sum of four squares, which linked dimension 4 to composition properties and motivated extensions to higher dimensions.^[58] In 1898, Adolf Hurwitz proved that nondegenerate quadratic forms permitting composition exist only in dimensions 1, 2, 4, and 8 over the reals, providing a rigorous bound on possible algebra dimensions via bilinear identities for sums of squares. The 19th century saw significant developments in explicit algebraic constructions. In 1843, William Rowan Hamilton introduced quaternions as a four-dimensional extension of complex numbers to handle three-dimensional rotations, where the norm—defined as the sum of squares of components—exhibits multiplicativity, satisfying the composition property for the algebra.^[59] Building on this, Arthur Cayley independently constructed the octonions in 1845, an eight-dimensional algebra with seven imaginary units that preserved norm multiplicativity despite losing associativity, further extending the pattern observed in lower dimensions.^[29]

Modern Advances

In the early 20th century, Leonard Eugene Dickson generalized the Cayley-Dickson construction through a doubling process for hypercomplex integers, enabling the recursive building of algebras like the octonions from lower-dimensional ones such as quaternions. This approach emphasized arithmetic properties and unit extensions, laying groundwork for formalizing composition algebras beyond associative cases. By the mid-20th century, Max Zorn extended these ideas to alternative rings, introducing a parameter to construct split forms of composition algebras, where the quadratic form becomes isotropic, allowing zero divisors and yielding structures like split quaternions and split octonions. A.A. Albert further developed split octonions as 8-dimensional algebras over fields, linking them to exceptional Jordan algebras through isotopy and quadratic form compositions that preserve norms. Later, Nathan Jacobson comprehensively classified automorphisms of composition algebras, showing that their groups align with orthogonal, unitary, or exceptional types depending on dimension and field characteristics, thus unifying structural properties. In the late 20th century, T.A. Springer advanced decomposition theorems analogous to Witt's for quadratic forms, applying them to composition algebras over fields of characteristic not 2 to decompose them into anisotropic and hyperbolic components, facilitating classifications over local fields. H.P. Petersson introduced non-unital composition algebras, such as Petersson algebras, which lack identity elements but retain multiplicative quadratic forms, expanding the theory to include 8-dimensional examples over rings and curves of genus zero. Susumu Okubo proposed further extensions like pseudo-octonion and Okubo algebras, non-unital 8-dimensional structures derived from symmetric compositions, offering new division algebra candidates with applications in particle physics models. Entering the 21st century, John Baez highlighted connections between composition algebras and exceptional Lie groups, demonstrating how octonions underpin the automorphism groups G₂, F₄, E₆, E₇, and E₈ through triality and Freudenthal constructions, influencing higher-dimensional gauge theories. Recent realizations embed all Hurwitz composition algebras within 3D geometric algebras using involutions to recover norms, providing computational frameworks for dimensions up to 8, including octonions and para-octonions.^[52] A 2024 study further explores such embeddings from 3D geometric algebras using reversion, inversion, and Clifford conjugation.^[53] Computational aspects have emerged in coding theory, where octonion-based lattices yield high-rate error-correcting codes with superior minimum distances over finite fields. Post-2008 classifications over finite fields have refined structures, confirming that composition algebras are either split or division types isomorphic to Cayley-Dickson doubles, with explicit counts for small characteristics via anisotropic kernel analysis. In quantum information, non-unital variants like Okubo algebras model triality-symmetric states and autotopies in algebraic quantum field theory, enabling novel encodings for multipartite entanglement.

References

[1]
[PDF] COMPOSITION ALGEBRAS AND THEIR GRADINGS 1. Unital ...
Definition 1.1. A composition algebra (over a field F) is a not necessarily associa- tive algebra C, endowed with a nondegenerate quadratic form (the norm) ...
[2]
composition algebra in nLab
Examples of composition algebras include the real numbers, the complex numbers, the quaternions, the octonions, and the algebra of 2 × 2 2 \times 2 matrices ...
[3]
Composition Algebras | SpringerLink
In this chapter we present the basic theory of composition algebras and determine their structure. Since these are (not necessarily associative) algebras ...
[4]
[PDF] Norm equivalences and ideals of composition algebras
Introduction. By a composition algebra over a commutative ring k we mean a non-as- sociative k-algebra C with the following properties: C is finitely ...
[5]
[PDF] The (1, 2, 4, 8)-Theorem for Composition Algebras - DiVA portal
Jun 2, 2013 · These were introduced by Nathan Jacobson as a means to prove. Hurwitz Theorem for any field of characteristic not two. The way this is presented ...
[6]
[PDF] Notes on composition algebras - Michigan State University
Apr 19, 2012 · If A has dimension at least 2 over K then, by tensoring with an appropriate quadratric extension F, we get a composition algebra F⊗K A.
[7]
[PDF] nonassociative algebras - UCI Mathematics
Theorem 18. Every composition algebra is an alternative algebra. Proof. Let (C, N) be a composition algebra. As special cases of the identity ( ...
[8]
Some properties of the composition algebras. - EuDML
... alternative algebra, composition algebra, division algebra, flexible algebra, Hurwitz algebra, power associative algebra. Suggest a Subject. Subjects. You must ...
[9]
Composition algebras of degree two
Any absolute valued algebra of degree 2 is finite dimensional and it is isomorphic to a standard composition algebra or an Okubo algebra. More recently, it has ...
[10]
Composition Algebras Satisfying the Flexible Law
The purpose of this section is to show that any finite dimensional flexible composition algebra satisfies that any of its elements generates a subalgebra of.Missing: alternative | Show results with:alternative
[11]
Okubo algebras and valuations - ScienceDirect.com
Okubo algebras are always symmetric composition algebras, i.e., algebras with a non-degenerate quadratic form n such that ( x ⁎ y ) ⁎ x = x ⁎ ( y ⁎ x ) = n ( x ) ...
[12]
Octonion Algebras Obtained from Associative Algebras with Involution
Oct 24, 2001 · The first construction is due independently to Okubo [6] and Faulkner [2] and yields an eight-dimensional (nonunital) symmetric composition ...
[13]
composition algebra - PlanetMath.org
Mar 22, 2013 · Definition 3. ... A composition algebra is split if the quadratic form is isotropic. The example of R⊕R ℝ ⊕ ℝ and M2(R) M 2 ⁢ ( ℝ ) just given are ...
[14]
[PDF] Real Composition Algebras by Steven Clanton
The bilinear form associated to [ ] will be denoted [u, v]. This is also called an inner product. Note that the norm of a real composition algebra is the square ...
[15]
[PDF] Composition algebras and Hurwitz' theorem on ... - Uppsala University
In 1898. German mathematician Adolf Hurwitz presented his theorem [Hur] in which he shows that composition algebras can only exist in 1, 2, 4, or 8 dimensions,.<|separator|>
[16]
Composition algebras and their automorphisms
Composition algebras and their automorphisms. Published: January 1958. Volume 7, pages 55–80, (1958); Cite this ...
[17]
Über die Komposition der quadratischen Formen. - EuDML
Hurwitz, A.. "Über die Komposition der quadratischen Formen.." Mathematische Annalen 88 (1923): 1-25. ... composition algebras in braided monoidal additive ...
[18]
composition algebra over algebaically closed fields - PlanetMath
Mar 22, 2013 · Theorem 1. There are 4 non-isomorphic composition algebras over an algebraically closed field ... unique quadratic form of maximal Witt index.Missing: uniqueness | Show results with:uniqueness
[19]
https://planetmath.org/compositionalgebraoveralgebaicallyclosedfields
[20]
[PDF] The Algebraic and Geometric Theory of Quadratic Forms
... Witt Decomposition. The Witt group Iq(F) of non-degenerate even dimensional ... (anisotropic) kernel form of ϕ. The tower of the fields Fk is called ...
[21]
[PDF] Okubo algebras - Universidad de Zaragoza
A composition algebra is a triple (C,∗,n), where. (C,∗) is a (not necessarily associative) algebra, n : C → F is a nonsingular multiplicative quadratic form.Missing: non- | Show results with:non-<|control11|><|separator|>
[22]
https://personal.unizar.es/elduque/Talks/OkuboAlgebras_Uppsala.pdf
[23]
Composition algebras (IV) - Albert Algebras over Commutative Rings
Nov 7, 2024 · This chapter provides an in-depth study of composition algebras over commutative rings, which we carry out in the more general framework of ...
[24]
https://www.cambridge.org/core/books/albert-algebras-over-commutative-rings/composition-algebras/980E071324447CF0A8C8C029C07850F4
[25]
[PDF] Supplement. The Cayley-Dickson Construction and Nonassociative ...
Nov 10, 2022 · Note. In this supplement, we explore the Cayley-Dickson construction which al- lows us to create a 2n-dimensional algebra (over R) from an ...
[26]
[PDF] quaternion algebras - keith conrad
A more subtle analogy is that when d > 0 and (a, b)Q is split over R, the infinitely many units in Z[. √ d] and (a, b)Z both form finitely-generated groups.
[27]
[PDF] Quaternion algebras - John Voight
Mar 20, 2025 · Quaternion algebras sit prominently at the intersection of many mathematical subjects. They capture essential features of noncommutative ...
[28]
[PDF] The Octonions - SISSA People Personal Home Pages
Dec 21, 2001 · In Section 2 we give four constructions of the octonions: first via their multiplication table, then using the Fano plane, then using the Cayley ...
[29]
[PDF] A Categorical Study of Composition Algebras via Group Actions and ...
May 21, 2015 · A composition algebra is a non-zero algebra endowed with a strictly non-degenerate, multiplicative quadratic form.<|control11|><|separator|>
[30]
[PDF] Brauer groups of fields and quaternion algebras
May 26, 2021 · The Brauer group is a group arising in the attempt to classify finite-dimensional central division algebras over a fixed field k.
[31]
[PDF] Generically split octonion algebras and A1-homotopy theory
We review Zorn's “vector matrix” construction of octonion algebras, generalized to rings by various authors, and show that generi- cally split octonion ...<|separator|>
[32]
COMPOSITION ALGEBRAS OVER ALGEBRAIC CURVES OF ...
(e) A composition algebra is associative if and only if it has rank at most 4; it is commutative associative if and only if it has rank at most 2.
[33]
Composition Algebras, Exceptional Jordan Algebra and Related ...
In fact, the even part. Cliff0(p,q) of Cliff(p,q) is isomorphic, for q > 0 to Cliff(p,q − 1). Spin(n) is the double cover of the rotation group SO(n). The group ...
[34]
book:go:qsplit - Geometry of the Octonions - Oregon State University
Jul 10, 2012 · Split Quaternions which has signature (2,2), that is, there two of our basis elements have (squared) norm +1, namely 1 and K, and two have ( ...
[35]
[PDF] On an octonionic construction of the groups of type E6 and E6
case O is called a split octonion algebra. If O is split, then the Witt index of N is 4 (section 1.8 in [SV00]). Moreover, we have the following result ...
[36]
composition algebras over finite fields - PlanetMath
Mar 22, 2013 · Likewise, a theorem of Artin and Zorn asserts that every finite alternative division ring is in fact associative, thus excluding the Cayley ...
[37]
https://planetmath.org/compositionalgebrasoverfinitefields
[38]
[PDF] Composition algebras over local fields revisited - Fernuni Hagen
Sep 18, 2008 · Holger P. Petersson. Fakultät für Mathematik und Informatik. FernUniversität in Hagen. D-58084 Hagen. Germany. Email: holger.petersson@fernuni- ...
[39]
[2212.06555] Birational geometry of quaternions - arXiv
Dec 13, 2022 · Abstract:The Hilbert class field of the quaternion algebra B is an algebra \mathscr{H}(B) such that every two-sided ideal of B is principal ...
[40]
[1710.11116] Brauer-Manin obstructions on degree 2 K3 surfaces
Oct 30, 2017 · The first type of obstruction comes from a quaternion algebra, and the second type comes from a 3-torsion element of the Brauer group, which ...
[41]
[PDF] Octonions and the Leech lattice - School of Mathematical Sciences
In this paper I show how to construct a 3-dimensional octonionic Leech lattice, based on the Coxeter–Dickson non-associative ring of integral octo- nions [8], ...Missing: composition coding
[42]
Examples of Freudenthal-Kantor triple systems - Project Euclid
It seems that the concept of a triple system (or called a ternary algebra) in nonassociative algebras started from the metasymplectic.
[43]
Octonions, Jordan Algebras and Exceptional Groups - SpringerLink
Free delivery 14-day returnsThis book translates and updates T.A. Springer's notes, covering octonion and Albert algebras, and exceptional groups, useful for mathematicians and graduate ...
[44]
Exceptional Groups for GUTs and Remarks on Octonions
Since all exceptional groups are endowed with octonionic structure, I will also add speculative remarks on a possibly more funda- mental role octonions might ...
[45]
Physics Fermions and Octonions - Project Euclid
In the heterotic string theory [2] there are fermion fields forming linear or non-linear representations of the gauge group. [3]. In statistical physics, such ...
[46]
[PDF] OCTONIONIC ASPECTS OF SUPERGRAVITY
Sep 20, 2013 · The octonions are 8-dimensional, non- associative numbers, meaning x(yx) 6= (xy)z. After having been kept off the radar for most of the period ...
[47]
[PDF] The Octonionic Membrane
We generalize the supermembrane solution of D = 11 supergravity by permitting the. 4-form G to be either self-dual or anti-self-dual in the eight dimensions ...
[48]
[PDF] Compactifications of String/M-Theory and the Swampland - arXiv
M-theory is a nonperturbative unification of all superstring theories. Its low-energy limit, eleven-dimensional supergravity, admits two compactifications on ...
[49]
[PDF] Spinors - Physics Department, Oxford University
The more thorough understanding of spinors as mathematical objects is credited to Élie Cartan in 1913. They are closely related to Hamilton's quaternions ( ...Missing: source | Show results with:source
[50]
https://users.physics.ox.ac.uk/~Steane/teaching/rel_C_spinors.pdf
[51]
[2311.02269] All Hurwitz Algebras from 3D Geometric Algebras - arXiv
In this paper, inspired by works of Lesenby and Hitzer, we show how to embed all seven Hurwitz algebras (division and split) in 3D geometric algebras.
[52]
[PDF] Lectures on Dirac Operators and Index Theory - UCSB Math
Jan 7, 2015 · Definition: The Clifford multiplication by v on the spinors, denoted by c(v), is the endomorphism c(v) ∈ End(∆n) from V ⊂ Cln ⊂ Cln → End(∆n).
[53]
Diophantus (200 - 284) - Biography - MacTutor History of Mathematics
Diophantus also appears to know that every number can be written as the sum of four squares. If indeed he did know this result it would be truly remarkable for ...
[54]
[PDF] FERMAT'S CHRISTMAS THEOREM Contents 1. History 1 2. Proofs ...
Sep 23, 2023 · Thus the sum of any two squares is either congruent to. 0, 1, or 2 (mod 4) thus if a prime number can be expressed as a sum of two squares,.
[55]
Lagrange's Four-Square Theorem -- from Wolfram MathWorld
The first published proof was given by Lagrange in 1770 and made use of the Euler four-square identity. Lagrange proved that g(2)=4 , where 4 may be reduced to ...
[56]
Lagrange and the four-square theorem | Lettera Matematica
May 22, 2014 · For instance, in 1748, Euler proved the fundamental identity about the product of sums of four squares mentioned above.
[57]
[PDF] Quaternions∗ - Iowa State University
Sep 24, 2024 · The development of quaternions is attributed to W. R. Hamilton [5] in 1843. ... The norm of the product of two quaternions p and q is the product.