28.12.2013 Views

Studies in Rings generalised Unique Factorisation Rings

Studies in Rings generalised Unique Factorisation Rings

Studies in Rings generalised Unique Factorisation Rings

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!