GF(3) 4 上 C5 的作用、四维单纯形与二维 D4 骨架的分离 ——一个受洛书启发的有限代数结构

Abstract

本文研究 GF(3) 上一个 4 × 4 矩阵 E（E5 = I，ord(E) = 5，最小多项式为 5 次分圆多项 式 Φ5）所生成的 C5 作用。我们证明： 1. 唯一性（§2）：C5 在 GF(3) 上恰有一个 4 维不可约表示，E 在 GL(4, 3) 中构成唯一的 5 阶共轭类（303264 个元素）； 2. 单纯形结构定理（§3）：C5 在 GF(3)4 上的 16 条 5 周期轨道，每一条的 5 个点都构成 4 维单纯形基——这不是穷举巧合，而是“Φ5 不可约 =⇒ 任意非零向量是循环向量”的直接推 论； 3. 分类定理（§4）：27 个三维嵌入点按 Oh 类型分为 8 角 + 12 棱 + 6 面 + 1 心；其中 26 个 非零嵌入点（第 8 个角即零向量，是 E 的唯一不动点）分布在 14 条 5 周期轨道上，分类 表（含定理 3.3 的 d 值列）给出； 4. 下降障碍定理（§6）：投影 p: GF(3)4 → GF(3)3 诱导的映射 F 满足最小多项式 x(x 2 + 1)， 是“4 阶 + 零核”型；E 不容许任何与 p 相容的等变分裂（尽管 p 作为丛是平凡的）； 5. 分离定理（§7）：D4、Oh、GL(3, 3)、AGL(3, 3) 全部不含 5 阶元素——二维骨架对称与四 维内部 C5 是严格分离的。 全部结论附可复现的 Python 验证代码（assert 完备）。 新结果声明（回应“纯数学为何不新颖”的预判）：C5 表示与单纯形本身确为有限群论标准 内容，不是本文的新结果。本文的新结果是三个在标准文献中罕见的具体结构定理：(i) 27 嵌入 点的轨道-Oh 分类（定理 4.1，含 d 值不变量的 16/10 分裂）；(ii) 下降障碍定理（定理 6.3）—— 平凡投影不存在等变分裂的显式 27 补空间验证；(iii) 伪影识别定理（定理 9.1）——一族赋值的 幻线计数不变量及其“编号伪影”判定方法。本文受洛书九宫启发而选题，但全部结论独立于任何 文化解释。

Keywords