Thompson 正规 p-补定理

Thompson 定理把 Frobenius 判据中对许多 \(p\)-子群正规化子的检查压缩到 Sylow 子群的中心与 Thompson 子群两个规范对象。 ^{[1, thm. 6.23 and 7.1]}

定义

文献中 Thompson 子群有不同版本；本定理采用最大阶阿贝尔子群版本。

核心结论

最小反例中，替换定理把局部障碍推到中心型或最大阿贝尔型。前者落入 \(C_G(Z(P))\)，后者落入 \(N_G(J(P))\)；两个假设分别排除。完整证明见主干词条与原书定理 7.1。

结构性质

• 定理只对奇素数按此形式成立，\(p=2\) 有额外局部障碍。
• 较强版本检查每个非平凡特征子群的正规化子。
• \(J(P)\) 的特征性保证其正规化子是规范局部子群。
• 定理用于证明一般 Frobenius 核幂零。
• Glauberman ZJ 理论进一步改用 \(Z(J(P))\) 并加入稳定性条件。

中心与最大阿贝尔子群代表 \(p\)-群中两种极端局部结构，替换方法保证障碍必落在其中之一。

例子与边界

知识网络

Thompson 子群主干词条解释替换机制，Frobenius 正规补给出全局背景，Frobenius 群是主要应用。

• Thompson 子群
• Frobenius 正规 p-补定理
• Frobenius 群

证明与来源

特征子群版本见定理 6.23，中心与 J(P) 的精炼版本及证明见定理 7.1。 ^{[1, thm. 6.23 and 7.1]}