nLab
hypercomplex number

Hypercomplex numbers

Idea

A hypercomplex number system is an finite-dimensional algebra over the field \mathbb{R} of real numbers. A hypercomplex number is an element of one of these algebras.

Examples by dimension

  • There is only one? hypercomplex number system of dimension 00, of course.

  • There is also only one hypercomplex number system of dimension 11, which is \mathbb{R} itself.

  • Up to isomorphism, there are three hypercomplex number systems of dimension 22, each of which is a commutative algebra. Since they each have one nontrivial automorphism (an involution called conjugation), there are only 3/23/2 of these algebras by groupoid cardinality. Given the rule

    e 2=a+be e^2 = a + b e

    (for a,ba, b fixed real numbers), the algebra [e]\mathbb{R}[e] may be identified as one of these three cases by the sign of b 24ab^2 - 4 a. They are:

  • Famous hypercomplex number systems of dimension 44 include the quaternions and the bicomplex number?s.

  • In dimension 88, try the octonions and the biquaternion?s.

  • In dimension 1616, try the sedenions and the bioctonion?s.

Of course, these are not the only possibilities by any means. One can always form the direct product of two hypercomplex number systems to get a hypercomplex number systems with the sum of the dimensions. Another way to double the dimension is to form the tensor product with any of the hypercomplex number systems of dimension 22; in particular, complexification (the tensor product with the complex numbers) is often denoted by the prefix ‘bi‑’. The Cayley–Dickson construction will double the dimension of any hypercomplex number system equipped with a (possibly trivial) involution. Another way to generate associative hypercomplex number systems is through Clifford algebras.

There is a thorough list of examples on the English Wikipedia.

Revised on November 14, 2011 06:01:08 by Toby Bartels (139.55.238.24)