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

测验： 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|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的正规子群.