Sylow 保证了什么
拉格朗日定理说子群的阶整除 |G|，但它不保证给定大小的子群存在。Sylow 定理为素数幂提供了逆命题。设 |G| = pᵏ·m，其中 p 为素数且 gcd(p, m) = 1。Sylow p-子群是阶为最大可能 p-幂 pᵏ 的子群。三条定理是：
- 存在性：Sylow p-子群存在。于是对整除 |G| 的完整素数幂，G 有阶为 pᵏ 的子群——一个极大地嵌在 G 中的真正p-群。
- 共轭性：所有 Sylow p-子群彼此共轭，且 G 的每个 p-子群都包含在某个 Sylow p-子群中。特别地，一个 Sylow p-子群正规当且仅当它是唯一的。
- 计数：Sylow p-子群的个数 n_p 满足 n_p ≡ 1 (mod p) 且 n_p 整除 m。这两条同余与整除约束限制力惊人。
“非单”套路
单群除 1 与自身外没有正规子群；它们是有限群论的原子。Sylow 计数约束是证明给定阶的群不是单群的标准武器——通过迫使某个 n_p = 1，从而那个 Sylow 子群是唯一的，因而正规。套路如下：
- 分解 |G| = p₁^{a₁} ··· p_r^{a_r}。对每个素数，列出 n_p ≡ 1 (mod p) 且 n_p | m 所允许的 n_p 候选值。
- 若某个素数迫使 n_p = 1，则证毕：那个 Sylow 子群正规，故 G 非单。
- 否则，数元素。素数阶 p 的不同 Sylow p-子群两两平凡相交，故 n_p 个它们贡献 n_p·(p−1) 个 p 阶元素。把这些计数对若干素数相加，往往超过 |G|，除非某个 n_p 坍缩为 1——这个矛盾证明了非单。
- 当数元素不够时，用陪集作用：若 n_p = t > 1，则 G 作用在 t 个陪集/共轭上，给出 G → S_t；若 |G| 不整除 t!，则核是一个非平凡的真正规子群。
Claim: no group of order 30 is simple.
|G| = 30 = 2 * 3 * 5.
Sylow 5: n_5 ≡ 1 (mod 5) and n_5 | 6 => n_5 ∈ {1, 6}.
Sylow 3: n_3 ≡ 1 (mod 3) and n_3 | 10 => n_3 ∈ {1, 10}.
Suppose G is simple, so n_5 ≠ 1 and n_3 ≠ 1. Then n_5 = 6, n_3 = 10.
Count elements of order 5: six Sylow 5-subgroups, each of order 5,
pairwise intersecting in {e}. => 6 * (5 - 1) = 24 elements of order 5.
Count elements of order 3: ten Sylow 3-subgroups, order 3, trivial pairwise
intersection. => 10 * (3 - 1) = 20 elements of order 3.
But 24 + 20 = 44 > 30 = |G|. Contradiction.
Therefore n_5 = 1 or n_3 = 1: a Sylow subgroup is normal, and G is NOT simple.
(In fact one shows G has a normal subgroup of order 15, and G ≅ a
semidirect product built on Z/15Z.)从 Sylow 到构造
Sylow 不只用来禁止——与半直积结合，它让你能构造与分类。一旦你知道某个 Sylow 子群 N 正规，而另一个 H 与之平凡相交且 NH = G，则 G ≅ N ⋊ H，其同构型由 H 在 N 上的作用（一个同态 H → Aut(N)）锁定。对阶 30 这一策略恰好给出四个群：Z/30Z 与三个非阿贝尔群（涉及二面体片 D_5 等）。轨道-稳定子引擎、类方程、同构定理与 Sylow 合在一起，把“分类所有阶为 n 的群”从一个模糊的愿望变成一个有限的记账问题。