- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第五、六章习题课 设A={a, b}, A,*为半群,且a*a=b. 证明:(1)a*b=b*a; (2) b*b=b. 2. 设G={a,b|a,b为实数,a?0}, 定义a,b*c,d=ac,ad+b. 证明:G,*是群。 3. 设G,*是一个满足消去律的有限独异点,证明:G,*是一个群。 思考题 4. 设f和g都是群G,*到A, ?的同态映射,令 G1={x|x?G, f(x)=g(x)} 证明:G1,*是G, *的子群。 5.设G,*是独异点,对?a?G, 有a*a=e. 证明: G,*是交换群。 6. 设H,*是G,*的子群,G中关系R定义为aRb?a*b-1?H,证明R为等价关系。 思考题 b也为幺元, 思考题1设A={a, b}, A,*为半群,且a*a=b. 证明:(1)a*b=b*a; (2) b*b=b. 证: (1) (2) a*(a*a) =(a*a)*a =b*a, a*b= 假设b*b=a, 则 a*(a*b)= (a*a)*b =b*b =a b*(a*b)= (b*a)*b =a*a =b =(a*b)*b =a*(b*b) 又由A,*可交换知, 所以A,*可交换。 a*b为幺元,且a*b=a或b. 设a*b=a, 则a为幺元, 由a*a=b知, 从而a=b, 这与a?b矛盾。 a也为幺元, 设a*b=b, 则b为幺元, 由b*b=a知, 从而a=b, 这与a?b矛盾。 所以假设不成立,即b*b=b. 思考题2设G={a,b|a,b为实数,a?0}, 定义a,b*c,d=ac,ad+b. 证明:G,*是群。 证: (1)?a,b,c,d?G, 有 a,b,c,d ?R且a?0,c?0. 从而ac,ad+b?R且ac?0. 即ac,ad+b?G. 所以运算*封闭。 (2)?a,b,c,d,e,f?G, 有 (a,b*c,d)*e,f= ac,ad+b*e,f =ace, acf+ad+b 而a,b*(c,d*e,f)= a,b*ce,cf+d =ace, a(cf+d)+b =ace, acf+ad+b 从而(a,b*c,d)*e,f= a,b*(c,d*e,f), 所以运算*满足结合律。 思考题2设G={a,b|a,b为实数,a?0}, 定义a,b*c,d=ac,ad+b. 证明:G,*是群。 证(续): (3)?a,b?G, 由1,0?G,且 a,b*1,0= a,b =1,0*a,b 知1,0为G的幺元。 (4)?a,b?G, 有 1/a,-b/a?G, 且 a,b* 1/a,-b/a= 1,0 =1/a,-b/a*a,b 所以1/a,-b/a为a,b的逆元。 思考题3设G,*是一个满足消去律的有限独异点,证明:G,*是一个群。 证: ?x?G, 由运算*的封闭性可知, 因为G,*是一个满足消去律的有限独异点, x2=x*x?G, x3= x*x2?G, …… 因G是一个有限集合,所以存在整数 ji, 使 xi=xj 即xi=xi*xj-i. 由消去律知, xj-i=e(1). a)若j-i1, b)若j-i=1, 则由式(1)得x*x j-i-1=e, 故x的逆元为x j-i-1?G; 则由式(1)得x =e , 故x的逆元为x ?S. 所以G,*是一个群. 因为f和g都是同态映射, 设群G,*和A,?的幺元分别是e和e1,则有 思考题4设f和g都是群G,*到A, ?的同态映射,令G1={x|x?G, f(x)=g(x)} 证明:G1,*是G, *的子群。 证: 显见,G1?G. f(e)=g(e)=e1 即e ?G1, 所以G1??. ?a,b?G1, 有 f(a)=g(a), f(b)=g(b), 所以有f(b-1)= f(b)-1, g(b-1)= g(b)-1. 由f(b)= g(b)可得, f(b-1)=g(b-1). 从而有 f(a*b-1)= 故a*b-1 ?G1. 所以G1,*是G, *的子群。 f(a)?f(b-1) =g(a)?g(b-1) = g(a*b-1) 思考题5设G,*是独异点,对?a?G, 有a*a=e. 证明: G,*是交换群。 证: 因为G,*是独异点
文档评论(0)