不变子群判别条件及举例证明推导.docVIP

PAGE PAGE 1 不变子群判别条件 摘 要：不变子群是一类重要的子群，它在群的理论中起着重要的作用.判断一个子 群是否不变子群，除了应用定义外，也可以应用其判别条件，本文在就对这些判别 条件进行归纳，同时证明诸判别条件的等价性并给出一些应用. 关键词：不变子群，陪集，共轭，正规化子，同余关系 1.判断一个子群为不变子群的条件. 1.1．与定义等价的判别条件 1.HG，即a∈G, 有aH=Ha 2.a∈G,有aHa=H 3.a∈G,有aHaH 4.a∈G,h∈H,有aha∈H 5.a∈G,有aHHa 6.a∈G,有HaHa 7.aHbH=abH, a,b∈G 即两个左陪集的乘积仍是左陪集 8.H在G中的每个左陪集都是一个右陪集 9.a∈G,有aHa=H 10.a∈G,有aHaH 11.a∈G,h∈H,有aha∈H 12.a∈G,有HaaH 13.a∈G,有HaHa 14.HaHb=Hab, a,b∈G 即两个右陪集的乘积仍是右陪集 15.H在G中的每个右陪集都是一个左陪集 16.以群G之子集H为模的G之剩余类（即陪集）之集合关于陪集之积运算构成群.（即商群存在） 17.H是G的子群，则G中由aRb,当ab∈H，所定义的关系R为同余关系 18.N(H)=G 19.若n∈N，则所属的G的共轭元素C(n)H。即H由G的若干整个的共轭类组成。 1.2.直接判断一个子群为不变子群的条件 指数为2的子群为不变子群. 证明:设群G，H是G的子群，由题设[G:H]=2 ∴G=eH∪aH=He∪Ha aH=Ha a∈G, 即HG 设G为群，H是G的子群,a∈G, ahaH, 则H是G的不变子群. 证明:ahaH a(aHa)aaHa HaHa 又(a)HaH 即aHaH ∴a∈G,aHa=H aH=Ha a∈G 即HG 3.群G的中心C是G的一个不变子群. 证明:∵C与G中的每个元素都可交换 ∴对a∈G,有aC=Ca ∴CG 4.交换群的子群都是不变子群. 证明:设G是交换群,H是G的子群,有aH={ah︱h∈H}={ha︱h∈H }=Ha a∈G ∴HG 5.设A,B都是G的不变子群，则A∩B 是G的不变子群. 证明:显然 A∩B 是G的子群,a∈G,x∈A∩B, axa∈A, axa∈B ∴axa∈A∩B 即A∩BG 推论1:群G中任意多个（有限或无限）不变子群之交也都是G的不变子群. 6.设A,B都是G的不变子群，则AB是G的不变子群. 证明:显然 AB是G的子群, g∈G, x∈AB, 设x=ab gxg=g(ab)g=gaggbg∈AB 故ABG 推论2:群G中任意多个（有限或无限）不变子群之积也都是G的不变子群. 7.设H是G的真子群，︱H︱=n ,且G的阶数为n的子群仅有一个，则H是G的不变子群. 证明:x∈G 显然xHx是H的子群, 又知 f：h→xhx h∈H, f是H到xHx的双射, 故 ︱xHx︱=︱H︱=n, 由唯一性, xHx=H x∈G 因而H的G不变子群. 8. 设A,B,H都是G的不变子群,且AB，则AH是BH的不变子群. 证明：AH,BH显然都是G的不变子群，∵AB，∴AHBH 而AH是G的不变子群，故AH是BH的不变子群. 2.举例应用判别条件 2.1判断一个子群是不是不变子群，除了用定义外，还可用其等价条件， 例1：设 G={︱r,s∈Q r≠0 } , G对于方阵乘法作成一个群, H={︱t∈Q} , 则H是G的不变子群. 证明：法1（利用定义）： ∈G, H= , H= r≠0 r,s是取定的有理数,故对s+t, 方程 rx+s=s+t在Q中有解, 即x=t/r 故对 A∈H A= A= A∈H 即 HH , 反之,对 rt+s 方程 rt+s=x+s在Q中有解 x=rt 故 HH 从而有 H=H r≠0 r,s∈Q 即H是G的不变子群. 法2：（利用等价条件4）： ∈G, =∈G, 对∈H 有 == 显然 ∈H , 故H是G的不变子群. 例2：设G是一个群，a,b∈G 符号 [a b]表示G中元素abab，称之为G的换位元 ,证明G的一切有限换位元的乘积所成的集合G是G的一个不变子群. 证明：（利用等价条件4）：显然，G是G的子群，对任意[a b]和 g∈G g[a b]g=gababg=(ag)bagbbgbg=[ag b][b g]∈G 一般地，对G中任一元 [a b] [a b] … [a b] 有g[a b][a b]…[a b]g=(g[a b]g)(g[a b]g)…(g[a b]g)∈G,故 gGg∈G 即G是G的不变子群. 注释：1.∵