Cayley-Dickson-constructie
In de abstracte algebra, een deelgebied van de wiskunde, genereert de Cayley-Dickson-constructie, vernoemd naar Arthur Cayley en Leonard Eugene Dickson,  een rij van algebra's over het lichaam van de reële getallen, elk met een dimensie gelijk aan twee keer de dimensie van de vorige. De algebra's die in dit proces worden gegenereerd staan bekend als Cayley-Dickson-algebra's. De constructie is speciaal bedoeld voor het achtereenvolgens genereren van de complexe getallen, de quaternionen en de octonionen.

Definitie 
De constructie bestaat erin dat van bepaalde hypercomplexe getallen paren gevormd worden als nieuwe hypercomplexe getallen. Optelling en vermenivuldiging worden als volgt gedefinieerd:

Voor de paren hypercomplexe getallen  en  is:

en
,

waarin  de geconjugeerde van het hypercomplexe getal  voorstelt. Voor reële  is .

Bij de vermenigvuldiging is de volgorde van de factoren belangrijk, aangezien de vermnigvuldiging niet noodzakelijk commutatief is.

Alternatief
Als alternatieve definitie kan een nieuw type hypercomplex getal gedefinieerd worden door 
aan bestaande hypercomplexe getallen een nieuw eenheid  toe te voegen en de sommen  als nieuwe hypercomplexe getaleen op te vatten met als optellig

en als eermenigvuldiging

Bij deze constructie is gemakkelijk in te zien dat:
 

en dat de nieuwe eenheid  anticommuteert met de imaginaire eenheid  van het uitgangssysteem: 
.

Het verband tussen beide definities wordt gevormd door de relatie:
.

De Cayley-Dickson-constructie definieert een involutie op de directe som van een algebra met zichzelf. Het product van een element en zijn conjugaat (of soms de vierkantswortel hiervan) wordt de norm genoemd.

De symmetrieën van de reële getallen verdwijnen als de Cayley-Dickson-constructie herhaaldelijk wordt toegepast: eerst verliest men de orde, vervolgens de commutativiteit van vermenigvuldiging, en ten slotte de associativiteit van vermenigvuldiging.

Meer algemeen transformeert een Cayley-Dickson-constructie elke algebra met involutie naar een andere algebra met involutie met tweemaal de dimensie.

Toepassingen

Van reëel naar complex
Op de bekende manier kan een complex getal gedefinieerd worden als een paar reële getallen . Omdat voor reële getallen  is en de vermenigvuldiging commutatief is, geldt:

en

Met  krijgt men de gebruikelijk voorstelling.

Van de complexe getallen naar de quaternionen
De complexe getallen hebben niet meer in het algemeen de eigenschap dat ze gelijk zijn aan hun geconjugeerden. Wel is de vermenigvuldiging nog commutatief. Een quaternion als paar complexe getallen  voldoet dus aan de rekenregels: 

en

Met  en  krijgt men de gebruikelijk voorstelling. De vermenigvuldiging van quaternionen is niet meer commutatief, maar nog wel associatief.

Van de quaternionen naar de octonionen
Op geheel analoge wijze kunnen de octonionen gevormd worden als paren quaternionen. Daarbij gaat ook de associativiteit van de vermenigvuldiging verloren. Wel vormen de octonionen een alternatief lichaam/veld. 

In de gebruikelijke voorstelling is .

Verder
Toepassing van de constructie op de octonionen levert de sedenionen. Zij vormen niet meer een delingsalgebra. Wel zijn de sedenionen machtassociatief, een eigenschap die ook bij verdergaande toepassing behouden blijft.

Externe link
 , Sketching the History of Hypercomplex Numbers (1996–2006).

Voetnoten

Abstracte algebra