焦点子群定理

焦点子群定理把全群的导出信息限制到 Sylow \(p\)-子群内部，并说明这部分完全由 \(G\)-共轭在 \(P\) 中造成的差异生成。 ^{[1, thm. 5.18-5.20]}

定义

记为 \(Foc_G(P)\)。它依赖 \(P\) 在环境群 \(G\) 中的融合，不只是抽象群 \(P\)。

核心结论

一边由共轭差 \(x^{-1}x^g\) 是交换子得到。反向使用转移轨道求值与 Sylow 共轭，把 \(P\cap G'\) 中元素写成融合差的乘积。完整证明见定理 5.18-5.20。

结构性质

• \(P'\leq Foc_G(P)\)，因为 \(P\) 内共轭也是 \(G\)-共轭。
• 若 \(G\) 不在 \(P\) 中融合额外共轭类，则 \(Foc_G(P)=P'\)。
• 若子群 \(H\geq P\) 控制 \(G\)-融合，则 \(Foc_H(P)=Foc_G(P)\)。
• 焦点定理把 \(p\)-部分阿贝尔化问题化为 Sylow 内局部融合问题。
• 融合系统中有焦点与超焦点子群的对应推广。

它是融合与转移之间的桥：融合产生的差正好记录全群导出子群在 Sylow 子群中的截面。

例子与边界

知识网络

转移主干词条证明定理，融合控制决定何时可在较小子群计算焦点，导出子群给出全局一侧。

• 转移同态
• 融合控制
• 导出子群

证明与来源

定义、焦点等式及与转移的关系见原书定理 5.18-5.20；长证明引用主干。 ^{[1, thm. 5.18-5.20]}