Composition Algebra¶
A unital algebra with a nondegenerate quadratic form whose value is multiplicative under the algebra product.
Core Idea¶
A composition algebra, in the unital finite-dimensional tier considered here over a field \(K\) of characteristic not two, has a bilinear product, an identity $1$, and a nondegenerate quadratic form \(q\) satisfying \(q(xy)=q(x)q(y)\) for every pair. “Nondegenerate” means that the polar bilinear form has zero radical; it does not force \(q(x)\ne0\) for every nonzero \(x\). Hall initially permits nonunital composition algebras and later assumes a unit; this entry fixes the latter convention before using conjugation or classification results.[^ref-4a967d6077e4]
Scope of Application¶
Over \(\mathbb R\), Hamilton quaternions have the positive multiplicative norm \(q(a+bi+cj+dk)=a^2+b^2+c^2+d^2\) and form a division algebra. Split-complex numbers \(a+bL\) with \(L^2=1\) instead have \(q(a+bL)=a^2-b^2\). That form is nondegenerate and multiplicative, but \((1+L)(1-L)=0\). Both are composition algebras; only the first is a positive-definite normed division algebra. Hall's finite-dimensional theorem allows dimensions $1,2,4,8$ under the stated nondegenerate composition hypotheses, but does not assert the same four real isomorphism types over every field.[ref-4a967d6077e4][ref-749649fcd12b][^ref-03217d697adf]
Clarity¶
The word composition refers to the quadratic value of an algebra product, not function composition or the construction method called Cayley–Dickson doubling. An arbitrary algebra with an unrelated norm fails the universal multiplicativity equation, while a quadratic space without internal multiplication lacks the algebra role. Positive definite, anisotropic and nondegenerate are different properties; split complex is the decisive counterexample to conflating them.[ref-4a967d6077e4][ref-749649fcd12b]
Manages Complexity¶
One equation, \(q(xy)=q(x)q(y)\), constrains an entire bilinear multiplication table. It lets division and split examples be compared by the same invariant while retaining their different zero-divisor behavior. In the unital tier, \(x\bar x=q(x)1\), so \(q(x)\ne0\) gives the inverse \(\bar x/q(x)\); this does not imply invertibility for every nonzero element of a split algebra. Dimension $1,2,4$ or $8$ is a necessary restriction under Hall's theorem, not a sufficient test for an arbitrary algebra.[^ref-4a967d6077e4]
Abstract Reasoning¶
Specify \(K\), characteristic, unitality and finite dimension; verify bilinearity of multiplication; exhibit a quadratic form whose polar form is nondegenerate; then prove \(q(xy)=q(x)q(y)\) for all \(x,y\). Only after these checks should one reason from conjugation, isotropy or the dimension theorem. Cayley–Dickson doubling constructs the real chain \(\mathbb R\to\mathbb C\to\mathbb H\to\mathbb O\), but unlimited iteration does not retain the full composition invariant.[ref-4a967d6077e4][ref-03217d697adf]
Knowledge Transfer¶
The quaternion and split-complex settings share the same carrier–product–form–multiplicativity roles. In \(\mathbb H\) the form is positive, whereas in split complex it is indefinite and permits zero divisors. The proposed strict DAG parent is the live broad Algebra over a Ring: a field is a commutative ring and multiplication is bilinear, even when nonassociative. Normed Division Algebra is not a universal parent because it excludes split cases. Transfer outside algebra is analogy unless the complete quadratic-product relation is actually present.[ref-4a967d6077e4][ref-749649fcd12b][^ref-03217d697adf]
[^ref-4a967d6077e4]: J. I. Hall, Notes on Composition Algebras, original author notes, revised 19 April 2012; §§1–3 and 6.1–6.4. [^ref-749649fcd12b]: Oregon State University, The Split Complex Numbers, original open textbook §2.8, equations (2.8.1)–(2.8.5). [^ref-03217d697adf]: John C. Baez, The Octonions, original author PDF, §§1.1 and 2.2.
Relationships to Other Abstractions¶
Current abstraction Composition Algebra Domain-specific
Parents (1) — more general patterns this builds on
-
Composition Algebra is a kind of Algebra over a Ring Domain-specific
A composition algebra is a bilinear algebra enriched by a multiplicative quadratic form.
Hierarchy path (1) — routes to 1 parentless root
- Composition Algebra → Algebra over a Ring → Linearity
Neighborhood in Abstraction Space¶
Composition Algebra sits in a moderately populated region (49th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Categorical & Representation-Theoretic Structures (8 abstractions)
Nearest neighbors
- Division Algebra — 0.88
- N-Square Identity — 0.88
- Associative algebra — 0.88
- Jordan Identity — 0.87
- Difference of Two Squares — 0.86
Computed from structural-signature embeddings · 2026-10-08