离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu11n.pptVIP

* * * * §4 理想与商环 一、理想 定义14.13：[R;+,*]为环, 若I?? ,I?R,关于+,*运算满足条件: (1)任a,b?I,a-b?I (2)任a?I,r?R,a*r,r*a?I 称[I;+,*]为[R;+,*]的理想,当I?{0},I?R时是真理想,否则就是平凡理想。 例：[nZ;+,?]是整数环[Z;+,?]的理想。 例：[R;+,*]为单位元交换环，任取元素 a?R，作R的子集：(a)={a*r|r?R},则[(a);+,*]为[R;+,*]的理想。 若[R;+,*]是不含单位元的交换环，对任意a?R，作子集(a)={a*r+na|r?R,n?Z},则[(a);+,*]为[R;+,*]的理想。 这样的理想(a)={a*r+na|r?R,n?Z}称为由元素a生成的主理想。 由a生成的理想： 有单位元的交换环，(a)={a*r|r?R} 无单位元的交换环，(a)={a*r+na|r?R} 定理：设S??,S?R,定义(S)为满足如下条件的最小子集: (1)a?S,则a?(S) (2)a,b?(S),则a-b?(S) (3)a?(S),r?R,则a*r,r*a?(S) 则[(S);+,*]是环[R;+,*]的理想。 定义：设S??,S?R,(S)为满足上述定理条件的最小子集,则称 [(S);+,*]是环[R;+,*]的由S生成的理想。 定义14.14:由环R