Thompson 子群

Thompson 子群 \(J(P)\) 是有限 \(p\)-群 \(P\) 中由最大阶阿贝尔子群生成的特征子群。它把可能很多、彼此不正规的最大阿贝尔子群压缩为一个规范对象，因而可在 Sylow 正规化子中被追踪。Thompson 用它把“检查所有非平凡特征子群”的正规 \(p\)-补判据缩减为少数局部子群。^{[1, pp. 201-222]}

定义

对有限 \(p\)-群 \(P\)，令

并记

任意自同构都保持阿贝尔性和子群阶，因而置换集合 \(\mathcal A(P)\)。所以

基本性质

如果 \(P\) 阿贝尔，则 \(\mathcal A(P)=\{P\}\)，所以 \(J(P)=P\)。一般 \(J(P)\) 未必阿贝尔；定义只说它由阿贝尔子群生成。

Thompson 替换思想

设 \(A\in\mathcal A(P)\)，而某个 \(p\)-子群或互素作用群对 \(A\) 的位置不理想。替换论证寻找另一个 \(A^*\in\mathcal A(P)\)，使它具有更大的正规化子、更好的中心化性质或更大的交，同时不降低阶。

这不是单一公式，而是一类证明技术。它解释了为什么 \(J(P)\) 能把最大阿贝尔子群放到局部正规化子可控制的位置。

Thompson 正规 p-补定理

原书还给出较强但检查项更多的版本：若每个非平凡特征子群 \(X\operatorname{char}P\) 的正规化子 \(N_G(X)\) 都有正规 \(p\)-补，则 \(G\) 有正规 \(p\)-补。Thompson 子群的价值在于把大量 \(X\) 压缩为 \(Z(P)\) 与 \(J(P)\) 两个规范对象。

与 Frobenius 核幂零性的关系

设 \(N\) 是 Frobenius 核，\(H\) 是补。为证明 \(N\) 幂零，需对每个奇素数 \(p\) 证明 \(N\) 有正规 \(p\)-补。固定点自由的互素作用使 \(H\) 对 \(P\in\operatorname{Syl}_p(N)\) 的特征子群正规化子施加强限制；Thompson 判据把这些限制汇总到 \(C_N(Z(P))\) 与 \(N_N(J(P))\)。归纳后两者有正规 \(p\)-补，故 \(N\) 也有。逐素数处理后得到所有 Sylow 子群正规，从而 \(N\) 幂零。

例子

ZJ 与后续变体

中心

往往比 \(J(P)\) 更适合正规化，因为它是 \(P\) 的阿贝尔特征层。Glauberman 的 \(ZJ\) 定理在奇素数、\(p\)-稳定及排除某些 \(Qd(p)\) 截面的条件下，给出 \(Z(J(P))\) 在适当商中的正规性或正规 \(p\)-补判据。这是分类有限单群中局部分析的重要节点。

算法计算

直接枚举全部阿贝尔子群可能非常昂贵。实际计算常先确定 \(d(P)\) 的上界，再沿正规列或中心列搜索达到该阶的候选；使用替换定理可限制到被某些特征子群正规化的候选。对大型 \(p\)-群，最大初等阿贝尔版本与最大阶版本应分开实现。

相关词条

• Thompson 替换定理
• Thompson 正规 p-补定理
• 正规 p-补
• Glauberman ZJ 定理
• Frobenius 群
• Yoshida 转移定理

本文采用 Isaacs 的最大阶版本，整合第 7 章的包含稳定性、替换思想、正规补判据和 Frobenius 核应用；定义与历史另同 Thompson 原始论文、Encyclopedia of Mathematics 和公开百科修订交叉核验。^{[1, pp. 193-222] [2] [3] [4] [5]}