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.
-37-<br />
entries 'at is <strong>in</strong> M 2<br />
( Q) = N. Put I = X M 2 ( R) = M 2<br />
( R) X,<br />
-1 (' -1<br />
then I .s N. Furthe rm0 re X € M 2<br />
RpI, s<strong>in</strong>ce Xis<br />
the scalar matrix/with non zero entries a~l<br />
which is<br />
-1 -1 () () -1<br />
<strong>in</strong> Rp and thus I = X M 2<br />
R = M 2<br />
R X is conta<strong>in</strong>ed<br />
() -1 -1 ( ) ( )<br />
<strong>in</strong> M 2<br />
Rp and 11 = I I = M 2<br />
R. Therefore M 2<br />
R is<br />
a GUFR<br />
which is not prime.<br />
Remark 2 05.<br />
(1) The pr<strong>in</strong>cipal ideal theorem for a right Noetherian<br />
r<strong>in</strong>g asserts that the m<strong>in</strong>imal prime ideals over any normal<br />
ideal has height atmost 10 Thus <strong>in</strong> a GUFR even though<br />
every non-mi~imal<br />
prime ideal conta<strong>in</strong>s normal ideals, each<br />
normal ideal is conta<strong>in</strong>ed <strong>in</strong> either a m<strong>in</strong>imal prime ideal<br />
or <strong>in</strong> a prime ideal of height 1.<br />
(2) If R is Noetherian r<strong>in</strong>g satisfy<strong>in</strong>g descend<strong>in</strong>g<br />
cha<strong>in</strong> condition on prime ideals, then R is a GUFR with<br />
the over r<strong>in</strong>g 5<br />
if and only if every height 1 prime ideal<br />
of R conta<strong>in</strong>s an S-<strong>in</strong>vertible pr<strong>in</strong>cipal ideal.<br />
(3) By Proposition 1 0 16 , if R is a GUFR with over r<strong>in</strong>g S,<br />
then every prime ideal conta<strong>in</strong>s a normal S-<strong>in</strong>vertible ideal<br />
if and only if every m<strong>in</strong>imal prime ideal conta<strong>in</strong>s a normal<br />
S-<strong>in</strong>vertib1e ideal.