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

技术摘要：近三元代数（Near-Trinions）：单元三维实结合代数的完全分类

问题陈述
虽然弗罗贝尼乌斯定理（Frobenius' theorem, 1878）明确确立了不存在三维实除代数，但对一般三维实结合代数的分类仍是一个独立的问题。作者 Joel A. Shelton 探讨了这些被称为“近三元代数”（near-trinions）的对象的存在性与分类。核心问题是确定有限维、结合、单元 $\mathbb{R}$-代数的同构类集合，其维度为三。

方法论
本文采用基于雅可比根（Jacobson radical）维度 $d = \dim_{\mathbb{R}} \text{rad}(A)$ 的分层结构法对代数进行分类。由于该代数是单元的且为三维，因此 $d$ 被限制在集合 $\{0, 1, 2\}$ 中（因为 $d=3$ 会导致代数是幂零的，这与单位元的存在相矛盾）。分类过程通过三个层级进行：

1. 半单层级 ($d=0$)： 应用 Wedderburn–Artin 定理。由于代数是半单的，它可以分解为矩阵环与除代数的直积。弗罗贝尼乌斯定理限制了实域上的除代数只能是 $\mathbb{R}$、$\mathbb{C}$ 和 $\mathbb{H}$。维度约束（$n^2 \dim D = 3$）排除了 $\mathbb{H}$ 和 $M_2(\mathbb{R})$，仅留下 $\mathbb{R}$ 和 $\mathbb{C}$ 的特定组合。
2. 一维根层级 ($d=1$)： 商代数 $A/\text{rad}(A)$ 是一个二维半单代数，同构于 $\mathbb{R}^2$ 或 $\mathbb{C}$。
   • 证明了 $A/\text{rad}(A) \cong \mathbb{C}$ 的情况是不可能的，这是由于特征符号障碍：如果根生成元 $\eta$ 被商中的虚单位 $i$ 作用，则会导出 $i \cdot \eta = c\eta$（其中 $c \in \mathbb{R}$），从而得出 $c^2 = -1$，而实数范围内无解。
   • 对于 $A/\text{rad}(A) \cong \mathbb{R}^2$ 的情况，利用相对于商中正交幂等元的 Peirce 分解进行分析。根生成元位于对角线角部（产生交换代数）或非对角线角部（产生非交换代数）。
3. 二维根层级 ($d=2$)： 商代数同构于 $\mathbb{R}$，使得该代数是局部代数。分类基于根的平方是否为零（$\text{rad}(A)^2 = 0$）或非零进行划分。

主要结果
本文确定了近三元代数恰好有六个同构类。这些类通过规范代表元、显式乘法表以及足以区分每一对类的模论不变量进行呈现。

这六个类为：

• $d=0$ (半单):
  • (NT1) $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$
  • (NT2) $\mathbb{R} \times \mathbb{C}$
• $d=1$ (一维根):
  • (NT3) $\mathbb{R} \times \mathbb{R}[\varepsilon]/(\varepsilon^2)$（交换；根位于对角线 Peirce 角部）
  • (NT6) $T_2(\mathbb{R})$（非交换；根位于非对角线 Peirce 角部）
• $d=2$ (二维根):
  • (NT4) $\mathbb{R}[\varepsilon_1, \varepsilon_2]/(\varepsilon_1^2, \varepsilon_2^2, \varepsilon_1\varepsilon_2)$（根平方为零）
  • (NT5) $\mathbb{R}[x]/(x^3)$（根平方非零；Loewy 长度为 3）

区分不变量
本文利用以下不变量证明了不可冗余性（即没有两个类是同构的）：

• 根维度 ($d$)： 区分三个层级。
• 交换性： 在 $d=1$ 层级内区分 NT3 与 NT6。
• Loewy 长度 ($\ell\ell(A)$) 与 $\text{rad}(A)^2$： 在 $d=2$ 层级内区分 NT4 与 NT5。
• 幂等元计数： 在 $d=0$ 层级内区分 NT1 与 NT2。

意义与贡献
本文指出，虽然低维代数的分类此前已有研究（特别是 1891 年的 Scheffers 以及现代文献中的 Kobayashi 等人的工作），但本工作的贡献在于其方法论框架和解释深度。

• 叙事连贯性： “近三元代数”的框架将分类与关于三维除代数不存在性的历史背景联系起来。
• 结构化解释： 不同于通过改变结构常数来枚举类的坐标化方法，本文解释了分类为何呈现其特定形式。它阐明了为什么根维度被限制在 $\{0, 1, 2\}$，为什么 $d=1$ 的情况严格基于交换性进行分叉，以及为什么在实域维度下，具有 $\mathbb{C}$ 作为剩余域在结构上是不可能的。
• 与前人工作的比较： 本文明确地将这六个类映射到 Kobayashi 等人的分类条目中，确认了在通过雅可比根分层和 Peirce 分解进行推导的同时，结果保持一致。

局限性与未来方向
该分类仅适用于有限维、结合、单元的实域 $\mathbb{R}$-代数。作者指出，结果不适用于无限维情况（其中 Nakayama 引理和根界限可能失效）或非结合代数（如 Lie 代数、Jordan 代数、八元数）。提出的后续研究方向是在有限域上进行分类，届时用于 $d=1$ 情况中的符号障碍（即 $c^2 = -1$ 的无解性）可能不再成立，从而可能改变同构类的数量。