精品文档 有限群中元素的阶的性质与子群的阶的联系 王琴琳(2005020034) [摘 要] 根据有限群中元素的阶的性质讨论其元素生成的子群的阶。 [关键词] 群 子群 元素 阶 设a为群G的一个元素,e 是G的单位元,使ane成立的最小正整数n称为元素a的阶。记为an。如果这样的正整数不存在,则称a的阶为无限的,记为a 设G是一个(乘法)群而G中有一个元素G,使G中每一个元素都是a 的乘方,即GammZ,那么称G为循环群,a 叫做G的生成元,习惯上记为Ga,也就是说,G使有生成元a 生成的。 性质1 设ar是n阶循环群Ga中任一元,若d(n,r),那么arn。 d证明 因为d是n与r的最大公因数,所以dn且dr0并且有ndq1,rdq2, 则q1nr,q2 并且可知(q1,q2)1, ddnnnrdq2)daq2n(an)q2eq2e,若设ark,所以 k (*) 首先看 (a)d(ad其次,(a)rk(ar)ke,又因为an,所以 nrk,nrk, ddnrn,)1,所以k (**) ddknrn由(*)和(**)知,k 即a。 dd因(性质2 (a)为n阶循环群,n的任一个正因子k,(a)都有一个k阶子群(a)。 证明 设an,kn且nkq,即(n,q)q,由性质1可知, a所以,以(aq)为生成元的循环群是循环群(a)的一个k阶子群。 Lagrange定理 设HG,如果GN,Hn,且有G:Hj,那么Nnj。 证明 因G:Hj,这表明H在G中的右陪集只有j个,从而有G的右陪集分解 nkqk GHa1Ha2Ha3Haj (其中Ha1H) 精品文档 精品文档 则Ha1Ha2Ha3Hajn ;所以GHa1j 即Nnj。 由性质2我们能够得到以下的推论。 推论1 有限群G的任一元素的阶都是群G的阶数的正因子。 证明 设有限群G的阶为m,G中的元素a的阶为n,则由性质2得 ,a生成一个阶是n的子群,由Lagrange定理 得,nm。 定理1 [2] 如果群G的阶能被素数p整除,则G包含着p阶的元素。 证明 设nmp(p是素数)是G的阶,这时,如果m1,则G是p阶循环群, 因而定理成立;我们对m施行归纳法,如果G包含一个真子群H,它的指数G:H不能被p整除,则H的阶能被p整除,因而根据归纳假设,H包含p阶的元素,现在假定G的每个真子群的指数都能被p整除,那么根据1.6[2],nn1n2ns,这里每个ni都是G的共轭元素类的元素数。每个ni1是G的一个真子群的指数,因而根据假设n都能p整除,这时ni1,因为单位元素自成一类,因此ni1的个数是p的陪数,在G内一个元素ai自成一类,必要而且只要它属于G的中心Z,因此Z的阶能被p整除,于是对于zZ和gG,我们有zggz,因此当然更有Z的元素彼此都可交换,即Z是阿贝尔群,现在从定理3.31[2]的推论得出,Z包含p阶的元素。综合得,G包含着p阶的元素。 定理2 [2] 如果G的阶是npms,这里p是素数,p†s,则G包含着阶为pi(i1,2,,m1)的每个子群至少是一个pi1阶子群的正规子群。 证明 对i旋行归纳法来证,由定理1,可以证得,G中包含p阶子群,设p是pi(i1)阶子群,用p的二重傍系表出G,Gppxp2pxp而没在pxp内有p的aj个右rj傍系,那么aj[xjpxj:xjpxjnp]而且对于二重傍系p•1•pp,a11,又aj1或p的方幂。因为p[G:P],所以等于1的aj数必须是p的倍数。如果aj1,则xjpxjp,111精品文档 精品文档 因而xj以及傍系pxjxjp必须属于p的正规化子k;反之,如果xjk,则xjpxjp,因而aj1,因此,[k:p]是等于1的aj数,所以p[k:P],因此商群kp的阶[k:p]能被p整除,于是kp包含一个p阶的子群J*,根据定理2.3.4,JJP。这里1*jk,而且j:pJ*:1p,因而J是包含p作为正规子群的pi1阶子群。 由定理1和定理2我们可以得到以下的结论: 结论 有限群G的阶为n,则群G有一元素的阶为m(m为素数)的充分必要条件是群G中有一个m阶的子群。 证明 (必要性) 设aG且am,由推论1可以知道kZ使得nmk即n被m整除,且m是素数,由定理2可知群G中有一个m阶的子群。 (充分性) 设群H为有限群G的一个子群且Hm,有jZ使得G:Hj由Lagrange定理有nmj,又因为m为素数,所以由定理1我们可以知道群G中包含着m阶的元素。 根据以上结论我可以很快的判断有限群中是否有子群和某些子群的阶。便于说明群中元素的阶。 [参 考 文 献] [1] 徐德余 唐再良 钟纯真 何聪 李玲 ,《近世代数》,四川大学出版社,2006 [2] M赫尔 ,《群论》,科学出版社,1981 精品文档 本文来源:https://www.wddqw.com/doc/c04f723e56270722192e453610661ed9ad515522.html