- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
400浅谈代数系统上的同态与同构(陕西理工学院数教专业11级1班陕西 汉中 723000)
指导教师郑红梅
到各有代数运算和,且是到的一个映射.如果保持运算,即对中任意元素,,在之下由,总可得,亦即或,则称为代数系统到的一个同态映射,若又是满射,则称为同态满射.如果到存在同态满射,则简称与同态,记为.
定义1.2设是到的一个(关于代数运算及)同态满射.如果又是单射(即是双射),则称是到的一个同构映射.
如果到存在同构映射,就说与同构,记为.否则,即若到不存在任何同构映射,则称与不同构.
到自身的同态映射,称为的自同态映射,简称的自同态.同样,到自身的同构映射,叫做的自同构映射,简称的自同构.
定义1.3设(,)是序列集,.如果存在,使得,则称为的一个上界.如果的一个上界具有如下的性质:对于的任一上界,都有,则称为的一个最小上界,记为lub.如果存在使得,则称为的一个下界.如果的一个下界具有以下性质:对于的任一个下界,都有,则称为的一个最大下界,记为glb.的上界和下界(如果存在,显然唯一)分别称为幺元和零元,记为1和0.
由偏序的反对称性可知:偏序集中任意指定的两个元素的最小上界和最大下界有唯一性(如果它们存在).
设是一个偏序集,如果中的任意两个元素都有最小上界和最大下界,则称是一个格.只含有有限多个元素的格称为有限格,否则称为无限格.
定义1.4设是幺环,是一个交换群,如果映射(称在上的作用),.满足下列条件:
则称为环上的一个左模,或左模.如果将(3)改为其余条件不变,则称为环上的一个右模,或右模.
理论上讲,右模和左模没有本质的区别.如果为环上的一个右模,令为的反同构的环,则构成上的左模,当然,若是交换环,则上的左模和右模没有区别.
定理1.1设代数系统和同态,则(1)若适合结合律,也适合结合律;(2)若适合交换律,也适合交换律.
定理1.2设,为集合的代数运算,,为集合的代数运算,且存在到的满射,使得与对于代数运算,来说同态,对于代数运算,来说也同态,那么(1)若,适合第一分配律,,也适合左分配律;(2)若,适合右分配律,,也适合右分配律.
2 主要内容
下面将分别讨论群,环,格,模上同态同构在其中的应用以及比较它们在同态同构中的不同.
2.1 群同态与同构
定义2.1.1设是一个非空集合,是它的一个代数运算,如果满足以下条件:
结合律成立,即对中任意元素都有;
中有元素,叫做的左单位元,它对中每一个元素都有;
对中每一个元素,在中都有元素,叫做的左逆元,使;
则称对代数运算为一个群.
定义2.1.2设和是群,映射称为由到的群同态,如果保持群运算,即,都有.如果为单(满)射,则称为单(满)同态.
定义2.1.3既单又满的同态称为同构.如果存在由到的一个同构,则称同构于,也说和是同构的,记为.
群到自身的同态及同构具有重要的意义,称之为群的自同态和自同构.表示的全体自同态构成的集合,表示的全体自同构构成的集合.对于映射的乘法,构成一个有幺元的半群,而构成一个群,称为的自同构群.
定义2.1.4像通常的映射一样,称为的像,记为.又将的原像称为的核,记为,即.
定理2.1.1设是群同态.则.
证明 记,定义映射
验证是良定义的,即与陪集代表的选取无关.如果,即,则存在使得.故,即良定义.
下面证明是群同构,也就是证明是单射,并且也是满射.
,所以是群同态.
又设(的幺元),即,故,即,所以是单射.最后设,则存在使得.于是,这说明必是满射.所以同构.
定理2.1.2设是一个群,是一个代数运算(也称为乘法)的集合.如果,那么也是一个群.
证明 因为,是群,其乘法满足结合律,故由定理1.1得,的乘法也满足结合律.
?设是群的单位元,是的任一元素,又设是到的满同态,且在之下
,
于是,但是,故,即是的单位元.
又设,则.但是,故,即是的逆元.因此,也是一个群.
本定理的意义在于,要验证一个集合对所指的代数运算作成群时,可找到一个已知群,并通过同态来实现.
定理2.1.3设是群到群的一个同态映射(不一定是满射),则群的单位元的像是群的单位元,的元素的逆元的像是的像的逆元,即或.
应该注意,如果集合与各有一个代数运算,且,则当为群时,却不一定是群.
例1 令=全体正负奇数,代数运算为数的普通乘法;又关于数的普通乘法作成群,令:正奇数,负奇数.
则易知是到的一个同态满射,故.是群,但却不是群.
当然,若与为各有一个代数运算的代数系统,且,则当与中有一个是群时,另一个必然是群.
例2 设是一个群,是的正规子群.令
.
显然是群到商群的满同态,这个满同态称为群到商群的自然同态.
定理2.1.4设是到的同态映射(不一定是满映射),则
1)当时,有且~;
2)当时,有,且在之下诱导出到的一个同态映射.
证明 1)任取,且在
您可能关注的文档
- CKD伴高血压患者危险因素综合干预-聚焦血压管理CV2Days模板讲课.pptx
- 36课时学生用讲义讲述.doc
- origin7.0的一些实例讲课.ppt
- 1.3地球的运动(带动画演示全面)浅析.ppt
- 36挖孔桩技术交底文件讲述.doc
- 40米独立避雷针安装方案讲述.doc
- CKD伴高血压患者危险因素综合干预-聚焦血压管理讲课.pptx
- 1.3地球的运动1浅析.ppt
- 42九年级化学实验单样本19个讲述.doc
- OTC金融衍生品市场的风险管理国际经验1讲课.docx
- PCB设计技巧讲课.ppt
- 1.4地球的内部圈层结构浅析.ppt
- 2014中考化学试题汇编--第一单元走进化学世界(word版,含答案)讲述.doc
- 【中考冲刺】人教版2016年初中化学中考复习__第4章__物质的多样性浅析.ppt
- CProgramFilesMic_强直性脊柱炎(ankylosingsp_默认18776360讲课.ppt
- 1.4地球的圈层结构()浅析.ppt
- 2014中考数学复习28概率-第一轮复习第八单元统计与概率讲述.ppt
- 500kV主变长时感应耐压带局部放电试验方案讲述.doc
- CPU的结构和功能讲课.ppt
- 【中考冲刺】人教版2016年初中化学中考复习第23章常用仪器及基本实验操作浅析.ppt
文档评论(0)