Schur–Zassenhaus 定理

Schur–Zassenhaus 定理是有限群扩张理论的基本结果：一个正规 Hall 子群总有补子群，因此相应扩张必分裂；在可解性条件下，所有补子群还彼此共轭。它把“由正规子群 \(N\) 和商群 \(G/N\) 组装 \(G\)”的问题化为半直积及其作用的分类问题。^{[1, pp. 73-85]}

预备定义

因此，“\(N\) 有补子群”“短正合列 \(1\to N\to G\to G/N\to1\) 分裂”和“\(G\) 是 \(N\) 与 \(G/N\) 的某个半直积”是等价说法。

定理

由 Feit–Thompson 奇数阶定理，在互素的 \(|N|\) 与 \(|G:N|\) 中至少有一个是奇数，而对应的有限群可解。因此对有限群而言，共轭性条件实际上总能满足；但这一无条件表述依赖远深于 Schur–Zassenhaus 定理本身的奇数阶定理。初等有限群论中通常保留“\(N\) 或 \(G/N\) 可解”的假设，以清楚标明证明所用工具。

阿贝尔正规 Hall 子群的证明

Isaacs 对阿贝尔情形采用交叉同态和陪集代表系，给出不依赖群上同调语言的构造。^{[1, thms. 3.5-3.7]}

设现在 \(N\triangleleft G\) 且 \(N\) 阿贝尔。取 \(N\) 在 \(G\) 中的一组右陪集代表 \(T\)。对任意另一代表系 \(S\)，存在唯一的元素 \(n_s\in N\) 使得 \(s n_s\) 与 \(s\) 所在的陪集对应；把这些“差”相乘可定义 \(d(S,T)\in N\)。阿贝尔性保证乘积次序无关，并有

以及对 \(n\in N\)，

固定 \(T\)，定义

上述恒等式说明 \(\theta\) 是关于共轭作用的交叉同态。令 \(H=\ker\theta\)，则 \(H\leq G\)。

交叉同态还描述补子群的共轭。不同补子群对应于不同的交叉同态或一阶上同调类；互素条件使相应一阶上同调消失，所以阿贝尔情形中的补子群彼此共轭。

一般存在性证明的结构

一般正规 Hall 子群不必阿贝尔。证明对 \(|G|\) 归纳，并把问题降到更小群或阿贝尔正规子群。

这一证明说明 Frattini 论证与“有限幂零群的 Sylow 子群均正规”在分裂扩张理论中的具体用途。

补子群共轭的证明思路

设 \(H\)、\(K\) 都补 \(N\)，目标是找 \(g\in G\) 使 \(H^g=K\)。对 \(|G|\) 归纳：

1. 若 \(N\) 有非平凡特征阿贝尔子群 \(A\)，先在商群 \(G/A\) 中把 \(HA/A\) 与 \(KA/A\) 共轭；调整后可假设 \(HA=KA\)，再在较小群 \(HA\) 中使用阿贝尔情形完成共轭。
2. 若 \(N\) 可解，最小正规子群可取为初等阿贝尔群，因而第一步可反复实施。
3. 若 \(G/N\) 可解，则利用其最小正规初等阿贝尔因子，把问题拉回一个适当的正规子群，再应用归纳。

关键不是“补子群正规”，它们通常并不正规；关键是把两个补子群在商群中对齐，再用阿贝尔核上的交叉同态消除剩余差异。完整归纳见 Isaacs 定理 3.12。^{[1, thm. 3.12]}

例子与反例

上同调解释

对给定的 \(G/N\) 在阿贝尔群 \(N\) 上的作用：

• 分裂扩张的障碍位于 \(H^2(G/N,N)\)；
• 补子群的共轭类由 \(H^1(G/N,N)\) 控制。

当 \(|N|\) 与 \(|G/N|\) 互质时，相关上同调群被 \(|N|\) 和 \(|G/N|\) 同时消去，因此为零。这给出阿贝尔情形的概念性证明，也解释了为什么互素性同时带来“存在”和“唯一到共轭”。

应用

• 把有限群扩张转化为半直积分类：先确定同态 \(G/N\to\operatorname{Out}(N)\) 或 \(\operatorname{Aut}(N)\)，再判断所得半直积是否同构。
• 在可解群中构造 Hall 子群和 Sylow 系。
• 分析群阶为 \(pq\)、\(p^aq^b\) 或具有正规 Hall 子群的群。
• 在表示论和群上同调中分离互素作用部分。
• 为 互素作用、Hall 子群和 Frobenius 群提供结构模型。

相关词条

• 群扩张
• 分裂扩张
• 半直积
• 补子群
• Hall 子群
• 交叉同态
• 群上同调
• Frattini 论证
• Feit–Thompson 定理

Wikipedia 的同名条目用于交叉核对历史、例子和上同调表述；正文证明按 Isaacs 的初等有限群论路线重新组织。Wikipedia 修订按 CC BY-SA 署名。^[2]