Hypercomplex number

The term hypercomplex number has been used in mathematics for the elements of algebras that extend or go beyond complex number arithmetic.Hypercomplex numbers have had a long lineage of devotees including Hermann Hankel, Georg Frobenius, Eduard Study, and Élie Cartan. Study of particular hypercomplex systems leads to their representation with linear algebra.This article gives an overview of the key systems, including some not originally considered by the pioneers before modern insight from linear algebra. For details, references, and sources, please follow the particular number type link.

Numbers with dimensionality

Arguably the most common use of the term hypercomplex number refers to algebraic systems with dimensionality (axes), as contained in the following list. For others (like transfinite number, superreal number, hyperreal number, surreal number) see also under number.

Despite their different algebraic properties, it is noted that none of these extensions form a field, because the field of complex numbers is algebraically closed — see fundamental theorem of algebra.

Distributive numbers with one real and "n" non-real axes

A comprehensive modern definition of hypercomplex number is given by Kantor and Solodovnikov I.L. Kantor, A.S. Solodovnikov, "Hypercomplex numbers: an elementary introduction to algebras"; translated by A. Shenitzer (original in Russian). New York: Springer-Verlag, c. 1989.] as unital, distributive number systems that contain at least one non-real axis and are closed under addition and multiplication. Axes are generated through real number coefficients $(a\_0\; ,~...\; ,\; a\_n)$ to bases $\{\; 1,~i\_1,\; dots,\; i\_n\; \}$ ($n\; in\; \{\; 1,\; 2,\; 3,dots\; \}$). The coefficients distribute, associate, and commute with the real (1) and non-real($~i\_n$) bases. Three types of$~i\_n$ are possible: $i\_n^2\; in\; \{\; -1,\; 0,\; +1\; \}$.

From a geometric viewpoint, these numbers form a finite-dimensional algebras over the real numbers.

The following classifications fall under this category. At times, the term 'hypernumber' is used synonymously to 'hypercomplex number' as defined by Kantor and Solodovnikov (but see below for Musean hypernumbers, some of which are not distributive or don't include a real number axis).

One non-real axis

plit-complex numbers

Split-complex numbers are constructed from the bases $\{\; 1\; ,\; ~j\; \}$ with $j^2\; =\; +1$ a non-real root of 1.

Algebras that include such non-real roots of 1 contain idempotents $frac\{1\}\{2\}\; (1\; pm\; j)$ and zero divisors $(1\; +\; j)(1\; -\; j)\; =\; 0$, 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.

Dual numbers

Dual numbers have bases $\{\; 1,\; epsilon\; \}$ with nilpotent $epsilon^2\; =\; 0$.

More than one non-real axis

Clifford algebras

Clifford algebra is the unital associative algebra generated over an underlying vector space equipped with a quadratic form. This is equivalent [This equivalence applies except of the very special case of vector spaces where addition is defined with characteristic "m" = 2; but the linear spaces in this article allow multiplication by any real scalar, so that situation does not arise.] to being able to define a symmetric scalar product, "u"."v" = ½("uv" + "vu") that can be used to orthogonalise the quadratic form, to give a set of bases {"e"₁..."e"_"k"} such that:::Imposing closure under multiplication now generates a multivector space spanned by 2^k bases, {1, "e"₁, "e"₂, "e"₃, ... , "e"₁"e"₂, ... , "e"₁"e"₂"e"₃, ...}. These can be interpreted as the bases of a hypercomplex number system. Unlike the bases {"e"₁..."e"_"k"}, the remaining bases may or may not anti-commute, depending on how many simple exchanges must be carried out to swap the two factors. So "e"₁"e"₂ = - "e"₂"e"₁; but "e"₁("e"₂"e"₃) = + ("e"₂"e"₃)"e"₁.

Putting aside the bases for which "e"_i² = 0 (ie directions in the original space over which the quadratic form was degenerate), the remaining Clifford algebras can be identified by the label "C"ℓ_"p","q"(R) indicating that the algebra is constructed from "p" simple bases with "e"_i² = +1, "q" with "e"_i² = -1, and where R indicates that this is to be a Clifford algebra over the reals - ie 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 "C"ℓ_"0","1"(R); split-complex numbers "C"ℓ_"1","0"(R); quaternions "C"ℓ_"0","2"(R); split-biquaternions "C"ℓ_"0","3"(R); coquaternions "C"ℓ_"1","1"(R) ≈ "C"ℓ_"2","0"(R) (the natural algebra of 2d space); "C"ℓ_"3","0"(R) (the natural algebra of 3d space, and the algebra of the Pauli matrices); and "C"ℓ_"1","3"(R) the space-time algebra.

The elements of the algebra "C"ℓ_"p","q"(R) form an even subalgebra "C"ℓ⁰_"q+1","p"(R) of the algebra "C"ℓ_"q+1","p"(R), which can be used to parametrise rotations in the larger algebra. There is thus a close connection between complex numbers and rotations in 2D space; between quaternions and rotations in 3D space; between split-complex numbers and (hyperbolic) rotations (Lorentz transformations) in 1+1 D space, and so on.

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

Quaternion, octonion, and beyond: Cayley-Dickson construction

All of the Clifford algebras "C"ℓ_"p","q"(R) apart from the complex numbers and the quaternions contain non-real elements "j" 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" in {2, 3, 4, ...}, with bases $\{1,\; i\_1,\; ...,\; i\_\{2^n-1\}\}$, where all the non-real bases anti-commute and satisfy $i\_m^2\; =\; -1$.

The first algebras in this sequence are the four-dimensional quaternions, eight-dimensional octonions, and 16-dimensional sedenions. However, satisfying these requirements comes at a price: Each increase in dimensionality introduces new algebraic complications. Quaternion multiplication is not commutative anymore, octonion multiplication additionally is non-associative, and sedenions do not form a normed space with multiplicative norm.

Because quaternions and octonions offer a (multiplicative) norm similar to lengths in four and eight dimensional Euclidean vector space respectively, these numbers can be referred to as points in some higher-dimensional Euclidean space. Beyond octonions, however, this analogy fails since these constructs are not normed anymore.

Modified Cayley-Dickson construction

The Cayley-Dickson construction can be modified by starting with the split-complex numbers rather than the complex numbers. This leads to coquaternions (split-quaternions; e.g. to bases $\{\; 1,~i\_1,\; i\_2,\; i\_3\; \}$ with $i\_1^2\; =\; -1,\; i\_2^2\; =\; i\_3^2\; =\; +1$, ) and split-octonions (e.g. to bases $\{\; 1,~i\_1,\; dots\; ,\; i\_7\; \}$ with $i\_1^2\; =\; i\_2^2\; =\; i\_3^2\; =\; -1$, $i\_4^2\; =\; cdots\; =\; i\_7^2\; =\; +1$). The coquaternions contain nilpotents, have a non-commutative multiplication, and are isomorphic to real matrices (2 x 2). Split-octonions are non-associative.

All non-real bases of split Cayley-Dickinson algebras are anti-commutative.

Complexified algebras: Tessarine, biquaternion, and conic sedenion

While for the Cayley-Dickson constructs and the split Cayley-Dickson constructs all non-real bases are anti-commutative, use of a commutative imaginary base leads to four-dimensional tessarines $mathbb\; Cotimesmathbb\; C$, eight-dimensional biquaternions $mathbb\; Cotimesmathbb\; H$, and 16-dimensional conic sedenions $mathbb\; Cotimesmathbb\; O$.

Tessarines offer a commutative and associative multiplication, biquaternions are associative but not commutative, and conic sedenions are not associative and not commutative. They all contain idempotents and zero-divisors, are not normed, but offer a multiplicative modulus. Biquaternions contain nilpotents, conic sedenions are also not power associative.

With the exception of their idempotents, zero-divisors, and nilpotents, the arithmetic of these numbers is closed with respect to multiplication, division, exponentiation, and logarithms (see e.g. conic quaternions, which are isomorphic to tessarines).

Alexander MacFarlane's hyperbolic quaternion

The hyperbolic quaternions (after Alexander MacFarlane) have a non-associative and non-commutative multiplication. Nevertheless, they offer a ring structure somewhat richer than the Minkowski space of special relativity. All bases are roots of 1, i.e. $i\_n^2\; =\; +1$ for $n\; in\; \{\; 1,\; 2,\; 3\; \}$.This structure is of historical and educational interest since it was a spectacle of the 1890s that presaged the spacetime revolution of the following decade.

Musean hypernumber

While Kantor and Solodovnikov generalize multiplication for numbers of more than one dimension through distributive rectangular (Cartesian coordinate) products, hypernumbers after Charles A. Musès use an approach to generalization by means of absolutes and angles. Musean hypernumbers are organized in 'levels' which correspond to different algebraic properties. While arithmetics built on the first three levels (to real, imaginary $i\; =\; sqrt\{-1\}$, and counterimaginary $varepsilon\; =\; sqrt\{+1\}\; e\; pm\; 1$ bases) are contained in the definition by Kantor and Solodovnikov (see hypernumbers for isomorphisms to numbers mentioned above), the remaining levels offer additional arithmetical properties. For example, they are not necessarily distributive, and not all have a real axis.

Multicomplex number

Multicomplex numbers are a commutative "n"-dimensional algebra generated by one element "e" that satisfies $~e^n\; =\; -1$. A special case are the bicomplex numbers which are isomorphic to tessarines, conic quaternions (from Musès' hypernumbers), and are also contained in the 'hypercomplex number' definition by Kantor and Solodovnikov.

References

*
*
* Jeanne La Duke "The study of linear associative algebras in the United States, 1870 - 1927", see pp. 147-159 of Emmy Noether in Bryn Mawr Bhama Srinivasan & Judith Sally editors, Springer Verlag 1983.

External links

* [http://history.hyperjeff.net/hypercomplex History of the Hypercomplexes on hyperjeff.com]
* [http://hypercomplex.xpsweb.com Hypercomplex.ru]
* [http://home.comcast.net/~cmdaven/hyprcplx.htm Clyde Davenport's Commutative Hypercomplex Math Page]
* Tom Jewitt's " [http://www.hypercomplex.us/docs/generalized_number_system.pdf The Generalized Number System] ", " [http://www.hypercomplex.us/docs/hypercomplex_signal_processing.pdf Hypercomplex Signal Processing] ", and " [http://www.hypercomplex.us/docs/hypercomplex_kalman_filter.pdf The Hypercomplex Kalman Filter] "