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.

-~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.

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

Saved successfully!

Ooh no, something went wrong!