# Hypercomplex number

__: Element of a unital algebra over the field of real numbers__

**Short description**In mathematics, **hypercomplex number** is a traditional term for an element of a finite-dimensional unital algebra over the field of real numbers.
The study of hypercomplex numbers in the late 19th century forms the basis of modern group representation theory.

## History

In the nineteenth century number systems called quaternions, tessarines, coquaternions, biquaternions, and octonions became established concepts in mathematical literature, added to the real and complex numbers. The concept of a hypercomplex number covered them all, and called for a discipline to explain and classify them.

The cataloguing project began in 1872 when Benjamin Peirce first published his *Linear Associative Algebra*, and was carried forward by his son Charles Sanders Peirce.^{[1]} Most significantly, they identified the nilpotent and the idempotent elements as useful hypercomplex numbers for classifications. The Cayley–Dickson construction used involutions to generate complex numbers, quaternions, and octonions out of the real number system. Hurwitz and Frobenius proved theorems that put limits on hypercomplexity: Hurwitz's theorem says finite-dimensional real composition algebras are the reals [math]\displaystyle{ \mathbb{R} }[/math], the complexes [math]\displaystyle{ \mathbb{C} }[/math], the quaternions [math]\displaystyle{ \mathbb{H} }[/math], and the octonions [math]\displaystyle{ \mathbb{O} }[/math], and the Frobenius theorem says the only real associative division algebras are [math]\displaystyle{ \mathbb{R} }[/math], [math]\displaystyle{ \mathbb{C} }[/math], and [math]\displaystyle{ \mathbb{H} }[/math]. In 1958 J. Frank Adams published a further generalization in terms of Hopf invariants on *H*-spaces which still limits the dimension to 1, 2, 4, or 8.^{[2]}

It was matrix algebra that harnessed the hypercomplex systems. First, matrices contributed new hypercomplex numbers like 2 × 2 real matrices (see Split-quaternion). Soon the matrix paradigm began to explain the others as they became represented by matrices and their operations. In 1907 Joseph Wedderburn showed that associative hypercomplex systems could be represented by square matrices, or direct product of algebras of square matrices.^{[3]}^{[4]} From that date the preferred term for a hypercomplex system became associative algebra as seen in the title of Wedderburn's thesis at University of Edinburgh. Note however, that non-associative systems like octonions and hyperbolic quaternions represent another type of hypercomplex number.

As Hawkins^{[5]} explains, the hypercomplex numbers are stepping stones to learning about Lie groups and group representation theory. For instance, in 1929 Emmy Noether wrote on "hypercomplex quantities and representation theory".^{[6]} In 1973 Kantor and Solodovnikov published a textbook on hypercomplex numbers which was translated in 1989.^{[7]}^{[8]}

Karen Parshall has written a detailed exposition of the heyday of hypercomplex numbers,^{[9]} including the role of mathematicians including Theodor Molien^{[10]} and Eduard Study.^{[11]} For the transition to modern algebra, Bartel van der Waerden devotes thirty pages to hypercomplex numbers in his *History of Algebra*.^{[12]}

## Definition

A definition of a **hypercomplex number** is given by (Kantor Solodovnikov) as an element of a unital, but not necessarily associative or commutative, finite-dimensional algebra over the real numbers. Elements are generated with real number coefficients [math]\displaystyle{ (a_0, \dots, a_n) }[/math] for a basis [math]\displaystyle{ \{ 1, i_1, \dots, i_n \} }[/math]. Where possible, it is conventional to choose the basis so that [math]\displaystyle{ i_k^2 \in \{ -1, 0, +1 \} }[/math]. A technical approach to hypercomplex numbers directs attention first to those of dimension two.

## Two-dimensional real algebras

**Theorem:**^{[7]}^{:14,15}^{[13]}^{[14]} Up to isomorphism, there are exactly three 2-dimensional unital algebras over the reals: the ordinary complex numbers, the split-complex numbers, and the dual numbers. In particular, every 2-dimensional unital algebra over the reals is associative and commutative.

Proof: Since the algebra is 2-dimensional, we can pick a basis {1, *u*}. Since the algebra is closed under squaring, the non-real basis element *u* squares to a linear combination of 1 and *u*:

- [math]\displaystyle{ u^2 = a_0 + a_1 u }[/math]

for some real numbers *a*_{0} and *a*_{1}.

Using the common method of completing the square by subtracting *a*_{1}*u* and adding the quadratic complement *a*21 / 4 to both sides yields

- [math]\displaystyle{ u^2 - a_1 u + \frac{1}{4}a_1^2 = a_0 + \frac{1}{4}a_1^2. }[/math]

Thus [math]\displaystyle{ \left(u - \frac{1}{2}a_1\right)^2 = \tilde{u}^2 }[/math] where [math]\displaystyle{ \tilde{u}^2~ = a_0 + \frac{1}{4}a_1^2. }[/math] The three cases depend on this real value:

- If 4
*a*= −_{0}*a*_{1}^{2}, the above formula yields*ũ*^{2}= 0. Hence,*ũ*can directly be identified with the nilpotent element [math]\displaystyle{ \epsilon }[/math] of the basis [math]\displaystyle{ \{ 1, ~\epsilon \} }[/math] of the dual numbers. - If 4
*a*> −_{0}*a*_{1}^{2}, the above formula yields*ũ*^{2}> 0. This leads to the split-complex numbers which have normalized basis [math]\displaystyle{ \{ 1 , ~j \} }[/math] with [math]\displaystyle{ j^2 = +1 }[/math]. To obtain*j*from*ũ*, the latter must be divided by the positive real number [math]\displaystyle{ a \mathrel{:=} \sqrt{a_0 + \frac{1}{4}a_1^2} }[/math] which has the same square as*ũ*has. - If 4
*a*< −_{0}*a*_{1}^{2}, the above formula yields*ũ*^{2}< 0. This leads to the complex numbers which have normalized basis [math]\displaystyle{ \{ 1 , ~i \} }[/math] with [math]\displaystyle{ i^2 = -1 }[/math]. To yield*i*from*ũ*, the latter has to be divided by a positive real number [math]\displaystyle{ a \mathrel{:=} \sqrt{\frac{1}{4}a_1^2 - a_0} }[/math] which squares to the negative of*ũ*^{2}.

The complex numbers are the only 2-dimensional hypercomplex algebra that is a field. Algebras such as the split-complex numbers that include non-real roots of 1 also contain idempotents [math]\displaystyle{ \frac{1}{2}(1 \pm j) }[/math] and zero divisors [math]\displaystyle{ (1 + j)(1 - j) = 0 }[/math], so such algebras cannot be division algebras. However, these properties can turn out to be very meaningful, for instance in describing the Lorentz transformations of special relativity.

In a 2004 edition of Mathematics Magazine the 2-dimensional real algebras have been styled the "generalized complex numbers".^{[15]} The idea of cross-ratio of four complex numbers can be extended to the 2-dimensional real algebras.^{[16]}

## Higher-dimensional examples (more than one non-real axis)

### 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, *u* ⋅ *v* = 1/2(*uv* + *vu*) that can be used to orthogonalise the quadratic form, to give a basis {*e*_{1}, ..., *e*_{k}} such that:
[math]\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} }[/math]

Imposing closure under multiplication generates a multivector space spanned by a basis of 2^{k} elements, {1, *e*_{1}, *e*_{2}, *e*_{3}, ..., *e*_{1}*e*_{2}, ..., *e*_{1}*e*_{2}*e*_{3}, ...}. These can be interpreted as the basis of a hypercomplex number system. Unlike the basis {*e*_{1}, ..., *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 *e*_{1}*e*_{2} = −*e*_{2}*e*_{1}, but *e*_{1}(*e*_{2}*e*_{3}) = +(*e*_{2}*e*_{3})*e*_{1}.

Putting aside the bases which contain an element *e*_{i} such that *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 Cl_{p,q}([math]\displaystyle{ \mathbb{R} }[/math]), indicating that the algebra is constructed from *p* simple basis elements with *e*_{i}^{2} = +1, *q* with *e*_{i}^{2} = −1, and where [math]\displaystyle{ \mathbb{R} }[/math] 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 which involve rotations, phases, or spins, notably in classical and quantum mechanics, electromagnetic theory and relativity.

Examples include: the complex numbers Cl_{0,1}([math]\displaystyle{ \mathbb{R} }[/math]), split-complex numbers Cl_{1,0}([math]\displaystyle{ \mathbb{R} }[/math]), quaternions Cl_{0,2}([math]\displaystyle{ \mathbb{R} }[/math]), split-biquaternions Cl_{0,3}([math]\displaystyle{ \mathbb{R} }[/math]), split-quaternions Cl_{1,1}([math]\displaystyle{ \mathbb{R} }[/math]) ≈ Cl_{2,0}([math]\displaystyle{ \mathbb{R} }[/math]) (the natural algebra of two-dimensional space); Cl_{3,0}([math]\displaystyle{ \mathbb{R} }[/math]) (the natural algebra of three-dimensional space, and the algebra of the Pauli matrices); and the spacetime algebra Cl_{1,3}([math]\displaystyle{ \mathbb{R} }[/math]).

The elements of the algebra Cl_{p,q}([math]\displaystyle{ \mathbb{R} }[/math]) form an even subalgebra Cl[0]*q*+1,*p*([math]\displaystyle{ \mathbb{R} }[/math]) of the algebra Cl_{q+1,p}([math]\displaystyle{ \mathbb{R} }[/math]), 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
*A*be a real associative algebra with unit element 1. Then- 1 generates [math]\displaystyle{ \mathbb{R} }[/math] (algebra of real numbers),
- any two-dimensional subalgebra generated by an element
*e*_{0}of*A*such that*e*_{0}^{2}= −1 is isomorphic to [math]\displaystyle{ \mathbb{C} }[/math] (algebra of complex numbers), - any two-dimensional subalgebra generated by an element
*e*_{0}of*A*such that*e*_{0}^{2}= 1 is isomorphic to [math]\displaystyle{ \mathbb{R} }[/math]^{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 {
*e*_{0},*e*_{1}} of mutually anti-commuting elements of*A*such that [math]\displaystyle{ e_0 ^2 = e_1 ^2 = -1 }[/math] is isomorphic to [math]\displaystyle{ \mathbb{H} }[/math] (algebra of quaternions), - any four-dimensional subalgebra generated by a set {
*e*_{0},*e*_{1}} of mutually anti-commuting elements of*A*such that [math]\displaystyle{ e_0 ^2 = e_1 ^2 = 1 }[/math] is isomorphic to M_{2}([math]\displaystyle{ \mathbb{R} }[/math]) (2 × 2 real matrices, coquaternions), - any eight-dimensional subalgebra generated by a set {
*e*_{0},*e*_{1},*e*_{2}} of mutually anti-commuting elements of*A*such that [math]\displaystyle{ e_0 ^2 = e_1 ^2 = e_2 ^2 = -1 }[/math] is isomorphic to^{2}[math]\displaystyle{ \mathbb{H} }[/math] (split-biquaternions), - any eight-dimensional subalgebra generated by a set {
*e*_{0},*e*_{1},*e*_{2}} of mutually anti-commuting elements of*A*such that [math]\displaystyle{ e_0 ^2 = e_1 ^2 = e_2 ^2 = 1 }[/math] is isomorphic to M_{2}([math]\displaystyle{ \mathbb{C} }[/math]) (2 × 2 complex matrices, biquaternions, Pauli algebra).

### Cayley–Dickson construction

All of the Clifford algebras Cl_{p,q}([math]\displaystyle{ \mathbb{R} }[/math]) 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 2^{n}, *n* = 2, 3, 4, ..., with bases [math]\displaystyle{ \left\{1, i_1, \dots, i_{2^n-1}\right\} }[/math], where all the non-real basis elements anti-commute and satisfy [math]\displaystyle{ i_m^2 = -1 }[/math]. In 8 or more dimensions (*n* ≥ 3) these algebras are non-associative. In 16 or more dimensions (*n* ≥ 4) these algebras also have zero-divisors.

The first algebras in this sequence are the four-dimensional quaternions, eight-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.

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 [math]\displaystyle{ \{ 1,\, i_1 \} }[/math] satisfying [math]\displaystyle{ \ i_1^2 = +1 }[/math],
- split-quaternions with basis [math]\displaystyle{ \{ 1,\, i_1,\, i_2,\, i_3 \} }[/math] satisfying [math]\displaystyle{ \ i_1^2 = -1,\, i_2^2 = i_3^2 = +1 }[/math], and
- split-octonions with basis [math]\displaystyle{ \{ 1,\, i_1,\, \dots,\, i_7 \} }[/math] satisfying [math]\displaystyle{ \ i_1^2 = i_2^2 = i_3^2 = -1 }[/math], [math]\displaystyle{ \ i_4^2 = i_5^2 = i_6^2 = i_7^2 = +1 . }[/math]

Unlike the complex numbers, the split-complex numbers are not algebraically closed, and further contain nontrivial zero divisors and non-trivial 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 tessarines [math]\displaystyle{ \mathbb{C} \otimes_\mathbb{R} \mathbb{C} }[/math], eight-dimensional biquaternions [math]\displaystyle{ \mathbb{C} \otimes_\mathbb{R} \mathbb{H} }[/math], and 16-dimensional complex octonions [math]\displaystyle{ \mathbb{C} \otimes_\mathbb{R} \mathbb{O} }[/math].

### Further examples

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

## See also

## References

- ↑ Peirce, Benjamin (1881), "Linear Associative Algebra",
*American Journal of Mathematics***4**(1): 221–6, doi:10.2307/2369153, http://archive.org/details/linearassocalgeb00pierrich - ↑ Adams, J. F. (July 1960), "On the Non-Existence of Elements of Hopf Invariant One",
*Annals of Mathematics***72**(1): 20–104, doi:10.2307/1970147, http://www.math.rochester.edu/people/faculty/doug/otherpapers/Adams-HI1.pdf - ↑ J.H.M. Wedderburn (1908), "On Hypercomplex Numbers",
*Proceedings of the London Mathematical Society***6**: 77–118, doi:10.1112/plms/s2-6.1.77, https://zenodo.org/record/1447798 - ↑ Emil Artin later generalized Wedderburn's result so it is known as the Artin–Wedderburn theorem
- ↑ Hawkins, Thomas (1972), "Hypercomplex numbers, Lie groups, and the creation of group representation theory",
*Archive for History of Exact Sciences***8**(4): 243–287, doi:10.1007/BF00328434 - ↑ Noether, Emmy (1929), "Hyperkomplexe Größen und Darstellungstheorie" (in de),
*Mathematische Annalen***30**: 641–92, doi:10.1007/BF01187794, http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002371448&L=1, retrieved 2016-01-14 - ↑
^{7.0}^{7.1}Kantor, I.L., Solodownikow (1978),*Hyperkomplexe Zahlen*, BSB B.G. Teubner Verlagsgesellschaft, Leipzig - ↑ Kantor, I. L.; Solodovnikov, A. S. (1989),
*Hypercomplex numbers*, Berlin, New York: Springer-Verlag, ISBN 978-0-387-96980-0, https://archive.org/details/hypercomplexnumb0000kant - ↑ Parshall, Karen (1985), "Joseph H. M. Wedderburn and the structure theory of algebras",
*Archive for History of Exact Sciences***32**(3–4): 223–349, doi:10.1007/BF00348450 - ↑ Molien, Theodor (1893), "Ueber Systeme höherer complexer Zahlen",
*Mathematische Annalen***41**(1): 83–156, doi:10.1007/BF01443450, https://zenodo.org/record/2029540 - ↑ Study, Eduard (1898), "Theorie der gemeinen und höhern komplexen Grössen",
,*Encyclopädie der mathematischen Wissenschaften***I A**, pp. 147–183 - ↑ van der Waerden, B.L. (1985), "10. The discovery of algebras, 11. Structure of algebras",
*A History of Algebra*, Springer, ISBN 3-540-13610X - ↑ Yaglom, Isaak (1968),
*Complex Numbers in Geometry*, pp. 10–14 - ↑ Ewing, John H., ed. (1991),
*Numbers*, Springer, p. 237, ISBN 3-540-97497-0 - ↑ Harkin, Anthony A.; Harkin, Joseph B. (2004), "Geometry of Generalized Complex Numbers",
*Mathematics Magazine***77**(2): 118–129, doi:10.1080/0025570X.2004.11953236, http://people.rit.edu/harkin/research/articles/generalized_complex_numbers.pdf - ↑ Brewer, Sky (2013), "Projective Cross-ratio on Hypercomplex Numbers",
*Advances in Applied Clifford Algebras***23**(1): 1–14, doi:10.1007/s00006-012-0335-7 - ↑ Porteous, Ian R. (1995),
*Clifford Algebras and the Classical Groups*,*Cambridge University Press*, pp. 88–89, ISBN 0-521-55177-3

## Further reading

- Alfsmann, Daniel (2006), "On families of 2^N dimensional hypercomplex algebras suitable for digital signal processing",
*14th European Signal Processing Conference, Florence, Italy*, pp. 1–4, http://www.eurasip.org/proceedings/eusipco/eusipco2006/papers/1568981962.pdf - Artin, Emil (1965), "Zur Theorie der hyperkomplexen Zahlen; Zur Arithmetik hyperkomplexer Zahlen", in Lang, Serge; Tate, John T.,
*The Collected Papers of Emil Artin*, Addison-Wesley, pp. 301–345 - Baez, John (2002), "The Octonions",
*Bulletin of the American Mathematical Society***39**(2): 145–205, doi:10.1090/S0273-0979-01-00934-X, ISSN 0002-9904, http://math.ucr.edu/home/baez/octonions/octonions.html - Cartan, Élie (1908), "Les systèmes de nombres complex et les groupes de transformations",
*Encyclopédie des sciences mathématiques pures et appliquées*,**I 1**. and*Ouvres Completes*T.2 pt. 1, pp 107–246. - Herzberger, Max (1923), "Ueber Systeme hyperkomplexer Grössen",
*Doctoral Dissertation*(Friedrich Wilhelm University), https://www.deutsche-digitale-bibliothek.de/item/4V6F5ID5PHYD7UJ4F4ZDWHD2SBEXGCGQ, retrieved 2015-09-20 - La Duke, Jeanne (1983), "The study of linear associative algebras in the United States, 1870–1927", in Srinivasan, B.; Sally, J.,
*Emmy Noether in Bryn Mawr: Proceedings of a Symposium Sponsored by the Association for Women in Mathematics in Honor of Emmy Noether's 100th Birthday*, Springer, pp. 147–159, ISBN 978-0-387-90838-0, https://books.google.com/books?id=b7NYvQEACAAJ - Olariu, Silviu (2002),
*Complex Numbers in N Dimensions*, North-Holland Mathematics Studies,**190**, Elsevier, ISBN 0-444-51123-7 - Sabadini, Irene; Shapiro, Michael; Sommen, Frank, eds. (2009),
*Hypercomplex Analysis and Applications*, Birkhauser, ISBN 978-3-7643-9892-7 - Taber, Henry (1904), "On Hypercomplex Number Systems",
*Transactions of the American Mathematical Society***5**(4): 509–548, doi:10.2307/1986280 - MacLagan Wedderburn, J.H. (1908), "On Hypercomplex Numbers",
*Proceedings of the London Mathematical Society***s2-6**(1): 77–118, doi:10.1112/plms/s2-6.1.77, https://zenodo.org/record/1447798

## External links

- Hazewinkel, Michiel, ed. (2001), "Hypercomplex number",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/h048390 - Weisstein, Eric W.. "Hypercomplex number". http://mathworld.wolfram.com/HypercomplexNumber.html.
- Study, E.,
*On systems of complex numbers and their application to the theory of transformation groups*, http://neo-classical-physics.info/uploads/3/0/6/5/3065888/study_-_complex_numbers_and_transformation_groups.pdf (English translation) - Frobenius, G.,
*Theory of hypercomplex quantities*, http://neo-classical-physics.info/uploads/3/0/6/5/3065888/frobenius_-_hypercomplex_i.pdf (English translation)

Original source: https://en.wikipedia.org/wiki/Hypercomplex number.
Read more |