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.

-82-<br />

Examples 3023<br />

(1) In [13J, a commutative r<strong>in</strong>g with few zero divisors<br />

are def<strong>in</strong>ed as any commutative r<strong>in</strong>g with only a<br />

f<strong>in</strong>ite<br />

number of maximal O-ideals, where a maximal O-ideal is an<br />

ideal maximal with respect to not conta<strong>in</strong><strong>in</strong>g non-zero<br />

divisors. S<strong>in</strong>ce every maximal O-ideal is a prime ideal,<br />

it follows that <strong>in</strong> the commutative case, r<strong>in</strong>gs with few<br />

zero-divisors are r<strong>in</strong>gs with many<br />

normal elements.<br />

(2) If R is a GUFR, then every non-m<strong>in</strong>imal prime ideal<br />

conta<strong>in</strong>s a normal element.<br />

S<strong>in</strong>ce the number of m<strong>in</strong>imal<br />

prime ideals <strong>in</strong> any Noetherian r<strong>in</strong>g is f<strong>in</strong>ite, it follows<br />

that every GUFR is a r<strong>in</strong>g with many normal elements.<br />

Remark 3.24.<br />

Let R be a Noetherian r<strong>in</strong>g with many normal elements<br />

and C = {a (R/aR = Ra is normal} • Then as <strong>in</strong> theorem 2.7,<br />

it can be prov e c; that C is an Ore set and the localised<br />

r<strong>in</strong>g T = RC- l = C-1R has only a f<strong>in</strong>ite number of maximal<br />

ideals, precisely the extensions of the prime ideals of R<br />

not conta<strong>in</strong><strong>in</strong>g normal elements.<br />

Also T is an over-r<strong>in</strong>g,<br />

s<strong>in</strong>ce C has only regular elementso<br />

Vve s tare a theorem known as t h e "prime avoidance"<br />

theorem [20, proposition 2012 0 7 ] .

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

Saved successfully!

Ooh no, something went wrong!