在數學的群論中，西羅定理（）是一系列關於有限群的定理，由挪威數學家彼得·盧德維格·梅德爾·西羅在1872年證明。這些定理使得代數學家對有限群的結構有了更深入的瞭解，並對有限群的研究以及百年後的有限單群分類工作给出了不少贡献。

西羅定理處理了拉格朗日定理的部份反例。拉格朗日定理表明，如果 H 是 G 的子群，那麼子群H的階 |H| 是 |G| 的因數；但逆命题未必成立， |G| 的因數未必等於某個子群的階。西羅定理表明，|G| 的形如 p^r 的因數確實是一些子群的階，定理亦給出這種類型子群數目的相關訊息。

定理敘述
給定有限群 G ，通過質因數分解，可以把 |G| 表示成 p^n \times m 的形式（並且 m 不被 p 整除）。如果 G 的子群 H 的階是 p 的某个冪：|H| = p^k ， k > 0 ，則稱 H 為 p-子群。西羅 p-子群是其中最大的一類，其定義為階等於 p^n 的子群。群 G 的西羅 p-子群構成的集合一般記為 \text{Syl}_p(G) 。

西羅定理有三個部分：

對於所有介於 1 到 n 之間的正整數 r ， G 存在階為 p^r 的子群。

G 中的所有西羅 p-子群互相共軛。

G 中西羅 p-子群的個數是 m 的因數、並且具有 kp + 1 的形式（模 p 餘 1）。

无限群的西罗定理
無限群中的西羅 p-子群為在给定群內之 p-子群中，以內含關係為序，極大的 p-子群。可用佐恩引理證明這類子群存在。

定理：若 K 為 G 的西羅 p-子群，且 n_p = |\operatorname{Cl}(K)| 有限，則所有西羅 p-子群都與 K 共軛，且 n_p \equiv 1 \mod p ，其中 \operatorname{Cl}(K) 表示 K 的共軛類。

應用例子
設群 G 階為 15 = 3 \cdot 5。令 n_3 為西羅 3 子群的數量，則 n_3 整除 5，且模 3 餘 1。滿足上述條件的整数只有 1；因此，G 有且仅有一個階為 3 的子群，且其必須正規（因為其沒有其他的共軛）。類似地，n_5 整除 3，且 n_5 \equiv 1 \mod 5；所以 G 有且仅有一個階為 5 的正規子群。由於 3 和 5 互質，此兩個子群的交集為平凡群 \{e\}，所以 G 必須為循環群。因此，同構意义上只存在一個階為 15 的群，記為 \mathbb{Z} / 15\mathbb{Z}。

舉另一個更複雜的例子來說，可證明不存在一個階為 350 的單群。若 |G| = 350 = 2 \cdot 5^2 \cdot 7，則 n_5 必須整除 14 = 2 \cdot 7，且 n_5 \equiv 1 \mod 5。由此可知 n_5 = 1（因為 6 和 11 都不整除 14），所以 G 必然會有一個階為 5^2 的正規子群，故不可能為單群。

西羅定理的證明
西羅定理的證明利用了群作用的許多概念。群 G 會以許多種方式作用在其自身或其 p-子群上，而此類的每個作用則可以被利用來證明西羅定理的其中一個定理。下列的證明是基於 1959 年 H. Wielandt 所發表之整合的論述。下面用 a \mid b 表示「 a 整除 b 」，而 a \nmid b 表示「 a 不整除 b 」。

第一西羅定理
定理：对有限群 G，若对其阶 |G| 存在素数 p 满足，存在正整数 k，使得 p^k 整除 |G|，则该群存在阶为 p^k 的子群。

證明：設 |G| = p^k m ， p^r \mid m 且 p^{r+1} \nmid m 。令 \Omega 為 G 中元素个数為 p^k 的子集所組成的集合，有 |\Omega| = \binom{p^km}{p^k} 及 p^{r+1} \nmid \binom{p^km}{p^k} ，其中 \binom{p^km}{p^k} 是一個二項式係數，此處我們考慮它在組合數學中的意義，即「從 p^{km} 個相異元素選出 p^k 個元素的方法數」，這等價於元素個數為 p^k m 的集合 G 中元素个数為 p^k 的子集的個數，因此等於 |\Omega|。

令 G 以左乘積作用於 \Omega 上。基於 r 的定義，存在一個於 \Omega 內的子集 A ，使得其軌道 \Theta = A^G 的元素個數不被 p^{r+1} 整除， p^{r+1} \nmid |\Theta|。

這裡有 |\Theta| = |A^G| = [G : G_A] = |G| / |G_A| ，其中 G_A 代表集合 A 的穩定子子群。因此 p^k \mid |G_A| 故 p^k \leq |G_A| 。注意在 G_A 的作用下之於 A 內的兩個元素 a 和 ga 可能不同，所以 |A| \geq |G_A| 。由上述 p^k \leq |G_A| 和 p^k = |A| \geq |G_A| 兩結論可知 |G_A| = p^k 。 G_A 即為所求的群。 \square

該定理一個平凡的推論是，如果質數 p 整除群 G 的階，那麼 G 有至少一個西羅 p-子群。

第二西羅定理
定理：若H是G的子群且|H|=ps，以及P為G的p-西羅子群，則存在一個在G內的元素a會使得aHa-1為P的子群。特別地是，所有G的西羅p-子群都會共軛（且因此同構）於另一個，即若H和K為G的西羅p-子群，則存在一個G內的元素g會使得g−1Hg = K。

先證明一個有用的引理：

引理: 設G為一個有限p-群，將G作用於一個有限集合Ω上，及令Ω0為在G的作用下為固定之Ω內的點所組成之集合。然後可知|Ω| ≡ |Ω0| mod p。

證明：將Ω寫成在G下之軌道此種不相交集合的聯集。每一個在Ω內的元素x若在G的作用下不固定的話，其將會在其目為|G|/|Gx|之軌道上（其中Gx為穩定子），此目依題目的假設會是p的倍數（不可能為1，因為其目為1的軌道即為在G的作用下固定的點）。因此結論立即就出來了。

證明：設Ω為G內P的左陪集所組成的集合，及H以左乘積作用在Ω上。應用H於Ω上的引理，可知|Ω0| ≡ |Ω| = [G : P] mod p。由定義可知p \nmid [G : P]，所以p \nmid |Ω0|，且因為|Ω0| ≠ 0，故會存在一些gP ∈ Ω0。因此對每個於H內的元素h，hgP = gP，故g−1hgP = P且g−1hg ∈ P，且因此h ∈ gPg−1，故H會包含於某些G內元素g之gPg−1內。若H為一個西羅p-子群，則|H| = |P| = |gPg−1|，因此對某些在G內的g，H = gPg−1。

第三西羅定理
定理：設q為一有限群G的任一西羅p-子群的目，則np | |G|/q且np ≡ 1 mod p。

證明：依定理2，np = [G : NG(P)]，其中P為任一個子群且NG(P)為於G內P的正規化子，可知此數為|G|/q的因數。令Ω為所有G的西羅p-子群所組成的集合，且P以共軛作用於Ω上。設Q ∈ Ω0並可知對所有x ∈ P，Q = xQx−1，因此P ⊆ NG(Q)。依定理2，P和Q會於NG(Q)內共軛，尤其是Q會在NG(Q)為正規，故可知P = Q。由上可知Ω0 = {P}，因此由引理可知|Ω| ≡ |Ω0| = 1 mod p。

算法
由一個給定的群中得出一個西羅子群是計算群論中一個很重要的問題。在置換群裡，已由William Kantor證明出一個西羅p-子群可以在多項式時間內被找到。

參考資料
*Florian Kammüller and Lawrence C. Paulson. "A Formal Proof of Sylow's Theorem: An Experiment in Abstract Algebra with Isabelle HOL". University of Cambridge, UK. 2000. [https://web.archive.org/web/20060103223152/http://www.cl.cam.ac.uk/users/lcp/papers/Kammueller/sylow.pdf link]
H. Wielandt. "Ein Beweis für die Existenz der Sylowgruppen". Archiv der Mathematik*, 10:401-402, 1959.
*

注釋