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.

-41-<br />

Corollary 2 08.<br />

If R is an NUFR, then T is a simple r<strong>in</strong>g.<br />

Art<strong>in</strong>ian r<strong>in</strong>gs are generally regarded as generalisa~<br />

tion of s emi s i.rnp I e Art<strong>in</strong>ian r<strong>in</strong>gs.<br />

Goldie's theorem gives<br />

a cha ra c terisa tion 0 f thos e r<strong>in</strong>g 5 wh Let: a re orde rs <strong>in</strong><br />

semisimple Art<strong>in</strong>ian r<strong>in</strong>gs.<br />

This result naturally gives<br />

rise to the question: 'tJhich r<strong>in</strong>gs can be orders <strong>in</strong> Art<strong>in</strong>ian<br />

"r<strong>in</strong>gs? The importance of Art<strong>in</strong>ian quotient r<strong>in</strong>gs is that<br />

they will be useful <strong>in</strong> the study of localisation at a<br />

prime<br />

ideal <strong>in</strong> Noetherian r<strong>in</strong>gs and<br />

<strong>in</strong> the study of f<strong>in</strong>itely<br />

generated torsion free modules over Noetherian r i nq s ,<br />

It<br />

is seen that there are Noetherian ri.ngs whi ch<br />

lack Art i n i an<br />

quotient r<strong>in</strong>gs. However, if R is a GUFR, R always have<br />

an Art<strong>in</strong>ian quotient r<strong>in</strong>g. We prove this next.<br />

Every GUFR<br />

has an Art<strong>in</strong>ian quotient r<strong>in</strong>go<br />

Proof<br />

From the def<strong>in</strong>ition of a GUFR,<br />

every non-m<strong>in</strong>imal prime<br />

idea1 c ont a <strong>in</strong>s no rma 1 i nvertib1 e idea 1 s • Th e 9 enerators 0 f<br />

these norma 1 anve r t i b I e idea 1 s a re <strong>in</strong> eR (0) (the 5 e t 0 f<br />

regular elements of R), by theorem 2 0 6 . Now the theorem<br />

follows from proposition 1.63, which<br />

states that R is a

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

Saved successfully!

Ooh no, something went wrong!