En mathématiques, les octonions fendus sont une extension non-associative des quaternions (ou des quaternions fendus). Ils diffèrent des octonions par la signature de la forme quadratique : les octonions fendus ont une signature de fente (4,4) où les octonions ont une signature définie positive (8,0).
Les octonions et les octonions fendus peuvent être obtenus par la construction de Cayley-Dickson en définissant une multiplication sur les paires de quaternions. Nous introduisons une nouvelle unité imaginaire ℓ et nous écrivons une paire de quaternions (a, b) sous la forme a + ℓb. Le produit est défini par la règle suivante :
où
Si
Une base pour les octonions fendus est donnée par l'ensemble {1, i, j, k, ℓ, ℓi, ℓj, ℓk}. Chaque octonion fendu x peut être écrit comme une combinaison linéaire des éléments de la base,
avec des coefficients réels xa. Par linéarité, la multiplication des octonions fendus est complètement déterminée par la table de multiplication suivante :
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Le conjugué d'un octonion fendu x est donné par
comme pour les octonions. La forme quadratique (ou norme carrée) sur x est donnée par
Cette norme est la norme pseudo-euclidienne standard sur
Puisque les octonions fendus ne sont pas associatifs, ils ne peuvent pas être représentés par les matrices ordinaires (la multiplication matricielle est toujours associative). Zorn a trouvé une manière de les représenter sous la forme de "matrices" contenant à la fois des scalaires et des vecteurs en utilisant une version modifiée de la multiplication matricielle. Plus précisément, définissons qu'une matrice-vecteur est une matrice 2 x 2 de la forme
où a et b sont des nombres réels et v et w des vecteurs dans
où . est le produit scalaire et x le produit vectoriel ordinaire de 3 vecteurs. Avec l'addition et la multiplication scalaire définie comme d'habitude dans l'ensemble de toutes les matrices de cette sorte forme une algèbre à huit dimensions non associative unitaire sur les réels, appelée algèbre matricielle-vectorielle de Zorn.
Définissons le "déterminant" d'un matrice vecteur par la règle
Ce déterminant est une forme quadratique de l'algèbre de Zorn qui satisfait la loi de composition :
L'algèbre matricielle-vectorielle de Zorn est, en fait, isomorphe à l'algèbre des octonions fendus. Écrivons un octonion x sous la forme
où a et b sont des nombres réels, a et b sont des quaternions purs qui sont vus comme des vecteurs dans
Cet isomorphisme préserve la norme puisque