Near-Trinions: Complete Classification of Unital Three-Dimensional Real Associative Algebras

Résumé Technique : Near-Trinions : Classification Complète des Algèbres Réelles Associatives Unitaires de Dimension Trois

Énoncé du Problème
Alors que le théorème de Frobenius (1878) établit de manière définitive qu'il n'existe pas d'algèbres de division réelles de dimension trois, la classification des algèbres associatives réelles de dimension trois en général demeure un problème distinct. L'auteur, Joel A. Shelton, traite de l'existence et de la classification de ces objets, nommés « near-trinions » (quasi-trinions). La question centrale est de déterminer l'ensemble complet des classes d'isomorphisme d'algèbres $\mathbb{R}$-associatives, unitaires et de dimension finie de dimension trois.

Méthodologie
L'article emploie une approche structurelle basée sur la stratification des algèbres par la dimension de leur radical de Jacobson, $d = \dim_{\mathbb{R}} \text{rad}(A)$. Puisque l'algèbre est unitaire et de dimension trois, $d$ est restreint à l'ensemble $\{0, 1, 2\}$ (car $d=3$ impliquerait que l'algèbre est nilpotente, ce qui contredirait l'existence d'une unité). La classification procède à travers trois strates :

1. Strate semi-simple ($d=0$) : Le théorème de Wedderburn–Artin est appliqué. Puisque l'algèbre est semi-simple, elle se décompose en un produit direct d'anneaux de matrices sur des algèbres de division. Le théorème de Frobenius restreint les algèbres de division sur $\mathbb{R}$ à $\mathbb{R}$, $\mathbb{C}$, et $\mathbb{H}$. Les contraintes dimensionnelles ($n^2 \dim D = 3$) éliminent $\mathbb{H}$ et $M_2(\mathbb{R})$, ne laissant que des combinaisons spécifiques de $\mathbb{R}$ et $\mathbb{C}$.
2. Strate à radical unifimensionnel ($d=1$) : Le quotient $A/\text{rad}(A)$ est une algèbre semi-simple de dimension deux, isomorphe soit à $\mathbb{R}^2$, soit à $\mathbb{C}$.
   • Le cas $A/\text{rad}(A) \cong \mathbb{C}$ est prouvé impossible via une obstruction de signe caractéristique : si le générateur du radical $\eta$ était agi sur par l'unité imaginaire $i$ du quotient, on dériverait $i \cdot \eta = c\eta$ pour $c \in \mathbb{R}$, menant à $c^2 = -1$, ce qui n'a pas de solution réelle.
   • Le cas $A/\text{rad}(A) \cong \mathbb{R}^2$ est analysé en utilisant la décomposition de Peirce relative aux idempotents orthogonaux du quotient. Le générateur du radical est situé soit dans un coin diagonal (produisant une algèbre commutative), soit dans un coin hors-diagonal (produisant une algèbre non-commutative).
3. Strate à radical bidimensionnel ($d=2$) : Le quotient est isomorphe à $\mathbb{R}$, rendant l'algèbre locale. La classification se divise selon que le carré du radical s'annule ($\text{rad}(A)^2 = 0$) ou est non nul.

Résultats Clés
L'article établit qu'il existe exactement six classes d'isomorphisme de near-trinions. Celles-ci sont présentées avec des représentants canoniques, des tables de multiplication explicites, et un ensemble d'invariants de type module suffisants pour distinguer chaque paire.

Les six classes sont :

• $d=0$ (Semi-simple) :
  • (NT1) $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$
  • (NT2) $\mathbb{R} \times \mathbb{C}$
• $d=1$ (Radical unidimensionnel) :
  • (NT3) $\mathbb{R} \times \mathbb{R}[\varepsilon]/(\varepsilon^2)$ (Commutative ; radical dans le coin de Peirce diagonal)
  • (NT6) $T_2(\mathbb{R})$ (Non-commutative ; radical dans le coin de Peirce hors-diagonal)
• $d=2$ (Radical bidimensionnel) :
  • (NT4) $\mathbb{R}[\varepsilon_1, \varepsilon_2]/(\varepsilon_1^2, \varepsilon_2^2, \varepsilon_1\varepsilon_2)$ (Carré du radical nul)
  • (NT5) $\mathbb{R}[x]/(x^3)$ (Carré du radical non nul ; longueur de Loewy 3)

Invariants de Distinction
L'article démontre l'irréductibilité (aucune de deux classes n'est isomorphe) en utilisant les invariants suivants :

• Dimension du radical ($d$) : Sépare les trois strates.
• Commutativité : Distingue NT3 de NT6 au sein de la strate $d=1$.
• Longueur de Loewy ($\ell\ell(A)$) et $\text{rad}(A)^2$ : Distingue NT4 de NT5 au sein de la strate $d=2$.
• Nombre d'idempotents : Distingue NT1 de NT2 au sein de la strate $d=0$.

Signification et Contribution
L'article note que bien que la classification des algèbres de faible dimension ait été abordée précédemment (spécifiquement par Scheffers en 1891 et par Kobayashi et al. dans des traitements modernes), la contribution de ce travail réside dans son cadre méthodologique et sa profondeur explicative.

• Cohérence narrative : Le cadrage des « near-trinions » relie la classification au contexte historique de la non-existence des algèbres de division de dimension 3.
• Explication structurelle : Contrairement aux approches basées sur les coordonnées qui font varier les constantes de structure pour énumérer les classes, cet article explique pourquoi la classification prend sa forme spécifique. Il élucide pourquoi la dimension du radical est restreinte à $\{0, 1, 2\}$, pourquoi le cas $d=1$ bifurque strictement sur la commutativité, et pourquoi un corps résiduel de $\mathbb{C}$ est structurellement impossible dans cette dimension sur $\mathbb{R}$.
• Comparaison avec les travaux antérieurs : L'article cartographie explicitement ses six classes vers les entrées de la classification de Kobayashi et al., confirmant l'accord tout en fournissant une dérivation distincte via la stratification par le radical de Jacobson et la décomposition de Peirce.

Limites et Directions Futures
La classification est spécifique aux algèbres $\mathbb{R}$-associatives, unitaires et de dimension finie. L'auteur note que les résultats ne s'étendent pas aux dimensions infinies (où le lemme de Nakayama et les bornes du radical peuvent échouer) ou aux algèbres non-associatives (Lie, Jordan, octonions). Une direction proposée pour des travaux ultérieurs est la classification sur les corps finis, où l'obstruction de signe utilisée dans le cas $d=1$ (l'impossibilité de résoudre $c^2 = -1$) pourrait ne pas tenir, modifiant potentiellement le nombre de classes d'isomorphisme.