转移同态

转移同态（transfer homomorphism，也称 Verlagerung）把群 \(G\) 映到有限指数子群 \(H\) 的阿贝尔化 \(H/H'\)。它把陪集置换中的局部乘积汇总为全局同态，是研究正规 \(p\)-补、融合、焦点子群和有限群非单性的经典工具。^{[1, pp. 147-176]}

定义

设 \(H\leq G\) 且 \(|G:H|=n<\infty\)。选取右陪集代表系 \(T\)，即每个右陪集恰含一个 \(t\in T\)。对 \(t\in T\) 和 \(g\in G\)，唯一写成

由于目标 \(H/H'\) 阿贝尔，代表顺序不影响结果；更深一层，改变代表系也只改变落在 \(H'\) 中的因子，所以转移与 \(T\) 的选择无关。

良定义与同态性

代表系独立性可通过比较两个代表系中对应元素的差来证明；比较时出现的共轭因子在 \(H/H'\) 中相等并成对消去。^{[1, thms. 5.1-5.2]}

轨道形式的计算公式

固定 \(g\in G\)，循环群 \(\langle g\rangle\) 右乘作用于 \(H\backslash G\)。从每条轨道选代表 \(t\)，若该轨道长度为 \(r_t\)，则 \(tg^{r_t}t^{-1}\in H\)，并有

乘积对陪集轨道取。这一“转移求值公式”通常比直接遍历所有陪集代表更方便。^{[1, lem. 5.5]}

到 Sylow 子群的转移

令 \(P\in\operatorname{Syl}_p(G)\)，考虑

其核是 \(G\) 中最小的正规子群 \(A^p(G)\)，使商群 \(G/A^p(G)\) 成为阿贝尔 \(p\)-群：

所以转移非平凡意味着 \(G\) 有非平凡阿贝尔 \(p\)-商；若 \(|G|\ne p\)，这往往可直接排除 \(G\) 为单群。

Burnside 正规 p-补定理

若 \(p\) 是 \(|G|\) 的最小素因子且 Sylow \(p\)-子群循环，则 \(N_G(P)/C_G(P)\) 嵌入 \(\operatorname{Aut}(P)\)，其阶既整除 \(p-1\) 型因子又受最小素数条件限制，最终得到上述中心条件和正规 \(p\)-补。

焦点子群定理

定义 \(G\) 在 \(P\) 中的焦点子群

该定理把全群导出子群与 \(P\) 内的融合数据完全联系起来：\(P\) 中哪些元素在全群中被共轭，决定了转移在 \(P\) 上的核。

融合控制与转移控制

设 \(P\leq H\leq G\)。若任意两个在 \(G\) 中共轭的 \(P\) 元素已经在 \(H\) 中共轭，称 \(H\) 控制 \(G\) 在 \(P\) 中的融合。焦点子群定理推出：若 \(H\) 控制融合，则

即 \(H\) 控制 \(p\)-转移。

特别地：

• 若 \(P\) 阿贝尔，\(N_G(P)\) 控制 \(p\)-转移；
• \(P\) 控制自身融合，当且仅当 \(G\) 有正规 \(p\)-补；
• Yoshida 定理给出 Sylow 正规化子控制转移的更一般条件。

Frobenius 正规 p-补判据

条件 (3) 表示所有局部共轭自同构的 \(p'\) 部分都消失。定理的困难方向把这些局部条件沿 Sylow 子群交和融合传递到全群。^{[1, thm. 5.26]}

例子

相关词条

• 预转移
• 焦点子群定理
• 融合控制
• 正规 p-补
• Burnside 正规 p-补定理
• Frobenius 正规 p-补定理
• Yoshida 转移定理

Wikipedia 的转移条目用于交叉核对历史和一般定义；有限群中的求值、焦点、融合及正规补体系按 Isaacs 第五、十章重新组织。修订按 CC BY-SA 署名。^[2]