Editing Cayley–Dickson construction (section)

==Stages in construction of real algebras==

Details of the construction of the classical real algebras are as follows:
=== Complex numbers as ordered pairs ===
{{Main|Complex number}}
The [[complex numbers]] can be written as [[ordered pair]]s {{math|(''a'', ''b'')}} of [[real number]]s {{mvar|a}} and {{mvar|b}}, with the addition operator being component-wise and with multiplication defined by

: <math>(a, b) (c, d) = (a c - b d, a d + b c).\,</math>

A complex number whose second component is zero is associated with a real number: the complex number {{math|(''a'', 0)}} is associated with the real number&nbsp;{{mvar|a}}.

The [[complex conjugate]] {{math|(''a'', ''b'')*}} of {{math|(''a'', ''b'')}} is given by

: <math>(a, b)^* = (a^*, -b) = (a, -b)</math>

since {{mvar|a}} is a real number and is its own conjugate.

The conjugate has the property that

: <math>(a, b)^* (a, b)  = (a a + b b, a b - b a) = \left(a^2 + b^2, 0\right),\,</math>

which is a non-negative real number.  In this way, conjugation defines a ''[[norm (mathematics)|norm]]'', making the complex numbers a [[normed vector space]] over the real numbers:  the norm of a complex number&nbsp;{{mvar|z}} is

: <math>|z| = \left(z^* z\right)^\frac12.\,</math>

Furthermore, for any non-zero complex number&nbsp;{{mvar|z}}, conjugation gives a [[inverse element|multiplicative inverse]],

: <math>z^{-1} = \frac{z^*}{|z|^2}.</math>

As a complex number consists of two independent real numbers, they form a two-dimensional [[vector space]] over the real numbers.

Besides being of higher dimension, the complex numbers can be said to lack one algebraic property of the real numbers: a real number is its own conjugate.

=== Quaternions ===
{{Main|Quaternion}}
[[File:Cayley_Q8_multiplication_graph.svg|thumb|link={{filepath:Cayley_Q8_multiplication_graph.svg}}|Cayley Q8 graph of quaternion multiplication showing cycles of multiplication of ''i'' (red), ''j'' (green) and ''k'' (blue). In [{{filepath:Cayley_Q8_quaternion_multiplication_graph.svg}} the SVG file,] hover over or click a path to highlight it.]]

The next step in the construction is to generalize the multiplication and conjugation operations.

Form ordered pairs {{math|(''a'', ''b'')}} of complex numbers {{mvar|a}} and {{mvar|b}}, with multiplication defined by

: <math>(a, b) (c, d)  = (a c - d^* b, d a + b c^*).\,</math>

Slight variations on this formula are possible; the resulting constructions will yield structures identical up to the signs of bases.

The order of the factors seems odd now, but will be important in the next step.

Define the conjugate {{math|(''a'', ''b'')*}} of {{math|(''a'', ''b'')}} by

: <math>(a, b)^* = (a^*, -b).\,</math>

These operators are direct extensions of their complex analogs:  if {{mvar|a}} and {{mvar|b}} are taken from the real subset of complex numbers, the appearance of the conjugate in the formulas has no effect, so the operators are the same as those for the complex numbers.

The product of a nonzero element with its conjugate is a non-negative real number:

: <math>\begin{align} (a, b)^* (a, b) &= (a^*, -b) (a, b) \\ &= (a^* a + b^* b, b a^* - b a^*) \\ &= \left(|a|^2 + |b|^2, 0 \right).\, \end{align}</math>

As before, the conjugate thus yields a norm and an inverse for any such ordered pair.  So in the sense we explained above, these pairs constitute an algebra something like the real numbers.  They are the [[quaternion]]s, named by [[William Rowan Hamilton|Hamilton]] in 1843.

As a quaternion consists of two independent complex numbers, they form a four-dimensional vector space over the real numbers.

The multiplication of quaternions is not quite like the multiplication of real numbers, though; it is not [[commutative]] – that is, if {{mvar|p}} and {{mvar|q}} are quaternions, it is not always true that {{math|''pq'' {{=}} ''qp''}}.

=== Octonions ===
{{Main|Octonion}}
All the steps to create further algebras are the same from octonions onwards.

This time, form ordered pairs {{math|(''p'', ''q'')}} of quaternions {{mvar|p}} and {{mvar|q}}, with multiplication and conjugation defined exactly as for the quaternions:
: <math>(p, q) (r, s) = (p r - s^* q, s p + q r^*).\,</math>

Note, however, that because the quaternions are not commutative, the order of the factors in the multiplication formula becomes important—if the last factor in the multiplication formula were {{math|''r''*''q''}} rather than
{{math|''qr''*}}, the formula for multiplication of an element by its conjugate would not yield a real number.

For exactly the same reasons as before, the conjugation operator yields a norm and a multiplicative inverse of any nonzero element.

This algebra was discovered by [[John T. Graves]] in 1843, and is called the [[octonion]]s or the "[[Arthur Cayley|Cayley]] numbers".<ref>{{Cite journal | last1 = Baez | first1 = John C. | author-link = John Baez| title = The Octonions | journal = Bulletin of the American Mathematical Society |series=New Series | volume = 39 | issue = 2 | pages = 145–205 | year = 2002 | url = http://math.ucr.edu/home/baez/octonions/ | doi = 10.1090/S0273-0979-01-00934-X | arxiv = math/0105155| mr = 1886087 | s2cid = 586512}}</ref>

As an octonion consists of two independent quaternions, they form an eight-dimensional vector space over the real numbers.

The multiplication of octonions is even stranger than that of quaternions; besides being non-commutative, it is not [[associative]] – that is, if {{mvar|p}}, {{mvar|q}}, and {{mvar|r}} are octonions, it is not always true that {{math|(''pq'')''r'' {{=}} ''p''(''qr'')}}.

For the reason of this non-associativity, octonions have [[Octonion#Properties|no matrix representation]].

=== Sedenions ===
{{main|Sedenion}}
The algebra immediately following the octonions is called the [[sedenion]]s.<ref>{{Cite journal | last1=Imaeda | first1=K. | last2=Imaeda | first2=M. | title=Sedenions: algebra and analysis | doi=10.1016/S0096-3003(99)00140-X | mr=1786945 | year=2000 | journal=Applied Mathematics and Computation   | volume=115 | issue=2 | pages=77–88}}</ref> It retains the algebraic property of [[power associativity]], meaning that if {{mvar|s}} is a sedenion, {{math|''s<sup>n</sup>s<sup>m</sup>'' {{=}} ''s''<sup>''n''&thinsp;+&thinsp;''m''</sup>}}, but loses the property of being an [[alternative algebra]] and hence cannot be a [[composition algebra]].

=== Trigintaduonions ===
{{main|Trigintaduonion}}
The algebra immediately following the [[sedenion]]s is the [[trigintaduonion]]s,<ref>{{cite web | title=Trigintaduonion | website=University of Waterloo | url=https://ece.uwaterloo.ca/~dwharder/Java/doc/ca/uwaterloo/alumni/dwharder/Numbers/Trigintaduonion.html | access-date=2024-10-08}}</ref><ref>{{cite arXiv | last1=Cawagas | first1=Raoul E. | last2=Carrascal | first2=Alexander S. | last3=Bautista | first3=Lincoln A. | last4=Maria | first4=John P. Sta. | last5=Urrutia | first5=Jackie D. | last6=Nobles | first6=Bernadeth | title=The Subalgebra Structure of the Cayley-Dickson Algebra of Dimension 32 (trigintaduonion) | date=2009 | class=math.RA | eprint=0907.2047v3}}</ref><ref>{{cite journal | last1=Cariow | first1=A. | last2=Cariowa | first2=G. | title=An algorithm for multiplication of trigintaduonions | journal=Journal of Theoretical and Applied Computer Science | volume=8 | issue=1 | date=2014 | issn=2299-2634 | pages=50–75 | url=https://www.infona.pl/resource/bwmeta1.element.baztech-0c72d8f6-14c2-4959-8640-58b568cfaa97 | access-date=2024-10-10}}</ref> which form a 32-[[dimension of a vector space|dimensional]] [[algebra over a field|algebra]] over the [[real number]]s<ref>{{cite journal | last1=Saini | first1=Kavita | last2=Raj | first2=Kuldip | title=On generalization for Tribonacci Trigintaduonions | journal=Indian Journal of Pure and Applied Mathematics | publisher=Springer Science and Business Media LLC | volume=52 | issue=2 | year=2021 | issn=0019-5588 | doi=10.1007/s13226-021-00067-y | pages=420–428}}</ref> and can be represented by [[blackboard bold]] <math>\mathbb T</math>.<ref>{{cite arXiv | last1=Cawagas | first1=Raoul E. | last2=Carrascal | first2=Alexander S. | last3=Bautista | first3=Lincoln A. | last4=Maria | first4=John P. Sta. | last5=Urrutia | first5=Jackie D. | last6=Nobles | first6=Bernadeth | title=The Subalgebra Structure of the Cayley-Dickson Algebra of Dimension 32 (trigintaduonion) | date=2009-07-12 | class=math.RA | eprint=0907.2047 }}</ref>

=== Further algebras ===
The Cayley–Dickson construction can be carried on ''[[ad infinitum]]'', at each step producing a power-associative algebra whose dimension is double that of the algebra of the preceding step. These include the 64-dimensional sexagintaquatronions (or 64-nions), the 128-dimensional centumduodetrigintanions (or 128-nions), the 256-dimensional ducentiquinquagintasexions (or 256-nions), and ''ad infinitum''.<ref>{{cite journal | last=Cariow | first=Aleksandr | title=An unified approach for developing rationalized algorithms for hypercomplex number multiplication | journal=Przegląd Elektrotechniczny | publisher=Wydawnictwo SIGMA-NOT | volume=1 | issue=2 | date=2015 | issn=0033-2097 | doi=10.15199/48.2015.02.09 | pages=38–41}}</ref> All the algebras generated in this way over a field are ''quadratic'': that is, each element satisfies a quadratic equation with coefficients from the field.<ref name=Sch66/>{{rp|50}}

In 1954, [[Richard D. Schafer|R. D. Schafer]] proved that the algebras generated by the Cayley–Dickson process over a field {{mvar|F}} satisfy the [[flexible identity]]. He also proved that any [[derivation algebra]] of a Cayley–Dickson algebra is isomorphic to the derivation algebra of Cayley numbers, a 14-dimensional [[Lie algebra]] over {{mvar|F}}.<ref>Richard D. Schafer (1954) "On the algebras formed by the Cayley–Dickson process", [[American Journal of Mathematics]] 76: 435–46 {{doi|10.2307/2372583}}</ref>