Tate p-补定理

Tate 定理被称为转移的“增压器”：只要中间子群控制最大阿贝尔 \(p\)-商，它实际上也控制最小正规 \(p\)-幂指数子群。 ^{[1, thm. 5.28]}

定义

若 \(P\leq H\leq G\) 且 \(P\) 为 Sylow \(p\)-子群，比较两个核与 \(H\) 的交。

核心结论

证明分析 Frattini 商和焦点子群，逐层把阿贝尔 \(p\)-商控制提升到有限 \(p\)-商的中心列。精确归纳见原书定理 5.28。

结构性质

• 若 \(H\) 控制转移且有正规 \(p\)-补，则 \(G\) 也有正规 \(p\)-补。
• 定理加强的是核交等式，不声称 \(H\) 控制完整融合。
• 它把阿贝尔化检测提升到任意有限 \(p\)-群商。
• Frattini 商是从非阿贝尔 \(p\)-商回到阿贝尔层的关键。
• 融合系统中存在 Tate 型超焦点推广。

有限 \(p\)-群总有非平凡中心与 Frattini 商，因此控制第一阿贝尔层可沿中心列逐层提升。

例子与边界

知识网络

转移控制是输入，正规 p-补是常见输出，焦点与 Frattini 分层提供证明机制。

• 转移控制
• 正规 p-补
• 焦点子群定理

证明与来源

定理与逆向说明见原书定理 5.28；长归纳证明保留引用。 ^{[1, thm. 5.28]}