A Finite E-Group of Nilpotency Class Three

技术摘要：一个幂零类为 3 的有限 E-群

问题陈述
本文探讨了由 Caranti 提出并记录在《Kourovka Notebook》中问题 11.46(a) 中的一个关于有限群论的具体开放性问题：是否存在幂零类为 3 的有限 E-群？

E-群（E-group）定义为一个群 $G$，其中每个元素都与其所有的端同态像交换；形式化地，对于所有 $a \in G$ 和 $\phi \in \text{End}(G)$，有 $[a, a^\phi] = 1$。虽然有限 E-群的幂零类为 2 的情况已得到确立（例如由 Caranti 研究），但类 3 的情况仍未解决。从 A-群（其条件仅对自同构成立）到 E-群的过渡是非平凡的，因为奇异端同构会产生对自同构群“不可见”的像，这需要对这些奇异作用进行特定的控制。

方法论与框架
作者分析了一个阶数为 $384$且幂零类为 3 的特定群$P$，该群最初由 Abdollahi, Faghihi, 和 Mohammadi Hassanabadi [2] 引入，随后被 Abdollahi 等人 [3] 作为 A-群进行了研究。该群是一个由九个元素 $x_1, \dots, x_9$ 生成的 3-群，受特定的幂关系约束，其中每个立方 $x_i^3$ 被表示为四个交换子的乘积。

证明策略依赖于将群论端的同构问题简化为 $\mathbb{F}_3$ 域上的线性代数问题：

1. Frattini 商：由于 $\Phi(P) = P'$，商空间 $V = P/\Phi(P)$ 是一个 9 维的 $\mathbb{F}_3$ 向量空间。
2. 关系张量：$P$ 的九个立方关系诱导了一个线性映射 $q: V \to \Lambda^2 V$。
3. 自然性：对于任何在 $V$ 上诱导线性映射 $L$ 的 $P$ 的端同构 $\phi$，幂与交换子的函子性给出了相容方程 $q \circ L = (\Lambda^2 L) \circ q$。
4. 封闭性质：该方程意味着 $L$ 的像 $U = \text{im } L$ 必须是 q-封闭的，即 $q(U) \subseteq \Lambda^2 U$。

核心论证在于 定理 1.2（关系张量刚性），该定理断言，满足 $q(U) \subseteq \Lambda^2 U$ 的唯一子空间 $U \le V$ 只有平凡子空间 $\{0\}$ 和整个空间 $V$。

关键结果与计算
证明刚性定理涉及一项详尽的有限计算：

• 射影枚举：作者验证了对于 $PG(8, 3)$中的每一个射影点。总共有$9841$ 个这样的点。
• 封闭算法：对于每个非零向量 $v$，通过迭代添加 $q(u)$ 的支撑集来构造包含 $v$ 的最小 $q$-封闭子空间。
• 验证：使用基于 $\mathbb{F}_3$ 的精确高斯消元法，他们证明了对于所有 $9841$个射影点，所得的闭包均为整个空间$V$。
• 对称性分析：作者研究了对称性约简是否能简化这一检查。他们证明（命题 4.5）张量 $q$ 的线性稳定子是平凡的 ($\{I\}$)，且其线性相似群为 $\{I, -I\}$。因此，其在射影空间上的诱导作用是平凡的，这意味着不存在非平凡的轨道压缩；对所有 $9841$ 个点进行穷举检查是必要的。

E-群性质的证明
随着 $q$ 的刚性得以确立，作者根据端同构 $\phi$ 在 $V$ 上诱导的映射 $L$，分析了 $P$ 的两种可能情况：

1. 可逆情况 ($\text{im } L = V$)：根据 Burnside 基底定理，$\phi$ 是满射，因此是自同构。由于 $P$ 已知是一个 A-群 [3]，条件 $[a, a^\phi] = 1$ 成立。
2. 平凡情况 ($\text{im } L = 0$)：此处 $\phi(P) \le \Phi(P) = P'$。由于 $P'$ 是阿贝尔群，对立方关系应用 $\phi$ 会迫使每个生成元的阶最多为 3。利用恒等式 $\Omega_1(P') = Z(P)$（源自命题 2.1），其像被强制进入中心 $Z(P)$。因此，$\phi(P) \le Z(P)$，从而平凡地满足 $[a, a^\phi] = 1$。

意义与主张
本文声称为 Caranti 的问题提供了肯定的回答，确立了存在幂零类为 3 的有限 E-群。

• 新颖性：见证群 $P$ 本身并非新颖，但其作为 E-群的地位此前是未知的。新颖之处在于证明了奇异端同构（即在 Frattini 商上诱导零映射的端同构）同样满足 E-条件。
• 机制：作者强调，证明依赖于两种截然不同的机制：一种是线性刚性（张量 $q$ 不存在非平凡的封闭子空间），另一种是群论坍缩（立方关系将来自第二中心 $P' = Z_2(P)$ 的奇异端同构的像强制降至中心 $Z(P)$）。
• 验证：结果由一个“有限证书”（附录 A）支持，使得计算可以仅利用文中呈现的数据进行独立验证，而无需外部文件。该计算被描述为穷举式的而非概率性的。

作者将工作置于 2-Engel 群和反交换代数的更广泛背景下，指出关系映射的对偶定义了一个简单反交换代数，但其主要贡献仍在于特定的群论构造及其验证。