在数学中，特别是代数学中的群论，西罗定理（Sylow Theorem）是一系列关于有限群的定理，它们都由挪威数学家彼得·卢德维格·梅德尔·西罗在1872年证明^[1]。这些定理使得代数学家对有限群的结构有了更深入的了解，并对有限群的研究以及百年后的有限单群分类作出了重要贡献。

西罗定理处理了拉格朗日定理的部分反面情况。拉格朗日定理是说如果 ${\displaystyle H}$ 是 ${\displaystyle G}$ 的子群，那 ${\displaystyle |H|}$ 是 ${\displaystyle |G|}$ 的约数；但是并不是所有 ${\displaystyle |G|}$ 的约数都是某个子群的阶。然而，西罗定理表明，具有 ${\displaystyle p^{r))$ 这种形式的 ${\displaystyle |G|}$ 的约数确实是一些子群的阶，并且还给出这种类型子群数目的相关讯息。

定理叙述

给定一个有限群 ${\displaystyle G}$ ，透过完全因式分解，可以把 ${\displaystyle |G|}$ 写成 ${\displaystyle p^{n}\times m}$的形式（并且 ${\displaystyle m}$ 不被 ${\displaystyle p}$ 整除）。西罗定理描述了以下三件事：

1. 对于所有介于 ${\displaystyle 1}$ 到 ${\displaystyle n}$ 之间的正整数 ${\displaystyle r}$ ， ${\displaystyle G}$ 内存在阶为 ${\displaystyle p^{r))$ 的子群。而当 ${\displaystyle r=n}$ 的时候，这种子群称为 ${\displaystyle G}$ 的西罗 ${\displaystyle p}$-子群。
2. ${\displaystyle G}$ 中的所有西罗 ${\displaystyle p}$-子群互相共轭。
3. ${\displaystyle G}$ 中的西罗 ${\displaystyle p}$-子群数量是 ${\displaystyle m}$ 的约数、并且具有 ${\displaystyle kp+1}$ 的形式。

无限群的西罗定理

西罗定理有个对无限群的类比。可定义一个于无限群中的西罗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₃必须整除5，且n₃=1 mod 3。其中唯一满足上述限制的值只有1；因此，只存在一个其目为3的子群，且其必须为正规子群（因为其没有其他的共轭）。相似地，n₅会整除3，且n₅=1 mod 5；因此亦只有一个其目为5的正规子群。当3和5为互素时，此两个子群的交集为平凡群{e}，所以G必须要是个循环群。因此，只存在一个其目为15的群（以同构来分），标记为Z/15Z。

举另一个更复杂的例子来说，可证明不存在一个其目为350的简单群。若|G| = 350 = 2 · 5² · 7，则n₅必须整除14=2·7，且n₅ = 1 mod 5。因此，n₅=1（因为6和11都不会整除14），而因此G必然会有一个其目为5²的正规子群，故不可能为简单群。

西罗定理的证明

西罗定理的证明利用了群作用的许多概念。群G会以许多种方式作用在其自身或其p-子群上，而此类的每个作用则可以被利用来证明西罗定理的其中一个定理。下列的证明是基于1959年H.Wielandt所发表之整合的论述。在下面的论述中，用a|b来表示“a会整除b”，而a ${\displaystyle \nmid }$ b则用来表示“a不可整除b”。

定理1：一个其目|G|可以被一素数次方p^k整除的有限群G会有一个其目为p^k的子群。

证明：设|G|=p^km，p^r ${\displaystyle \mid }$m且 p^r+1 ${\displaystyle \nmid }$m 。记Ω为G的元素个数为p^k之子集所组成的集合，可知|Ω| = ${\displaystyle {p^{k}m \choose p^{k))}$及p^r+1 ${\displaystyle \nmid }$ ${\displaystyle {p^{k}m \choose p^{k))}$，基于之前r的选定。令G以左乘积作用于Ω上，则基于r之选定，会存在一个于Ω内的A，其具有一个会使p^r+1 ${\displaystyle \nmid }$ |θ|之轨道θ=A^G。这里会有|θ| = |A^G| = [G : G_A]的关系，其中G_A标示为集合A的稳定子子群，因此p^k | |G_A|，故p^k ≤ |G_A|。注意在G_A的作用下之于A内的两个元素a和ga可能为不同个的，所以|A| ≥ |G_A|。由上述p^k ≤ |G_A|和|A| ≥ |G_A|两个结果，故知|G_A| = p^k。然后，G_A即为此一想要的群。

引论: 设G为一个有限p-群，将G作用于一个有限集合Ω上，及令Ω₀为在G的作用下为固定之Ω内的点所组成之集合。然后可知|Ω| ≡ |Ω₀| mod p。

证明：将Ω写成在G下之轨道此种不相交集合的并集。每一个在Ω内的元素x若在G的作用下不固定的话，其将会在其目为|G|/|G_x|之轨道上（其中G_x为稳定子），此目依题目的假设会是p的倍数（不可能为1，因为其目为1的轨道即为在G的作用下固定的点）。因此结论立即就出来了。

定理2：若H是G的子群且|H|=p^s，以及P为G的p-西罗子群，则存在一个在G内的元素a会使得aHa^-1为P的子群。特别地是，所有G的西罗p-子群都会共轭（且因此同构）于另一个，即若H和K为G的西罗p-子群，则存在一个G内的元素g会使得g⁻¹Hg = K。

证明：设Ω为G内P的左陪集所组成的集合，及H以左乘积作用在Ω上。应用H于Ω上的引理，可知|Ω₀| ≡ |Ω| = [G : P] mod p。由定义可知p ${\displaystyle \nmid }$ [G : P]，所以p ${\displaystyle \nmid }$ |Ω₀|，且因为|Ω₀| ≠ 0，故会存在一些gP ∈ Ω₀。因此对每个于H内的元素h，hgP = gP，故g⁻¹hgP = P且g⁻¹hg ∈ P，且因此h ∈ gPg⁻¹，故H会包含于某些G内元素g之gPg⁻¹内。若H为一个西罗p-子群，则|H| = |P| = |gPg⁻¹|，因此对某些在G内的g，H = gPg⁻¹。

定理3：设q为一有限群G的任一西罗p-子群的目，则n_p | |G|/q且n_p ≡ 1 mod p。

证明：依定理2，n_p = [G : N_G(P)]，其中P为任一个子群且N_G(P)为于G内P的正规化子，可知此数为|G|/q的约数。令Ω为所有G的西罗p-子群所组成的集合，且P以共轭作用于Ω上。设Q ∈ Ω₀并可知对所有x ∈ P，Q = xQx⁻¹，因此P ⊆ N_G(Q)。依定理2，P和Q会于N_G(Q)内共轭，尤其是Q会在N_G(Q)为正规，故可知P = Q。由上可知Ω₀ = {P}，因此由引理可知|Ω| ≡ |Ω₀| = 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.

注释