离散数学第五章第五节.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学第五章第五节

第5-5讲 同态与同构 1. 例子 2.同态 3.同构 4.同态代数系统间的关系 5.同态核 6. 第5-5讲 作业 1、例子(1) 1、例子(2) 1、例子(3) 2、同态 3、同构 4、同态(同构)代数系统间的关系(1) 4、同态(同构)代数系统间的关系(2) 4、同态(同构)代数系统间的关系(3) 5、同态核 6、同余关系(1) 6、同余关系(2) 6、同余关系(3) 6、同余关系(4) 第5-5讲 作业 P221 2,4 ,11 * * 设?、?、?是带正电荷的粒子,?、?是中性粒子,?是带负电荷的粒子,下表描述了这些粒子间相互作用的结果: 令A={?,?,?,?,?,?},则A,?是一个代数系统。如果只考虑带电粒子的正负特性,则这些粒子相互作用的结果可用另一个系统B,*(B={1,0,-1})概括地描述。 在代数系统A,?和B,*之间,可建立从A到B的映射f, 对任意a1,a2?A, 有 f(a1 ? a2)=f(a1)* f(a2) 例如, f(? ? ?)=f(?)=0, f(?)*f(?)=1*(-1)= 0。 所以, f(? ? ?)=f(?)*f(?) 这时,称f为代数系统A,?到B,*的一个同态。 f(?)=f(?)=f(?)=1,f(?)=f(?)=0,f(?)=-1, ? ? ?= ? ; 1*(-1)=0 f(? ? ?)=f(?)= 0 =1*(-1)= f(?)*f(?) 定义1 设A,?和B,*是两个代数系统, ?和*分别是A和B上的二元运算。如果存在映射f:A?B,对任意a1,a2?A,有f(a1?a2)=f(a1)*f(a2),则称f是A,?到B,*的一个同态映射,简称同态。并称A,?同态于B,*,记作A?B;称f(A),*为A,?的一个同态象。 定义2 设f是A,?到B,*一个同态,如果f是A到B的满射(入射)f,则称f是A,?到B,*满同态(单一同态)。如果f为双射,则称f为同构映射,并称A,?与B,*同构,记作A?B。 例1 设R是实数集,R+为正实数集合,说明代数系统R+,?与R,+是同构的。 解:为说明R+,?与R,+是同构的,必须建立R+ 到R的双射f,并且对任意x1,x2?R+,有 f(x1?x2)=f(x1)+f(x2) 可令f:R+?R,f(x)=lnx,则f是R+ 到R的双射,且 f(x1?x2)=ln(x1?x2)=lnx1+lnx2 =f(x1)+f(x2) 所以,代数系统R+,?与R,+是同构的。 定理1 设f是代数系统A,?到B,*一个同态,如果A,?是半群(独异点、群),则同态象f(A),*也是半群(独异点、群)。 证:以群为例进行证明。 因f是同态, 所以f(A)?B。对任意b1,b2?f(A),有a1,a2?A,使得 f(a1)=b1, f(a2)=b2, 那么 b1*b2 =f(a1)* f(a2)=f(a1?a2)?f(A)。 所以*运算在f(A)上封闭。 对任意b1,b2 ,b3 ?f(A),有a1,a2 ,a3 ?A,使得f(a1)=b1, f(a2)=b2, f(a3)=b3, 那么 b1*(b2*b3)=f(a1)*(f(a2)*f(a3))=f(a1)*f(a2?a3)=f(a1?(a2?a3)) =f((a1?a2)?a3)=f(a1?a2)*f(a3)=(f(a1)*f(a2))*f(a3)=(b1*b2)*b3 所以*运算在f(A)上可结合。 定理1 设f是代数系统A,?到B,*一个同态,如果A,?是群,则同态象f(A),*也是群。 证(续):设e是A,?的幺元,对任意b?f(A),有a?A,使得f(a)=b, 那么 b*f(e)=f(a)*f(e)=f(a?e)=f(a)=b。 同时, b*f(e)=f(a?e)=f(e?a)=f(e)*f(a)=f(e)*b 所以,f(e)是f(A),*的幺元。 对任意b?f(A),有a?A,使得f(a)=b, 因A,?是群,则a有逆元a-1,且f(a-1)?f(A), 那么 f(a)*f(a-1)=f(a?a-1)=f(e)=f(a-1?a)=f(a-1)* f(a) 因f(e)是f(A),*的幺元,所以f(a-1)是f(a)的逆元。 所以任意b=f(a)?f(A)有逆元, 即f(a)-1=f(a-1) 。 由上述, f(A),*是群。 定义3 设A,*是代数系统, f是A,*到A,*的一个同态(同构),则称f为自同态(自同构)。 定理2:设G是代数系统的集合,则G中代数系统间的同构关系是等价关系。 证:设任意A,*?G,令f:A

文档评论(0)

wyjy + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档