Definition:Octonion
From ProofWiki
Definition
The octonions can be defined by using the Cayley-Dickson construction from the quaternions $\Bbb H$.
From Quaternions form Algebra, $\Bbb H$ forms a nicely normed $*$-algebra.
This set is usually denoted $\Bbb O$.
Let $a, b \in \Bbb H$.
Then $a, b \in \Bbb O$, where:
- $\left({a, b}\right) \left({c, d}\right) = \left({a c - d \overline b, \overline a \oplus d + c \oplus b}\right)$
- $\overline {\left({a, b}\right)} = \left({\overline a, -b}\right)$
where:
- $\overline a$ is the conjugate on $a$
and
- $\overline {\left({a, b}\right)}$ is the conjugation operation on $\Bbb O$.
Also see
- Results about octonions can be found here.