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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

-54-<br />

Theorem 2.28.<br />

Let R be a Noetherian r<strong>in</strong>g <strong>in</strong> which the pr<strong>in</strong>cipal<br />

left ideals generated by regular elements are also<br />

pr<strong>in</strong>cipal right idealso Then R is a GUFR if and only<br />

if R has an Art<strong>in</strong>ian quotient r<strong>in</strong>g.<br />

Proof:<br />

Assume that R has an Art<strong>in</strong>ian quotient r<strong>in</strong>g Q(R).<br />

Let P be a non-m<strong>in</strong>imal prime ideal of Ro Then,pnCR(O)~,<br />

by propos i tion 1.63. Let b € P n C (0), then by hypo thesis<br />

R<br />

there exists an element a € R such that Rb = aRe S<strong>in</strong>ce<br />

R has an Art<strong>in</strong>ian quotient r<strong>in</strong>g, every left regular element<br />

is "regular (Proposition 1.62). Hence, by lemma ~o27, we<br />

ha ve a E: C R<br />

(0 ) and a R = Ra . S<strong>in</strong>c e a -1 (' Q ( R), a R = Ra<br />

is Q(R)-<strong>in</strong>vertibleo Also P conta<strong>in</strong>s aR = Ra. This<br />

completes the proof of the sufficient part.<br />

The necessary.<br />

part of the theorem follows from<br />

theorem 2. ·~'9.<br />

Corollary 2.29.<br />

Suppose R is a Noetherian r<strong>in</strong>g <strong>in</strong> which every regular<br />

element is normal. Then R is a GUFR if and only if R has<br />

an Art<strong>in</strong>ian quotient r<strong>in</strong>g.

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

Saved successfully!

Ooh no, something went wrong!