Hypercomplex number

Clifford algebras

A Clifford algebra is the unital associative algebra generated over an underlying vector space equipped with a quadratic form. Over the real numbers this is equivalent to being able to define a symmetric scalar product, ${\displaystyle u\cdot v={\tfrac {1}{2}}(uv+vu)}$ that can be used to orthogonalise the quadratic form, to give a basis ${\displaystyle \{e_{1},\,\dots ,\,e_{k}\}}$ such that: $${\displaystyle {\frac {1}{2}}\left(e_{i}e_{j}+e_{j}e_{i}\right)={\begin{cases}-1,0,+1&i=j,\\0&i\not =j.\end{cases}}}$$

Imposing closure under multiplication generates a multivector space spanned by a basis of ${\displaystyle 2^{k}}$ elements, ⁠${\displaystyle \{1,\,e_{1},\,e_{2},\dots ,\,e_{1}e_{2},\,\dots ,\,e_{1}e_{2}e_{3},\,\dots \}}$⁠. These can be interpreted as the basis of a hypercomplex number system. Unlike the basis ⁠${\displaystyle \{e_{1},\,\dots ,\,e_{k}\}}$⁠, the remaining basis elements need not anti-commute, depending on how many simple exchanges must be carried out to swap the two factors. So ⁠${\displaystyle e_{1}e_{2}=-e_{2}e_{1}}$⁠, but ⁠${\displaystyle e_{1}(e_{2}e_{3})=+(e_{2}e_{3})e_{1}}$⁠.

Putting aside the bases which contain an element ${\displaystyle e_{i}}$ such that ${\displaystyle e_{i}^{2}=0}$ (i.e. directions in the original space over which the quadratic form was degenerate), the remaining Clifford algebras can be identified by the label ⁠${\displaystyle {\text{Cl}}_{p,q}(\mathbb {R} )}$⁠, indicating that the algebra is constructed from ${\displaystyle p}$ simple basis elements with ⁠${\displaystyle e_{i}^{2}=+1}$⁠, ${\displaystyle q}$ with ⁠${\displaystyle e_{i}^{2}=-1}$⁠, and where ${\displaystyle \mathbb {R} }$ indicates that this is to be a Clifford algebra over the reals—i.e. coefficients of elements of the algebra are to be real numbers.

These algebras, called geometric algebras, form a systematic set, which turn out to be very useful in physics problems that involve rotations, phases, or spins, notably in classical and quantum mechanics, electromagnetic theory and relativity.

Examples include: the complex numbers ⁠${\displaystyle {\text{Cl}}_{0,1}(\mathbb {R} )}$⁠, split-complex numbers ⁠${\displaystyle {\text{Cl}}_{1,0}(\mathbb {R} )}$⁠, quaternions ⁠${\displaystyle {\text{Cl}}_{0,2}(\mathbb {R} )}$⁠, split-biquaternions ⁠${\displaystyle {\text{Cl}}_{0,3}(\mathbb {R} )}$⁠, split-quaternions ${\displaystyle {\text{Cl}}_{1,1}(\mathbb {R} )\approx {\text{Cl}}_{2,0}(\mathbb {R} )}$ (the natural algebra of two-dimensional Euclidean space); ${\displaystyle {\text{Cl}}_{3,0}(\mathbb {R} )}$ (the natural algebra of three-dimensional Euclidean space, and the algebra of the Pauli matrices); and the spacetime algebra ⁠${\displaystyle {\text{Cl}}_{1,3}(\mathbb {R} )}$⁠.

The elements of the algebra ${\displaystyle {\text{Cl}}_{p,q}(\mathbb {R} )}$ form an even subalgebra ${\displaystyle {\text{Cl}}_{q+1,p}^{[0]}(\mathbb {R} )}$ of the algebra ⁠${\displaystyle {\text{Cl}}_{q+1,p}(\mathbb {R} )}$⁠, which can be used to parametrise rotations in the larger algebra. There is thus a close connection between complex numbers and rotations in two-dimensional space; between quaternions and rotations in three-dimensional space; between split-complex numbers and (hyperbolic) rotations (Lorentz transformations) in (1+1)-dimensional space, and so on.

Whereas Cayley–Dickson and split-complex constructs with eight or more dimensions are not associative with respect to multiplication, Clifford algebras retain associativity at any number of dimensions.

In 1995 Ian R. Porteous wrote on "The recognition of subalgebras" in his book on Clifford algebras. His Proposition 11.4 summarizes the hypercomplex cases:^[17]

Let ${\displaystyle A}$ be a real associative algebra with unit element ⁠${\displaystyle 1}$⁠. Then

• 1 generates ${\displaystyle \mathbb {R} }$ (algebra of real numbers),
• any two-dimensional subalgebra generated by an element ${\displaystyle e_{0}}$ of ${\displaystyle A}$ such that ${\displaystyle e_{0}^{2}=-1}$ is isomorphic to ${\displaystyle \mathbb {C} }$ (algebra of complex numbers),
• any two-dimensional subalgebra generated by an element ${\displaystyle e_{0}}$ of ${\displaystyle A}$ such that ${\displaystyle e_{0}^{2}=1}$ is isomorphic to ${\displaystyle \mathbb {R} ^{2}}$ (pairs of real numbers with component-wise product, isomorphic to the algebra of split-complex numbers),
• any four-dimensional subalgebra generated by a set ${\displaystyle \{e_{0},\,e_{1}\}}$ of mutually anti-commuting elements of ${\displaystyle A}$ such that ${\displaystyle e_{0}^{2}=e_{1}^{2}=-1}$ is isomorphic to ${\displaystyle \mathbb {H} }$ (algebra of quaternions),
• any four-dimensional subalgebra generated by a set ${\displaystyle \{e_{0},\,e_{1}\}}$ of mutually anti-commuting elements of ${\displaystyle A}$ such that ${\displaystyle e_{0}^{2}=e_{1}^{2}=1}$ is isomorphic to ${\displaystyle {\text{M}}_{2}(\mathbb {R} )}$ (⁠${\displaystyle 2\times 2}$⁠ real matrices, coquaternions),
• any eight-dimensional subalgebra generated by a set ${\displaystyle \{e_{0},\,e_{1},\,e_{2}\}}$ of mutually anti-commuting elements of ${\displaystyle A}$ such that ${\displaystyle e_{0}^{2}=e_{1}^{2}=e_{2}^{2}=-1}$ is isomorphic to ${\displaystyle {}^{2}\mathbb {H} }$ (split-biquaternions),
• any eight-dimensional subalgebra generated by a set ${\displaystyle \{e_{0},\,e_{1},\,e_{2}\}}$ of mutually anti-commuting elements of ${\displaystyle A}$ such that ${\displaystyle e_{0}^{2}=e_{1}^{2}=e_{2}^{2}=1}$ is isomorphic to ${\displaystyle {\text{M}}_{2}(\mathbb {C} )}$ (⁠${\displaystyle 2\times 2}$⁠ complex matrices, biquaternions, Pauli algebra).

Cayley–Dickson construction

All of the Clifford algebras ${\displaystyle {\text{Cl}}_{p,q}(\mathbb {R} )}$ apart from the real numbers, complex numbers and the quaternions contain non-real elements that square to +1; and so cannot be division algebras. A different approach to extending the complex numbers is taken by the Cayley–Dickson construction. This generates number systems of dimension ⁠${\displaystyle {1}}$⁠, with bases ⁠${\displaystyle \left\{1,i_{1},\dots ,i_{2^{n}-1}\right\}}$⁠, where all the non-real basis elements anti-commute and satisfy ⁠${\displaystyle {i_{m}}^{2}=-1}$⁠. In 8 or more dimensions (⁠${\displaystyle n\geq 3}$⁠) these algebras are non-associative. In 16 or more dimensions (⁠${\displaystyle n\geq 4}$⁠) these algebras also have nonzero zero-divisors.

The first algebras in this sequence include the 4-dimensional quaternions, 8-dimensional octonions, and 16-dimensional sedenions. An algebraic symmetry is lost with each increase in dimensionality: quaternion multiplication is not commutative, octonion multiplication is non-associative, and the norm of sedenions is not multiplicative. After the sedenions are the 32-dimensional trigintaduonions (or 32-nions), the 64-dimensional sexagintaquatronions (or 64-nions), the 128-dimensional centumduodetrigintanions (or 128-nions), the 256-dimensional ducentiquinquagintasexions (or 256-nions), and ad infinitum, as summarized in the table below.^[18]

Name	No. of dimensions	Dimensions (2n)	Symbol
real numbers	1	20	${\displaystyle \mathbb {R} }$
complex numbers	2	21	${\displaystyle \mathbb {C} }$
quaternions	4	22	${\displaystyle \mathbb {H} }$
octonions	8	23	${\displaystyle \mathbb {O} }$
sedenions	16	24	${\displaystyle \mathbb {S} }$
trigintaduonions	32	25	${\displaystyle \mathbb {T} }$
sexagintaquatronions	64	26
centumduodetrigintanions	128	27
ducentiquinquagintasexions	256	28

The Cayley–Dickson construction can be modified by inserting an extra sign at some stages. It then generates the "split algebras" in the collection of composition algebras instead of the division algebras:

split-complex numbers with basis ${\displaystyle \{1,\,i_{1}\}}$ satisfying ⁠${\displaystyle i_{1}^{2}=+1}$⁠,

split-quaternions with basis ${\displaystyle \{1,\,i_{1},\,i_{2},\,i_{3}\}}$ satisfying ⁠${\displaystyle i_{1}^{2}=-1,\,i_{2}^{2}=i_{3}^{2}=+1}$⁠, and

split-octonions with basis ${\displaystyle \{1,\,i_{1},\,\dots ,\,i_{7}\}}$ satisfying ⁠${\displaystyle i_{1}^{2}=i_{2}^{2}=i_{3}^{2}=-1}$⁠, ⁠${\displaystyle i_{4}^{2}=i_{5}^{2}=i_{6}^{2}=i_{7}^{2}=+1}$⁠.

Unlike the complex numbers, the split-complex numbers are not algebraically closed, and further contain nontrivial zero divisors and nontrivial idempotents. As with the quaternions, split-quaternions are not commutative, but further contain nilpotents; they are isomorphic to the square matrices of dimension two. Split-octonions are non-associative and contain nilpotents.

Tensor products

The tensor product of any two algebras is another algebra, which can be used to produce many more examples of hypercomplex number systems.

In particular taking tensor products with the complex numbers (considered as algebras over the reals) leads to four-dimensional bicomplex numbers ${\displaystyle \mathbb {C} \otimes _{\mathbb {R} }\mathbb {C} }$ (isomorphic to tessarines ⁠${\displaystyle \mathbb {C} \otimes _{\mathbb {R} }D}$⁠), eight-dimensional biquaternions ⁠${\displaystyle \mathbb {C} \otimes _{\mathbb {R} }\mathbb {H} }$⁠, and 16-dimensional complex octonions ⁠${\displaystyle \mathbb {C} \otimes _{\mathbb {R} }\mathbb {O} }$⁠.

Another example is the tensor product of two quaternion algebras ${\displaystyle \mathbb {H} ^{\otimes 2}=\mathbb {H} \otimes _{\mathbb {R} }\mathbb {H} }$ (isomorphic to the Clifford algebra ${\displaystyle {\text{Cl}}_{3,1}(\mathbb {R} )}$ and to ${\displaystyle 4\times 4}$ real matrices ⁠${\displaystyle M(4,\mathbb {R} )}$⁠) leading to applications in relativistic physics.^[19][20]

More generally, one defines ${\displaystyle \mathbb {H} ^{\otimes m}}$ (and its subalgebras) as ”hyperquaternion algebras”. In particular, ${\displaystyle \mathbb {H} ^{\otimes 3}=M(4,\mathbb {H} )}$ yields a quaternionic matrix and its even subalgebra ${\displaystyle \mathbb {H} ^{\otimes 2}\otimes _{\mathbb {R} }\mathbb {C} }$ (Dirac algebra).^[21][22]

Further examples

• bicomplex numbers: a 4-dimensional vector space over the reals, 2-dimensional over the complex numbers, isomorphic to tessarines.
• multicomplex numbers: ${\displaystyle 2^{n}}$-dimensional vector spaces over the reals, ${\displaystyle 2^{n-1}}$-dimensional over the complex numbers
• composition algebra: algebra with a quadratic form that composes with the product