Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
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 />