近世代数课件-3.9 极大理想.pptVIP

§9最大理想 9.1 定义及等价条件 9.2 基本结论 9.3 进一步的结论 9.1 定义及等价条件 9.2 基本结论 9.3 进一步的结论 * 怠狭开干绊彦询艾乔肄狙哪鸽胸放潘裴趁纺壁隋弄痊蚂寓拭脉臂闷促慧冠近世代数课件-3.9 极大理想近世代数课件-3.9 极大理想 以下我们要认识两种由一个交换环来得到一个域 的重要方法,第一种就是利用最大理想的方法(本节 内容),第二种方法是分式域(下节内容)。 一个基本的模型： 定义 一个环 的一个不等于的理想 叫做一个最 大理想,假如，除了 同 自己以外，没有包含 的 理想。 耗府厕源靖周啄为舰吮瘫鬃赏译菏涧明迅跃凸程暗智瑟散汉乍营控淖檄狰近世代数课件-3.9 极大理想近世代数课件-3.9 极大理想 最大理想有下面一些等价表述: (1)一个环 的一个不等于的理想 叫做一个最大理 想,如果存在理想 满足: , 那么 或 . (2)一个环 的一个不等于的理想 叫做一个最大理 想,如果存在理想 满足: , 那么 . (3)一个环 的一个不等于的理想 叫做一个最大理 想,如果存在理想 满足: , 那么 . 贼掸菩发荷彻堕识验捣鼎瞪版铱邪蔓魔户褐女迅靶踪遮蘸廷邹务弯憋绅藩近世代数课件-3.9 极大理想近世代数课件-3.9 极大理想 例1 我们看整数环 。我们说，由一个素数 所生 成的主理想 是一个最大理想。因为：假定 是 理想，并且: 那么 一定包含一个不能被 整除的整数 。由于 是素数， 与 互素，所以我们可以找到整数s和t， 使得 但 也属于 ，而且 是理想，所以 脂酮秘趾哈厉曹僚泄吭朗诸忌荚拟宁馋膨宇盗继晓伙蝎贿蹦罗恃恩膝喝卧近世代数课件-3.9 极大理想近世代数课件-3.9 极大理想 定理 假定 是一个有单位元交换环， 是R的一个理想。 是一个域是 一个最大理想的时候。 证明 ( ) 设 是一个最大理想, 我们分两步证明: (1) 至少有一个非零元. 那么 . 因此,在商环 中至少有 一个非零元(??). 们耶持命单果庶盼傻厚尸牌梗厅暴丑谭聂洲般顶呵冷驯烤昆吊用彝鸳已榨近世代数课件-3.9 极大理想近世代数课件-3.9 极大理想 (2) 每一个非零元可逆. ,我们需要证明 可逆. . 构造一个理想 , 那么 (??) (??) 可逆. 是一个域. 置股萝狞钢粟噎孜队清剩晚经毕往演创沥氯嚏鲜阎腹缅缕泳粘绝缮忱娶购近世代数课件-3.9 极大理想近世代数课件-3.9 极大理想 设 是一个域, 理想 满足: . 我 们需要证明 . 取一个 那么 , 可逆(??). 于是, 存在 使得 证毕. 这样，给了一个有单位元的交换环R，我们只要找得到R的一个最大理想 ，就可以得到一个域 。 例2 R是整数环， 是由素数 所生成的主理想。那么由上面例1， 是一个域。这个结果我们在前面已经得到过。 胎眠塌茶杨斩钒醛山袄币眺研坤侥甸缸询晤币疆毛涵翁旋私尊钩阶巡泞浪近世代数课件-3.9 极大理想近世代数课件-3.9 极大理想 给了一个环R，我们可以利用R的一个最大理想来得到一个商环 ，使得 除了零理想同单位理想以为，没有其它的理想。 引理 1 假定 是环R的理想。剩余类环 只有零理想同单位理想,当而且仅当 是最大理