西羅定理

维基百科,自由的百科全书
跳转至: 导航搜索

數學裡,尤其是在群論內,西羅(Sylow[1])定理(以彼得·盧德維格·梅德爾·西羅來命名,或稱西洛定理)為拉格朗日定理的部份相反,拉格朗日定理敘述著若H是一個有限群G子群,則H的目會整除G的目。西格定理則保證,對於G之目的某些因數,會有對應此些因數的子群存在著,且會給出有關此類子群之數目的相關訊息。

定義[编辑]

p是一個質數;則可定義G西羅p-子群(或者稱為p-西羅子群),其為Gp-子群中最大的一個(即其為Gp-群,且不為其他Gp-子群的真子群)。

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

西羅定理[编辑]

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

給定一有限群G和|G|的質因數p,則可以將|G|可以寫成pn * s 的形式

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

定理1:存在一個階為pn之子群H,使得且H為G的西羅p-子群。

下面的推論比起定理1較為狹義,由柯西首次證明

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

定理2:若HG子群IG的p-西羅子群。

其中|H|=pk,k為正整數。

則存在一個G中的元素a使得aHa-1I的子群。

從這可以推論出,所有G的西羅p-子群彼此共軛(且因共軛可得到同構)。

即若HK階為G的西羅p-子群,則存在一個於G內的元素g,使得g−1Hg = K

定理3:設npG的西羅p-子群的数量,

  • np整除G的西羅p-子群的阶;
  • np = 1 mod p

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

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

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

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

應用例子[编辑]

G為一個其目為15 = 3 · 5的群,則n3必須整除5,且n3=1 mod 3。其中唯一滿足上述限制的值只有1;因此,只存在一個其目為3的子群,且其必須為正規子群(因為其沒有其他的共軛)。相似地,n5會整除3,且n5=1 mod 5;因此亦只有一個其目為5的正規子群。當3和5為互質時,此兩個子群的交集為當然群,所以G必須要是個循環群。因此,只存在一個其目為15的群(以同構來分),標記為Z/15Z

舉另一個更複雜的例子來說,可證明不存在一個其目為350的簡單群。若|G| = 350 = 2 · 52 · 7,則n5必須整除14=2·7,且n5 = 1 mod 5。因此,n5=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且將pr選定為無法存在整除mp之更高次方。令Ω標記為由G內大小為pk之子集所組成的集合,可知|Ω| = {p^km \choose p^k}pr+1 \nmid {p^km \choose p^k},基於之前r的選定。令G以左乘積作用於Ω上,則基於r之選定,會存在一個於Ω內的A,其具有一個會使pr+1 \nmid |θ|之軌道θ=AG。這裡會有|θ| = |AG| = [G : GA]的關係,其中GA標示為集合A隱定子子群,因此pk | |GA|,故pk ≤ |GA|。注意在GA的作用下之於A內的兩個元素aga可能為不同個的,所以|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:若HG子群且|H|=ps,以及PG的p-西羅子群,則存在一個在G內的元素a會使得aHa-1P的子群。特別地是,所有G的西羅p-子群都會共軛(且因此同構)於另一個,即若HKG的西羅p-子群,則存在一個G內的元素g會使得g−1Hg = K

證明:設Ω為GP的左陪集所組成的集合,及H以左乘積作用在Ω上。應用H於Ω上的引理,可知|Ω0| ≡ |Ω| = [G : P] mod p。由定義可知p \nmid [G : P],所以p \nmid0|,且因為|Ω0| ≠ 0,故會存在一些gP ∈ Ω0。因此對每個於H內的元素hhgP = gP,故g−1hgP = Pg−1hgP,且因此hgPg−1,故H會包含於某些G內元素ggPg−1內。若H為一個西羅p-子群,則|H| = |P| = |gPg−1|,因此對某些在G內的gH = gPg−1

定理3:設q為一有限群G的任一西羅p-子群的目,則np | |G|/qnp ≡ 1 mod p

證明:依定理2,np = [G : NG(P)],其中P為任一個子群且NG(P)為於GP正規化子,可知此數為|G|/q的因數。令Ω為所有G的西羅p-子群所組成的集合,且P以共軛作用於Ω上。設Q ∈ Ω0並可知對所有xPQ = xQx−1,因此PNG(Q)。依定理2,PQ會於NG(Q)內共軛,尤其是Q會在NG(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ɯːʋ/