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

定義
--

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

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

西羅定理
----

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

給定一有限群*G*，則可以將|*G*|可以寫成*p**n* \cdot  *s* 的形式

其中|*G*|表示*G*的階，*n*為正整數，且*p*不為*s*的質因數。

```
**定理1**：**存在一個階為*p**n*的子群H，使得*H*為G的西羅*p*-子群。**
```

下面的推論比起定理1較為狹義

```
**推論**：**對任意有限群*G*，及任意|*G*|的質因數*p*，則在*G*之中，存在一個階為*p*的元素。**
```

上述推論又稱作柯西定理，由柯西首次證明

```
**定理2**：**若*H*是*G*的子群，*I*為*G*的p-西羅子群，其中|*H*|=*p**k*，*k* 為正整數，則存在一個*G*中的元素*a*使得*a*H*a-1*為*I*的子群**。
```

從這可以推論出，所有*G*的西羅*p*-子群彼此共軛（且因共軛可得到同構），即若*H*、*K*皆為*G*的西羅*p*-子群，則存在一個於*G*內的元素*g*，使得*g*−1*Hg* = *K*。

```
**定理3**：**設np為G的西羅p-子群的数量且有{\displaystyle n\_{p}\equiv 1\;(mod\;p)\;\;and\;\;n\_{p}|s}**
```

特別地是，上述表示著每個西羅*p*-子群都會有相同的目*p**n*；相反地，若一個子群有*p**n*目，則其為一個西羅*p*-子群，且會同構於每個其他的西羅*p*-子群。基於質數最大次方的條件，若*H*為*G*的任一個*p*-子群，則*H*會為一個有*p**n*目之*p*-子群的子群。

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

### 无限群的西罗定理

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

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

應用例子
----

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

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

西羅定理的證明
-------

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

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

證明：設|*G*|=*pkm*，*p**r*  {\displaystyle \mid }m且 *p**r*+1  \nmid m 。记Ω為*G*的元素个数為*pk*之子集所組成的集合，可知|Ω| = {p^{k}m \choose p^{k}}及*p**r*+1  \nmid  {p^{k}m \choose p^{k}}，基於之前*r*的選定。令*G*以左乘積作用於Ω上，則基於*r*之選定，會存在一個於Ω內的*A*，其具有一個會使*p**r*+1 \nmid  |θ|之軌道θ=*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*會使得*a*H*a-1*為*P*的子群。特別地是，所有*G*的西羅*p*-子群都會共軛（且因此同構）於另一個，即若*H*和*K*為*G*的西羅*p*-子群，則存在一個*G*內的元素*g*會使得*g*−1*Hg* = *K*。

證明：設Ω為*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*−1*hgP* = *P*且*g*−1*hg* ∈ *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* : *N**G*(*P*)]，其中*P*為任一個子群且*N**G*(*P*)為於*G*內*P*的正規化子，可知此數為|*G*|/*q*的因數。令Ω為所有*G*的西羅*p*-子群所組成的集合，且*P*以共軛作用於Ω上。設*Q* ∈ Ω0並可知對所有*x* ∈ *P*，*Q* = *xQx*−1，因此*P* ⊆ *N**G*(*Q*)。依定理2，*P*和*Q*會於*N**G*(*Q*)內共軛，尤其是*Q*會在*N**G*(*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.

注釋
--

1. ↑  國際音標：/syːlɯːʋ/

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |