Professional Documents
Culture Documents
Homework #1
Cristian Camilo Chica Castao
Problems 8, 10, 12, 21 from exercises section 10.1 Dummit and Foote.
In these exercises R is a ring with 1 and M is a left R-module.
8. An element m of the R-module M is called a torsion element if rm = 0 for some nonzero element r
in R. The set of torsion elements is denoted Tor(M)={m M | rm = 0 for some nonzero r R}.
(a) Prove that if R is an integral domain then Tor(M) is a submodule of M (called the
torsion submodule of M).
Proof:
We remember rst that if R is an integral domain then R is a commutative ring with 1 and
no zero-divisors. By propisition 1 (Mentioned in class) Tor(M) is a submodule of M if satises: a)
T or(M ) 6= b) for all r in R, and x,y in T or(M ), x + ry T or(M ). Since (M, +) is an abelian
group then 0 M and for every r in R, r0 = 0 then 0 T or(M ), hence a) is veried. Now we take x
and y in T or(M ) then there exist some p, q in R 0 such thatpx = 0 and qy = 0. Let s = pq then
s 6= 0 since p,q are nonzero elements of R which doesn't have zero-divisor. Because R is a commutative
ring and using the properties given in the denition of a R-module then s(x + ry) = sx + s(ry) =
(pq)x + (sr)y = (qp)x + (pqr)y = q(px) + (pr)qy = q0 + (pr)0 = 0, hence b) is veried. Tor(M) is a
submodule.
(b) Give an example of a ring R and R-module M such that Tor(M) is not a submodule.
Proof:
Proof: Let M a nonzero R-module then there is an element m M {0} and a zero divisor a R{0}
we have that rm T or(M ) since there is a b R {0} such that ab = 0 and a(bm) = (ab)m = 0.
Proof:
By proposition 1 mentioned above, let see that the set A:={m M | am = 0 for all a I}
also satises a) A 6= and b) for all r in R, and x,y in A, x + ry A. First as (M, +) is an abelian
group then 0 M then a0 = 0 for all a in I, hence 0 A proving that a) holds. Second, let r in R
and x and y in A then a(x + ry) = ax + a(ry) = 0 + (ar)y = 0 + 0 = 0. ax = 0 by denition of A
and (ar)y = 0 because ar I since I is a right ideal of R. Hence b) is also satised. Therefore A is a
submodule of M.
12. In the notation of the preceding exercises prove the following facts about annihilators.
(a) Let N be a submodule of M and let I be its annihilator in R. Prove that the annihilator
of I in M contains N . Give an example where the annihilator of I in M does not equal
N.
1
Proof:
Proof:
21. Let n Z
+
, n
1 and let R be the ring of n n matrices with entries from a eld F . Let M be
the set of n n matrices with arbitrary elements of F in the rst column and zeros elsewhere.
Show that M is a submodule of R when R is considered as a left module over itself, but M is
not a submodule of R when R is considered as a right R-module.
a21
We dened R = {
| aij F } and M = { .
..
| ai1
.
.
..
..
.
..
a11 0 0
c11 c12 c1n
b11 0 0
a21
c21
b21
A + CB = .
+ .
= A+
.
.
.
.
..
..
..
..
..
..
an1 0
0
cn1 cn2 cnn
n
bn1 0 0
n
P
P
k=1 c1k bk1 0 0 a11 + k=1 c1k bk1 0 0
n
n
P
P
c
b
a
+
c
b
k=1 2k k1
21 k=1 2k k1
.
.
.
.
..
..
..
..
n
P
P
cnk bk1 0 0
an1 +
cnk bk1 0 0
Proof:
k=1
k=1
a11
a21
AB = .
..
an1
..
b11
b21
..
.
0
bn1
b12
..
bn2
b1n
bnn
a11 b11
a21 b11
=
..
.
an1 b11
a11 b12
..
an1 b12
a11 b1n
/ M.
an1 b1n
12. Let I be a left ideal of R and let n be a positive integer. Prove R /IR
n
= R/IR R/IR (n
Proof: We start
describing the sets involve in the proof:
1) Rn = { x P
= (x1 , ..., xn ) | xi R},
2) IRn = {
ai
xi : ai I,
xi Rn },
f inite
3) Rn /IRn P
= {
x + IRn :
x Rn },
4) IR = {
ai xi : ai I, xi R},
f inite
5) R/IR = {x+IR : x R}
6) (R/IR)n := R/IR R/IR = {(x1 + IR, ..., xn + IR) : xi R}.
We add some comments about the sets 3) and 5), they are well dened since Rn and R are rings
and the divisors IRn , IR are ideals in each ring respectively. Now the prove consist in show and
isomorphism between two R-modules, for which we consider the next function: : Rn /IRn (R/IR)n
such that (
x + IRn ) = ((x1 , ..., xn ) + IRn ) = (x1 + IR, ..., xn + IR). Let see that is a well dened
function. i) Independence of the representative elements of the class and injectivity:
Suppose
x + IRn =
y + IRn
x
y IRn
x
y =
ai I,
zi Rn
x
y =
ai (z1 , ..., zn )i
x
y =
ai zi
f inite
a1 (z11 , ..., zn1 ) +
f inite
f.s.m>0
amP
(z1m , ..., znm ) P
x
y = (a1 z11 + P
+ am z1m , ..., a1 zn1 + + am znm )
x
y =
i
i
i
i
(
ai z1 , ...,
ai zn ) xk yk =
ai zk ai I, zk R; k = 1, ..., n
f inite
f inite
f inite
(y1 + IR, ..., yn + IR) ((x1 , ..., xn ) + IRn ) = ((y1 , ..., yn ) + IRn ) (
x + IRn ) =
n
( y + IR ).
ii) is a homomorphism:
Let
x + IRn ,
y + IRn Rn /IRn : ((
x + IRn ) + (
y + IRn )) = ((
x +
y ) + IRn ) =
((x1 + y1 ) + IR, ..., (xn + yn ) + IR) = ((x1 + IR) + (y1 + IR), ..., (xn + IR) + (yn + IR)) =
n
n
Let r R: (r( x + IR )) = (r x + IR ) = ((rx1 , ..., rxn ) + IRn ) = (rx1 +
IR, ..., rxn + IR) = (r(x1 + IR), ..., r(xn + IR)) = r(x1 + IR, ..., xn + IR) = r((
x + IRn )).
ii) is surjective: Let (x1 + IR, ..., xn + IR) be an element in (R/IR)n we want to see him as the
image under of an element in Rn /IRn , is enough to take the element (x1 , ..., xn ) + IRn .