融合控制

融合描述子群内部的共轭类如何在更大群中合并。控制融合意味着一个较小中间子群已经实现全部这种合并。 ^{[1, sec. 5C-5D]}

定义

融合针对元素、子群或单射同态可有不同强度；本文基础定义针对 \(P\) 中元素共轭。

核心结论

焦点子群由 \(P\) 中的共轭差生成；融合控制让每个 \(G\)-共轭差改用 \(H\)-共轭差。焦点相等后，转移核和最大阿贝尔 \(p\)-商相等。见推论 5.22。

结构性质

• \(G\) 总控制自身融合；\(P\) 控制融合是很强的局部条件。
• 若 \(P\) 阿贝尔，则 \(N_G(P)\) 控制 \(G\) 在 \(P\) 中的融合。
• 控制融合蕴含控制转移，但控制转移不必蕴含控制融合。
• 融合可由 Sylow 正规化子、中心化子和局部子群的共轭数据生成。
• 饱和融合系统把这些共轭单射抽象成独立范畴对象。

控制融合是把全局共轭问题局部化的最强常用手段；转移只保留其中的阿贝尔化影子。

例子与边界

知识网络

焦点定理把融合差转换成导出交，转移控制是较弱结论，正规化子常作为控制候选。

• 焦点子群定理
• 转移控制
• 正规化子

证明与来源

定义、阿贝尔 Sylow 正规化子结论和转移推论见原书第 5C-5D 节。 ^{[1, sec. 5C-5D]}