Universidad de la Repblica

Facultad de Ciencias
Centro de Matemtica

lgebra I
Segundo semestre de 2012
Prctico 7

/P
/M /N
/ 0 es una sucesin exacta corta si es un monomorfismo,
Decimos que 0
es un epimorfismo y Ker Im . Decimos que una sucesin exacta corta escinde si existe un morfismo
: P N tal que la composicin 1P

/P
/M /N
1. (a) Probar que si 0
: P N, entonces N Ker Im .

(b) Probar que si : M N y : N

entonces M Im Ker .

/0

es una sucesin exacta corta que se escinde via

M son morfismos de mdulos tales que idN ,

2. Sean p, q nmeros primos.

/ Zp / Zpq / Zq
(a) Probar que existe una sucesin exacta corta E : 0
el mapa inducido por m qm y el mapa inducido por la identidad.

(b) Probar que E se escinde si y slo si p

/0

siendo

q.

/M
/M N
/0
/N
3. Este ejercicio da un ejemplo de una sucesin exacta corta 0
que no se escinde. Equivalentemente, este ejemplo muestra que para que dos sucesiones exactas
cortas sean equivalentes no basta con que los mdulos del medio sean isomorfos.

/M /N
/P
(a) Probar que si E : 0
y T es un A-mdulo, entonces la sucesin

E : 0

0 es una sucesin exacta corta de A-mdulos

/0
T /P T
donde mq mq, 0q para todo m M y n, t q nq, t q para todo n, t q N T ,
/

es una sucesin exacta corta de A-mdulos. Probar que si E se escinde, entonces E tambin.

/
/Z
/Z
/ 0 , donde es el mapa inducido por
(b) Tomar entonces E : 0
Z4
2
2

m 2m y es el mapa inducido por la identidad. Tomar T Z2 Z4 q, y probar que

i N

E : 0
/

Z2

Z4 T

/Z

T
/

donde y estn definidos como en aq, es una sucesin exacta corta que no se escinde,
pero tal que el mdulo del medio es isomorfo a la suma directa de los mdulos de las puntas.

N es un mdulo libre.

4. Probar que si M y N son mdulos libres, entonces M

5. Probar que si M y N son mdulos libres y existen bases B de M y C de N tales que #B

entonces M y N son isomorfos.
6. Probar que la sucesin exacta corta 0
libre.

/M

7. (a) Probar que Q no es finitamente generado como Z-mdulo.

(b) Probar que Q no es libre como Z-mdulo.
8. Sea A un anillo conmutativo.

#C ,

0 escinde si F es un mdulo


(a) Consideremos A como A-mdulo
con la accin regular. Probar que si un subconjunto de A es
linealmente independiente entonces tiene cardinal 1.
(b) Supongamos que A verifica que todo submdulo de un A-mdulo libre es libre. Probar que A
es un DIP.
9. Sea A un anillo.
(a) Si A es conmutativo y M es un A-mdulo generado por el conjunto S entonces AnnM q
AnnS q.
(b) Probar que si M

t0 es un A-mdulo libre, entonces AnnM q t0.Es cierto el recproco?

(c) Deducir que si A es conmutativo, entonces todo A-mdulo es libre si y slo si A es un cuerpo.
10. Sea A un anillo conmutativo. Probar que HomA An , Am q es un A-mdulo libre de con una base de
mn elementos para todo m, n Z . Deducir que A EndA Aq como anillos.
11. Sea A un anillo cualquiera. Observar que el conjunto de los polinomios ArX s es un A-mdulo libre
de base t1, X , X 2 , . . .. Se considera el anillo R EndA ArX s (el producto es la composicin).
(a) Se definen f1 , f2

R mediante
2n
f1 X q X n
f1 X 2n1 q 0

f2 X 2n q 0
f2 X 2n1 q X n

n 0, 1, . . . .

Probar que tf1 , f2 es una base de R como R-mdulo.

Sugerencia: para probar que genera, ver que si g R, entonces g
definidas por g1 X n q g X 2n q, g2 X n q g X 2n1 q, n N.

g1f1 g2f2 siendo g1, g2 R

(b) Probar que R admite una base de cardinal n para todo n 1, 2, 3, . . .

12. Dar ejemplos de mdulos en los cuales:
(a) Un LI tiene ms elementos que un generador.
(b) Un LI tiene la misma cantidad de elementos que una base pero no es base.
(c) Un generador tiene la misma cantidad de elementos que una base pero no es base.
(d) El mdulo es finitamente generado y tiene un submdulo que no es finitamente generado.
13. Sea A un grupo abeliano y m, n 0. Probar:
(a) A Zm
(b)
(c)
(d)
(e)
14. (a)
(b)
15. (a)
(b)

AmA.
Zm Zn Zd , siendo d mcdm, nq. Observar que esto implica Zm Zn t0, si
mcdm, nq 1.
Q A t0 si A es de torsin. En particular Q A t0 si A es finito.
Q Q Q.
QZ t0 pero QZ QZ t0. En general, si D es un dominio y k FracD q entonces
k D D k D t0.
Probar que 2 1 es 0 como elemento de Z Z2 pero no es cero en 2Z Z2 .
Sea A Zrx s y sea I 2, x q A. Probar que x x 2 2 no es un tensor elemental en
I A I .
Si A es un anillo, I A es un ideal y M es un A-mdulo, probar AI A M M I M.
Si A es un anillo e I , J son ideales de A, probar AI A AJ AI J q como A-mdulos.

16. Cambiar el anillo en un producto tensorial puede o no afectarlo:

(a) Probar que Q Z Q Q Q Q.

(b) Probar que C R C C C C.

17. Sea A un anillo y Q un A-mdulo.

(a) Sea : N P morfismo de A-mdulos. Probar que si es sobreyectiva, entonces id :

Q A N Q A P es sobreyectiva.

N morfismo de A-mdulos.
Incluso cuando es inyectiva, id puede no serlo: sea : Z Z definida como
nq 2n. Tomemos Q Z2 : probar que id : Z2 Z Z2 Z no es inyectiva.
Probar que si es inyectiva, entonces id inyectiva en los siguientes casos:
i. es una seccin ( : N M tal que 1M ),
ii. Q A,

(b) Sea : M
i.
ii.

iii. Q es libre.
18. (Extensin de escalares)
(a) Sean R, S anillos y f : R S un morfismo de anillos. Recordemos que como S es un S-mdulo,
entonces el ejercicio 2 del prctico 6 nos dice que es tambin un R-mdulo a travs de f . Probar

entonces que si M es un R-mdulo, tiene sentido definir S S R M S R M mediante

s mq ss m, s, s S,
Probar que con esta accin S R M es un S-mdulo.
s

m M.

(b) Observar que tenemos un "morfismo cannico" de R-mdulos 1idM : M S R M, m 1m.

Probar que el par S R M, 1 idM q cumple la siguiente propiedad universal: para todo otro
S-mdulo N y morfismo de R-mdulos : M N (donde N se considera como R-mdulo
morfismo de S-mdulos que hace conmutar el
por restriccn de escalares), existe un nico
1
siguiente diagrama:

/S M
M PPPP
R
PPP
PPP

PPPP
PP( 
N
1 idM

19. Sea k un cuerpo y V , W dos k-espacios vectoriales.

(a) Probar que existe una transformacin lineal : V k W
para todo V , W ,

V k W q tal que
qv w q v qw q,
v V, w W.

(b) Probar que es inyectiva.

y dimk W , entonces es un isomorfismo. 2

Deducir que si dimk V , entonces V k V V k V q BilV q, siendo BilV q el

(c) Probar que si dimk V

(d)

espacio de las formas bilineales sobre V .3

1

Esta propiedad universal es la que nos dice que no slo pudimos convertir a un R -mdulo en un S -mdulo, sino que
adems lo estamos haciendo "de la manera ptima". Esta propiedad universal expresa que los functores de extensin y
restriccin de escalares son adjuntos.
2
Probar tambin que basta con que slo uno de los dos sea de dimensin finita para que sea un isomorfismo. Si los
dos son de dimensin infinita, no tiene por qu ser un isomorfismo; sin embargo V k W y V k W q son isomorfos
(mediante un isomorfismo "no cannico").
3
El ltimo isomorfismo vale siempre y en toda generalidad (probarlo!): es, de hecho, la propiedad que caracteriza al
producto tensorial!

20. Si A es un anillo, probar que existe un nico isomorfismo A-lineal : ArX s A ArY s ArX , Y s
tal que f g q f g para todo f ArX s, g ArY s. Adems, mostrar que existe una estructura
natural de anillo en ArX s A ArY s tal que es un isomorfismo de anillos.
Los siguientes ejercicios son opcionales.
A cazar diagramas!
21. (Lema de los cinco). Consideremos el siguiente diagrama conmutativo con filas exactas:
/B

A1


h1

/B

A0

h2

C1

h3

C0

D1

E1

h4

D0

h5

E0

Probar que:
(a) Si h2 y h4 son sobreyectivas y h5 es inyectiva, entonces h3 es sobreyectiva.
(b) Si h2 y h4 son inyectivas y h1 es sobreyectiva, entonces h3 es inyectiva.
(c) Deducir que si h1 , h2 , h4 y h5 son isomorfismos, entonces h3 es un isomorfismo.
22. (Lema de la serpiente). Consideremos el siguiente diagrama conmutativo con filas exactas:

/ A

/ B

/ C

Probar que existe una sucesin exacta (el morfismo se denomina morfismo de conexin):
keraq

/ ker

bq
/

kerc q

cokeraq
/

cokerb q

/ coker

c q

(1)

Adems, si f es un monomorfismo, entonces el primer morfismo de (??) es un monomorfismo, y si

g es un epimorfismo, entonces el ltimo morfismo de (??) es un epimorfismo.
La razn del nombre del lema es el siguiente diagrama que lo resume:
0
0 _ _ _/ ker

aq

kerb q

kerc q

ED

BC

/B
/C
/0
f
f
f
0 _ _ _ _ _/ A
f
f
fff
b fffffff
fff
a
c
ffff
f
f
f
f
fff
f
f




f
f
g
f
ffff/ fA
/ B
/ C _ _ _ _ _/ 0
0
GF

@A

cokeraq


cokerb q



/ coker


c q _ _ _/ 0