Hypercomplex number

Poll without page-refresh

Article on other languages:

	del.icio.us
	Digg
	Furl
	Reddit
	Rojo
	Add to OnlyWire

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.

1 Numbers with dimensionality
2 References
3 External links

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 ^[1] 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

Split-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 $\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.

Dual numbers

Dual numbers have bases ${1,ε}$ with nilpotent $ε 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^[2] 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:

$\tfrac{1}{2} (e_i e_j + e_j e_i) = \Bigg\{ \begin{matrix} -1, 0, +1 & i=j, \\ 0 & i \not = j \end{matrix}$

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 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 C\otimes\mathbb C$ , eight-dimensional biquaternions $\mathbb C\otimes\mathbb H$ , and 16-dimensional conic sedenions $\mathbb C\otimes\mathbb 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} \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 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

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

Eric W. Weisstein, Hypercomplex number at MathWorld.
Olariu, S. (2000). "Complex Numbers in n Dimensions" arxiv:math.CV/0011044/v1.
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

Number systems

Basic	Natural numbers $\mathbb{N}$ · Whole numbers $\mathbb{W}$ · Negative numbers · Integers $\mathbb{Z}$ · Rational numbers $\mathbb{Q}$ · Irrational numbers · Real numbers $\mathbb{R}$ · Imaginary numbers $\mathbb{I}$ · Complex numbers $\mathbb{C}$ · Algebraic numbers $\overline{\mathbb{Q}}$ · Transcendental numbers · Quaternions $\mathbb{H}$ · Octonions $\mathbb{O}$ · Sedenions $\mathbb{S}$ · Cayley–Dickson construction · Split-complex numbers $\mathbb{R}^{1,1}$

Complex extensions	Bicomplex numbers · Biquaternions · Split-quaternions · Tessarines · Hypercomplex numbers · Musean hypernumbers · Superreal numbers · Hyperreal numbers · Supernatural numbers · Surreal numbers

Other extensions	Dual numbers · Transfinite numbers · Extended real numbers · Cardinal numbers · Ordinal numbers · p-adic numbers