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

Technische Samenvatting: Near-Trinions: Volledige Classificatie van Unitaire Driedimensionale Reële Associatieve Algebra's

Probleemstelling
Hoewel de stelling van Frobenius (1878) definitief vaststelt dat er geen driedimensionale reële divisie-algebra's bestaan, blijft de classificatie van algemene driedimensionale reële associatieve algebra's een afzonderlijk probleem. De auteur, Joel A. Shelton, behandelt de existentie en classificatie van deze objecten, die hij "near-trinions" noemt. De centrale vraag is het bepalen van de volledige verzameling isomorfieklassen voor einddimensionale, associatieve, unitaire $\mathbb{R}$-algebra's van dimensie drie.

Methodologie
Het artikel hanteert een structurele aanpak gebaseerd op de stratificatie van algebra's door de dimensie van hun Jacobson-radicaal, $d = \dim_{\mathbb{R}} \text{rad}(A)$. Omdat de algebra unitair is en driedimensionaal, is $d$ beperkt tot de verzameling $\{0, 1, 2\}$ (aangezien $d=3$ zou impliceren dat de algebra nilpotent is, wat in strijd is met het bestaan van een eenheid). De classificatie verloopt via drie strata:

1. Semisimple Stratum ($d=0$): De stelling van Wedderburn–Artin wordt toegepast. Omdat de algebra semisimpel is, ontleedt deze in een direct product van matrixringen over divisie-algebra's. De stelling van Frobenius beperkt de divisie-algebra's over $\mathbb{R}$ tot $\mathbb{R}$, $\mathbb{C}$ en $\mathbb{H}$. Dimensionale restricties ($n^2 \dim D = 3$) elimineren $\mathbb{H}$ en $M_2(\mathbb{R})$, waardoor alleen specifieke combinaties van $\mathbb{R}$ en $\mathbb{C}$ overblijven.
2. Eendimensionaal Radicaal Stratum ($d=1$): De quotient $A/\text{rad}(A)$ is een tweedimensionale semipiele algebra, isomorf aan ofwel $\mathbb{R}^2$ ofwel $\mathbb{C}$.
   • Het geval $A/\text{rad}(A) \cong \mathbb{C}$ wordt als onmogelijk bewezen via een karakteristieke teken-obstructie: indien de radicaal-generator $\eta$ zou worden bewerkt door de imaginaire eenheid $i$ van de quotient, zou men $i \cdot \eta = c\eta$ afleiden voor $c \in \mathbb{R}$, wat leidt tot $c^2 = -1$, waarvoor geen reële oplossing bestaat.
   • Het geval $A/\text{rad}(A) \cong \mathbb{R}^2$ wordt geanalyseerd met behulp van de Peirce-ontbinding relatief aan de orthogonale idempotenten van de quotient. De radicaal-generator bevindt zich ofwel in een diagonale hoek (wat een commutatieve algebra oplevert) ofwel in een off-diagonale hoek (wat een niet-commutatieve algebra oplevert).
3. Tweedimensionaal Radicaal Stratum ($d=2$): De quotient is isomorf aan $\mathbb{R}$, waardoor de algebra lokaal is. De classificatie splitst zich op basis van de vraag of het kwadraat van het radicaal verdwijnt ($\text{rad}(A)^2 = 0$) of niet nul is.

Kernresultaten
Het artikel stelt vast dat er exact zes isomorfieklassen van near-trinions zijn. Deze worden gepresenteerd met canonieke representanten, expliciete multiplicatietabellen en een set van module-theoretische invarianten die voldoende zijn om elk paar te onderscheiden.

De zes klassen zijn:

• $d=0$ (Semisimpel):
  • (NT1) $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$
  • (NT2) $\mathbb{R} \times \mathbb{C}$
• $d=1$ (Eendimensionaal radicaal):
  • (NT3) $\mathbb{R} \times \mathbb{R}[\varepsilon]/(\varepsilon^2)$ (Commutatief; radicaal in diagonale Peirce-hoek)
  • (NT6) $T_2(\mathbb{R})$ (Niet-commutatief; radicaal in off-diagonale Peirce-hoek)
• $d=2$ (Tweedimensionaal radicaal):
  • (NT4) $\mathbb{R}[\varepsilon_1, \varepsilon_2]/(\varepsilon_1^2, \varepsilon_2^2, \varepsilon_1\varepsilon_2)$ (Radicaal kwadraat is nul)
  • (NT5) $\mathbb{R}[x]/(x^3)$ (Radicaal kwadraat is niet nul; Loewy-lengte 3)

Onderscheidende Invarianten
Het artikel toont de irredundantie aan (geen twee klassen zijn isomorf) met behulp van de volgende invarianten:

• Radicaal-dimensie ($d$): Scheidt de drie strata van elkaar.
• Commutativiteit: Onderscheidt NT3 van NT6 binnen het $d=1$ stratum.
• Loewy-lengte ($\ell\ell(A)$) en $\text{rad}(A)^2$: Onderscheidt NT4 van NT5 binnen het $d=2$ stratum.
• Idempotent-aantal: Onderscheidt NT1 van NT2 binnen het $d=0$ stratum.

Betekenis en Bijdrage
Het artikel merkt op dat hoewel de classificatie van laagdimensionale algebra's eerder is behandeld (specifiek door Scheffers in 1891 en Kobayashi et al. in moderne behandelingen), de bijdrage van dit werk ligt in de methodologische inkadering en de verklarende diepgang.

• Narratieve Samenhang: De "near-trinion" inkadering verbindt de classificatie met de historische context van het niet-bestaan van 3D-divisie-algebra's.
• Structurele Verklaring: In tegenstelling tot coördinatengebaseerde benaderingen die structuurconstanten variëren om klassen op te tellen, legt dit artikel uit waarom de classificatie de specifieke vorm aanneemt. Het verheldert waarom de radicaal-dimensie beperkt is tot $\{0, 1, 2\}$, waarom het $d=1$ geval strikt uiteenvalt op basis van commutativiteit, en waarom een residuveld van $\mathbb{C}$ structureel onmogelijk is in deze dimensie over $\mathbb{R}$.
• Vergelijking met Voorgaand Werk: Het artikel brengt de zes klassen expliciet in kaart met de vermeldingen in de classificatie van Kobayashi et al., waarbij bevestigd wordt dat er overeenstemming is, terwijl het een distinctie biedt via de Jacobson-radicaal stratificatie en Peirce-ontbinding.

Beperkingen en Toekomstige Richtingen
De classificatie is specifiek voor einddimensionale, associatieve, unitaire algebra's over $\mathbb{R}$. De auteur merkt op dat de resultaten niet uitbreiden naar oneindige dimensies (waar Nakayama's Lemma en radicale grenzen kunnen falen) of niet-associatieve algebra's (Lie, Jordan, octonionen). Een voorgestelde richting voor vervolgwerk is de classificatie over eindige velden, waar de teken-obstructie gebruikt in het $d=1$ geval (de onoplosbaarheid van $c^2 = -1$) mogelijk niet standhoudt, wat het aantal isomorfieklassen potentieel zou veranderen.