- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
故f(S)对运算封闭,〈f(S),〉为T的子代数。证毕很显然, f为单射时〈S,*〉与同态像〈 f(S),〉同构,这使我们想到,同态像应同〈S,*〉有许多共同的性质。 定理5.3.2 设f是代数系统〈S,*〉 到 〈T,〉的满同态(这里*, 均为二元运算),那么(1) 当运算*满足结合律、 交换律时,T中运算也满足结合律、 交换律。 (2) 如果〈S,*〉 关于*有幺元e,那么f(e)是〈T,〉中关于的幺元。 (3) 如果x-1是〈S,*〉 中元素x关于*的逆元,那么f(x-1)=(f(x))-1是〈T,〉中元素f(x)关于的逆元。 (4) 如果〈S,*〉 关于*有零元θ,那么f(θ)是〈T,〉中关于的零元。 证明 仅证(2)、 (3)。 (2) 设〈S,*〉有关于*的幺元e。考虑T中任一元素b ,因为f是满射,所以必存在一个元素a∈S使b=f(a),那么 bf(e)=f(a)f(e)=f(a*e)=f(a)=b f(e)b=f(e) f(a)=f(e*a)=f(a)=b 因此f(e)为T中关于的幺元。 (3) 设〈S,*〉中元素x有关于*的逆元x-1,考虑f(x)与f(x-1),那么 f(x)f(x-1)=f(x*x-1)=f(e) f(x-1)f(x)=f(x-1*x)=f(e) 这就是说,T中f(x)有关于的逆元f(x-1),即 (f(x))-1=f(x-1) 这表明,同态也是保持一元求逆运算的。 证毕 (4) 关于零元的证明可仿上进行,留给读者完成。 需要强调指出,上述定理中满同态的条件是必要的,否则性质只在同态像上有效,决不能随意扩大到〈T,〉上,下面将举例说明这一点。对于具有多个代数运算的两个同类型系统,同态是指相应的n个同态方程均成立。一般同态无法保持消去律。因为同构映射是双射,所以不仅保持性质而且可逆,此时可将两个代数系统视为一个,只是运算、 元素符号不同。 下面我们要讨论同态核的概念。 定义5.3.3 如果f为代数系统〈S ,*〉到〈T ,〉的同态,并且T中有幺元e′,那么称下列集合为同态f的核(kernel of homomorphism),记为K(f)。 K(f)={x|x∈S∧f(x)=e′} 关于同态核我们有定理5.3.3。 定理5.3.3 设f为代数系统〈S,*〉到〈T,〉的同态,如果K(f)≠,那么〈 K(f),*〉为〈S,*〉的子代数。 证明 只要证K(f)对*运算封闭即可。设K(f)中任意元素x,y,于是f(x)=f(y)=e′ 。 考虑 f(x*y)=f(x) f(y)=e′e′=e′ 因此x*y∈K(f),故〈 K(f),*〉为〈S ,*〉的子代数。证毕 至此我们看到,一个同态映射f可导致两个子代数,一个是〈T ,〉的子代数〈f(S) ,〉,另一个是〈S,*〉的子代数〈 K(f),*〉。 【例5.4.1】 设*和+是集合S上的两个二元运算,并满足吸收律。证明: *和+均满足幂等律。 证明 x,y∈S, 因为吸收律成立,所以 x*x=x*(x+(x*y))=x x+x=x+(x*(x+y))=x 因此,*和+均满足幂等律。 证毕 5.4 例 题 选 解 【例5.4.2】 设*和+是集合S上的两个二元运算,x,y∈S,均有x+y=x。证明: *对于+是可分配的。 证明 x,y,z∈S, 因为x+y=x,所以 x*(y+z)=x*y而 (x*y)+(x*z)=x*y故 x*(y+z)=(x*y)+(x*z) 左分配律成立。 又因为 (y+z)*x=y*x而 (y*x)+(z*x)=y*x故 (y+z)*x=(y*x)+(z*x) 右分配律成立。 因此,*对于+是可分配的。证毕 【例5.4.3】 (1) 设N4={0,1,2,3},f: N4→N4定义如下:令F={f0,f1,f2,f3},其中f0为N4上的恒等函数。易证〈F, 〉为一代数系统,且fifj=fi+4j, 试证〈F,〉与〈N4,+4〉同构。 (2) 证明代数系统〈N,+〉与〈N,·〉不同构。 解 (1) 证明: 建立双射h: F→N4,使
文档评论(0)