近世代数课件--1.5正规子群与商群new.pptVIP

数学与计算科学学院 第一章 群 论 目 录 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 §5 正规子群与商群 *Company Logo * LOGO 代数运算 §1 正规子群与商群 §5 群的概念 §2 子 群 §3 循环群 §4 群的同构与同态 §6 有限群 §7 *Company Logo 定义5.1 设是一个非空集合,是由的一些非空子集构成的集合.若满足条件: Ⅰ.的所有元素(作为的子集)的并等于,即; Ⅱ.若且,则, 则称是的一个分类;的元素都称为类. 定义5.2 设是一个非空集合. (1)的子集又称为上的二元关系. (2)设是上的一个二元关系.对于任意的,当时,称与有关系,记作;否则,称与没有关系,记作. 定理5.4 (1)设～是非空集合上的一个等价关系,令 , 其中,～,.则是的一个分类(称为由～决定的分类). 定义5.3 设是一个非空集合，～是上的一个二元关系. (1)若对于所有的都有～,则称～具有自反性; (2)若对于任意的,由～总可以推得～,则称～具有对称性; 例4 设表示一个集合的幂集. , 则是上的二元关系. 证明 (1)由于～具有自反性,因此,对于任意的,总有～,从而,.由此可见,是由的非空子集构成的集合,并且 . 现在设且.任取.由可知～.由于～具 当是的一个分类时,一般将中每一个元素所属的类记作.当然,的含义不但与有关,而且与有关. 例5 例3中提到的模同余关系是上的等价关系.的含义随着的不同而不同.为了强调这一点,当与等价时,我们写.模同余关系决定的的分类为 , 其中,,都称为模n同余类. 命题5.6 设是任意给定的正整数. (1)对于任意的,若 ,， 则. (2)对于任意的,令. 则是上的代数运算. (3)是阶循环群. 证明 (1)设,且 ,. 于是,,.注意到 , 立即可知，,从而, . (2)由(1)可知,是上的代数运算. 为了进一步讨论右陪集,先引入如下定义:对于群的任意非空子集和,我们将集合 称为与的乘积,记作.特别地,当时,可将简记作;当时,可将简记作. 证明 设.于是,对于任意的,我们有 . 所以.□ 例6考察的子群.易见,的全体右陪集为 , , . 由命题5.7可知,对于任意的 . (3)对于任意的,我们有 , , . 所以是群. 易见,,.□ 类似地,设是一个群,是的一个子群.定义上的二元关系～如下: ～,. 容易验证,～是上的等价关系.这时,我们将每一个等价类称为的左陪集.对于任意的,的以为代表的左陪集为.的子群的全体左陪集为 证明 令,.对于任意的,我们有 . 因此我们可以定义到的映射如下: ,. 显然,是单射;由于,,因此是满射.也就是说,是与之间的一一对应.□ 定义5.9 设是一个群,是的一个子群.若只有()个不同的右陪集,则称在中的指数为,记作.若有无限个不同的右陪集,则称在中的指数为无限,记作. 显然,交换群的所有子群都是正规子群;对于任意的群,和都是的正规子群,它们称为的平凡正规子群. 没有非平凡的正规子群的群称为单群. 命题5.11 设是一个群,是的子群.则下列命题等价: (1)是的正规子群; (2),; (3),,. (3)(1).假设 ,,. 于是, 一方面,我们有,从而， ,. 另一方面,我们还有 ,,, 设是一个群,是的正规子群.令 . 显然,