近世代数课件--3.9极大理想.ppt_第1页
近世代数课件--3.9极大理想.ppt_第2页
近世代数课件--3.9极大理想.ppt_第3页
近世代数课件--3.9极大理想.ppt_第4页
近世代数课件--3.9极大理想.ppt_第5页
已阅读5页，还剩6页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

9最大理想,9.1 定义及等价条件 9.2 基本结论 9.3 进一步的结论,9.1 定义及等价条件,以下我们要认识两种由一个交换环来得到一个域 的重要方法,第一种就是利用最大理想的方法(本节 内容),第二种方法是分式域(下节内容)。,一个基本的模型：,定义 一个环 的一个不等于的理想 叫做一个最 大理想,假如，除了 同 自己以外，没有包含 的 理想。,最大理想有下面一些等价表述:,(1)一个环 的一个不等于的理想 叫做一个最大理 想,如果存在理想 满足: , 那么 或 . (2)一个环 的一个不等于的理想 叫做一个最大理 想,如果存在理想 满足: , 那么 . (3)一个环 的一个不等于的理想 叫做一个最大理 想,如果存在理想 满足: , 那么 .,例1 我们看整数环 。我们说，由一个素数 所生 成的主理想 是一个最大理想。因为：假定 是 理想，并且: 那么 一定包含一个不能被 整除的整数 。由于 是素数， 与 互素，所以我们可以找到整数s和t， 使得 但 也属于 ，而且 是理想，所以,9.2 基本结论,定理 假定 是一个有单位元交换环， 是R的一个理想。 是一个域是 一个最大理想的时候。,证明 ( ) 设 是一个最大理想, 我们分两步证明: (1) 至少有一个非零元. 那么 . 因此,在商环 中至少有 一个非零元(?).,(2) 每一个非零元可逆. ,我们需要证明 可逆. . 构造一个理想 , 那么 (?) (?) 可逆. 是一个域.,设 是一个域, 理想 满足: . 我 们需要证明 . 取一个 那么 , 可逆(?). 于是, 存在 使得 证毕.,这样，给了一个有单位元的交换环R，我们只要找得到R的一个最大理想 ，就可以得到一个域 。,例2 R是整数环， 是由素数 所生成的主理想。那么由上面例1， 是一个域。这个结果我们在前面已经得到过。,9.3 进一步的结论,给了一个环R，我们可以利用R的一个最大理想来得到一个商环 ，使得 除了零理想同单位理想以为，没有其它的理想。,引理 1 假定 是环R的理想。剩余类环 只有零理想同单位理想,当而且仅当 是最大理想。,证明 我们用 来表示R到 的自然同态满射。,充分性. 已知 是最大理想. 设 是 的理想， 并且 那么， 在 这下的逆象 是R的理想， 显然包含 而且不等于 (?)，所以 = 这样， 只有零理想同单位理想。,必要性. 假定 不是最大的理想, 那么存在 是R的理 想,并且： 那么, 在 这下的 的象 是 的理想。由于 ， , 也不会是 . 不然的话，对于R的任意元r， 可以找到 的元b，使得 由于 是理想，可以得到 ，与假定不合。,引理 2 若R是有单位元的、可交换的非平凡环。如果R只有零理想同单位理想，那么R一定是一个域。,证明 我们看R的任意 所生成的主理想 显然不是零理想,于是由假定, 。因而R的单位 。但 的元都可以写成 的形式,
人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论