3.5素理想与极大理想.pptVIP

§3.5素理想与极大理想(3.5 Element Ideal and Maximum Ideal) 我们知道,任意环R的同态像R均同构于R的商环, R～ R ? R/I. 因此,只要找出R的一切理想I,也就找出了R的所有同态像. 本节我们研究R的同态像为整环或域的情形.即研究R中那些理想I,能使R/I为整环?哪些理想I,能使R/I为域.本节始终假定R是有单位元1的可换环. 3.5.1 素理想(Element Ideal) Def: 设R是有单位元的可换环,I是R的理想,若对 ?a,b∈R, ab∈I ? a∈I 或 b∈I, 则称I为R的素理想. 例1: 设R是整数环Z, p是素数,I=p.则I是R的素理想. 事实上,设a,b∈R,ab∈I,则p |(ab) ? p|a 或 p|b,即a∈I或b∈I. 有了素理想的概念,可以回答上面的第一个问题. Th1:设R是可换环,I是R的理想,则 R/I是整环?I是R的素理想 证明:?) R/I是整环,a,b∈R,ab∈I,由于(a+I)(b+I)=ab+I=I,故a+I=I或b+I=I,即a∈I或b∈I,从而I是一个素理想. ?)