Studies in Rings generalised Unique Factorisation Rings
Studies in Rings generalised Unique Factorisation Rings
Studies in Rings generalised Unique Factorisation Rings
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
-86-<br />
Thus<br />
the ideal T(z+ux)T is not conta<strong>in</strong>ed <strong>in</strong> any<br />
maximal ideal of T and hence (z+ux) is weakly I-<strong>in</strong>vertible.<br />
Theorem 3 0 30 .<br />
Let R be a Noetherian r<strong>in</strong>g with many normal elements<br />
and I be a one sided ideal of R conta<strong>in</strong><strong>in</strong>g a normal element.<br />
Then I can be generated by a set of weakly T-<strong>in</strong>vertible<br />
elements.<br />
Proof:<br />
Suppose I is a left ideal. Let (Zl'Z2 p • • ,zJ be<br />
agenerat<strong>in</strong>9 set 0 f I a nd x be anar ma 1 e 1 erne nt<strong>in</strong> I.<br />
Consider zl' by<br />
theorem 3.29, there exists an element<br />
U 1<br />
,<br />
such tha .~<br />
zl+u1'x is weakly T-<strong>in</strong>vertibleo S<strong>in</strong>ce<br />
I -1<br />
u = u1c for "i € R 1<br />
some anti Cl € e, we have<br />
.l<br />
-1<br />
u 1 = u1l =<br />
not conta<strong>in</strong><strong>in</strong>g U<br />
1<br />
u1'c l<br />
does not belong to the maxima 1 ideals<br />
I<br />
and u 1<br />
belongs to all maximal ideals,<br />
which conta<strong>in</strong>s u 1<br />
' . Thus as <strong>in</strong> the proof of theorem 3 0 2 9 ,<br />
Zl + u1x is a weakly I-<strong>in</strong>vertible element <strong>in</strong> R. Similarly<br />
we get a collection (Zi+Uix]<br />
of weakly T-<strong>in</strong>vertible<br />
elements for each zi. S<strong>in</strong>ce x is normal, x £ C and so<br />
x is <strong>in</strong>vertible <strong>in</strong> T. Thus [zi+uix,x} is a collection<br />
of weakly T-<strong>in</strong>vertible elements <strong>in</strong> 10 We prove this is<br />
generat<strong>in</strong>g set for 10