第 7 章 · Sylow 定理：存在性的保证

Lagrange 告诉你子群阶只能取哪些值，但哪些值真有子群？Sylow 三定理给 Finite group 的"零件清单"：只要 $p^k \| |G|$（$p^k$ 是整除群阶的最大素数幂），就一定有 $p^k$ 阶子群，且它们之间互相制约。

三定理的内容

设 $|G| = p^k m$，$p \nmid m$：

• 存在性：必有 $p^k$ 阶子群（Sylow $p$-子群）。证明路线：类方程或群作用的不动点计数。
• 共轭性：所有 Sylow $p$-子群互相共轭（数量 $n_p$ 满足 $n_p \equiv 1 \pmod p$ 且 $n_p \mid m$）。
• 整除性：每个 $p^k$ 的因子阶子群都在某个 Sylow 子群内（Sylow 子群"包揽"一切 $p$-结构）。

分类小群的标准流程

判定一个 $|G| = pq$（素数）阶群的结构： 1. 数 Sylow 子群个数：$n_p \mid q$ 且 $\equiv 1 \pmod p$——约束常常逼出 $n_p = 1$； 2. $n_p = 1$ ⟹ 该 Sylow 子群正规； 3. 正规子群 + 另一子群 → 半直积；再分析共轭作用定交换与否。 例：15 阶群必循环（$n_3, n_5$ 都只能为 1）；12 阶群的三种类型（$C_{12}$、$A_4$、二面体 $D_6$、$\mathbb{Z}_3\rtimes\mathbb{Z}_4$ 等）由 Sylow 分析逐一排除。

Sylow 的哲学

它是有限群论的"CT 扫描"：不管群多复杂，素数幂部分的结构被定理强行规范。表示论（特征标）之前，Sylow 是分类小群的主武器。

老师的提醒

• 见到"证明 $G$ 不是单群"类题目：找最小素因子 $p$，若 $n_p = 1$ 则有正规 Sylow 子群，完成证明——这是考题模板。
• 商群构造的前提是正规性：Sylow 分析的主要产出就是"免费正规性"。

自检

• 叙述 Sylow 三定理。
• 证明 15 阶群循环。
• $n_p \equiv 1 \pmod p$ 怎么从共轭作用的轨道大小推出？

更深一层：Sylow 定理的"证明思想比定理更值钱"

Sylow 三定理的结论常背常忘，但它们的证明思想是通用的：让群作用在恰当的集合上，用轨道大小的整除性逼出存在性。存在性证明的漂亮版本：设 $p^k \| |G|$，考虑 $G$ 作用在"大小为 $p^k$ 的子集"上——总子集数 $\binom{m}{p^k}$（$m = p^k n' $）不被 $p$ 整除，故存在一条轨道大小不被 $p$ 整除；轨道稳定子方程反推该稳定子含 $p^k$ 阶的 $p$-群——它就是 Sylow 子群。"找一个作用 → 数轨道 → 模 p 逼出结构"这个三段式，在有限群论里出现的频率不亚于分析学里的"构造收敛子列"。

三定理的实战排序也值得记：先用计数约束（$n_p \mid m$、$n_p \equiv 1 \pmod p$）缩小可能值；$n_p = 1$ 立刻得正规子群；再分析两个 Sylow 子群的乘积或半直积。小阶分类题 80% 的流程就是这三步，剩余 20% 需要表示论或计算机辅助。

推导细读：半直积——"正规件 + 补件"的组装学

Sylow 分析的终点常是"两个正规性已知的子群如何拼成全群"。直积 $N \times H$（两件都正规、交平凡、乘积全群）是理想情况；更常见的是半直积 $N \rtimes H$：只有 $N$ 正规，$H$ 通过自同构"扭转" $N$（$\varphi: H \to \mathrm{Aut}(N)$）。12 阶群的分类示范了扭转的威力：$C_3 \rtimes C_4$ 有两种扭转（平凡/翻转），给出两种不同构的群——同一个"零件清单"，扭转方式不同就是不同的机器。这个思想是现代群扩张理论与群 COHOMOLOGY 的入口：所有"把 $N$ 和 $Q$ 拼起来"的方式由 $H^2(Q, Z(N))$ 分类——Artin 书里一笔带过，却是群论通往同调代数的大门。

在真实世界里：Sylow 分析的"考试模板"与"研究前沿"

考试模板（证明 $G$ 不是单群）：设 $|G| = p^k m$，$p$ 为最小素因子；$n_p \equiv 1 \pmod p$ 且 $n_p \mid m$ 常迫使 $n_p = 1$ → 正规 Sylow → 非单。研究前沿的接续：Feit-Thompson 奇阶群可解定理（1963，255 页）与有限单群分类（万页工程，1983 宣告/2004 补完）——整个有限单群分类这座大厦的地基砖块就是 Sylow 分析。学 Sylow 的意义：你在用处理"万页证明"的地基所用的同一类推理做练习。

专题深入：Sylow 定理的"证明思想比定理更值钱"展开

Sylow 三定理的结论常背常忘，但它们的证明思想是通用的：让群作用在恰当的集合上，用轨道大小的整除性逼出存在性。存在性证明的漂亮版本：设 $p^k \| |G|$，考虑 $G$ 作用在"大小为 $p^k$ 的子集"上——总子集数 $\binom{m}{p^k}$ 不被 $p$ 整除，故存在一条轨道大小不被 $p$ 整除；轨道稳定子方程反推该稳定子含 $p^k$ 阶的 $p$-群——它就是 Sylow 子群。"找一个作用 → 数轨道 → 模 p 逼出结构"这个三段式，在有限群论里出现的频率不亚于分析学里的"构造收敛子列"。

三定理的实战排序：先用计数约束（$n_p \mid m$、$n_p \equiv 1 \pmod p$）缩小可能值；$n_p = 1$ 立刻得正规子群；再分析两个 Sylow 子群的乘积或半直积。小阶分类题 80% 的流程就是这三步，剩余 20% 需要表示论或计算机辅助。

数学细节展开：半直积——"正规件 + 补件"的组装学

Sylow 分析的终点常是"两个正规性已知的子群如何拼成全群"。直积 $N \times H$（两件都正规、交平凡、乘积全群）是理想情况；更常见的是半直积 $N \rtimes H$：只有 $N$ 正规，$H$ 通过自同构"扭转" $N$（$\varphi: H \to \mathrm{Aut}(N)$）。12 阶群的分类示范了扭转的威力：$C_3 \rtimes C_4$ 有两种扭转（平凡/翻转），给出两种不同构的群——同一个"零件清单"，扭转方式不同就是不同的机器。这个思想是现代群扩张理论与群 COHOMOLOGY 的入口：所有"把 $N$ 和 $Q$ 拼起来"的方式由 $H^2(Q, Z(N))$ 分类。

工程案例细节：Sylow 分析的"考试模板"与"研究前沿"工程版

考试模板（证明 $G$ 不是单群）：设 $|G| = p^k m$，$p$ 为最小素因子；$n_p \equiv 1 \pmod p$ 且 $n_p \mid m$ 常迫使 $n_p = 1$ → 正规 Sylow → 非单。研究前沿的接续：Feit-Thompson 奇阶群可解定理（1963，255 页）与有限单群分类（万页工程，1983 宣告/2004 补完）——整个有限单群分类这座大厦的地基砖块就是 Sylow 分析。学 Sylow 的意义：你在用处理"万页证明"的地基所用的同一类推理做练习。