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

Resumen Técnico: Near-Trinions: Clasificación Completa de las Álgebras Asociativas Reales Unitales de Tres Dimensiones

Planteamiento del Problema
Si bien el teorema de Frobenius (1878) establece definitivamente que no existen álgebras de división reales de tres dimensiones, la clasificación de las álgebras asociativas reales de tres dimensiones en general sigue siendo un problema distinto. El autor, Joel A. Shelton, aborda la existencia y clasificación de estos objetos, denominados "near-trinions" (casi-triniones). La cuestión central es determinar el conjunto completo de clases de isomorfismo para las álgebras de $\mathbb{R}$ de dimensión tres, finitas y asociativas.

Metodología
El artículo emplea un enfoque estructural basado en la estratificación de las álgebras por la dimensión de su radical de Jacobson, $d = \dim_{\mathbb{R}} \text{rad}(A)$. Dado que el álgebra es unital y de tres dimensiones, $d$ está restringida al conjunto $\{0, 1, 2\}$ (ya que $d=3$ implicaría que el álgebra es nilpotente, lo cual contradice la existencia de una unidad). La clasificación procede a través de tres estratos:

1. Estrato Semisimple ($d=0$): Se aplica el teorema de Wedderburn–Artin. Dado que el álgebra es semisimple, se descompone en un producto directo de anillos de matrices sobre álgebras de división. El teorema de Frobenius restringe las álgebras de división sobre $\mathbb{R}$ a $\mathbb{R}$, $\mathbb{C}$ y $\mathbb{H}$. Las restricciones dimensionales ($n^2 \dim D = 3$) eliminan $\mathbb{H}$ y $M_2(\mathbb{R})$, dejando solo combinaciones específicas de $\mathbb{R}$ y $\mathbb{C}$.
2. Estrato de Radical Unidimensional ($d=1$): El cociente $A/\text{rad}(A)$ es un álgebra semisimple de dos dimensiones, isomorfo a $\mathbb{R}^2$ o $\mathbb{C}$.
   • Se demuestra que el caso $A/\text{rad}(A) \cong \mathbb{C}$ es imposible mediante una obstrucción de signo característica: si el generador del radical $\eta$ fuera actuado por la unidad imaginaria $i$ del cociente, se derivaría $i \cdot \eta = c\eta$ para $c \in \mathbb{R}$, lo que conduce a $c^2 = -1$, la cual no tiene solución real.
   • El caso $A/\text{rad}(A) \cong \mathbb{R}^2$ se analiza mediante la descomposición de Peirce relativa a los idempotentes ortogonales del cociente. El generador del radical se localiza ya sea en una esquina diagonal (produciendo un álgebra conmutativa) o en una esquina fuera de la diagonal (produciendo un álgebra no conmutativa).
3. Estrato de Radical Bidimensional ($d=2$): El cociente es isomorfo a $\mathbb{R}$, lo que hace que el álgebra sea local. La clasificación se divide según si el cuadrado del radical se anula ($\text{rad}(A)^2 = 0$) o es no nulo.

Resultos Clave
El artículo establece que existen exactamente seis clases de isomorfismo de near-trinions. Estas se presentan con representantes canónicos, tablas de multiplicación explícitas y un conjunto de invariantes de la teoría de módulos suficientes para distinguir cada par.

Las seis clases son:

• $d=0$ (Semisimple):
  • (NT1) $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$
  • (NT2) $\mathbb{R} \times \mathbb{C}$
• $d=1$ (Radical unidimensional):
  • (NT3) $\mathbb{R} \times \mathbb{R}[\varepsilon]/(\varepsilon^2)$ (Conmutativa; radical en la esquina de Peirce diagonal)
  • (NT6) $T_2(\mathbb{R})$ (No conmutativa; radical en la esquina de Peirce fuera de la diagonal)
• $d=2$ (Radical bidimensional):
  • (NT4) $\mathbb{R}[\varepsilon_1, \varepsilon_2]/(\varepsilon_1^2, \varepsilon_2^2, \varepsilon_1\varepsilon_2)$ (El cuadrado del radical es cero)
  • (NT5) $\mathbb{R}[x]/(x^3)$ (El cuadrado del radical es no nulo; longitud de Loewy 3)

Invariantes Distintivos
El artículo demuestra la irredundancia (ninguna par de clases es isomórfica) utilizando los siguientes invariantes:

• Dimensión del radical ($d$): Separa los tres estratos.
• Conmutatividad: Distingue NT3 de NT6 dentro del estrato $d=1$.
• Longitud de Loewy ($\ell\ell(A)$) y $\text{rad}(A)^2$: Distingue NT4 de NT5 dentro del estrato $d=2$.
• Conteo de idempotentes: Distingue NT1 de NT2 dentro del estrato $d=0$.

Significado y Contribución
El artículo señala que, si bien la clasificación de álgebras de baja dimensión ha sido abordada previamente (específicamente por Scheffers en 1891 y Kobayashi et al. en tratamientos modernos), la contribución de este trabajo reside en su marco metodológico y su profundidad explicativa.

• Coherencia Narrativa: El encuadre de "near-trinion" conecta la clasificación con el contexto histórico de la no existencia de álgebras de división de tres dimensiones.
• Explicación Estructural: A diferencia de los enfoques basados en coordenadas que varían las constantes de estructura para enumerar clases, este artículo explica por qué la clasificación toma su forma específica. Elucida por qué la dimensión del radical está restringida a $\{0, 1, 2\}$, por qué el caso $d=1$ se bifurca estrictamente en conmutatividad, y por qué un cuerpo residual de $\mathbb{C}$ es estructuralmente imposible en esta dimensión sobre $\mathbb{R}$.
• Comparación con el Trabajo Previo: El artículo mapea explícitamente sus seis clases con las entradas de la clasificación de Kobayashi et al., confirmando la concordancia pero proporcionando una derivación distinta mediante la estratificación del radical de Jacobson y la descomposición de Peirce.

Limitaciones y Direcciones Futuras
La clasificación es específica para las álgebras asociativas, finitas y unitales sobre $\mathbb{R}$. El autor señala que los resultados no se extienden a dimensiones infinitas (donde el Lema de Nakayama y los límites del radical pueden fallar) ni a álgebras no asociativas (Lie, Jordan, octoniones). Una dirección propuesta para trabajos posteriores es la clasificación sobre cuerpos finitos, donde la obstrucción de signo utilizada en el caso $d=1$ (la insolubilidad de $c^2 = -1$) podría no cumplirse, alterando potencialmente el número de clases de isomorfismo.