正规 p-补

正规 \(p\)-补把群的 \(p'\)-部分集中为正规子群，使全群成为该核被 Sylow \(p\)-子群的分裂扩张。它是 \(p\)-局部结构能否全局分离的核心问题。 ^{[1, ch. 5 and ch. 6-7]}

定义

若 \(P\in Syl_p(G)\)，Schur–Zassenhaus 给出 \(G=N\rtimes P\)。\(O^p(G)\) 是所有正规 \(p\)-幂指数子群之交；存在正规 \(p\)-补时 \(O^p(G)=N\)。

核心结论

基本策略是先证明融合或转移由 Sylow 正规化子控制，再说明最大阿贝尔 \(p\)-商足够大，最后用 Tate 或局部归纳升级为 \(p\)-剩余。各完整证明见链接词条。

结构性质

• 正规 \(p\)-补若存在则唯一，因为它等于全体 \(p'\) 元素所生成的最大正规 \(p'\)-子群。
• 群有正规 \(p\)-补当且仅当 \(O^p(G)\) 是 \(p'\)-群。
• 每个子群继承正规 \(p\)-补并非自动，需检查与补的交及商结构。
• 幂零群对每个素数都有正规 \(p\)-补；反之若对每个素数都成立，则群幂零。
• Frobenius 核幂零性的证明逐素数建立正规 \(p\)-补。

正规 \(p\)-补不是 Sylow \(p\)-子群的补是否存在，而是要求 \(p'\)-补本身在全群正规。

例子与边界

知识网络

Burnside 与 Frobenius 给出局部判据，Thompson 子群压缩检查项，转移理论提供阿贝尔化检测。

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

证明与来源

正规补定义与经典判据贯穿原书第 5-7 章；本辅助词条集中术语，证明分别链接。 ^{[1, ch. 5 and ch. 6-7]}