西罗定理
此条目翻译品质不佳。 (2017年12月7日) |
在数学中,特别是代数学中的群论,西罗定理(英语:Sylow Theorems)是一系列关于有限群的定理,由挪威数学家彼得·卢德维格·梅德尔·西罗在1872年证明[1]。这些定理使得代数学家对有限群的结构有了更深入的了解,并对有限群的研究以及百年后的有限单群分类作出了重要贡献。
西罗定理处理了拉格朗日定理的部份反例。拉格朗日定理表明如果 是 的子群,那么子群的阶 是 的因数;但是 的因数未必等于某个子群的阶。西罗定理表明,形如 的因数确实是一些子群的阶,定理亦给出这种类型子群数目的相关讯息。
定理叙述
[编辑]给定一个有限群 ,通过质因数分解,可以把 表示成 的形式(并且 不被 整除)。西罗定理描述了以下三件事:
- 对于所有介于 到 之间的正整数 , 存在阶为 的子群。阶为 的子群称为 的西罗 -子群。
- 中的所有西罗 -子群互相共轭。
- 中西罗 -子群的个数是 的因数、并且具有 的形式(模馀)。
无限群的西罗定理
[编辑]西罗定理有个对无限群的类比。可定义一个于无限群中的西罗-子群为一个在所有群内之-子群的内含关系内为极大的-子群。可用佐恩引理证明这类子群存在。
定理:若K为一个G的西罗p-子群,且np = |Cl(K)|为有限的,则每一个西罗p-子群都会共轭于K,且np = 1 mod p,其中Cl(K)表示为K的共轭类。
应用例子
[编辑]设为一个阶为的群。令为西罗子群的数量,则整,且模 馀 。满足上述条件的值只有1;因此,只有一个阶为的子群,且其必须为正规子群(因为其没有其他的共轭)。类似地,整除,且;所以仅有一个阶为的正规子群。由于3和5互质,此两个子群的交集为平凡群{e},所以必须为循环群。因此,只存在一个阶为15的群(以群同构来区分),记为。
举另一个更复杂的例子来说,可证明不存在一个阶为的简单群。若,则必须整除,且。由此可知(因为6和11都不整除14),所以必然会有一个阶为的正规子群,故不可能为简单群。
西罗定理的证明
[编辑]西罗定理的证明利用了群作用的许多概念。群G会以许多种方式作用在其自身或其p-子群上,而此类的每个作用则可以被利用来证明西罗定理的其中一个定理。下列的证明是基于1959年H.Wielandt所发表之整合的论述。在下面的论述中,用a|b来表示“a会整除b”,而a b则用来表示“a不可整除b”。
定理1:一个其目|G|可以被一质数次方pk整除的有限群G会有一个其目为pk的子群。
证明:设|G|=pkm,pr m且 pr+1 m 。记Ω为G的元素个数为pk之子集所组成的集合,可知|Ω| = 及pr+1 ,基于之前r的选定。令G以左乘积作用于Ω上,则基于r之选定,会存在一个于Ω内的A,其具有一个会使pr+1 |θ|之轨道θ=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会使得aHa-1为P的子群。特别地是,所有G的西罗p-子群都会共轭(且因此同构)于另一个,即若H和K为G的西罗p-子群,则存在一个G内的元素g会使得g−1Hg = K。
证明:设Ω为G内P的左陪集所组成的集合,及H以左乘积作用在Ω上。应用H于Ω上的引理,可知|Ω0| ≡ |Ω| = [G : P] mod p。由定义可知p [G : P],所以p |Ω0|,且因为|Ω0| ≠ 0,故会存在一些gP ∈ Ω0。因此对每个于H内的元素h,hgP = gP,故g−1hgP = P且g−1hg ∈ 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 : NG(P)],其中P为任一个子群且NG(P)为于G内P的正规化子,可知此数为|G|/q的因数。令Ω为所有G的西罗p-子群所组成的集合,且P以共轭作用于Ω上。设Q ∈ Ω0并可知对所有x ∈ P,Q = xQx−1,因此P ⊆ NG(Q)。依定理2,P和Q会于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.
注释
[编辑]- ^ M. L. Sylow. Théorèmes sur les groupes de substitutions. Math. Ann. 1872. doi:10.1007/BF01442913.