转移控制

转移控制允许用包含 Sylow 子群的较小子群计算全群的最大阿贝尔 \(p\)-商，是证明非单性和正规补存在的局部化机制。 ^{[1, sec. 5D and 10A]}

定义

\(A^p(G)\) 是使商为阿贝尔 \(p\)-群的最小正规子群，也是到 \(P/P'\) 的转移核。

核心结论

从 \(A^p(H)\leq H\cap A^p(G)\) 出发，比较两个转移像的阶。焦点相等或 Mackey 预转移计算给出反向指数相等。详细证明见第 5D、10A 节。

结构性质

• 若 \(H\) 控制转移且 \(A^p(H)<H\)，则 \(A^p(G)<G\)，所以通常可排除 \(G\) 单。
• 控制转移只看阿贝尔 \(p\)-商，比控制融合弱。
• 若 \(H\) 有正规 \(p\)-补并控制转移，Tate 定理可把相应 \(p\)-剩余信息提升到 \(G\)。
• Sylow 正规化子是最常见候选，但在 \(A_6,p=2\) 等例中会失败。
• 转移控制可用转移像阶相等或核交等式两种方式检验。

它把“全群是否有阿贝尔 p-商”转为局部正规化子问题，保留的正是转移可检测的信息。

例子与边界

知识网络

融合控制提供充分条件，Yoshida 给出更弱但广泛的判据，Tate 定理把阿贝尔信息加强为 p-剩余信息。

• 融合控制
• Yoshida 转移定理
• Tate p-补定理

证明与来源

定义与基础比较见第 5D 节；Sylow 正规化子的高级判据见第 10A 节。 ^{[1, sec. 5D and 10A]}