symmetric monoidal (∞,1)-category of spectra
Consider how the complex numbers are formed from the real numbers. If generalized carefully, this kind of operation may be performed again to yield the quaternions, then the octonions (hence the four real normed division algebra), then the sedenions, and so on.
This is a special case of a construction which takes a real star-algebra to a new star-algebra whose elements are pairs of elements of . This operation is the Cayley–Dickson construction.
Let be an possibly nonassociative star-algebra over the field of real numbers: an algebra equipped with an involution which is an antiautomorphism. (Actually, could be replaced by any commutative ring in the definitions, although some properties may depend on this ring.)
and the formula
defines an involutive antiautomorphism on , so the doubling procedure can be iterated.
The map is a monomorphism . If is unital with unit then is unital with unit . In the unital case, the element has the property , and we may write as (while ). For this reason, we may write in place of , at least when is unital.
Generally speaking, the double of an algebra has a nice property iff is one level nicer. For simplicity, assume that is unital (so that is a subalgebra). Since , we see that the involution on is trivial iff the involution on is trivial and further has . Since , is commutative iff is commutative and the involution in is trivial. Since , is associative iff is associative and commutative. Finally, is alternative iff is associative (and hence also alternative).
The standard example is the sequence of consecutive doubles starting with itself (with the identity map as involution); these are the Cayley–Dickson algebras: the real numbers , the complex numbers , the quaternions , the octonions (or Cayley numbers) , the sedenions , etc. These are the normed division algebras (, , , and ), followed by further algebras which are not division algebras. All of these algebras are power-associative, flexible, and unital, and have all inverse elements; the subalgebra with is always just .
M M Postnikov, Lectures on geometry, Semester V: Lie groups and Lie algebras, Lec. 14 (russian and english editions)
Wikipedia, Cayley–Dickson construction