离散数学教材(胡海涛版)第5章.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
习题 9. 设*是集合A上的可结合的二元运算,并且对任意的x,y∈A,若x*y=y*x,则有x=y。证明:运算*是等幂的。 1) 2) 3) 4) * a b c * a b c * a b c * a b c a b c a b c b c a c a b a b c a b c b a c c c c a b c a b c a b c a b c a b c a b c b b c c c b 习题 10. 给定代数系统A,*,且*是可结合的和可交换的。试证:对于A中任意元a,b和任意正整数n,有(a*b)n=an*bn。 11. 给定代数系统A,*,对于A中任意元a,b,c和d,有a*a=a和(a*b)*(c*d)=(a*c)*(b*d)。试证明: a*(b *c)= (a*b)* (a*c)。 12. 设f是从代数系统A,⊙到代数系统B,*的同态映射,g是从代数系统B,*到代数系统C,◇的同态映射,证明:g○f是从A,⊙到C,◇的同态映射。 习题 13. 设σ1,σ2都是从代数系统A,⊙到代数系统B,*的同态映射,运算*在B上是可结合的和可交换的,τ是从A到B的一个映射,对任意的a?A,有τ(a)= σ1(a)*σ2(a)。证明:τ是从A,⊙到B,*的同态映射。 14. 给定代数系统{{a},S},∪,∩和{{a,b},S},∪,∩,其中S={a,b,c},∪和∩是集合的并和交。试证:{{a},S},∪,∩≌{{a,b},S},∪,∩。 习题 15. 给定代数系统Z,+,×,且对任意正整数m,在Z中定义二元关系R如下:iRj?i≡j(mod m) 试证:R是Z,+,×上的同余关系。 16. 给定代数系统A,′,^,其中A ={a1,a2,a3,a4,a5},′和^是一元运算,运算表为 ?设R是A上的等价关系,使A的划分 为{{a1},{a2,a5},{a3,a4}}。试证 R是A上的同余关系,并给出商代数 A/R的集合和运算表以及A到A/R的 自然映射。 ai ai′ ai^ a1 a2 a3 a2 a3 a4 a5 a2 a2 a1 a4 a1 a3 a5 a5 习题 17. 考察代数系统 Z,+,以下定义在Z上的二元关系R是同于关系吗? (1) x,y?R当且仅当(x0∧y0)∨(x≥0∧y≥0) (2) x,y?R当且仅当|x-y|10 (3) x,y?R当且仅当(x=y=0)∨(x≠0∧y≠0) (4) x,y?R当且仅当x≥y 18. 证明:一个集合上的任意两个同余关系的交也是一个同余关系。 5.3 同态与同构 又因为⊙对于*满足吸收律,故 x1⊙(x1*x2)=x1 (x1*x2)⊙x1=x1 于是 f(x1⊙(x1*x2))= f(x1) f((x1*x2)⊙x1)= f(x1) 因此 y1?(y1?y2) = y1 (y1?y2)?y1 = y1 可见,?对于?满足吸收律;同理可证?对于?也满足吸收律。 5.3 同态与同构 (5) 因为f是从X,⊙,*到Y,?,?的满同态映射,故对任意y?Y,必存在x?X,使得f(x)= y,而且有 f(x⊙x)= f(x)?f(x) = y?y 又因为⊙满足等幂律,故 x⊙x= x 于是 f(x⊙x)= f(x) 因此 y?y = y 可见,?满足等幂律;同理可证?也满足等幂律。 不难证明,若x分别是⊙和*的等幂元,则f(x)是分别关于?和?的等幂元。 5.3 同态与同构 (6) 因为f是从X,⊙,*到Y,?,?的满同态映射,故对任意y?Y,必存在x?X,使得f(x)= y,又因为e1是关于⊙的幺元,所以有 f(x) =f(x⊙e1)= f(x)?f(e1) = y?f(e1) f(x) =f(e1⊙x)= f(e1)?f(x) = f(e1)?y 即 f(e1) ? y = y? f(e1)= y 因此f(e1)是关于?的幺元;同理可证f(e2)是关于?的幺元。 5.3 同态与同构 (7) 因为f是从X,⊙,*到Y,?,?的满同态映射,故对任意y?Y,必存在x?X,使得f(x)= y,又因为θ1是关于⊙的零元,所以有 f(θ1) =f(x⊙θ1)= f(x)?f(θ1) = y?f(θ1) f(θ1) =f(θ1⊙x)= f(θ1)?f(x) = f(θ1)?y 即 f(θ1)?y = y?f

文档评论(0)

zyg_2930102 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档