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