Frobenius 正规 p-补定理

Frobenius 判据说明，正规 \(p\)-补的存在完全可由所有非平凡 \(p\)-子群的局部正规化子检测。 ^{[1, thm. 5.26]}

定义

“每个 \(p\)-局部子群”通常指 \(N_G(X)\)，其中 \(1<X\leq G\) 为 \(p\)-子群。

核心结论

必要性从正规补与子群相交得到。充分性按群阶与 \(p\)-子群阶归纳，使用融合分解和局部正规补把 Sylow 内共轭逐步推回 \(p\)-子群，再应用转移/Tate 论证。完整证明见定理 5.26。

结构性质

• 它把一个全局分裂问题化为所有非平凡 \(p\)-子群的自同构局部数据。
• Burnside 条件可使这些局部自同构群立即平凡。
• Thompson 定理对奇 \(p\) 把需要检查的许多特征子群压缩为 \(Z(P)\) 与 \(J(P)\)。
• 条件在商群和真局部子群中具有良好归纳性。
• 该定理与 Frobenius 群定义中的固定点自由中心化条件不同，虽同名同源。

判据的实质是排除所有 \(p'\)-阶局部共轭自同构；剩余融合只能来自 Sylow \(p\)-结构。

例子与边界

知识网络

Burnside 是强局部特例，Thompson 子群降低检查复杂度，融合控制解释局部自同构的意义。

• Burnside 正规 p-补定理
• Thompson 子群
• 融合控制

证明与来源

三个等价条件及归纳证明见原书定理 5.26；本词条保留精确量词并引用长证明。 ^{[1, thm. 5.26]}