Added to Favorites

Popular Searches

Definitions

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

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

#### One non-real axis

##### Split-complex numbers

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

Dual numbers have bases $\{\; 1,\; epsilon\; \}$ with nilpotent $epsilon^2\; =\; 0$.
#### More than one non-real axis

##### Clifford algebras

^{k} bases, {1, e_{1}, e_{2}, e_{3}, ... , e_{1}e_{2}, ... , e_{1}e_{2}e_{3}, ...}. These can be interpreted as the bases of a hypercomplex number system. Unlike the bases {e_{1}...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_{1}e_{2} = - e_{2}e_{1}; but e_{1}(e_{2}e_{3}) = + (e_{2}e_{3})e_{1}.##### Quaternion, octonion, and beyond: Cayley-Dickson construction

##### =Modified Cayley-Dickson construction=

##### =Complexified algebras: Tessarine, biquaternion, and conic sedenion=

##### Alexander MacFarlane's hyperbolic quaternion

### Musean hypernumber

### Multicomplex number

## References

## External links

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.

A comprehensive modern definition of hypercomplex number is given by Kantor and Solodovnikov 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).

Algebras that include such non-real roots of 1 contain idempotents $tfrac\{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.

Clifford algebra is the unital associative algebra generated over an underlying vector space equipped with a quadratic form. This is equivalent 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_{1}...e_{k}} such that:

- $tfrac\{1\}\{2\}\; (e\_i\; e\_j\; +\; e\_j\; e\_i)\; =\; Bigg\{\; begin\{matrix\}\; -1,\; 0,\; +1\; \&\; i=j,$

Putting aside the bases for which e_{i}^{2} = 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}^{2} = +1, q with e_{i}^{2} = -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ℓ^{0}_{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.

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.

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.

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).

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.

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\}\; ne\; 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 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.

*

- 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.

- History of the Hypercomplexes on hyperjeff.com
- Hypercomplex.ru
- Clyde Davenport's Commutative Hypercomplex Math Page
- Tom Jewitt's " The Generalized Number System", " Hypercomplex Signal Processing", and " The Hypercomplex Kalman Filter"

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday October 05, 2008 at 17:25:46 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday October 05, 2008 at 17:25:46 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.