离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu5n.pptVIP

引理13.1：如果H?G是子群,那么任一g?G所构成的陪集|gH|=|H|, |Hg|=|H|。 分析:证明基数相等的一种方法是证明两个集合之间存在双射. 证明:定义映射?:H?Hg, ?(h)=h?g 利用群消去律证明是一对一的. 而满射是显然的,因为对任意的h?g?Hg, 有?(h)=h?g. 引理13.2：H为G的子群,g1,g2?G,两个右陪集Hg1与Hg2,则: 或Hg1=Hg2,或Hg1∩Hg2=?。 证明:利用等价类的性质. 例：设[H;?]是群[G;?]的子群，则 (1)若b?aH，则bH=aH (2)若b?Ha，则Hb=Ha 由等价类的概念和性质即得. 三、拉格朗日定理 定理:G是群,H是G的子群,则H在G中的左陪集数与右陪集数相等. 证明：设S和T分别为G的关于H的所有右和左陪集的集合。现在要证明的是|S|=|T|。考虑证明存在S→T的双射。 定义13.14：H为G的子群,关于H的所有不同的左(右)陪集数叫做H在G中的指数。 [E;+]是[Z;+]的子群，E在Z中指数？ 定理13.17：G为有限群,H为其子群, 则H的阶可以整除G的阶,其相除的商就是H在G中的指数k。 例：设a为有限群[G;*]的元素，则a的阶整除|G|。 推论13.8：G为有限群，阶为素数p，则[G;*]是循环群。 四、正规子群 定义13.15：H为群G的子群,当对任意的g?G,gH=Hg,