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 $A$ to a new star-algebra whose elements are pairs of elements of $A$. This operation is the Cayley–Dickson construction, named after Arthur Cayley and Leonard Dickson.
Let $A$ be an possibly nonassociative star-algebra over the field $\mathbb{R}$ of real numbers: an algebra equipped with an involution $\overline(-) \colon x \mapsto \overline{x}$ which is an antiautomorphism. (Actually, $\mathbb{R}$ could be replaced by any commutative ring in the definitions, although some properties may depend on this ring.)
(Cayley-Dickson construction, first version)
The Cayley–Dickson double $A^2$ of $A$ is the real algebra whose underlying $\mathbb{R}$-vector space is is the direct sum $A \oplus A$, and whose multiplication is given by
and the formula
defines an involutive antiautomorphism on $A^2$, so the doubling procedure can be iterated.
The following description is different but equivalent:
(Cayley-Dickson double by generators and relations)
The Cayley-Dickson double $A^2$ of $A$ is the real algebra obtained by adjoining one generator $\ell$ to $A$ subject to the following relations:
and
for all $a, b \in A$.
The map $a\mapsto (a,0)$ is a monomorphism $A\to A^2$. If $A$ is unital with unit $1$ then $A^2$ is unital with unit $(1,0)$. In the unital case, the element $\mathrm{i} \coloneqq (0,1)$ has the property $\mathrm{i}^2 = -1 \coloneqq (-1,0)$, and we may write $(a,b)$ as $a + b \mathrm{i}$ (while $a + \mathrm{i} b = (a,\overline{b})$). For this reason, we may write $A[\mathrm{i}]$ in place of $A^2$, at least when $A$ is unital.
Generally speaking, the double $A^2$ of an algebra $A$ has a nice property iff $A$ is one level nicer. For simplicity, assume that $A$ is unital (so that $\mathbb{R}$ is a subalgebra). Since $\overline{\mathrm{i}} = -\mathrm{i}$, we see that the involution on $A^2$ is trivial iff the involution on $A$ is trivial and $A$ further has $2 = 0$. Since $\mathrm{i} a = \overline{a} \mathrm{i}$, $A^2$ is commutative iff $A$ is commutative and the involution in $A$ is trivial. Since $a (b \mathrm{i}) = (b a) \mathrm{i}$, $A^2$ is associative iff $A$ is associative and commutative. Finally, $A^2$ is alternative iff $A$ is associative (and hence also alternative).
The standard example is the sequence of consecutive doubles starting with $\mathbb{R}$ itself (with the identity map as involution); these are the Cayley–Dickson algebras: the real numbers $\mathbb{R}$, the complex numbers $\mathbb{C}$, the quaternions $\mathbb{H}$, the octonions (or Cayley numbers) $\mathbb{O}$, the sedenions $\mathbb{S}$, etc. These are the normed division algebras ($\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$, and $\mathbb{O}$), 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 $\overline{x} = x$ is always just $\mathbb{R}$.
Named after Arthur Cayley and Leonard Dickson.
Introduction:
M M Postnikov, Lectures on geometry, Semester V: Lie groups and Lie algebras, Lec. 14 (russian and english editions)
John Baez, The Cayley–Dickson construction, in The octonions, Bull. Amer. Math. Soc. 39 (2002), 145-205, doi
More:
Daniel K. Biss, Daniel Dugger, Daniel Isaksen, Large annihilators in Cayley-Dickson algebras, Communications in Algebra 36 (2), 632-664, 2008 (arxiv:math/0511691)
Daniel K. Biss, Daniel Christensen, Daniel Dugger, Daniel Isaksen, Large annihilators in Cayley-Dickson algebras II, Boletin de la Sociedad Matematica Mexicana (3) 13(2) (2007), 269-292 (arxiv:math/0702075)
Daniel K. Biss, Daniel Christensen, Daniel Dugger, Daniel Isaksen, Eigentheory of Cayley-Dickson algebras, Forum Mathematicum 21(5) (2009), 833-851 (arxiv:0905.2987)
See also
Last revised on August 26, 2019 at 15:55:54. See the history of this page for a list of all contributions to it.