第3讲 8-9节同态与同构.ppt

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

例1 例2 思考? 定义 定理3 研究代数体系的首要目的 就是确定所有互不同构的代数体系以 及它们的代数结构。 两个代数体系如果同构,它们之间的同构映射 课堂练习: 练习: 第8-9节 同态 同构 对于带有运算的集合来说,集合是一盘散沙,运算把沙子结合成有机的整体,所以运算是其灵魂,所有研究的内容要和运算建立良好的和谐关系。 本节主要研究、比较两个带有运算的集合之间的关系。首先当然要用反映集合之间关系的映射,并且我们感兴趣的是与两个运算有很好的和谐关系的映射。只有这样的映射才能很好反映它们之间的关系和运算性质。 所谓和谐指的是什么? 定义 如果对于两个代数系统 和 ,存在映射 满足 称 是 同态映射. 和 同态, 简称 A与 同态,记为 代数系统(体系):非空集合连同上面定义的代数运算 ~ ,运算均为通常意义的数的乘法。 不是同态映射; 是同态映射,但不是满射; 是同态映射,且是同态满射. 为全体方阵的集合,运算为矩阵乘法, ,运算为数的乘法 证明:显然,因为每个方阵都有唯一的行列式,这 是一个映射,又 而且, 所以它是同态满射。 研究两个带有代数运算的集合的性质,利用同态映射还是远远不够的。为此我们先研究同态满射。 假设对于代数运算 和 来说,有一个 到 满射的同态映射存在,我们就说这个映射是一个同态满射。并说对于代数运算 和 来说, 与 同态。 同态满射,可以反映两个代数体系的运算之间的许多联系。 定理1 如果 和 同态,那么 (1)若 满足结合律 ,则 也满足结合律 ; (2)若 满足交换律 ,则 也满足交换律 . 证明: 于是由同态满射有 【证明思路】 满射 存在 同态 逆用同态映射 任取 。 定理2 设 和 都是代数系统,而映射 关于 以及 都是同态满射, 满足第一分配律 也满足第一分配律; 那么 (1)若 满足第二分配律 也满足第二分配律. (2)若 代数性质(结合律、交换律及分配律)“传递” 中,那么(注意:满射的条件是如何起作用的) 中的性质能“传递”到 中去吗? 在定理1及定理2中,都要求映射 是同态满射 似乎当 时,才能将 是同态满射 中的 到 不是满射时,“传递”还能进行吗? (1)当 是满射,“传递”的方向能改变吗? (2)当 设 是 到 的同态映射,若 是个一一映射,那么称 是同构映射. 到 若 有同构映射存在,称 与 同构,记为 . 例3 设 通常的加法“+”,现作 那么 是同构映射. 都是整数中 例4 · 分析:令 例5设 为数域, 证明: 是同构的。 为矩阵的加法) (其中+为数组间的加法, 分析:令 性质: 设 是 到 的同构映射。则 的逆映射是 到 的同构映射。 证明: 的逆映射 任取 如果 和 同构,那么 (1) 满足结合律 也满足结合律 ; (2) 满足交换律 也满足交换律 ; (3) 满足分配律 也满足分配律 . 注意:由上述表明,同构的两个代数体系运算 所带来的规律性是相同的,抽象的看,它们仅 为元素和运算命名上的不同,而本质是一样的。 代数性质:一个代数体系经同构映射而保持不变的性质。 而为了确定一个代数体系的代数结构, 只须让它与一个代数结构已经清楚的代数 体系同构则可。 因此:同构的代数体系由于完全相同的代数结构。 对于○与○来说的一个A与A间的同构映射,叫做一个关于○的A的自同构。 例5 A={1,2,3}.代数运算○由下表给定: ○ 1 2 3 1 2 3 3 3 3 3 3 3 3 3 求关于此运算的A的自同构 定义 注: 不一定唯一. A的全部一一变换有6个 因此,只有 设 证明: 不同构. 证明:(反证法)如果 设 0不在N中,矛盾。 不同构. 证明: (1) 不同构(普通乘法). (2) 不同构. (3) 不同构. (其中 为非零有理数集).

文档评论(0)

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

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

版权声明书
用户编号:5024214302000003

1亿VIP精品文档

相关文档