01.02.2015 Views

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

74<br />

ADVANCED ABSTRACT ALGEBRA<br />

Example 2<br />

Any homomorphic image of a module M is isomorphic to a quotient module of M.<br />

Proof<br />

Let<br />

––––→ M 1<br />

be a module epimorphism and let Ker ψ = N. Now we define a mapping<br />

M<br />

f : ––––→ M<br />

N<br />

1<br />

defined by f ( x + N ) = ψ ( x).<br />

∀ x + N ∈ M N<br />

f ( x + y + N ) = f ( x + y + N ) = ψ ( x + y)<br />

=<br />

From above f is a module homomorphism. Further f is injective since Ker<br />

f is surjective also since ψ is.<br />

, the zero element of<br />

Hence<br />

Im f = M1 = ψ ( M ) i.e. M N<br />

≅ ψ ( M)<br />

Q. 1. Let I be an ideal in a commutative ring R with 1. If M is an R-module, show that the set<br />

S = { xm x ∈ I , m ∈ M}<br />

is not in general an R- module. When is S an R- module<br />

Q. 2. If M is an R-module and if r ∈ R<br />

, prove that the set<br />

is an R-module.<br />

Q. 3. Let M be a right R-module. Show that is an ideal of R. It is called<br />

ψf∀ rM (0<br />

mS<br />

Mf<br />

ψ<br />

annihilator of M.<br />

K<br />

Example 3<br />

If M is a finitely generated R-module, it does not follow that each submodule of N & M is also finitely<br />

generated.<br />

Let M be a cyclic right R-module, i.e. M = mR for some of M. The right R-submodules of M is if<br />

the form mS, where S is a right ideal in the ring R. Suppose S is a finitely generated right ideal,<br />

say<br />

. Now the submodule mS is generated by the elements ma 1 , ma 2 ,............, ma k ,<br />

i.e. ms = ma1, ma2<br />

,...... ma k and so is a finitely generated R-module. Actually, ms is a cyclic<br />

S-module.<br />

If R is a Noetherian ring (i.e. R has the ascending chain condition on right ideals. I1 < I<br />

2<br />

< I3<br />

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

Saved successfully!

Ooh no, something went wrong!