近世代数23.pptVIP

近世代数 主讲教师：张广祥 子群的陪集　　重点 陪集分解 子群与陪集(续) 证 由引理G分解为互不相交的左陪集的并集G=a1H+…+asH(加号代表并集符号),这一等式称为左陪集分解.容易证明每aiH=Hai－1,因此G=Ha1－1+…+Has－1.于是G共含s个左陪集，同时G也共含s个右陪集，因此│G：H│=s. 定理2.9.2(Lagrange)如果G是有限群，H≤G则│G│=│G:H│·│H│，特别地│H││G│.证 由H在G中的左陪集分解G=a1H+…+asH得│G│=s·│H│=│G:H│·│H│ 子群与陪集(例) 证明阶为pm(p为素数)的群一定包含一个p阶群. 证 取1?a?G.因|G|=pm,由Lagrange定理|a|= ps, s?m.只要a?1,则有| |=p. 同态与不变子群 重点 不变子群是一类特重要的子群,由不变子群可以构造商群。　　 定义 若H≤G且对每a∈G有aH=Ha,则H称为G的不变子群，记为H△G表示。 定理2.10.1-2 设N是G的子群,则下面三个条件等价　(1)N△G (2)每a∈G，aNa－1=N　(3)每a∈G，n∈N有ana－1∈N 定理2.10.3 若N△G，则G/N={ aN│a∈G} 在陪集的乘法之下成为一个群,这个群称为商群. 例 整数模n剩余类加群实际上是商群Zn=Z/(n