剩余类环、同态与理想.docVIP

  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文档。上传文档
查看更多
第 23 讲 §8 剩余类环、同态与理想 (Residue class ring、homomorphim and ideal) 剩余类环 在前一讲中已知,当是环的理想时,仅加法而言知,得到加法商群,(在前一讲中,用记号)其中群中运算为其中每个元素都叫做的一个剩余类环且. 今将说明商加群中可以合理地引入一个乘法并使做成一环.这个乘法定义为 (或) 定义的合理性:设且且,,且,∴定义是合理的. 很容易验证是一个半群. 同时可以验证乘法对加法的左右分配律.故此, 是一个环. 定义1.设为任意一个环.而,那么称作关于理想的剩余类环(也叫商环或差环),其中中每个元素叫作模的剩余类. 例1.设为整数环,而使那么,就是我们已经熟悉的“模剩余类环”—这是整数的剩余类环. 二.环同态及同态基本定理 定义2.设是一个环同态,那么中零元的完全原象 叫作的模,通常记. 定理1.设是一个环同态满射,令那么 (ⅰ) (ⅱ) 证明:(ⅰ)对加法而言,显然是一个加群满同态,由第二章知. (即是的不变子群).下面只需证明吸收律也成立即可. 那么同理. (ⅱ)由第二章知,存在.作为群同构,其中 下面只需证明:,但 . 是环同构.即. 定理2.设是一个环而,那么必有环同态.使得是满同态且模.称这样的为环的自然同态. 证明:令,其中, 显然是个满射.而且. .至于是显然的. 注意:上述定理1和定理2通称为环和同态基本定理.同时表明:环的任何商环都是的同态象.而环的任何同态象实质上只能是的一个商环. 与群同态类似,我们可以和到一些与第二章中平行的结果. 定理3.设是环同态映射,那么 (ⅰ)若是的子环是的子环 (ⅱ)若是的理想且为满射是的理想 (ⅲ)若是的子环是的子环 (ⅳ)若是的理想是的理想 证明: (ⅰ)使所以,于是.(子群) 另外 是的子环. (ⅱ) ,是的子环是的子环.须证明吸收律成立. 是满射 (ⅲ) ∴, 而知 是的一个子环. (ⅳ) ,∴. 于是 满足吸收律. 又由(ⅲ)是的子环.于是. 注意2.从定理3的证明中可知:除了(ⅱ)需要是满环同态外,其余情况都不需要是满射这个条件.

文档评论(0)

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

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

1亿VIP精品文档

相关文档