[论文解读] Automorphism groups of sporadic groups

Richard Lyons|arXiv (Cornell University)|Jun 19, 2011

Finite Group Theory Research参考文献 15被引用 4

一句话总结

本文汇编并整合了所有26个散在有限单群的外自同构群的已知计算结果，确认了每个群的 |Out(G)| 要么为1，要么为2。通过结构分析与局部群论技术（特别是对合的中心化子和子群归纳法），本文解决了Bob Oliver提出的问题：这些群的Sylow 2-子群在其自同构群中是否自中心化。

ABSTRACT

Among the simplest invariants of the sporadic finite simple groups are their outer automorphism groups. For 12 of the 26 possible isomorphism types of a sporadic simple group G, the outer automorphism group Out(G) has order 2, and in the remaining 14 cases, Out(G) is trivial. Historically the suspicion of the existence of a sporadic group was followed in fairly short order by the calculation of a good upper bound on the size of its outer automorphism group. In a few cases establishing the existence of certain outer automorphisms, like the existence of the groups themselves, presented difficulties overcome only with the use of machine computation. In any case these calculations can be difficult to track down in the literature. This note, which contains nothing new, is only intended to bring together these calculations. It also answers a question of Bob Oliver about the automorphism groups of some of these groups, how they might be calculated, and specifically whether the Sylow 2-subgroups of a sporadic simple group are self-centralizing in the automorphism group of the simple group. The answer is that they are.

研究动机与目标

• 汇编并系统化文献中零散或难以查找的全部26个散在有限单群的外自同构群的已有计算结果。
• 解决Bob Oliver提出的具体问题：散在群的Sylow 2-子群是否在自同构群中自中心化。
• 为散在群的 Aut(G) 和 Out(G) 结构提供统一参考，尤其关注 |Out(G)| ≤ 2 的情形，其中等号成立需非平凡计算。
• 利用子群结构与局部分析（特别是对合的中心化子和Sylow 2-子群）推导 Aut(G) 的结构约束。

提出的方法

• 对每个散在群 G，论文识别出一个极大子群 M，使得 M ∩ Syl₂(G) 是 M 的Sylow 2-子群，从而通过 N_A(M)/C_A(M) 分析外自同构群。
• 应用 F*-定理及自同构群中中心化子的性质，分析 C_A(X) 和 C_A(X)/G，特别关注2-局部结构。
• 利用Baer–Suzuki定理及商群（如 Co₁ 和 Co₂）中2-中心对合的性质，分析 G 中对合的共轭与融合。
• 构造子群 G₀ = ⟨M, H⟩，其中 M 为已知极大子群，H 为对合的中心化子，通过轨道计数与群阶界限证明 G₀ = G。
• 论证依赖于：若 G₀ ≠ G，则 |G : G₀| < 4，且因 G 是单群，故必有 G₀ = G，从而确立群的完全生成。
• 利用已知的局部结构表（如文献[10]）识别小素数阶元素的中心化子，并验证某些子群是否自正则化或在2-群上不可约作用。

实验结果

研究问题

• RQ1 对每个散在有限单群 G，Out(G) 的精确阶是多少？它是平凡的还是阶为2？
• RQ2 G 的Sylow 2-子群 T 是否在 Aut(G) 中自中心化，即 C_Aut(G)(T) = Z(T)？
• RQ3 能否仅通过局部子群数据（如对合的中心化子和极大子群）确定 Aut(G) 的结构？
• RQ4 若 M 和 H 均属于 G₀，如何证明子群 M ≤ G 与中心化子 H = C_G(t) 一起生成 G？
• RQ5 Schur乘子和 F*(M) 的结构在限制 |Out(G)| 时起什么作用？

主要发现

• 对全部26个散在群，|Out(G)| 要么为1，要么为2，其中12个群的外自同构群平凡，14个群满足 |Out(G)| = 2。
• 在所有情况下，G 的Sylow 2-子群 T 满足 C_Aut(G)(T) = Z(T)，确认 T 在 Aut(G) 中自中心化。
• 对每个群 G，存在合适的极大子群 M，使得外自同构群可表示为 N_A(M)/C_A(M) 的商，且该商群平凡或为2阶循环群。
• 论文证明了 G₀ = ⟨M, H⟩ = G，其中 H = C_G(t) 对某个对合 t，方法为证明 |G : G₀| < 4 并利用 G 的单性。
• 在外自同构群非平凡的情况下，外自同构通过在某个2-局部子群（如 J₂ 和 J₃ 中的 C = 2^{1+4}_−A₅）上的非平凡作用实现。
• 分析确认，在所有情况下，对某个合适的2-子群 S，有 C_Aut(G)(S) = 1，这有助于确立外自同构群的最大性与结构。