离散第六章 代数系统081209.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文档。上传文档
查看更多
离散第六章 代数系统081209.ppt

由定义可知,同余关系是代数结构的集合中的等价关系,并且在运算的作用下,能够保持关系的等价类。即在x1⊙y1中,如果用集合S中的与x1等价的任何其它元素x2代换x1,并且用与y1等价的任何其它元素y2代换y1,则所求的结果x2⊙y2与x1⊙y1位于同一等价类之中。亦即若[x1]E = [x2]E并且[y1]E = [y2]E,则[x1⊙y1]E = [x2⊙y2]E。此外,同余关系与运算密切相关。如果一个代数结构中有多个运算,则需要考察等价关系对于所有这些运算是否都有代换性质。如果有,则说该代数结构存在同余关系;否则,同余关系不存在。 例6.4.1 给定Z,+,×,其中Z是整数集合,+和×是一般加、乘法。假设Z中的关系R定义如下: i1Ri2:= | i1 | = | i2 | 其中i1、i2∈Z 试问,R为该结构的同余关系吗? 其中| i1 | 表示i1的绝对值. 相等关系是等价关系是明显的,只要证它满足代换性即可.即证对任意的i1,i2,i3,i4?Z和i1Ri2?i3Ri4? | i1 | = | i2 | ? | I3 | = | i4 | ? | i1+i3 |= | i2+i4 | 对i1=1, i2=1, I3 =3, i4=-3 | i1+I3 |=4 | i2+i4 | =2 即对+不满足代换性,即R不是 Z,+,×的同余关系. 可见,考察一个等价关系E对于有多个运算的代数结构是否为同余关系,这里有个次序先后问题,选择得好,即你一下子就考察到了E对某个运算是不具有代换性质,那么立刻便可断定E不是该结构的同余关系,否则验证应继续下去,直至遇到不具有代换性质的运算为止。如果对于所有运算都有代换性质,则E为该结构的同余关系。在例6.4.1中,首先发现R对于+不具有代换性质,那么可断定R不是该结构的同余关系。如果你首先验证是R对于×的代换性质,结果R对于×有代换性质,至此你只是有希望E是同余关系,但还得继续工作,考察R对于+的代换性质,由此结果才能判定R是否为该结构的同余关系。 有了同余关系的概念后,现在可以给出它与同态映射的关系了,请看下面定理: 定理6.4.1 设S,⊙与T,*是同类型的且f为其同态映射。对应于f,定义关系Ef如下: xEf y:=f(x)= f(y), 其中x,y∈S 则Ef是S,⊙中的同余关系,并且称Ef为由同态映射f所诱导的同余关系。 由于同态映射不惟一,根据定理6.4.1,可以推知同余关系也不惟一。 例6.4.2 设Z,′ 与B,ˉ 是同类型的,其中Z是整数集合,B = {0,1},′ 和 ˉ 定义如下: i ′ = i + 1 i∈Z   b? =(b+1)(mod 2) b∈B 又设f∈BZ: f(i)=(i)(mod 2) 其中i∈Z 试指出f所诱导的同余关系。 解:f诱导的同余关系为Ef  iEfj:=f(i)=f(j)即i(mod2)=j(mod2) 显然Ef是个等价关系,(自反、对称、可传递),现在我们只要说明Ef满足代换性. 对任何i,j?Z和iEfj来推证i′Efj′即由 i(mod2)=(j)(mod2)? (i+1)(mod2)=(j+1)(mod2) 因为(i+1)(mod2)=((i)(mod2)+1(mod2))(mod2)  (j+1)(mod2)=((j)(mod2)+1(mod2))(mod2) 于是(i+1)(mod2)=(j+1)(mod2) 即Ef是满足代换性的,从而证明了Ef是同余关系而且是由f所诱导的. 6.5 商代数 定义6.5.1 给定S,⊙及其上的同余关系E,且由E对S所产生同余类构成一个商集S/E。若在S/E中定义运算*如下: [x]E *[y]E = [x⊙y]E 其中[x]E,[y]E∈S/E 于是S/E,*构成了一个代数结构,则称S/E,*为代数结构S,⊙的商代数。 可以看出,给定一个代数结构,利用结构中的同余关系可以构造一个新的代数结构即商代数,两者有何联系,下面定理指明这一点。 定理6.5.1 给定S,⊙及其上的商代数S/E,*,则S,⊙~S/E,*。 通常,称gE为从S到S/E上的正则映射,并且称gE为从S,⊙到S/E,*的与E相关的自然同态映射,简称自然同态。 此外,容易看出自然同态gE是满同态映射,根据定理6.3.2可知,代数结构S,⊙的各种性质在其商代数S/E,*中都被保持了下来。 书上123页给出了该定理的证明. 例6.5.1 给定N,+,其中N是自然数集合,+是普通加法运算。 又知例6.3.1中Zm,+m,并且在N中定义关系E: n1En2:= m |(n1-n2)∨m |(n2-n1) 其中m,n1,n2∈

文档评论(0)

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

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

1亿VIP精品文档

相关文档