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.

-7-<br />

Proposition loll.<br />

Let R be a right Noetherian r<strong>in</strong>g and let S be a<br />

subr<strong>in</strong>g of M (R).<br />

n<br />

If S conta<strong>in</strong>s the 5ubr<strong>in</strong>g<br />

RI = {diagOnal (r,r ... ,r) IrE: R} of all<br />

scalar matrices, then S is right Noetherian.<br />

In particular<br />

M (R) is a right Noetherian r<strong>in</strong>g.<br />

n<br />

Proof<br />

It is obvious that R is isomorphic to RI and M<br />

n<br />

(R)<br />

is generated as a right RI module by the standard n x n<br />

matrix unitso S<strong>in</strong>ce R' is right Noetherian and the<br />

number of e .. 1 5 is f<strong>in</strong>ite, Mn(R) is a Noetherian RI-module,<br />

1.J I<br />

by corollary 1 09.<br />

As all right ideals of S are also right<br />

R'-submodules of M (R), we conclude that S is right Noetherian.<br />

n<br />

PRIME<br />

IDEALS<br />

It is well known<br />

that the prime ideals are the<br />

'build<strong>in</strong>g blo~ks' of ideal theory <strong>in</strong> commutative r<strong>in</strong>gs.<br />

We recall that a proper ideal P <strong>in</strong> a commutative r<strong>in</strong>g is<br />

said to be prime if whenever we have two elements a and b<br />

<strong>in</strong> R such tha t ab E: P, i t follows tha t either a e P or<br />

b € P; equivalently P is prime if and only if RIp is a<br />

doma<strong>in</strong>.

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

Saved successfully!

Ooh no, something went wrong!