Studies in Rings generalised Unique Factorisation Rings
Studies in Rings generalised Unique Factorisation Rings
Studies in Rings generalised Unique Factorisation Rings
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.