Studies in Rings generalised Unique Factorisation Rings
Studies in Rings generalised Unique Factorisation Rings
Studies in Rings generalised Unique Factorisation Rings
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
-9-<br />
Proposition 1~13.<br />
For a proper prime ideal P <strong>in</strong> a r<strong>in</strong>g R, the follow<strong>in</strong>g<br />
are equivalent.<br />
(a") P is ~ prime ideal<br />
(b)<br />
Rip is a prime r<strong>in</strong>g<br />
(c) If xpy E R with xRy~P, either x £ P or y E: P<br />
Cd) If I and J are any two right ideals of R such<br />
that 1J ~ P, either I ~ P or J ~ P<br />
(e) If I and J are any two left ideals such that<br />
IJ ~ P, either I ~ P or J ~ P.<br />
It follows immediately (by <strong>in</strong>duction) from the above<br />
Jl, ••. ,J n<br />
are right (or left) ideals of R such that<br />
3 1<br />
J 2<br />
•.. J < P, then some J. < P.<br />
- n - 1 -<br />
Proposition 1014.<br />
Every maximal ideal M of a r<strong>in</strong>g R is a prime ideal.<br />
Def<strong>in</strong>ition 1.15.<br />
A m<strong>in</strong>imal prime ideal <strong>in</strong> a<br />
r<strong>in</strong>g R is any prime ideal<br />
which does ~0t prope~ly conta<strong>in</strong> any other prime ideal •<br />
For <strong>in</strong>stance, if R is a prime r<strong>in</strong>g, then 0 is a<br />
m<strong>in</strong>imal prime ideal.