設p是一個質數；則可定義一個G的西羅p-子群（有時稱為p-西羅子群），其為G的最大p-子群（即一個其為p-群且不為其他G之p-子群的純子群之子群）。所有給定一質數p之西羅p-子群所組成之集合有時會寫成Sylp(G)。在一種或另一種意思下皆為最大之子群的集合在群論中並沒有不一樣。這裡很不可思議的為在Sylp(G)內的例子，每個元素都會實際地共軛於另一個元素；且此一性質可以被用來決定G的其他性質。
基本介紹
- 中文名：西羅定理
- 提出者：Sylow
- 適用領域：代數
- 套用學科：數學
定理定義,驗證推導,套用例子,參考文獻,
定理定義
第二Sylow定理：設H是有限群G的一個p-子群，P是G的一個Sylow p-子群，則存在x屬於G，使得H包含於
，特別地，G的任意兩個Sylow p-子群共軛。
第三Sylow定理：設G是一個有限群，p是一個素數，則G的Sylow p子群的個數n是|G|的一個因子，且n≡1(mod p)。
驗證推導
考察G中所有
階子集Ω，則|Ω|=
。令G左乘作用於Ω，則對任意M∈Ω有群N固定之，所以MN=M 即M為N的陪集合，故|N| | |M|所以|N|=
（x≤i）。由於任意軌道大於
均被
整除，所以所有的軌道總數
|Ω|(mod)（其中k為軌道數），由於此式對循環群也成立但循環群只有一個階群，故有|Ω|≡
(mod)。因此k≡1(mod p)，即存在階群，定理一得證。
由於MN=M且|M|=|N|故有M=mN，因此M的軌道為群
的所有陪集合，因此每個軌道對應不同的
階群，故定理三得證。
至於定理一後半部分，由G關於HxH的重陪集分解的陪集數為1的分解數等於[N(H):H]，知p | [N(H):H]（N(H)為H的共軛固定群），又由Cauchy定理N(H)/H存在p階群K，即可得到H⊿KH且|KH|=
，至此Sylow定理證畢。
套用例子
引理：若G只有一個Sylow-p子群那么這個Sylow-p子群正規於G
證明：設P是G的一個Sylow-p子群，則對於G內任意一個元素g，
仍是G的一個Sylow-p子群
而由Slyow定理，所有Sylow-p子群兩兩共軛
∴
∴P正規於G
例1： 15階群一定是循環群
證明：設G是一個群，且|G|=15
則Slyow-3子群的個數
|
，且=1（mod 3），即=（1+3k）|5 ∴=1，即G只有一個Sylow-3子群
∴這個Sylow-3子群是G的正規子群
同理：G只有一個Sylow-5子群，且這個Sylow-5子群是G的正規子群
又∵（3,5）=1，而Sylow-3子群∩Sylow-5子群={e}，|Sylow-3子群|*|Sylow-5子群|=3*5=15=|G|
∴ab=ba其中a為Sylow-3子群生成元，b為Sylow-5子群生成元。（否則由
，即
這會推出
與其不相交矛盾。）
∴由交換群的階相乘性質ab的階位15，故其循環。
例2：350階群不是單群
證明：∵ 350 = 5^2*14
∴由Slyow定理：Slyow-5子群的個數N5|14，且N5 = 1(mod 5)，即N5=（1+5k）|14
∴N5=1
∴由例①中的引理：G必然會有一個階為25的正規子群
∴350階群不可能為單群
參考文獻
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.
