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.
-46-<br />
In the proof of le~ma 2.17 we have to make use<br />
of the well known AR<br />
property and some other localisation<br />
techniques which we have not yet discussed <strong>in</strong> this thesis.<br />
When we discuss the localisation at a<br />
prime ideal <strong>in</strong><br />
chapter 4, Wb<br />
will give a proof of this lemma.<br />
Lemma 2.18.<br />
Let R be a GUFR and P = pR = Rp be a non-m<strong>in</strong>imal<br />
prime ideal of R. Then p is regular and P is localisable.<br />
Proof<br />
S<strong>in</strong>ce P is a non m<strong>in</strong>imal prime ideal of H, from the<br />
def<strong>in</strong>ition of GUFR and by'lb:oran 2 0 6 , P conta<strong>in</strong>s a regular<br />
normal element e(say). Therefore e = pr l<br />
= r 2P<br />
for some<br />
r l,r2<br />
€ R. Now the regularity of p follows from the<br />
regularity of e. The second part of the .lemma follows<br />
from lemma 2 017 and from theorem 2.9.<br />
Lemma 2.19.<br />
Let R be a GUFR and P be m<strong>in</strong>imal prime ideal of R.<br />
Then P cannot conta<strong>in</strong> any normal <strong>in</strong>vertible ideal.<br />
Proof<br />
Suppose if possible that P conta<strong>in</strong>s a normal<br />
<strong>in</strong>vertible ideal aR = Ra (say). Then a E: C R<br />
(0) by