主理想的定义.pptVIP

目录 后页 返回 * 前页 三、主理想 主理想的定义 定理3.3.3 ---主理想的表示 定理3.3.1 ---和与交仍为理想 定理3.3.2 ---多个理想的和与交 例3 例4 §3.3 理想与商环 一、理想的定义 定义3.3.1 ---理想 定义3.3.2 ---和与交 例1 例2 推论1 二、理想的运算 商环的定义 例5 定理3.3.4 ---商环的性质 例6 推论2 三、商环 一、理想的定义 定义3.3.1 设 为环,为 的非空子集,如果 满足 (I1) 对任意的 ； (I2) 对任意的 . 则称 为环 的一个理想 ( ideal), 记作 . 又如果 , 则称 为 的真理想 (proper ideal). 由定义可知, 如果 为 的理想,则 必为 的子环. 例1 与 本身显然都是 的理想. 这两个理想称 为 的平凡理想(trivial ideal). 例2 试求 的所有理想. 解 设 为 的任一理想, 则 为 的子环. 从而存 在 , ,使 (见§3.1例10). 反之, 设 为 的任一子环, 那么存在 , 使 则对任意的 , 所以 为 的理想. 由此知, 为 的理想当且仅当 为 的子环. 因此 的全部理想为 其中 ， 用类似方法还可证明, 对任意 的所有理想为 , 其中 二、理想的运算 定义3.3.2 设 为环, 都是 的理想, 集合 分别称为理想 与 的和与交. 定理3.3.1 设 为环, 都是 的理想. 则 与 的和与交都是 的理想． 证 （1）设　　　　　　　　. 则有 ,使　　　　　　　　　　.从而 所以　　　为　的理想． (2) 对任意的　　　　　　　　. 因　　　　, 则有 同理 于是 所以 　　为　的理想. 定理3.3.2 (1) 环　的任意有限多个理想的和还 是理想;(2) 环　的任意 (有限或无限)多个理想的交还 是　的理想. (提示：如上同样的证明方法，只要把所有的 写出来即可.) 三、主理想的定义及表示 设 , 考察 中含有元素 的全部理想的集 合 因为 , 且 , 所以 , 从而 非空. 令 则由定理3.3.2知, 为 的一个理想. 这个理想称 为 的由 生成的主理想 (principal ideal). 因 所以 ,从而 . 我们看到: 一方面, 是包含 的理想; 另一方面, 是所有包含 的理想的交. 所以 是 中包含 的最小理想. 定理3.3.3 设 为环, 则 (1) (2) 如果 是有单位元的环, 则 (3) 如果 是交换环, 则 (4) 如果 是有单位元的交换环, 则 有的形如 证（1） 设 包含 的理想, 从而 所以 为 易知 为 的理想. 因为 的元素及这些元素的和, 因此 . 于是 . 又因为 是由 生成的理想, 所以 必包含所 (2) 如果 有单位元 , 则 都是形如 的元素. 所以 (3) 如果 是交换环, 则 . 从而 所以 (4) 如果 是有单位元 的交换环, 则 所以 推论1 整数环 的每个理想都是主理想.（显然， 因为整环是有单位元的交换环） 推论2 模 剩余类环的每个理想 都是主理想. 同样，可得： 设 为环, , 则 都是的 理想. 令 则 为 的理想，称 为的由 生成 的理想. 易知 ,是 的含 的最小理想. 例3 在 中,如果 ,则 是怎样的主理想? 解 (1) 如果 都是零, 则显然 .