互补群

在群论中，设 G 是一个群，H 和 K 是 G 的两个子群。如果满足以下两个条件：

• H ∩ K = {e}，其中 e 是 G 的单位元；
• G = HK = {hk | h ∈ H, k ∈ K}；

则称 H 和 K 是 G 的一对互补子群，或称 H 是 K 在 G 中的互补子群，反之亦然。这一概念可以视为群的内直积的推广，但注意互补群不要求子群的正规性。

互补群与半直积之间存在紧密联系。若 H 和 K 是 G 的互补子群，且 K 是 G 的正规子群（记作 K ◁ G），则 G 同构于 H 和 K 的半直积 H ⋉ K。更一般地，若没有正规性条件，仅由互补条件无法保证半直积结构，但可以定义群 G 在 H 上的作用，从而得到半直积。事实上，互补群的存在是半直积构造的充分必要条件。

基本性质

• 若 H 和 K 互补，则 G 的每个元素可以唯一表示为 hk 的形式（当且仅当 H ∩ K = {e} 时表示唯一）。
• G 的阶满足 |G| = |H| · |K|。
• 若 H 和 K 都是 G 的正规子群，则 G ≅ H × K（内直积）。

与正规子群的关系

互补群的概念不要求任一子群是正规的。然而，如果 K 是正规的，则 H 可以视为商群 G/K 的代表元群。这种情形在半直积中频繁出现。例如，二面体群 D_n 可以被视为循环群 C_n（正规子群）与二阶群 C₂ 的半直积，其中 C₂ 是 C_n 的互补子群。

并非所有群都有互补子群。存在性的研究是群论的重要课题之一。

Schur-Zassenhaus 定理

Schur-Zassenhaus 定理是互补群存在性的经典结果：设 G 是有限群，N 是 G 的正规子群，且 |N| 与 |G/N| 互素，则 N 在 G 中存在互补子群。此外，所有互补子群彼此共轭。该定理在有限群结构分析中具有重要应用。

可解群与幂零群中的互补性

对于可解群，互补子群的存在性常与 Hall 子群相关。一个子群称为 Hall 子群，若其阶与指数互素。在可解群中，任何 Hall 子群都有互补子群，且所有互补子群共轭。对于幂零群，其 Sylow 子群总是互补的（因为幂零群是 Sylow 子群的直积）。

群的结构分解

互补群提供了一种分解群的方法。通过将群表示为两个子群的乘积，可以简化对群性质的研究。例如，有限单群的分类中，许多群被构造为子群的半直积。

群表示论与上同调

在群表示论中，互补群的概念与群扩张和上同调群密切相关。一个群扩张 G 被定义为短正合列 1 → N → G → Q → 1。如果该扩张分裂（即存在 Q 到 G 的截面），则 G 是 N 与 Q 的半直积，且 Q 的像就是 N 的互补子群。因此，第二上同调群 H²(Q, N) 分类了所有可能的扩张，而零元素对应分裂扩张。

实例：对称群与交代群

对称群 S_n 中，交代群 A_n 是正规子群，而任意一个对换生成的二阶子群（如 {e, (12)}）是 A_n 的互补子群。因此 S_n ≅ C₂ ⋉ A_n。

互补群是群论中一种基本而灵活的结构，它允许将复杂的群分解为较简单的子群的乘积。通过互补子群，可以构造半直积，研究群的扩张，并在有限群的分类中扮演关键角色。Schur-Zassenhaus 定理提供了互补子群存在的充分条件，而可解群中的 Hall 子群理论进一步推广了该概念。互补群不仅是理论工具，还在许多数学分支，如代数拓扑、表示论和数论中有广泛应用。

• Hall, P. (1937). A contribution to the theory of groups of prime-power order. Proceedings of the London Mathematical Society, 2(1), 29-95.
• Schur, I. (1904). Über die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen. Journal für die reine und angewandte Mathematik, 127, 20-50.
• Zassenhaus, H. (1937). Lehrbuch der Gruppentheorie. Teubner.
• Rotman, J. J. (2012). An Introduction to the Theory of Groups (4th ed.). Springer.
• Robinson, D. J. S. (1996). A Course in the Theory of Groups (2nd ed.). Springer.
• Isaacs, I. M. (2008). Finite Group Theory. American Mathematical Society.
• 徐明曜. (1999). 有限群导引 (上册). 科学出版社.
• 张继平. (2006). 有限群论. 北京大学出版社.