Sédénion

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, les sédénions, notés \mathbb S, forment une algèbre à 16 dimensions sur les réels. Leur nom provient du latin sedecim qui veut dire seize. Deux sortes sont actuellement connues :

  1. Les sédénions obtenus par application de la construction de Cayley-Dickson
  2. Les sédénions coniques (ou algèbre M) à partir des arithmétiques des hypernombres.

Sommaire

[modifier] Les sédénions de la construction de Cayley-Dickson

[modifier] Arithmétique

À l'instar des octonions, la multiplication des sedénions n'est ni commutative ni associative. De plus, par rapport aux octonions, les sédénions perdent la propriété d'être alternatifs.

Les sédénions ont un élément neutre multiplicatif 1 et des inverses pour la multiplication, mais ils ne forment pas une algèbre de division. Cela parce qu'ils ont des diviseurs de zéro.

Chaque sedénion est une combinaison linéaire, à coefficients réels, des sédénions unités 1, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, e11, e12, e13, e14 et e15, qui forment la base de l'espace vectoriel des sédénions. La table de multiplication de ces sédénions unitaires est établie comme suit :

× 1
e1
e2
e3
e4
e5
e6
e7
e8
e9
e10
e11
e12
e13
e14
e15
1
1
e1
e2
e3
e4
e5
e6
e7
e8
e9
e10
e11
e12
e13
e14
e15
e1
e1
-1
e3
-e2
e5
-e4
-e7
e6
e9
-e8
-e11
e10
-e13
e12
e15
-e14
e2
e2
-e3
-1
e1
e6
e7
-e4
-e5
e10
e11
-e8
-e9
-e14
-e15
e12
e13
e3
e3
e2
-e1
-1
e7
-e6
e5
-e4
e11
-e10
e9
-e8
-e15
e14
-e13
e12
e4
e4
-e5
-e6
-e7
-1
e1
e2
e3
e12
e13
e14
e15
-e8
-e9
-e10
-e11
e5
e5
e4
-e7
e6
-e1
-1
-e3
e2
e13
-e12
e15
-e14
e9
-e8
e11
-e10
e6
e6
e7
e4
-e5
-e2
e3
-1
-e1
e14
-e15
-e12
e13
e10
-e11
-e8
e9
e7
e7
-e6
e5
e4
-e3
-e2
e1
-1
e15
e14
-e13
-e12
e11
e10
-e9
-e8
e8
e8
-e9
-e10
-e11
-e12
-e13
-e14
-e15
-1
e1
e2
e3
e4
e5
e6
e7
e9
e9
e8
-e11
e10
-e13
e12
e15
-e14
-e1
-1
-e3
e2
-e5
e4
e7
-e6
e10
e10
e11
e8
-e9
-e14
-e15
e12
e13
-e2
e3
-1
-e1
-e6
-e7
e4
e5
e11
e11
-e10
e9
e8
-e15
e14
-e13
e12
-e3
-e2
e1
-1
-e7
e6
-e5
e4
e12
e12
e13
e14
e15
e8
-e9
-e10
-e11
-e4
e5
e6
e7
-1
-e1
-e2
-e3
e13
e13
-e12
e15
-e14
e9
e8
e11
-e10
-e5
-e4
e7
-e6
e1
-1
e3
-e2
e14
e14
-e15
-e12
e13
e10
-e11
e8
e9
-e6
-e7
-e4
e5
e2
-e3
-1
e1
e15
e15
e14
-e13
-e12
e11
e10
-e9
e8
-e7
e6
-e5
-e4
e3
e2
-e1
-1

[modifier] Les sédénions coniques / algèbre M à 16-dim.

[modifier] Arithmétique

À la différence des sédénions issus de la construction de Cayley-Dickson, qui sont construits sur l'unité (1) et 15 racines de l'unité négative (-1), les sédénions coniques sont construits sur 8 racines carrées de l'unité positive et négative. Ils partagent la non-commutativité et la non-associativité avec l'arithmétique des sédénions de Cayley-Dickson ("sédénions circulaire"), néanmoins les sédénions coniques sont modulaires, alternatifs, flexibles mais ne sont pas associatifs de puissances.

Les sédénions coniques contiennent à la fois les sous-algèbres des octonions (circulaires), les octonions coniques et les octonions hyperboliques. Les octonions hyperboliques sont de manière calculatoire équivalents aux octonions fendus.

Les sédénions coniques contiennent des éléments idempotents, nilpotents et des diviseurs de zéro. Avec l'exception de leurs éléments nilpotents et zéro, l'arithmétique est close avec le respect des opérations de puissance et de logarithme.

[modifier] Bibliographie

  • Carmody, Kevin: Circular and Hyperbolic Quaternions, Octonions and Sedenions, Applied Mathematics and Computation 28:47-72 (1988)
  • Carmody, Kevin: Circular and Hyperbolic Quaternions, Octonions and Sedenions - Further results, Applied Mathematics and Computation, 84:27-47 (1997)
  • Imaeda, K., Imaeda, M.: Sedenions: algebra and analysis, Applied Mathematics and Computation, 115:77-88 (2000)
  • Carmody, Kevin: Circular and Hyperbolic Quaternions, Octonions and Sedenions - Part III, Online at http://www.kevincarmody.com/math/sedenions3.pdf (2006)

[modifier] Sujets liés

Notion de nombre
Ensembles usuels Extensions

ℕ ensemble des entiers naturels
ℤ groupe des entiers relatifs
D ensemble des décimaux
ℚ corps des rationnels
ℝ corps des réels
ℂ corps des complexes

ℍ algèbre des quaternions
O algèbre des octonions
S algèbre des sédénions
autres hypercomplexes
p corps des p-adiques
hyperréels et superréels
ordinaux et cardinaux
surréels et pseudoréels

\scriptstyle\mathbb{N}\ \sub\ \mathbb{Z}\ \sub\ \mathbb{D}\ \sub\ \mathbb{Q}\ \sub\ \mathbb{R}\ \sub\ \mathbb{C}

Propriétés particulières

pair ou impair • premier ou composé • carré • parfait
positif ou négatif • dyadique • irrationnel
algébrique ou transcendant • imaginaire pur
nombre de Liouville • normal • univers
constructible • calculable • transfini • infiniment petit

Exemples d'importance historique
π :
2 :
φ :
0 :
i :
e :
0 :
constante d'Archimède
racine carrée de deux
nombre d'or
zéro
unité imaginaire
constante de Neper
aleph-zéro
(≈ 3,141592654…)
(≈ 1,414213562…)
(≈ 1,618033989…)

de carré valant −1
(≈ 2,718281828…)
premier cardinal infini
autres constantes mathématiques
Notions connexes

chiffre • numération • fraction • opération • calcul • algèbre
arithmétique • suite d'entiers • ∞ infini • chiffre significatif