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 的群」從一個模糊的願望變成一個有限的記帳問題。