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.
-~1-~tA7-<br />
-99-<br />
Def<strong>in</strong>ition 4 015.<br />
An ideal I of R is said to have the right<br />
Art<strong>in</strong>-Rees (Arrl-2£Qper~y if for any f<strong>in</strong>itely generated<br />
right R module M conta<strong>in</strong><strong>in</strong>g an essential submodule L<br />
with LI = 0, there is a positive <strong>in</strong>teger n such that<br />
n<br />
MI = O. In this case we call I a right AR Ldea l ,<br />
Left AR<br />
property is def<strong>in</strong>ed analogously.<br />
Re ma r k Lt 4 1 () .<br />
( 1) A prime idea 1 P wi th the ri gh t AR property<br />
always satisfies the right second layer<br />
conditiono<br />
( 2 ) Ani(j E: a 1 I 0 f R i srigh tAR i fandon 1y i f<br />
for every right ideal K of R, there is a<br />
positive <strong>in</strong>teger n such that KC\I n < KI.<br />
Theorem 4 017.<br />
If R is a Noetherian r<strong>in</strong>g and P is a prime ideal<br />
with the right AR<br />
property, then P is classically<br />
localisable if and only if there is no<br />
prime ideal Q<br />
of R with P < Q and Q ~ P.<br />
Lemma 4.18.<br />
Suppose an ideal <strong>in</strong> a<br />
right Noetherian r<strong>in</strong>g R has<br />
the right AR p rop e r t v , If Q ~ P <strong>in</strong> Spec R and if I .$ P,<br />
then I S Q.