(Sylow第一定理) 設(shè)群 的階為
,其中
為素數(shù),
。
則對 ,
中必有
階子群,其中
階子群稱為
的 Sylow
-子群。
(Sylow第二定理) 設(shè)群 的階
,
為素數(shù),
,則
- 對于
,
的任一
階子群必包含于
的某個 Sylow
-子群中。
-
的任意兩個 Sylow
-子群為正規(guī)子群當(dāng)且僅當(dāng)
的 Sylow
-子群個數(shù)為
。
(Sylow第三定理) 中 Sylow
-子群個數(shù)
同余于
,且
為
內(nèi)
的因子。
這三個定理分別說明了子群的存在性,之間的關(guān)系和數(shù)量,以下的例題更加具體的體現(xiàn)出
定理的應(yīng)用。
方法一:直接通過某個子群是唯一的,說明他是一個正規(guī)子群。
①證明 階群不是單群。
證明:設(shè) 的階為
,考慮
的 Sylow
-子群。
的 Sylow
-子群為正規(guī)子群,
不為單群。
方法二:證明非平凡正規(guī)子群的存在性
注意這種方法只有當(dāng)不是很大,滿足
小于
的階數(shù)的時候才有效。
例一:證明 階群不是單群。
證明:設(shè) 的階為
,考慮
的 Sylow
-子群(設(shè)為
)和 Sylow
-子群(設(shè)為
)。
① 若 ,則
的 Sylow
-子群為正規(guī)子群。
② 若 ,則
的 Sylow
-子群有三個
在
上有共軛作用:
作用在
上成為
,這個共軛作用誘導(dǎo)出了
到
上的同態(tài),
由于
所以
再考慮,若 ,則 對于任意
,
為正規(guī)子群。
與 矛盾,從而
為非平凡正規(guī)子群。
故 階群不為單群。
例二:證明不存在 階單群。
設(shè)群 的階為
,考慮
的 Sylow
-子群。
設(shè)
① 時,此時唯一的 Sylow
-子群為正規(guī)子群。
② 時,
有
個 Sylow
-子群
。
記
在
上有共軛作用,
由此共軛作用誘導(dǎo)出 到
上的同態(tài),
從而 為
非平凡正規(guī)子群,
不為單群。
方法三:通過共軛的Sylow子群之間只有單位元一個公共元,通過總的元素的個數(shù)不超過的階數(shù)來證明
證明:不存在階為 的單群。
設(shè) 的階為
,考慮
的 Sylow
-子群。
① 時,Sylow
-子群為正規(guī)子群。
② 時,Sylow
-子群有
共
個。
再考慮 Sylow -子群,因為此時僅余
個元素,加上單位元,恰一個 Sylow
-子群,不可能有超過
個 Sylow
-子群。
從而 Sylow -子群正規(guī)。
綜上, 不為單群。這個方法也可以用來證明上面的12階群不是單群。