近世代数与课件--4.3.主理想环 .ppt

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

§ 3. 主理想环 3.1 定义 3.2 两个有趣的引理 3.3主要定理 要知道一个整环是不是一个唯一分解铪不是一件容易的事,因为要测验唯一分解定义里的条件(ⅰ),(ⅱ)或是(Ⅳ),2,定理2里的条件(ⅰ),(ⅲ)能否被满足,一般是非常困难的。以下我们要认识几种特殊的唯一分解环,使得我们在解决以上问题时可以有一点帮助。 3.2 两个有趣的引理 本节证明, 一个主理想环一定是一个唯一分解环。为证明这一点,我们需要两个引理。这两个引理本身也是很重要。 3.3主要定理 作业 P138: 1,2 * 3.1 定义 第一种是主理想环。 定义 一个环 叫做一个主理想环,假如 的没个理想都是主理想。 例1 环R的理想升链: 的并 是理想 例2 在整环中, (2) 是相伴元 (1) 引理 1 假定 是一个主理想环,若在序列 中每一个元是前面一个真因子,那么这个序列一定是一个有限序列, 也就是说, 一定存在 , 使得 不是 的真因子。 证明 构造主理想 由于 是 的因子,显然 我们看这些理想的并集 , 是R的一个理想(例1)。由于R是主理想环, 一定是一个主理想: 。这个d属于 ,所以也属于某一个 。我们将证明,这个 一定是我们要求的元。 首先, = 可以得到 于是 其次,已知条件 这样 和 是相伴元。证完。 引理 2 假定R是一个主理想环,那么R的一个素元 生成一个最大理想。 证明 假定 是满足条件的理想: 由于R是主理想环,我们有 因而 是 的因子。但 是素元,所以 不是 的相伴元,就是单位。 如果 是 的相伴元, 如果 是单位, 证完 现在我们证明 定理 一个主理想环R是一个唯一分解环。 证明 我们使用第二阶的定理2 (ⅰ)R的每一个既不是零也不是单位的元 都有一个分解 (反证法) 我们看R的一个不是零也不是单位的元 , 假定 不能写成有限个素元的乘积,那么 不会是一 个素元,那么 b 和c都是 的真因子。 的这两个真因子之中至少有一 不能写成素元的乘积,不然的话 就会是素元的乘积,与假定冲突。我们得到了结论:假如一个元 没有分解,那么 一定有一个真因子 , 也没有分解。这样,在元 没有分解的假定之下,我们会得到一个无穷序列 在这个序列里每一个元前面一个真因子, 与引理1矛盾, 这是不可能的,所以 一定有分解。 (ⅲ)R的一个素元 若能整除 ,那么 能整除 或 。 假定R的素元 能够整除 , 那么 这就是说在剩余类环 里, 依照引理2, 是最大理想,因此依照第三章,9,定理, 是一个域。因为域没有零因子, 上边的式子告诉我们 这就是说 这样 证完 *

文档评论(0)

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

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

1亿VIP精品文档

相关文档