Definition:Cayley-Dickson Construction

Definition
Let $A = \left({A_F, \oplus}\right)$ be a $*$-algebra.

The Cayley-Dickson Construction on $A$ is the procedure which generates a new algebra $A'$ from $A$ as follows.

Let $A' = \left({A'_F, \oplus'}\right) = \left({A, \oplus}\right)^2$.

Let $\left({a, b}\right), \left({c, d}\right) \in A'$.

Then $\oplus'$ and $*'$ are defined as follows:
 * $\left({a, b}\right) \oplus' \left({c, d}\right) = \left({a \oplus c - d^* \oplus b, a^* \oplus d + c \oplus b}\right)$
 * ${\left({a, b}\right)^*}' = \left({a^*, -b}\right)$

where $a^*$ is the conjugation of $a \in A$.

If $\dim \left({A_F}\right)$ is $d$, then $\dim \left({A'_F}\right)$ is $2 d$.

Also see

 * Cayley-Dickson Construction forms a $*$-Algebra