在數學裡，尤其是在群論內，西羅（Sylow）定理（以彼得·盧德維格·梅德爾·西羅來命名，或稱西洛定理）為一系列定理的總稱。這些定理關於給定的有限群包含的固定階子群的數目給出了詳細的信息。這些定理在有限群論中起到了基礎的作用，並且在有限單群分類中有重要應用。西羅定理假設了拉格朗日定理部份反面的情況。拉格朗日定理敘述了若H是一個有限群G的子群，則H的階會整除G的階。西洛定理則保證，對於G之階的某些因數，會有對應此些因數的子群存在著，且會給出有關此類子群之數目的相關訊息。

定義
設p是一個質數；則可定義G的西羅p-子群（或者稱為p-西羅子群），其為G的p-子群中最大的一個(即其為G的p-群，且不為其他G的p-子群的真子群)。

西羅p-子群所組成的集合記為Sylp(G)。
Sylp(G)之中群的差異在群論的討論中是可以忽略的。更明確地說，在Sylp(G)內的每個群彼此間同構；這性質也同時回過頭來決定了G的其他性質。

西羅定理
以下定理由挪威數學家彼得·盧德維格·梅德爾·西羅首次於1872年提出並證明，刊載於《Mathematische Annalen》中。

給定一有限群G，則可以將|G|可以寫成pn  s 的形式

其中|G|表示G的階，n為正整數，且p不為s的質因數。
 定理1：存在一個階為pn的子群H，使得H為G的西羅p-子群。
下面的推論比起定理1較為狹義
 推論：對任意有限群G，及任意|G|的質因數p，則在G之中，存在一個階為p的元素。
上述推論又稱作柯西定理，由柯西首次證明
 定理2：若H是G的子群，I為G的p-西羅子群，其中|H|=pk，k 為正整數，則存在一個G中的元素a使得aHa-1為I的子群。
從這可以推論出，所有G的西羅p-子群彼此共軛（且因共軛可得到同構），即若H、K皆為G的西羅p-子群，則存在一個於G內的元素g，使得g−1Hg = K。
 定理3：設np為G的西羅p-子群的数量且有
特別地是，上述表示著每個西羅p-子群都會有相同的目pn；相反地，若一個子群有pn目，則其為一個西羅p-子群，且會同構於每個其他的西羅p-子群。基於質數最大次方的條件，若H為G的任一個p-子群，則H會為一個有pn目之p-子群的子群。

定理3的一個很重要結論為np=1的條件會等價於描述此一G的西羅p-子群是一個正規子群。（存在沒有正規西羅子群但有正規子群的群，如S4。）

无限群的西罗定理 

西羅定理有個對無限群的類比。可定義一個於無限群中的西羅p-子群為一個在所有群內之p-子群的內含關係內為極大的p-子群。因佐恩引理，这种子群存在。

定理：若K為一個G的西羅p-子群，且np = |Cl(K)|為有限的，則每一個西羅p-子群都會共軛於K，且np = 1 mod p，其中Cl(K)表示為K的共軛類。

應用例子
設G為一個其目為15 = 3 · 5的群，則n3必須整除5，且n3=1 mod 3。其中唯一滿足上述限制的值只有1；因此，只存在一個其目為3的子群，且其必須為正規子群（因為其沒有其他的共軛）。相似地，n5會整除3，且n5=1 mod 5；因此亦只有一個其目為5的正規子群。當3和5為互質時，此兩個子群的交集為平凡群{e}，所以G必須要是個循環群。因此，只存在一個其目為15的群（以同構來分），標記為Z/15Z。

舉另一個更複雜的例子來說，可證明不存在一個其目為350的簡單群。若|G| = 350 = 2 · 52 · 7，則n5必須整除14=2·7，且n5 = 1 mod 5。因此，n5=1（因為6和11都不會整除14），而因此G必然會有一個其目為52的正規子群，故不可能為簡單群。

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

定理1：一個其目|G|可以被一質數次方pk整除的有限群G會有一個其目為pk的子群。

證明：設|G|=pkm，pr  m且 pr+1  m 。记Ω為G的元素个数為pk之子集所組成的集合，可知|Ω| = 及pr+1   ，基於之前r的選定。令G以左乘積作用於Ω上，則基於r之選定，會存在一個於Ω內的A，其具有一個會使pr+1  |θ|之軌道θ=AG。這裡會有|θ| = |AG| = [G : GA]的關係，其中GA標示為集合A的穩定子子群，因此pk | |GA|，故pk ≤ |GA|。注意在GA的作用下之於A內的兩個元素a和ga可能為不同個的，所以|A| ≥ |GA|。由上述pk ≤ |GA|和|A| ≥ |GA|兩個結果，故知|GA| = pk。然後，GA即為此一想要的群。

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

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

定理2：若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的左陪集所組成的集合，及H以左乘積作用在Ω上。應用H於Ω上的引理，可知|Ω0| ≡ |Ω| = [G : P] mod p。由定義可知p  [G : P]，所以p  |Ω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。

定理3：設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. link
H. Wielandt. "Ein Beweis für die Existenz der Sylowgruppen".  Archiv der Mathematik, 10:401-402, 1959.

注釋

X
X