Navigation Panel: (IMAGE)(IMAGE)(IMAGE)(IMAGE) (SWITCH TO TEXT-ONLY VERSION) (IMAGE)(IMAGE) (These buttons explained below)


Question Corner and Discussion Area

The Hypercomplex Numbers

Asked by Marcello Praca Gomes da Silva, teacher, U.E.S. on July 7, 1997:
Hello. I would like to know about hypercomplex numbers (of the form a + xi + yj), their properties and rules (addition, subtraction, multiplication, division, etc). In what areas are they useful ? Give me some examples if possible.
The hypercomplex numbers are a generalization of the complex numbers. They were created in an attempt to describe certain geometric operations in spaces with a dimension higher than the 2-dimensional plane.

Operations on the complex numbers can be used to describe many of the geometric operations on the plane. For instance multiplication by a real number corresponds to a scaling of the plane. Multiplication by complex numbers with a modulus ("length") of 1 corresponds to a rotation of the plane. Adding complex numbers corresponds to translation of the plane. More examples are available on the geometry and imaginary numbers page.

It was wondered for some time whether this could be generalized to 3-dimensional space (that is, to numbers of the form a + xi + yj, which is what you were asking about). It is known now that this is not possible. The only dimensions in which there are hypercomplex numbers which allow for a notion of division are dimensions 4 and 8. These hypercomplex numbers are called the Quaternians and Octonians respectively (the Quaternians are sometimes called Hamilton Numbers and the Octonians are often called Cayley Numbers).

In both cases these number systems are unique - the only numbers with these geometric properties in dimension 4 are the Quaternians and in dimension 8 are the Cayley Numbers. Also, with increases in dimension, we can not maintain some of the properties which make number systems simple. In both the Quaternians and the Cayley numbers, multiplication is non-commutative. That is that if a and b are two numbers, then (a)(b) need not be the same number as (b)(a). In that case of the Cayley Numbers, multiplication is not even associative. By this we mean that if a, b, and c are three Cayley numbers, then it is not always true that (ab)c is the same number as a(bc) (here the parentheses tell us which operation to perform first).

While the definition of the Cayley Numbers is quite elaborate, the Quaternians can be defined without too much trouble. There are three Quaternians which, together with the Real numbers, generate all of the others. They are given the names i, j, and k. A typical example of a Quaternian is 1 + 3.3i + 9j - 1.5k.

Addition is defined as you would define addition on a polynomial with variables i, j, and k. For example, the sum of 1 + 5j and 2 + 4j + 13k is 3 + 9j + 13k.

Multiplication is also defined just like multiplication on polynomials except that we are allowed to make certain simplifications:  (IMAGE) . We can derive other relations, such as i = jk, from the ones given above. Thus (1 + 5j)(2 + 4j + 13k) equals  (IMAGE) .

The addition and multiplication of hypercomplex numbers are always defined in the same way, regardless of the dimension. What defines the behavior of the system is the rules for simplification. Other, more obscure hypercomplex number systems exist and are generally based around the multiplication of certain types of matrices. These, however, fail to have a notion of "division" and are more difficult to work with.

[ Submit Your Own Question ] [ Create a Discussion Topic ]

This part of the site maintained by (No Current Maintainers)
Last updated: April 19, 1999
Original Web Site Creator / Mathematical Content Developer: Philip Spencer
Current Network Coordinator and Contact Person: Joel Chan -


(IMAGE) Go backward to What are the Origins of Number Systems?
(IMAGE) Go up to Question Corner Index
(IMAGE) Go forward to Why is the Product of Negative Numbers Positive?
 (SWITCH TO TEXT-ONLY VERSION) Switch to text-only version (no graphics)
(IMAGE) Access printed version in PostScript format (requires PostScript printer)
(IMAGE) Go to University of Toronto Mathematics Network Home Page