(Sylow第一定理) 设群 的阶为
,其中
为素数,
。
则对 ,
中必有
阶子群,其中
阶子群称为
的 Sylow
-子群。
(Sylow第二定理) 设群 的阶
,
为素数,
,则
- 对于
,
的任一
阶子群必包含于
的某个 Sylow
-子群中。
-
的任意两个 Sylow
-子群为正规子群当且仅当
的 Sylow
-子群个数为
。
(Sylow第三定理) 中 Sylow
-子群个数
同余于
,且
为
内
的因子。
这三个定理分别说明了子群的存在性,之间的关系和数量,以下的例题更加具体的体现出
定理的应用。
方法一:直接通过某个子群是唯一的,说明他是一个正规子群。
①证明 阶群不是单群。
证明:设 的阶为
,考虑
的 Sylow
-子群。
的 Sylow
-子群为正规子群,
不为单群。
方法二:证明非平凡正规子群的存在性
注意这种方法只有当不是很大,满足
小于
的阶数的时候才有效。
例一:证明 阶群不是单群。
证明:设 的阶为
,考虑
的 Sylow
-子群(设为
)和 Sylow
-子群(设为
)。
① 若 ,则
的 Sylow
-子群为正规子群。
② 若 ,则
的 Sylow
-子群有三个
在
上有共轭作用:
作用在
上成为
,这个共轭作用诱导出了
到
上的同态,
由于
所以
再考虑,若 ,则 对于任意
,
为正规子群。
与 矛盾,从而
为非平凡正规子群。
故 阶群不为单群。
例二:证明不存在 阶单群。
设群 的阶为
,考虑
的 Sylow
-子群。
设
① 时,此时唯一的 Sylow
-子群为正规子群。
② 时,
有
个 Sylow
-子群
。
记
在
上有共轭作用,
由此共轭作用诱导出 到
上的同态,
从而 为
非平凡正规子群,
不为单群。
方法三:通过共轭的Sylow子群之间只有单位元一个公共元,通过总的元素的个数不超过的阶数来证明
证明:不存在阶为 的单群。
设 的阶为
,考虑
的 Sylow
-子群。
① 时,Sylow
-子群为正规子群。
② 时,Sylow
-子群有
共
个。
再考虑 Sylow -子群,因为此时仅余
个元素,加上单位元,恰一个 Sylow
-子群,不可能有超过
个 Sylow
-子群。
从而 Sylow -子群正规。
综上, 不为单群。这个方法也可以用来证明上面的12阶群不是单群。