The Cayley-Dickson Construction Next: Clifford Algebras Up: Constructing the Octonions Previous: The Fano plane

## 2.2 The Cayley-Dickson Construction

It would be nice to have a construction of the normed division algebras that explained why each one fits neatly inside the next. It would be nice if this construction made it clear why is noncommutative and is nonassociative. It would be even better if this construction gave an infinite sequence of algebras, doubling in dimension each time, with the normed division algebras as the first four. In fact, there is such a construction: it's called the Cayley-Dickson construction.

As Hamilton noted, the complex number can be thought of as a pair of real numbers. Addition is done component-wise, and multiplication goes like this:

We can also define the conjugate of a complex number by

Now that we have the complex numbers, we can define the quaternions in a similar way. A quaternion can be thought of as a pair of complex numbers. Addition is done component-wise, and multiplication goes like this:

This is just like our formula for multiplication of complex numbers, but with a couple of conjugates thrown in. If we included them in the previous formula nothing would change, since the conjugate of a real number is just itself. We can also define the conjugate of a quaternion by

The game continues! Now we can define an octonion to be a pair of quaternions. We add and multiply them using the same formulas that worked for the quaternions. This trick for getting new algebras from old is called the Cayley-Dickson construction.

Why do the real numbers, complex numbers, quaternions and octonions have multiplicative inverses? I take it as obvious for the real numbers. For the complex numbers, one can check that

where is a real number, the square of the norm of . This means that whenever is nonzero, its multiplicative inverse is . One can check that the same holds for the quaternions and octonions.

But this, of course, raises the question: why isn't there an infinite sequence of division algebras, each one obtained from the preceding one by the Cayley-Dickson construction? The answer is that each time we apply the construction, our algebra gets a bit worse. First we lose the fact that every element is its own conjugate, then we lose commutativity, then we lose associativity, and finally we lose the division algebra property.

To see this clearly, it helps to be a bit more formal. Define a -algebra to be an algebra equipped with a conjugation, that is, a real-linear map with

for all . We say a -algebra is real if for every element of the algebra. We say the -algebra is nicely normed if and for all nonzero . If is nicely normed we set

and define a norm on by

If is nicely normed, it has multiplicative inverses given by

If is nicely normed and alternative, is a normed division algebra. To see this, note that for any , all 4 elements lie in the associative algebra generated by and , so that

Starting from any -algebra , the Cayley-Dickson construction gives a new -algebra . Elements of are pairs , multiplcation is defined by

and conjugation is defined by

The following propositions show the effect of repeatedly applying the Cayley-Dickson construction:

Proposition 1.   is never real.

Proposition 2.   is real (and thus commutative) is commutative.

Proposition 3.   is commutative and associative is associative.

Proposition 4.   is associative and nicely normed is alternative and nicely normed.

Proposition 5.   is nicely normed is nicely normed.

All of these follow from straightforward calculations; to prove them here would merely deprive the reader of the pleasure of doing so. It follows from these propositions that:

is a real commutative associative nicely normed -algebra

is a commutative associative nicely normed -algebra

is an associative nicely normed -algebra

is an alternative nicely normed -algebra

and therefore that and are normed division algebras. It also follows that the octonions are neither real, nor commutative, nor associative.

If we keep applying the Cayley-Dickson process to the octonions we get a sequence of -algebras of dimension 16, 32, 64, and so on. The first of these is called the sedenions, presumably alluding to the fact that it is 16-dimensional [62]. It follows from the above results that all the -algebras in this sequence are nicely normed but neither real, nor commutative, nor alternative. They all have multiplicative inverses, since they are nicely normed. But they are not division algebras, since an explicit calculation demonstrates that the sedenions, and thus all the rest, have zero divisors. In fact [21,68], the zero divisors of norm one in the sedenions form a subspace that is homeomorphic to the exceptional Lie group .

The Cayley-Dickson construction provides a nice way to obtain the sequence and the basic properties of these algebras. But what is the meaning of this construction? To answer this, it is better to define as the algebra formed by adjoining to an element satisfying together with the following relations:

 (1)

for all . We make into a -algebra using the original conjugation on elements of and setting . It is easy to check that every element of can be uniquely written as for some , and that this description of the Cayley-Dickson construction becomes equivalent to our previous one if we set .

What is the significance of the relations in (1)? Simply this: they express conjugation in terms of conjugation! This is a pun on the double meaning of the word 'conjugation'. What I really mean is that they express the operation in as conjugation by . In particular, we have

for all . Note that when is associative, any one of the relations in (1) implies the other two. It is when is nonassociative that we really need all three relations.

This interpretation of the Cayley-Dickson construction makes it easier to see what happens as we repeatedly apply the construction starting with . In the operation does nothing, so when we do the Cayley-Dickson construction, conjugation by must have no effect on elements of . Since is commutative, this means that is commutative. But is no longer real, since .

Next let us apply the Cayley-Dickson construction to . Since is commutative, the operation in is an automorphism. Whenever we have an associative algebra equipped with an automorphism , we can always extend to a larger associative algebra by adjoining an invertible element with

for all . Since is associative, this means that is associative. But since is not real, cannot be commutative, since conjugation by the newly adjoined element must have a nontrivial effect.

Finally, let us apply the Cayley-Dickson construction to . Since is noncommutative, the operation in is not an automorphism; it is merely an antiautomorphism. This means we cannot express it as conjugation by some element of a larger associative algebra. Thus must be nonassociative.

Next: Clifford Algebras Up: Constructing the Octonions Previous: The Fano plane