Yoshida 转移定理

Yoshida 转移定理刻画 Sylow 正规化子何时控制有限群的 $$p$$ -转移。它表明唯一的群论障碍是 Sylow $$p$$ -子群具有正则 wreath 积 $C_p\wr C_p$ 的同态像。由此立即得到 Hall–Wielandt 结论：若 Sylow $$p$$ -子群的幂零类小于 $$p$$ ，其正规化子控制 $$p$$ -转移。^{[1, pp. 295-310]}

p-转移与控制

令 $P\in\operatorname{Syl}_p(G)$ 。记

A^p(G)=\bigcap\{N\triangleleft G\mid G/N\text{ 是阿贝尔 }p\text{-群}\}.

它是使商成为阿贝尔 $$p$$ -群的最小正规子群，也是从 $$G$$ 到 $$P/P'$$ 的转移同态之核。

控制转移允许在较小的 $$H$$ 中检测 $$G$$ 是否有非平凡阿贝尔 $$p$$ -商。若 $$A^p(H)<H$$ ，则控制性推出 $$A^p(G)<G$$ ，从而除 $$|G|=p$$ 外， $$G$$ 不可能单。

融合控制蕴含转移控制，但反向不成立。Yoshida 定理的力量正在于：即使 Sylow 正规化子不控制 $$P$$ 中的全部融合，它仍常能控制转移。

障碍 wreath 积

正则 wreath 积

W=C_p\wr C_p=B\rtimes\langle\sigma\rangle

中，基群 $B\cong C_p^p$ ，顶部 $\sigma$ 循环置换 $$p$$ 个坐标。因此

|W|=p^{p+1}, \qquad \operatorname{cl}(W)=p,

并且 $$W$$ 含阶 $$p^2$$ 的元素。它是“转移沿指数 $$p$$ 层退化”的最小标准模型。

Yoshida 定理

定理对所有素数成立。 $$p=2$$ 时障碍群是 $C_2\wr C_2\cong D_8$ ，因此结论仍有内容，但“幂零类小于 $$p$$ ”的推论只覆盖阿贝尔 Sylow $$2$$ -子群。

指数 p 子群上的预转移

若 $V(M)\nsubseteq\Phi(M)$ ，上述范数型乘积在 $M/\Phi(M)$ 中非零，循环作用产生正则 $\mathbf F_pC_p$ -模，进而迫使 $C_p\wr C_p$ 成为 $$P$$ 的同态像。^{[1, lem. 10.6-10.7]}

证明结构

Yoshida 定理的群论证明路线

反设 $$N=N_G(P)$$ 不控制 $$p$$ -转移。转移控制失败引理给出

M\triangleleft N, \qquad |N:M|=p,

使每个从 $$G$$ 到 $$N$$ 的预转移 $$U$$ 都满足 $U(G)\subseteq M$ 。特别地 $N'\leq M$ ，且 $S=P\cap M$ 是 $$P$$ 的指数 $$p$$ 正规子群。

取预转移 $V:G\to N$ ，并用 Mackey 双陪集公式把 $$V|_P$$ 分解为从 $$P$$ 到各交 $P\cap N^x$ 的局部预转移之积。由于 $$N$$ 正规化整个 $$P$$ ，主双陪集项就是从 $$P$$ 到 $$S$$ 的指数 $$p$$ 预转移；其余双陪集项落入更小的交并由 Frattini 子群吸收。

若所有局部项在 $S/\Phi(S)$ 中都消失，则主项给出 $V(P)\nsubseteq M$ ，与 $V(G)\subseteq M$ 矛盾。因此某个指数 $$p$$ 预转移在 Frattini 商上非平凡。指数 $$p$$ 公式把这一非平凡性转化为长度 $$p$$ 的循环模，上一节的判据遂构造出商

P/K\cong C_p\wr C_p.

这与假设“没有该同态像”矛盾，故 $$N$$ 必控制转移。

原始 Yoshida 证明使用特征标理论；Isaacs 的版本借预转移、Mackey 公式和 $$p$$ -群结构给出更群论化的论证。^[2] ^{[1, thm. 10.1]}

Hall–Wielandt 推论

阿贝尔 $$P$$ 的类为 $$1$$ ，所以对奇素数这一结论包含“阿贝尔 Sylow 正规化子控制转移”。对 $$p=2$$ ，阿贝尔情形需使用早先的融合控制论证。

其他充分条件

Yoshida 判据比幂零类条件更强，因为只排除一个特定商：

若 $$P$$ 的指数为 $$p$$ ，则它不含阶 $$p^2$$ 元素的某些指数条件可排除 $$W$$ ；
若 $$P$$ 是正则 $$p$$ -群，则 $C_p\wr C_p$ 不是其同态像；
若 $$p>2$$ 且 $$P$$ 非阿贝尔、亚循环，则 $$P$$ 的所有子群与商仍亚循环，而 $C_p\wr C_p$ 非亚循环；
强力 $$p$$ -群及若干更广的类也自动排除该商。

条件的必要性与反例

现代推广

在饱和融合系统中也可定义转移与超焦点子群。Tate 与 Yoshida 型定理说明，某些子系统控制转移时可控制更强的 $$p$$ -剩余结构；障碍同样由 wreath 型融合模式反映。^[3]

参考文献

3 条结构化来源

[1]
I. Martin Isaacs. (2008). Finite Group Theory. Graduate Studies in Mathematics 92. pp. 295-310. American Mathematical Society链接
[2]
Tomoyuki Yoshida. (1978). Character-theoretic transfer. Journal of Algebra. 52 pp. 1-38缺少可核验标识符
[3]
Antonio Díaz, Adam Glesser, Sejong Park, Radu Stancu. (2011). Tate's and Yoshida's theorem on control of transfer for fusion systemsarXiv: 1002.4343 · 链接