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

测验： 2.设?是群G上的等价关系,并且对于G的任意三个元素a,x,x‘，若ax?ax’则必有x ?x‘。证明：与G中单位元等价的元素全体构成G的一个子群。 H={x|x?G,并且x?e} 对任意的x?H， x?e, xe?e=xx-1 对任意的x,y?H， x?e, y?e, ey?e, x-1xy?x-1x 2.群同态基本定理 定理13.19：群[G;*]同态于它的任一商群[G/H;?]。 证明:构造映射f:G?G/H, f(g)=Hg 然后证明f是满同态映射. 自然同态 定理13.20：设?为群[G;*]到群[G;?]的同态映射,K为同态核, ?(G)?G为G在?下的象集,则:[G/K;?]?[?(G);?] 证明：对任意的Ka?G/K，定义 f(Ka)=?(a) (1)f是G/K??(G)的映射。 关键是对于Ka=Kb,是否有?(a)=?(b) (2)f是同态映射。 对任意的Ka,Kb?G/K,是否有 f(Ka?Kb)=f(Ka)?f(Kb) (3) f是一一对应映射。 一对一 :即证若有f(Ka)=f(Kb),必有Ka=Kb. 就是要证明a*b-1?K, 也就是?(a*b-1)=eG 满射: 推论：若?为群[G;*]到群[G;?]的满同态映射,则: [G/K;?]?[G;?] 例:[R;+]是实数加法群,[Z;+]是整数加法群,并且是[R;+]的正规子群。W={ei?|