Burnside 正规 p-补定理

Burnside 定理用一个非常局部的中心化条件保证全局正规 \(p\)-补，是转移理论最经典的应用之一。 ^{[1, thm. 5.13-5.14]}

定义

也常写 \(N_G(P)=C_G(P)\)，因为 \(P\leq N_G(P)\) 且条件使正规化子对 \(P\) 的共轭作用平凡。

核心结论

转移 \(v:G\to P/P'=P\) 在 \(P\) 上按轨道求值；中心化条件使所有非主轨道贡献受控，且 \(v|_P\) 为幂为 \(|G:P|\) 的自同构。故转移满射，其核是阶 \(p'\) 的正规子群，成为正规 \(p\)-补。

结构性质

• 条件自动使 \(P\) 阿贝尔，但阿贝尔本身不足以让 \(P\) 位于正规化子中心。
• 转移核的指数为 \(|P|\)，所以其阶与 \(p\) 互素。
• 该定理可看作 Frobenius 正规补判据的一个局部强条件。
• 若 \(N_G(P)=P\) 且 \(P\) 阿贝尔，则条件成立。
• 结论给出 \(G=K\rtimes P\)，其中 \(K\) 为唯一正规 \(p\)-补。

条件消除了正规化子在 Sylow 子群上的融合，使转移在 \(P\) 上几乎成为互素幂映射。

例子与边界

知识网络

转移主干词条给出计算，正规化子表达局部条件，Frobenius 定理提供更广泛的局部判据。

• 转移同态
• 正规化子
• Frobenius 正规 p-补定理

证明与来源

转移证明与核阶计算见原书定理 5.13-5.14；本词条给出完整证明路线。 ^{[1, thm. 5.13-5.14]}