离散数学 作者 赵一鸣 阚海斌 吴永辉 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 在线教务辅导网： 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址： 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?|??R},*为普通乘法群，则[R/Z;?]?[W;*]。 分析:应先构造R?W的满同态映射? 然后证明Ker?=Z 定义?(x)=e2?ix Ker?={x|?(x)=1}=Z 作业:P173 41(1),(3),(5) 补充 1.?为群[G;*]?[G;?]的同态映射,则 [?(G); ?]为[G;?]的子群。 2.设?是群G到G的同态映射,证明: (1)若H是G的子群,则?(H)也是G的子群. (2)若H是G的正规子群,且?是满同态映射,则?(H)也是G的正规子群. * * * * * * * * * * * *