[论文解读] Maximal subgroups of ${}^2E_6(2)$ and its automorphism groups

Robert A. Wilson|arXiv (Cornell University)|Jan 25, 2018

Finite Group Theory Research参考文献 10被引用 6

一句话总结

本文提供了对单群 $^2E_6(2)$ 及其自同构群（至 $G.S_3$）中极大子群的全新计算机辅助证明，解决了文献中长期存在的空白。通过分析 $(2,3,n)$-三元组、$p$-局部子群结构以及在魔群和婴魔群中的嵌入，确认了 39 种非交换单子群的同构类型，并修正了《有限群的ATLAS》中关于子群结构的细微错误。

ABSTRACT

We give a new computer-assisted proof of the classification of maximal subgroups of the simple group ${}^2E_6(2)$ and its extensions by any subgroup of the outer automorphism group $S_3$. This is not a new result, but no earlier proof exists in the literature. A large part of the proof consists of a computational analysis of subgroups generated by an element of order 2 and an element of order 3. This method can be effectively automated, and via statistical analysis also provides a sanity check on results that may have been obtained by delicate theoretical arguments.

研究动机与目标

• 提供 $^2E_6(2)$ 及其自同构群 $G.S_3$ 中极大子群的严格计算机辅助证明，此前尚无已发表的证明。
• 修正《有限群的ATLAS》中关于 $^2E_6(2)$ 及其扩张中子群结构的细微结构性错误。
• 利用计算与群论技术，对 $^2E_6(2)$ 的所有 39 种真非交换单子群的同构类型进行分类。
• 建立一种系统化的方法，通过分析由阶为 2 和 3 的元素生成的子群，实现极大子群分类的自动化与统计验证。

提出的方法

• 对由对合（阶为 2）和阶为 3 的元素生成的子群进行计算分析，构成分类策略的核心。
• 对 $p \neq 3$ 使用 $p$-局部子群分析，并对 $3$-局部子群进行详细分类，以限制可能的极大子群。
• 应用结构常数分析，对 $n = 5,7,11,13,17,19$ 的 $(2,3,n)$-三元组进行分类，这些三元组生成特定的单子群。
• 利用 $^2E_6(2)$ 嵌入魔群和婴魔群的已知结果，限制极大子群可能的同构类型。
• 利用诺顿对魔群中子群的分类，排除 12 种候选极大子群。
• 在第 22 节中为部分结果提供无需计算机的替代证明，验证计算方法的可靠性，并增强对研究结果的信心。

实验结果

研究问题

• RQ1 在 $^2E_6(2)$ 及其自同构群 $G.S_3$ 中，极大子群的完整共轭类是什么？
• RQ2 哪些非交换单群的同构类型可以嵌入 $^2E_6(2)$，并且它们形成多少个共轭类？
• RQ3 如何通过计算群论系统且可靠地实现极大子群的分类？
• RQ4 《有限群的ATLAS》中关于 $^2E_6(2)$ 中极大子群结构的部分需要进行哪些修正？
• RQ5 能否利用 $^2E_6(2)$ 嵌入魔群和婴魔群的事实，解决极大子群分类中剩余的案例？

主要发现

• 本文确认了 $^2E_6(2)$ 中存在 39 种真非交换单子群的同构类型，且共轭类数量精确。
• 在 $G$ 中存在恰好三个 $F_4(2)$ 的共轭类，在 $G.3$ 中融合，其完整正规化子在 $G.S_3$ 中为 $F_4(2) \times 2$。
• 在 $G$ 中存在唯一一个 $O_{10}^{-}(2)$ 的共轭类，其正规化子在 $G.S_3$ 中为 $(O_{10}^{-}(2) \times 3):2$。
• 在 $G$ 中存在唯一一个 $A_{12}$ 的共轭类，其正规化子在 $G.S_3$ 中为 $(A_{12} \times 3):2$，尽管该群并非极大。
• 在 $G$ 中存在四个 ${}^3D_4(2)$ 的共轭类，其中三个在 $G.3$ 中融合，其正规化子在 $G.S_3$ 中分别为 ${}^3D_4(2):3 \times 2$ 和 ${}^3D_4(2) \times S_3$。
• 在 $G$ 中存在四个 $S_8(2)$ 的共轭类，其正规化子在 $G.S_3$ 中分别为 $S_8(2) \times 2$ 和 $S_8(2) \times S_3$，证实了对 ATLAS 中结构的修正。