Teoría de Módulos

Captulo 1
Mdulos, submdulos y
cocientes
1.1. Anillos e Ideales

Denicin 1 Un anillo es una quinteta (R; +; ; 0; 1) tal que:
i) (R; +; 0) es un grupo conmutativo
ii) (R; ; 1) es un monoide
iii) Se cumplen las propiedades distributivas: 8a; b; c 2 R
a(b + c) = ab + ac; y (a + b)c = ac + bc
Nota 1 (f0g ; +; ; 0; 0) es el anillo trivial.
Observacin 1 En un anillo R valen las siguientes armaciones:

1) 0 r = 0 8r 2 R y r 0 = 0 8r 2 R
2) ( 1) r = r = r ( 1)
3) r ( s) = r s 8r; s 2 R
4) ( r) s = rs 8r; s 2 R
5) ( r) ( s) = rs 8r; s 2 R
6) ( ( r)) = r
Observacin 2 Un anillo es trivial si y slo s 0 = 1
1
2 CAPTULO 1. MDULOS, SUBMDULOS Y COCIENTES
Demostracin. ()) Por denicin

(() Si 0 = 1 entonces 8r 2 R; 0 = 0 r = 1 r = r ) R = f0g y R es
trivial.
Observacin 3 Un anillo es un dominio s y slo s (R; ; 1) es un monoide

con cancelacin (con unidad)
f
Denicin 2 Un morsmo entre dos anillos R ! S es una funcin tal que:
f (r1 + r2 ) = f (r1 ) + f (r2 ) [) f (0) = 0]
f (r1 r2 ) = f (r1 )f (r2 )
f (1R ) = 1S :
Ejemplo 1 Z es un objeto inicial en Ring (la categora de anillos con 1)

f
Z!R
1 7! 1R
n 1R =1
| + 1 +{z + 1}
z 7! z 1R n
|1
n 1r = 1 {z 1}
n
Denicin 3 Un subconjunto I R; R un anillo es:
i) I un ideal izquierdo si
a) I (R; +; 0) (I contiene a 0, es cerrado bajo + y r 2 I ) r 2 I)

b) a 2 I; r 2 R ) ar 2 I
ii) I un ideal derecho si
a) I (R; +; 0)
b) a 2 I; r 2 R ) ra 2 I
iii) Un ideal bilateral si es ideal izquierdo y derecho.
Notacin 1 I; I y I denotan un ideal izquierdo, un ideal derecho y un

ideal bilateral de R respectivamente.
Observacin 4 Observemos que:

1.1. ANILLOS E IDEALES 3
1. I es un ideal de R , I 6= ;; I es cerrado bajo + y a 2 I; r; s 2 R )

ras 2 R
2. I R ) R ! R=I es un morsmo de anillos. Esto incluye la

r 7! r + I
armacin de que R=I es un anillo con las operaciones bien denidas:
(r + I) + (s + I) = (r + s) + I
(r + I) (s + I) = r s + I
'
3. Recprocamente si R ! S es un morsmo de anillos, entonces
ker ' = fr 2 R j '(r) = 0g R

f
Ejemplo 2 Si R es un anillo Z ! R es un morsmo de anillos.
1 7! 1R
z 7! z 1R
Observacin 5 Si M es un grupo abeliano [con + y ]. Entonces

f
EndZ (M ) = fM ! M j f es un morsmo de gruposg es un anillo con
las operaciones:
(f + g)(m) = f (m) + g(m)
(f g)(m) = f (g(m))
El uno es 1M :
Ejercicio 1 Verifquense las distributividades

f
Ejemplo 3 EndZ (Z4 ) = fZ4 ! Z4 j f es morsmog
f est determinado por f (1)
f (1) 2 f0; 1; 2; 3g As EndZ (Z4 ) = Z4
anillos
Ejemplo 4 Para Z
_z
EndZ (Z) = fZ ! Zg As EndZ (Z) = Z
1.2. Mdulos y submdulos

Denicin 4 Si R es un anillo y M es un grupo abeliano, decimos que
M es un R modulo si 9' : R ! EndZ (M ) morsmo de anillos tal que
r 7! '(r) : M ! M es un morsmo de grupos
Podemos denotar rx = ('(r))(x) y entonces tenemos que ' induce
R M ! M
(r; m) 7 ! '(r)(m) = rm
tal que:
i) 1R m = m 8m 2 M
ii) r1 (r2 m) = (r1 r2 )m 8r1 ; r2 2 R; 8m 2 M
iii) r(m1 m2 ) = rm1 + rm2 8r 2 R; 8m1 ; m2 2 M
iv) (r1 + r2 )m = r1 m + r2 m 8r1 ; r2 2 R; 8m 2 M
Notacin 2 RM para mdulos izquierdos, MS para S-mdulos derechos.
Denicin 5 Dado R M; N M; es un submdulo de M si:

i) 0 2 N
ii) N es cerrado bajo +
iii) x 2 N; r 2 R ) rx 2 N
Notacin 3 N M
Trivialmente f0g R M y RM R M
Observacin 6 R R es un mdulo. Entonces los submdulos de R R son los

subconjuntos de R cerrados bajo la suma y bajo la multiplicacin por la
izquierda por elementos de R, es decir ideales izquierdos de R. Anlogamente
los submdulos de RR son los ideales derechos de R:
Observacin 7 Si R N RM entonces N M
grupo
Demostracin. 0 2 N:
Sean x1 y x2 2 N; por ii) x1 + x2 2 N:
Sea x 2 N; ( 1) 2 R; entonces por iii) ( 1) x = x2N
) N es subgrupo de M
Observacin 8 H G; G grupo abeliano. Z H ZG si y slo s H es un

subgrupo de G
1.2. MDULOS Y SUBMDULOS 5
Demostracin. ()) Consideremos el Z modulo Z G y H G

02H
Sean x 2 H y z 2 Z ) zx = x {z::: + x} 2 H
| +x+
z
( z) x 2 H
)Z H Z G
(() Por la observacin anterior.
Observacin 9 Sea V un espacio vectorial sobre un campo F , entonces F W

F V si y solo s F W es un subespacio de F V .
Observacin 10 R N R M ) R (M=N )
RN R M entonces N M . Claramente M=N = fm + N j m 2 M g
grupo
es el grupo cociente bajo la suma:
(m1 + N ) + (m2 + N ) := (m1 + m2 ) + N :
Denimos
R M=N ! M=N
r (m + N ) := rm + N
Veamos que est bien denido:
m1 + N = m2 + N , m1 m2 2 N ) r (m1 m2 ) 2 N ) rm1 rm2 2
N ) rm1 + N = rm2 + N .
1.2.1. Mdulos libres

P
n
Denicin 6 X R M; X es una base de R M si hXj = M y ri xi =
i=1
0 ) ri = 08i
Denicin 7 Lema de Zorn: Si a 6= ;; (a; ) es un copo en el que cada

cadena C a (8x; y 2 C; x y y x) tiene una cota en a (9a 2 a
tal que x a8x 2 C) entonces a tiene un elemento mximo (s 2 a y
s t 2 a ) s = t)
Teorema 1 Si DM es un mdulo sobre D anillo con divisin, entonces M

tiene una base.
Demostracin. Sea (S; ) donde S es el conjunto de las familias X

independientes en M :
Pn
X M y rxi xi = 0 ) rxi = 0
i=1
Sea fXi gi2I una cadena en S, Xi Xj Xj Xi
Veamos que [ fXi g sigue siendo independiente:
I
Sean xij 2 Xij ; y una combinacin lineal ri1 xi1 + + rin xin = 0 con
rij 2 D:
fXi1 ; :::; Xin g es una cadena, entonces uno de ellos contiene a los dems,
pero por hiptesis el ms grande es independiente. ) ri1 = = rin = 0;
As, [ fXi g es independiente. Por lo tanto fXi gi2I est acotada.
I
Por el Lema de Zorn, existe un elemento mximo en fXi gi2I :
Con esto tenemos que 9 ,! D M independiente mximo. Para ver que
es una base basta ver que D h j M .
Supongamos que no, entonces D h j M , y as existe x 2 M r h j )
[fxg no es independiente. Por lo tanto existe una combinacin ri1 xi1 + +
rin xin = 0 con algn coeciente distinto de cero. Como es independiente,
alguna xij tiene que ser x [supongamos que x = xin ] y rin 6= 0: Entonces
r i 1 xi 1 + + rin 1 xin 1 = rin x 6= 0: Como rin 2 D r f0g = D ) rin
tiene inverso, entonces x = rin1 ri1 xi1 + + rin1 rin 1 xin 1 lo que es una
contradiccin pues x 2 =h j
Este argumento no se aplica para anillos arbitrarios. Por ejemplo Z no es
anillo con divisin y hay grupos abelianos que no tienen base! por ejemplo
Z Z2 = f0; 1g no tiene base.
f1g ,! Z2 pero no es independiente: 2 1 = 2 = 0 y 2 6= 0:
genera
Denicin 8 RM es libre si tiene base X
Ejemplo 5 R(X) es libre con base f x gx2X
[(0); M ] es una retcula completa.

Teorema 2 Fijemos un anillo R y un modulo R M . Si fNi gi2I es una familia
de submdulos de M , entonces \ fNi g es un submdulo de M
i2I
Demostracin. 0 2 Ni 8i 2 I ) 0 2 \ fNi g
Sean x1 ; x2 2 \ fNi g ) x1 ; x2 2 Ni 8i 2 I
i2I
Como Ni R M ) x1 + x2 2 Ni 8i 2 I:
Sean r 2 R; x 2 \ fNi g entonces x 2 Ni 8i 2 I
i2I
) rx 2 Ni 8i 2 I ) rx 2 \ fNi g
i2I
) \ fNi g R M
i2I
Notacin 4 Denotamos por 0 = f0g

[ 0; M ] = fR N j R N R M g denota el conjunto de los submdulos de M
[H; K] = fN j H N Kg
Observacin 11 ([ 0; M ]; ) es un conjunto parcialmente ordenado.
Observacin 12 Si X M; entonces
hXj = \ fR N R M jX Ng R M
es el menor submdulo de M que contiene a X.
P
n
Lema 1 hXj = ri xi j n 2 N; xi 2 X; ri 2 R
i=1
Demostracin. ( )
Pn
Llamemos X = ri xi j n 2 N; xi 2 X; ri 2 R .
P i=1
0 2 X pues 0 = ; (la suma sin sumandos)
X es cerrado bajo + y si s 2 R entonces
Pn P
n Pn
s ri xi = s(ri xi ) = (sri )xi 2 X
i=1 i=1 i=1
Ahora, si x 2 X; x = 1x es la suma con un slo sumando y si X = ; es
claro que X X M
As que hXj X y hXj es el menor submdulo con esta propiedad
( )
Por otro lado, dada r1 x1 + + rn xn 2 X con xi 2 X; ri 2 R; tenemos
que ri xi 2 hXj 8i 2 f1; :::; ng entonces r1 x1 + + rn xn 2 hXj
por lo tanto X hXj
) X = hXj
Ejemplo 6 Sabemos que los ideales de Z son nZ con n 2 N: En particular

nZ \ mZ es un ideal, de esta misma forma nZ \ mZ = [n; m]Z: Tambin
::
nZ + mZ = fnz + mw j z; w 2 Zg Z (Vericar) y de hecho: nZ + mZ =
(n; m)Z
Observacin 13 Notemos lo siguiente:
i) Si fNi gi2I es una familia de submdulos de M , entonces \ fNi g es el

i2I
mayor submdulo de M contenido en cada Ni :
:: P
ii) [ fNi g = fNi ges el menor submdulo que contiene a cada Ni
i2I I
iii) Notemos que hay un menor submdulo de M : (0) y uno mayor: M
En resumen tenemos que \ fNi g = nf fNi gi2I es la mayor de las cotas

P i2I
inferiores para las Ni y fNi g = sup fNi g es la menor de las cotas superiores
I
para las Ni : En esta situacin decimos que ([ 0; M ] ; ; \; [; 0; M ) es una
retcula completa.
Denicin 9 1. Si X RM es un conjunto generador de M ,

hXj = M
2. Un mdulo M es nitamente generado , M tiene un conjunto

generador nito.
Complementos
Denicin 10 Sean L; N 2 [ 0; M ] decimos que N es complemento de L
si:
1. L \ N = 0
2. L + N = M
Ejemplo 7 Si X es un conjunto, entonces (}(X); ; \; [; ;; X) tambin es

una retcula completa.
Denicin 11 En }(X) cada elemento A 2 }(X) tiene un complemento

nico: Ac caracterizado por:
A [ Ac = X
A \ Ac = ;
[La unicidad del complemento se sigue de la distributividad de \ sobre [:
A \ (B [ C) = (A \ B) [ (A \ C) ]
P
Ejemplos 8 Sin embargo, ([ 0; M ] ; ; \; ; 0; M ) se comporta de manera
distinta:
a) En [ 0; Z] el submdulo 2Z no tiene complemento: no hay una n 2 N tal

que
2Z + nZ = Z [, (2; n) = 1 , n es impar] y
2Z \ nZ = 0 [, [2; n] = 0 , n = 0] pero n impar y n=0 son excluyentes.
b) Por otro lado, R R2 es un R modulo Sean:
W1 = h(1; 0)j = f (1; 0) j 2 Rg
W2 = h(0; 1)j = f (0; 1) j 2 Rg
W3 = h(1; 1)j = f (1; 1) j 2 Rg
Entonces W2 y W3 son complementos de W1
W1 \ W2 = 0 y W1 \ W3 = 0
W1 + W2 = R y W 1 + W3 = R
P
En general, ([ 0; M ] ; ; \; ; 0; M ) no es distributiva. Sin embargo ten-
emos la propiedad modular:
Teorema 3 Si A; B; C son submdulos de M con B A entonces
A \ (B + C) = B + (A \ C)
Demostracin. ( )
B A y B B + C ) B A \ (B + C)
y
A \ C A y A \ C B + C ) A \ C A \ (B + C)
) B + A \ C A \ (B + C)
( )
Si a = b + c con a 2 A; b 2 B; c 2 C
entonces a = b + c y c = a b 2 A + B = A
) b + c 2 B + (A \ C)
Denicin 12 M es suma directa de A y de B [A B = R M ] si

A+B =M
A \ B = f0g
1.3. Submdulos mximos

1. RN M es mximo si es mximo en [0; M )
2. RN M es mnimo si es mnimo en (0; M ]
Lema 2 i) RR tiene ideales izquierdos mximos.
ii) Todo I R est contenido en un ideal mximo.

Demostracin.
i) ([0; R) ; ) es un conjunto parciamente ordenado.
Si fIx gX es una cadena en [0; R) entonces [ fIx g R
[Pues 0 2 [ fIx g ; fIx gx2X es cerrado bajo + ya que fIx g es una cadena y
R ([ fIx g) [ fRIx g = [ fIx gx2X ]
[ fIx g R ya que 1 2 = [ fIx g : Del Lema de Zorn (ver pgina 13) se sigue
que R tiene ideales mximos.
ii) Si en lugar de considerar el COPO [0; R) ; consideramos ([I; R) ; ) donde

[I; R) = fJ j I J Rg. Usando esencialmente el mismo argumento
que en i), tenemos que [I; R) tiene mximo.
1.3. SUBMDULOS MXIMOS 11
Denicin 13 Sea A M: Decimos que B es un seudocomplemento

de A en M si B es mximo en fB M j A \ B = 0g
Lema 3 Si A M entonces A tiene un seudocomplemento en M

Demostracin. a = (fB M j A \ B = 0g; ) es un COPO no vaco
(Contiene a 0)
Si fBj gJ es una cadena en a, entonces [fBj gJ es una cadena en a. En-
tonces [fBj gJ M: Si 06= A \ ([fBj gJ ) entonces 9 0 6= x 2 A y x 2 Bj
pero x 2 A \ Bj = f0g r
Del Lema de Zorn se sigue la armacin.
Teorema 4 Si R M es nitamente generado entonces M tiene submdulos

mximos.
Demostracin. Supongamos que M = hfx1 ; :::; xn gj
Consideremos el COPO ([0; M ) ; )
Si fNj gJ es una cadena en [0; M ) entonces [ fNj gJ es un submdulo
J
propio de M; ya que si fx1 ; :::; xn g [ fNj gJ y x1 2 Nj1 ; x2 2 Nj2 ; ::;
J
xn 2 Njn entonces x1 ; x2 ; :::; xn 2 max fNj1 ; Nj2 ; ...; Njn g = Njm y por lo
tanto M = hfx1 ; :::; xn gj Njm M r
Ejemplo 9 Z Q no tiene submdulos mximos.

Demostracin. Si N Q fuera mximo y Q ! Q=N entonces
=
fN; Qg = [N; Q] = Z [ker ; Q] ! [0; Q=N ] (Teorema de la corresponden-
cia para grupos).
Entonces j[0; Q=N ]j = 2; de donde Q=N es un grupo abeliano con exacta-
mente dos submdulos (subgrupos) ) Q=N es nito de orden primo, entonces
Q=N = Zp ; entonces existe Q Zp por lo que Zp es divisible (como grupo)
pero Zp 6= f0g = pZp r
) N no es mximo en Q
a c (ad; bc)
Observacin 14 Z + Z = Z
b d bd
a (ad; bc)
Demostracin. 2Z , ad 2 Z(ad; bc) , (ad; bc) j ad
b bd
(ad; bc) a c (ad; bc) a c

Ahora 2 Z + Z , 9z; w 2 Z tal que = z +w ,
bd b d bd b d
(ad; bc) zad + wbc
9z; w 2 Z tal que = , (ad; bc) 2 Zad + Zbc
bd bd
3 8 (30; 64) 2(15; 32) 1
Ejemplo 10 Z + Z = Z =Z =Z
8 10 80 80 40
1 3 4 15z + 32w 15 15 + 32 ( 7) 225 224 45 28
= z+ w = = = =
40 8 5 40 40 40 40 8 5
a
Observacin 15 Todo subgrupo nitamente generado de Q es cclico: Z
b
a 1 a r
Z $Q: = z , 1 = 2za ) 1 es par
b 2b b
1.4. R -morsmos
Denicin 14 Sean R M y R N dos R-mdulos, entonces una funcin f :
M ! N es un morsmo de mdulos si 8a; b 2 R y 8x; y 2 M
f (ax + by) = af (x) + bf (y)
Ejemplos 11 1. Id :R M !R M es un morsmo de mdulos.
2. Si L; M; N son R-mdulos, y f : R L ! R M; y g : R M ! R N mors-

mos de mdulos, entonces g f es un morsmo de mdulos.
Demostracin. Sean x; y 2 M; r; s 2 R
1. Id(rx + sy) = rx + sy = rId(x) + sId(y)
2. f : R L ! R M; ) 8a; b 2 R y 8x; y 2 L;
f (ax + by) = af (x) + bf (y)
) g f (ax + by) = g(f (ax + by)) = g(af (x) + bf (y))
= g(af (x)) + g(bf (y)) = ag(f (x)) + bg(f (y)) = ag f (x) + bg f (y)
1.5. IDEALES, COCIENTES Y CAMBIO DE ANILLO 13
1.5. Ideales, cocientes y cambio de anillo

R
es un anilllo con
Sabemos que si I es un ideal bilateral de R; entonces
I
R
operaciones inducidas por las de R: El epimorsmo R convierte a todo
I
R
:mdulo en R-mdulo; r x = (r) x = r x: Recprocamente, si I anula
I
R
Un -mdulo es lo mismo que un R-mdulo anulado por I:
I
1.6. Lema de Zorn

Axioma 1 Un conjunto parcialmente ordenado tal que toda cadena est aco-
tada tiene un elemento mximo.
El Teorema anterior es equivalente al axioma de eleccin, y como tal se
puede tomar como un axioma de la Teora de conjuntos.
Debemos notar que si un conjunto S parcialmente ordenado cumple con
las hiptesis del Lema de Zorn, este conjunto debe ser distinto del conjunto
vaco, puesto que la cadena vaca (el conjunto vaco est totalmente ordenado)
debe tener una cota. Esta cota es un elemento de S.
Captulo 2
Categoras y Funtores
2.1. Categoras
Denicin 15 Una categora C consiste de lo siguiente:
1. Una clase C0 de objetos.
2. Para cada par de objetos A; B 2 Co , un conjunto C(A; B) de "mor-
smos"de A en B. [Un morsmo de A en B se denota mediante una
f
echa A ! B, al conjunto de echas en C lo denotamos C1 ]
3. Composiciones:
f g g f
Si A ! B y B ! C son morsmos, entonces hay un morsmo A ! C,
de tal manera que:
C (A; B) C(B; C) ! C(A; C):
(f; g) 7! g f es un morsmo.
4. Adems pedimos: (A; B) 6= (C; D) ) C(A; B) \ C(C; D) = ;, As que
f
si A ! B y A 6= B; entonces f 2
= C(B; A):
5. Sucientes identidades:
f g
8A 2 C0 9 1A 2 C1 (A; A) tal que si D ! A y A ! B; 1A f =f y
g 1A = g
6. Asociatividad:
f g h
Si A ! B, B ! C y C ! D son morsmos en C, entonces h (g f ) =
(h g) f:
14
2.1. CATEGORAS 15
Ejemplos 12 Algunos ejemplos son:
i) 0 : 00 = ;; 01 = ;
ii) 1 : 10 = f g; 11 = fId g
iii) Set : Cuya clase de objetos es la clase de los conjuntos y Set(A; B) es el

conjunto de todas las funciones de A en B; 1A es la funcin identidad
en A y la composicin usual.
iv) Grp : Sus objetos son los grupos y los morsmos son los homomorsmos
de grupos.
v) Top : La categora que tiene como objetos a los espacios topolgicos y

morsmos a las funciones continuas.
vi) Ab : La categora de grupos abelianos.
vii) F Vect: Con objetos espacios vectoriales y morsmos transformaciones

lineales.
viii) Sea (A; ) un conjunto parcialmente ordenado, es decir es una relacin

reexiva, simtrica y transitiva.
Podemos considerar (A; ) como una categora A si A0 = A y

88 9
> < !ba =
< a!b si a b
Hom(a; b) = : ;
>
: ; si a b
Es decir, si a b hay un nico morsmo de a en b: Si a b c)a c

entonces la composicin se dene como !ca :
a !a
Ntese que a ! a coincide con 1a
ix) Si X es un conjunto, podemos denir la categora discreta asociada a X

como la categora X tal que X0 = X y las nicas echas de X sean
1x 1x
x! x: i.e. X1 = fx ! x j x 2 Xg
x) Ring : La categora de anillos con uno.

16 CAPTULO 2. CATEGORAS Y FUNTORES
Denicin 16 Sea C una categora, y A; B 2 C1 :

f
1. A ! B 2 C1 (A; B)es un monomorsmo si f es cancelable por la izquierda,
es decir. f g = f h ) g = h.
f
2. A ! B 2 C1 (A; B) es un epimorsmo si es cancelable por la derecha.
g f = h f ) g = h.
f
3. A ! B 2 C1 (A; B) es un isomorsmo si 9g 2 C1 (B; A) tal que f g = 1B
y g f = 1A .
Proposicin 1 En Ring todo monomorsmo es inyectivo.

Demostracin. Sea f : R S no inyectivo.
Es decir f (a) = f (b) = s con a 6= b
P.d.: f no es monomorsmo. i.e. 9g 6= h tales que f g = f h
Consideremos eva : Z [x] ! R la funcin evaluacin

x 7! a
1 7 ! 1
f
Z ! R !S
& " ev a
Z [x]
(f (x) g (x)) (a) = f (a) g (a)
(f (x) + g (x)) (a) = f (a) + g (a)
As eva 6= evb pero f eva = evs = f evb
f
Ejemplo 13 En Ring Z ,! Q es epi pero no es suprayectiva:
g
!
Demostracin. Supongamos que g f = h f con Q !
T morsmos de
h
anillos.
a 1 1
Entonces 8z 2 Z; g (z) = h(z): Ahora, g =g a = g(a)g .
b b b
1 1 1
As 1 = g(1) = g b = g(b)g [y g g(b) = 1] por lo tanto,
b b b
1
g = g(b) 1 :
b
2.1. CATEGORAS 17
a 1 1 a
As que g = g(a)g(b) = h(a)h(b) =h : por lo tanto g = h:
b b
Nota 2 Z ,! Q es monomorsmo y epimorsmo pero no es un isomorsmo

de anillos:
'
Un morsmo de anillos R ! S enva un elemento invertible de R a un
elemento invertible de S:
1 = '(1) = '(r r 1 ) = '(r)'(r 1 ) y 1 = '(r 1 r) = '(r 1 )'(r), por lo
que ' (r 1 ) = '(r) 1 : As que si ' es un isomorsmo, entonces ' R es una
biyeccin entre el conjunto de elementos invertibles de R, al que denotamos
R y S el conjunto de elementos invertibles de S.
'
R ! S
" "
' R
R ! S
Por lo tanto Z Q ya que jZ j = jf1; 1gj = 2 6= jZj = jQ j
Denicin 17 Para toda categora C, la categora opuesta C op es la cat-

f
egora donde C0op = C 0 : y C op (A; B) = C(B; A): Es decir si B ! A es una
echa en C, entonces es una echa de A a B en C op : Para facilitar la no-
f f~
tacin: B ! A 2 C1 = A ! B 2 C1op : La composicin en C op la denimos
como sigue:
f~ g~ f g
A ! B ! C 2 C1op , A B C 2 C1 : g~ f~ = f]g
Denicin 18 I es un objeto inical de una categora C si para todo C 2

f
C0 , 9! I ! C 2 C(I; C)
Denicin 19 T es un objeto terminal de C si para todo C 2 C0 9!

f : C ! T 2 C1 (C; T ).
Ejemplo 14 En Set ,; es un objeto inicial.
Denicin 20 Un objeto cero es un objeto inicial y terminal.
Observacin 16 Dos objetos iniciales en una categora C son isomorfos.

1
Demostracin. Sean I; I dos objetos iniciales es claro que tanto I !I I
I
!I 0
como la composicin I ! I es el nico morsmo de I a I. Intercambiando
0
1 0 !I 0 !I 0
los papeles de I e I 0 tenemos que tambin I 0 !
I
I0 = I !
I I
I ! I: Luego !II
es un isomorsmo, cuyo inverso es !II 0 :
Ejercicio 2 Demuestre que Set no tiene objeto cero pero que Grup si lo
tiene.
Ejercicio 3 Demuestre que dos objetos terminales de una categora C son

isomorfos.
Ejercicio 4 Sean A y B dos objetos jos de una categora C: Muestre que

f g
hay una categora A" C " B cuyos objetos son A ! X B; f; g morsmos
f g h k
de C : Mientras que un morsmo u entre A ! X B yA!Y B es lo
u
mismo que X ! Y tal que
f g
A ! X B
&h #u .k
Y
conmuta.
(La composicin se dene como la de C ).
2.2. Funtores
Denicin 21 Sean C y D dos categoras. Un funtor F de C a D es
1. una "funcin"que asigna a cada objeto C 2 C0 un objeto F (C) 2 D0
2. Para cada morsmo f 2 C(C; C 0 ) un morsmo F(f ) 2 D(F(C); F(C 0 ))

tal que:
a) Preserva la composicin; i.e., F(f g) = F(f ) F(g):

b) Preserva el morsmo identidad, i,e. F(1C ) = 1F(C) para todo ob-
jeto C 2 C0 .
2.2. FUNTORES 19
T
Ejemplo 15 Set !F Vect
X ! F (x)
x 7 ! F (x)
# f 7 ! # f~
y 7 ! F (y)
donde F (x) es el espacio vectorial sobre F.

F (x) = ff : X ! F j f (x) = 0; para casi toda x 2 Xg
Denicin 22 La base cannica para F (x) es f x gx2X ; donde x :X!F

se dene como
1 si y = x
x (y) =
0 si y 6= x
Ejercicio 5 Demostrar que f x gx2X es una base para F (X)

f~
Para denir una funcin lineal F (x) ! F (y) basta denirla en una base de
T
F (x) : Es claro que Set !F Vect es un funtor: T (1x ) = 1T (x) y T (g h) =
T (g) T (h)
Ejemplos 16 Funtores que olvidan:
i)
L Vect ! Sets
V 7 ! V
T # 7 ! T #
W 7 ! W
se olvidade la estructura de espacio vectorial.

U
ii) Grp ! Set
U
iii) Top ! Set
Denicin 23 Sean Cy D categoras.

1. F :C ! D es un funtor covariante si para todo diagrama conmuta-

tivo en C:
f Ff
A ! B F
F (A) ! F (B)
g f # .g ! F(g f ) # .Fg
C F (C)
2. Decimos que F :C ! D es un funtor contravariante si
f Ff
A ! B F
F (A) F (B)
g f # .g ! F(g f ) " %Fg
C F (C)
3. Un funtor F :C ! D se llama el si para cualesquiera dos objetos

A; B 2 C, F :C (A; B) ! D (FA; FB) es inyectivo.
4. F se llama pleno si esta funcin es supreayectiva. F se llama repre-
sentativo si para cada D 2 D existe C 2 C tal que F C = D.
5. Un funtor F : A ! B es un isomorsmo de categoras [y lo deno-
F
tamos A=B] cuando existe un funtor (al revs) T : B ! A tal que
TF = 1A y FT = 1B son los funtores identidad en A y B respectiva-
mente.
2.3. Productos y coproductos

A
P !A
Denicin 24 Sean A; B objetos de C. Una pareja (P; B
P !B
) es un pro-
f
X !A
ducto si para cada familia g
X !B
de morsmos en C, existe un nico
h 2 C1 (X; P ) tal que
P
"
A
. p
& B
p
A p
h B
p
f - p
%g
X
2.4. MS EJERCICIOS 21
conmuta.
Ejemplo 17 En Set existe un nico h 2 Set1 (X; A B) que hace conmutar:
A B
(f (x);g(x))
"
A
. p
& B
p
Af (x) p
h g(x) B
p
f - p
%g
x
X
Denicin 25 Una pareja

A
A ! A q B;
(A q B; B
)
B !AqB
f
A !X;
es un coproducto si para toda familia B g!X existe un nico morsmo tal
que
AqB
A
% j -B
A j! B
f & # .g
X
conmuta.
2.4. Ms ejercicios
1. Muestre que un coproducto de A y B en C es lo mismo que un objeto
inicial en la categora A" C " B:
2. Sea C una categora, pruebe que:
a) Si es monomorsmo entonces es monomorsmo

b) Si son monomorsmos y Cod ( ) = Dom ( ) entonces es
monomorsmo
c) Si es epimorsmo entonces es epimorsmo
d) Si y son epimorsmos y Cod ( ) = Dom ( ) entonces es

epimorsmo
3. Sea f : X ! Y un morsmo en una categora C. Mostrar que son

equivalentes:
a) f es un epimorsmo
b) Para todo objeto Z, la funcin de conjuntos
f : C (Y; Z) ! C (X; Z)
h 7 ! h f
es inyectiva
c) f 2 C (X; Y ) = C op (Y; X) es un monomorsmo en C op
4. Si C es una categora tal que C0 es un conjunto, y tal que para cua-

lesquiera dos objetos X, Y de C existe a lo ms una echa X ! Y ,
entonces C0 es un conjunto preordenado.
5. Un grupo abeliano G se llama divisible si y slo si 8 n 2 N nG = G. Sea

G0 la categora de todos los grupos divisibles. Dar un ejemplo de un
monomorsmo en G0 que no sea inyectivo como funcin entre conjuntos
(Sugerencia: Considerar Q y Q=Z)
6. Demostrar que en la categora de conjuntos Set, dado un objeto A

en esta categora, tomar el conjunto potencia de A dene un funtor
covariante de Set en s mismo.
7. Sean C y D dos categoras F : C ! D un funtor el pleno y representa-

tivo (covariante). Mostrar que si 2 C1 es un monomorsmo entonces
F( ) es un monomorsmo en D
8. Mostrar que en las categoras Set y Top el coproducto es la unin

ajena.
9. Denir una categora K tal que K0 = N y en la que tambin el producto

de la familia fAi gni=1 con Ai 2 K0 ; es el mximo comn divisor de
A1 ; :::; An y el coproducto de fAi gni=1 es el mnimo comn mltiplo de
A1 ; :::; An . En esta categora determina los objetos inicial y nal.
2.5. LA CATEGORA R MOD 23
10. Describir el producto de categoras (pequeas) Ay B
pA B p
A A B ! B
11. Demostrar que dadas las categoras A, B, y C
C
AB C
= AB
12. Sea C una categora y f; g 2 C (A; B). La pareja (E; e), donde E 2 C0
y e 2 C1 (E; A) es un igualador de los morsmos f y g si:
(i) f e=g e
(ii) Si e0 : E 0 ! A satisface que f e0 = g e0 entonces existe un nico
morsmo : E 0 ! E tal que el siguiente diagrama conmuta:
e !
E !A !
B
9! - "e0
E
Es decir que e0 = e
Demuestre que si (E; e) es un igualador de f y g 2 C (A; B) entonces e

es un monomorsmo.
13. Demostrar que en la categora de grupos abelianos Ab, dados G; H

2 Ab0 y f 2 Ab (G; H), (ker f; i) es un igualador de f y el morsmo ^0
14. Sea A una categora pequea. Demostrar que el producto directo vaco
es un objeto terminal.
2.5. La categora R mod

Observacin 17 R mod es una categora cuyos objetos es la clase de los
mdulos izquierdos y los morsmos como los denimos arriba.
Teorema 5 Sea f : R M ! R N . Entonces

ker f = fx 2 M jf (x) = 0g RM
Im f = ff (x) jx 2 M g R N
Observacin 18 R mod tiene objeto cero
M ! h0i
h0i ! M
h0i ! h0i
Denicin 26 Sea f : A ! B un R morsmo, k : K ! A es un ncleo

de f si
i) f k = ~0B
K
k f
ii) K ! A ! B
9! - "g %~0
D
Denicin 27 Sea f : A ! B un R-morsmo, c : B ! C es un concleo

de f si
i) c f = ~0C
A
f c
ii) A ! B ! C
~
0 & #h .9!
D
Observacin 19 En R mod, los morsmos tienen concleo
Observacin 20 R mod (A; B) = M orR mod (A; B) = Hom (A; B) es un

grupo abeliano
Observacin 21 Un conucleo es un epimorsmo

f g
Denicin 28 Una sucesin A ! B ! C es exacta si f (A) = ker g
(Ntese que esto es equivalente a: g f = 0 y ker g imf )
f
Ejemplos 18 1) ker f ,! A ! B es exacta.
f
2) A ! B ! B=f (A) es exacta. Donde B ! B=f (A) denota el epimorsmo
natural.
2.5. LA CATEGORA R MOD 25
fi 1 fi
Denicin 29 ! Ai 1 ! Ai ! Ai+1 ! (i 2 Z) es exacta si
fi 1 fi
Ai 1 ! Ai ! Ai+1 es exacta para toda i:
f
Observacin 22 1: 0 ! A ! B es exacta , f es monomorsmo
f
2: A ! B ! 0 es exacta , f es epimorsmo
f g
3: 0 ! A ! B ! C ! 0 es exacta , f es mono, g es epi y f (A) = ker(g)
Observacin 23 ker (f ) = 0 , f es inyectiva.

Demostracin. =)) Si f (x = f (y) entonces x y 2 K erf(f ) = 0: Por
lo tanto x y = 0;es decir, x = y:
() Si f es inyectiva, entonces, como f (0) = 0; entonces 0 es el nico
elemento que va a dar a 0 bajo f;entonces Ker (f ) = 0:
Observacin 24 cok (f ) = 0 , f es suprayectiva.

B f
Demostracin. El concleo de A ! B es B (b 7! b + f (A)).
f (A)
B
Que sea el morsmo 0; es lo mismo que decir que = 0; es decir, que
f (A)
B = f (A) :
Denicin 30
f f g
1. 0 ! A ! B ! B ! C ! 0 se escinde (por la izquierda) si existe un
R-morsmo g : B ! A tal que g f = 1A :
f g
2. 0 ! A ! B ! C ! 0 se escinde (por la derecha) si existe un R-
morsmo h : C ! B tal que g h = 1B :
f g
3. 0 ! A ! B ! C ! 0 se escinde si se escinde por la izquierda y se
escinde por la derecha.
Denicin 31 F : R mod ! Ab es un funtor exacto izquierdo si

manda
una sucesin exacta
f g
0 !R A !R B !R C ! 0
en una sucesin exacta:

f g
0 !Z F(A) !Z F(B) !Z F(C)
f g
[F es exacto derecho si Z F(A) !Z F(B) !Z F(C) ! 0 resulta exacta].
Ejemplo 19 hom(M:_) : R mod ! Ab es un funtor exacto izquierdo
f g
0 ! A ! B ! C ! 0
# # #
f _ g _
0 ! hom (M; A) ! hom (M; B) ! hom (M; C)
DEMOSTRACIN
2.6. Productos y coproductos de familias de

mdulos
Supongamos que fMi gI es una familia de mdulos.
n o
i
Denicin 32 Decimos que una pareja R P; P ! Mi formada por
I
un R-mdulo P y por una familia de morsmos
n es un producto
o para fMi gI
fi
si para cualquier otra familia de morsmos N ! Mi ; existe un nico
I
u
morsmo N ! P tal que los tringulos
fi
N ! Mi
&u " i
P
conmutan (Es decir, i u = fi 8i 2 I: Adems, si w : N ! P es otro

morsmo tal que i w = fi ; entonces w = u):
Teorema 6 Una familia de R-mdulos tiene un producto en R mod.

Demostracin. Consideremos el producto cartesiano de la familia de
mdulos. Es decir, tomemos
P = ff : I ! [ fMi g j f (i) 2 Mi ; 8i 2 Ig ;
2.6. PRODUCTOS Y COPRODUCTOS DE FAMILIAS DE MDULOS27
tomemos
i
P ! Mi
:
f 7! f (i)
f (i) es la i-sima coordenada de f: Debemos empezar por notar que P es
un r mdulo y que cada i es un R morsmo: La suma de P se dene por
coordenadas, es decir que si f; g 2 P; (f + g) (i) := f (i) + g (i) : Es fcil ver
que P; +; ^0 es un grupo abeliano, si denotamos con ^0 la funcin tal que
^0 (i) = 0i 2 Mi ; 8i 2 I.
La multiplicacin R P ! P; se dene mediante (rf ) (i) := r (f (i)) ; si
r 2 R; f 2 P; i 2 I: Tambin es fcil ver que P; +; ^0; ; R es un R-mdulo.
Que las i son R morsmo se verica fcilmente: i (f + g) = (f + g) (i) =
f (i) + g (i) = i (f ) + i (g) : Adems, i (r f ) = (r f ) (i) = r (f (i)) = INCOMPLRTA
r i (f ) : n o
i
Ahora debemos ver que P; P ! Mi satisface la denicin de pro-
I
ducto. n o
fi
Para esto, supongamos que N ! Mi es una familia de R-morsmos.
I
Queremos demostrar la existencia de un nico morsmo u : N ! P tal que
( i u) = fi ; 8i 2 I.
Esta condicin determina la denicin de u, pues si x 2 N; debemos
tener que ( i u) (x) = fi (x) ; as que la i-sima coordenada de u (x) debe
u(x)
ser fi (x) : Entonces u (x) 2 P; debe ser la funcin I ! [ fMi gI tal que
u (x) (i) = fi (x) : Denamos entonces u : N ! P; por medio de u (x) (i) :=
fi (x) :
Ahora debemos comprobar que esa denicin es buena (es decir u es un
R mor'smo, que tiene la propiedad de hacer conmutar los tringulos de la
denicin de producto, La unicidad de u es una consecuencia del argumento
previo.
u es aditiva:
(u (x + y)) (i) = fi (x + y) = fi (x)+fi (x) = u (x) (i)+u (y) (i) = (u (x) + u (y)) (i) ; 8i:
Por lo tanto, u (x + y) = u (x) + u (y) :

u conmuta con multiplicar por elementos de R :
(u (r x)) (i) = fi (r x) = r (fi (x)) = r ((u (x)) (i)) = (r (u (x))) (i) ; 8i 2 I:

Por lo tanto, u (r x) =r (u (x)) :

i es un R-morsmo:
i (f + g) = (f + g) (i) = f (i) + g (i) = i (f ) + i (g) ;

i (r f ) = (r f ) (i) = r (f (i)) = r ( i (f )) :
Notemos que para denir un morsmo hacia un producto, basta denir

morsmos hacia los factores. Note tambin que para demostrar que dos mor-
smos que entran en un producto son el mismo, basta demostrar que sus
respectivas composiciones con las proyecciones son iguales.
Lema 4 El producto es nico, excepto por isomorsmos.

n o n o
i pi
Demostracin. Supongamos que P; P ! Mi , y Q; Q ! Mi
Ii Ii
son dos productos para la familia de mdulos fMi gI :
Consideremos
i
P ! Mi
"pi ;
Q
n o
i
como Q es un producto, la familia P ! Mi induce un morsmo u :
P ! Q nico con la propiedad de que pi u = i : Intercambiando los
papeles, existe un morsmo w : Q ! P nico con la propiedad de que
i w = pi :
Entonces pi u = i as que componiendo con w tenemos que pi u w =
i w = pi ; entonces pi (u w) = pi = pi 1Q : Entonces u w = 1q dado
que coinciden compuestos con pi ; 8i. Intercambiando los papeles, tenemos
que w u = 1p : Luego P y Q son isomorfos.
En vista de lo anterior, denotaremos por fMi gI al producto de fMi gI :
Como caso particular consideremos fMi gI con Mi = M; para cada
i 2 I. Siobservamos la construccin dada del producto, tenemos que fMi gI
= ff : I ! [ fMi gI g = ff : I ! M g = M I ;el conjunto de las funciones
de I a M:
Como otro caso particular, consideremos fMi gI con Mi = R; para cada
i: Entonces el producto es RI :
2.7. MDULOS SIMPLES 29
2.6.1. Coproductos
Demostracin. FALTA
2.7. Mdulos Simples

Denicin 33 RS es simple si [h0j ; S] = fh0j ; Sg6=
Lema 5 RS es simple , R S = Rx; 8x 6= 0; x 2R S:

Demostracin. =)) Si R S es simple, y x 6= 0; entonces Rx es un sub-
mdulo de R S; como Rx 6= 0;tenemos que Rx = S:
() 8x 6= 0; S = Rx. Si 0 6=R K S; entonces 9x 2 K; x 6= 0: Por lo
tanto S = Rx K S:
Denicin 34 RA es semisimple cada B A es un sumando directo de

A
Notacin 5 que B sea sumando directo de A lo denotaremos B A
Teorema 7 Son equivalentes para R A:
i) A es semisimple
ii) Todo cociente de A es isomorfo a un sumando directo de A

P
iii) A = fR S j S A; S simpleg
L
iv) A = fSi gi2I
Demostracin. i) ) ii)
0 ! K ,! A A=K ! 0
Por hiptesis se escinde, entonces se escinde ) A = K A=K

ii) ) iii) Primero veamos que A tiene un submdulo simple.
Sea 0 6= x 2 A
0 ! Rx ,! A A=Rx ! 0
Entonces Rx es sumando directo de A y 9A Rx y Rx tiene un cociente

simple R S. Por lo tanto existe : A Rx S. Como se escinde entonces
S es isomorfoPa un sumando de A:
Sea T = fSi j Si A; Si simpleg
P.D.: T = A
Si T A entonces 0 ! T ,! A ! A=T ! 0 se escinde
) A = T U con U = M=T . Bastara ver que si h0j 6= U tiene un
submdulo simple. Sea u 2 U
,! !
Ru L99 A L99 A=U ! 0
epi # %
0
R S
p
A Ru
0
Si h -# con q (ph) = IdS 0 entonces S es un sumando directo de
S0
Ru , es decir, es un simple contenido en U ) S 0 T y S U ) 0 6= S 0
T \ U = h0j r
Observacin 25 RS simple, entonces S = R=R I donde R I es un ideal m-

ximo de R .
_s
Demostracin. Sea R ! S con 0 6= s 2 S; h0j 6= Rs S, entonces
_:s
Rs = S ) R S.
=
ker (_ s) = (0 : s) y [(0 : s); R] ! [h0j ; R] lo que dice que (0 : s) es
mximo en R.
Captulo 3
Mdulos proyectivos y mdulos

inyectivos
3.1. Mdulos inyectivos y proyectivos
3.2. Mdulos proyectivos

Denicin 35 RM es proyectivo si hom(M; _) es es un funtor exacto.
Observacin 26 RM es proyectivo , 8u : M ! C; 9v : M ! B tal que
M
v
. #u
B ! C !0
conmuta.
Observacin 27 Son equivalentes para R M
i) M es proyectivo
ii) 0 ! A ! B ! P ! 0 se escinde.
Teorema 8 Sea fR Pi gI una familia de R-mdulos izquierdos.

`
fPi g es proyectivo , Pi es proyectivo 8 i 2 I
I
31
32CAPTULO 3. MDULOS PROYECTIVOS Y MDULOS INYECTIVOS
`
Demostracin. ())Sea f : fPi g ! C
I
B ! C ! 0
" g - "`f
Pi ,! fPi g
I
` `
como fPi g es proyectivo, existe g : fPi g ! B tal que g = f . Si
I ` I
consideramos las inclusiones i : Pi ! fPi g, entonces f i = g ) Pi
I
es proyectivo para toda i 2 I
(() Sea
B ! C ! 0
"u
i `
Pi ,! fPi g
I
Como Pi es proyectivo, existe vi : Pi ! B tal que vi = u i

`
La familia fvi g i 2 I induce : fPi g ! B tal que i = vi
I
Ahora u i = vi = i 8i 2 I ) =u
`
) fPi g es proyectivo
I
` L
Lema 6 fPi g = f i (Pi )g
I
Corolario 1 RP es proyectivo , P es sumando directo de F libre
Observacin 28 Si R es campo, todo R M es proyectivo
(X)
Observacin 29 Si R = Z y H ZZ ) H es libre
Lema 7 Todo mdulo es cociente de un libre
Demostracin. Sea X ,! M , x 2 X
gen
(X) f
R ! M
x 7 ! x
)M f R(X) ) M = f R(X)
3.3. MDULOS INYECTIVOS 33
3.3. Mdulos inyectivos

Lema 8 8 R M; hom (_; M ) : R mod ! Ab es un funtor contravariante.
Denicin 36 RE es inyectivo si hom(_; E) es exacto.
Observacin 30 RE es inyectivo , 8g : A ! E; 9k : B ! E tal que
0 !A !B
g # .k
E
conmuta.
Q 9 Sea fR Ei gI una familia de R-mdulos izquierdos.

Lema
fEi g es inyectivo , Ei es inyectivo 8i 2 I
I
Demostracin. (() Sea

0 !A ! B
#f # fj
Q pj
fEi g ! Ej
I
Dado que EjQes inyectivo, 9fj tal que fj = pj f: La familia ffj gj2I
induce ' : B ! fEj g tal que pj ' = fj : As
A ! B
f# .' # fj
Q pj
fEj g ! Ej
I
conmuta
Ahora pj ' = fj = pj f 8j 2 I )' =f
())
0 ! A ! B
f# #
j Q
Ej ! fEj g
L99 I
Q
9 :B! fEj g tal que = j f
I Q
Ahora 9 j : fEj g ! Ej tal que j j = 1Ej :
I
Entonces j = j j f =f
Corolario 2 Sea A un sumando directo de R E; R E inyectivo, entonces A es

inyectivo.
Demostracin. E = A B=A B
Teorema 9 Lema de Baer. Son equivalentes:
i) RE es inyectivo
ii) 8 f : I ! E; I ideal de R, 9f : R ! E tal que
I ,! R
f # .f conmuta.
E
iii) 8 f : I ! E; I ideal de R, existe y 2 E tal que f (b) = yb para todo

b2I
Demostracin.
i) ) ii) Claro
ii) ) iii) Dado f : I ! E, tomamos f : R ! E dado por ii), denimos

y = f (1) 2 E. Entonces 8 b 2 I, f (b) = f (1 b) = f (1 b) = f (1) b =
yb ) f (b) = yb
iii) ) ii) Dado f : I ! E. Denimos f : R ! E como f = y _. Si b 2 I,

f (b) = yb = f (b)
iii) ) i) Sea R N R M y ' : N ! E. Queremos probar que hay g : M ! E

que extiende a '. Sea (V; g) la extensin mxima de ' en M :
N V M, g N= '
Si M = V X
Si M 6= V , tomamos x 2 M r V y consideramos a R como R-mdulo.
Denimos: Lx : R ! M
Lx (r) = xr
3.3. MDULOS INYECTIVOS 35
La imagen inversa de V , Lx 1 (V ) = x 1 V = fr 2 Rjxr 2 V g es un subm-

dulo de R R.
As Lx 1 (V ) R. Llamemos I = Lx 1 (V ) = x 1 V R.
ideal ideal
Denimos f : I ! E como f (b) = g (xb) ) f = g Lx y Lx (I) = xI V

entonces f es un R morsmo. Por iii) existe y 2 E tal que f (b) =
yb 8 b 2 I.
Extendamos g : M ! E a g~ : (V + xR) ! E
g~ (v + rx) = g (v) + yr
g~ est bien denida:
Sean v + xr = v 0 + xr0 entonces v v 0 = x (r0 r) 2 V i.e. r0 r2I )

Lx (r0 r) 2 V .
Como f = g Lx entonces g (v v 0 ) = g (x (r0 r)) = g (Lx (r0 r)) =

f (r0 r) = y (r0 r)
) g (v) + yr = g (v 0 ) + yr0 ) g~ (v + xr) = g~ (v 0 + xr) ) g~ est bien denida
Ahora g~ V = g y V < V + xR r
pues (V; g) era mxima ) V = M y
g : M ! E extiende a '
) E es inyectivo
Corolario 3 Z E es inyectivo , E es divisible.
Lema 10 hom(RR ; Q=Z) es inyectivo

(rf )(x) = f (xr)
Demostracin. (Lema de Baer)
RI ,! R
f#
R hom(R; Q=Z)
donde f (i) = _ q
f (i)(1) 2 Q=Z ) I ! Q=Z es un Z morsmo

i 7 ! f (i)(1)
i + j 7 ! (f (i + j)) (1) = (f (i) + f (j)) (1) = f (i)(1) + f (j)(1)
Entonces
i I ,! R
# # .g
f (i)(1) Q=Z
con g Z morf ismo y g(i) = f (i)(1)8i 2 I
I ,! R 1
_g
Veamos que f & # # conmuta
hom(R; Q=Z) g
Desde luego _ g es un R morf ismo:

Veamos que hace conmutativo el diagrama anterior:
P.d.: f (i) = (i) = (i 1) = i (1) = ig
Y esto sucede pues ambos morsmos coinciden en 1:
f (i)(1) = g(i) por
(ig)(1) = g(1 i) = g(i)
As tenemos que hom(R; Q=Z) es un R mdulo izquierdo inyectivo.
3.4. Cogeneradores
Denicin 37 RE es un cogenerador para R mod si 8 R M; 9X tal que
M EX
Teorema 10 Son equivalentes para R E inyectivo:
i) E es un cogenerador para R mod
ii) homR (M; E) 6= h0j 8 M 6= 0
f
Si h0j =
6 M E X entonces existe x 2 X tal que
3.4. COGENERADORES 37
f
M EX
6=^
0 & # px
E
Ya que si f seguido de cada proyeccin fuera ^0; entonces f sera ^0:
) hom (M; E) 6= h0j
ii) ) i)
Suponemos homR (M; E) 6= h0j 8 M 6= 0
Sea R N , 8 0 6= x 2 N; hom (Rx; N ) 6= h0j ) 90 6= fx : Rx ! N
As que tenemos
Rx ,! N
f 6= ^0 # .fx
E
y 0 6= fx (x) 2 E
fx
La familia N ! E induce ' tal que
'
N ! EX
=
fx & # px
E
y ker ' = f0g pues si 0 6= a 2 N \ ker ' entonces ' (a) = 0: En particular
0 = pa ' (a) = fa (a) 6= 0 r
'
)N EX
Lema 11 Q=Z es un cogenerador inyectivo en Z mod. i.e., 8Z M 6= 0; 9

'6=0
M ! Q=Z
Demostracin. Q=Z es divisible por ser cociente de un divisible ) Q=Z
es un Z mdulo inyectivo
Sea 0 6= x 2 M un Z mdulo
( y sea 0 6= m 2 M
Z Z Zn si n 6= 0
Zm = = = Z
(0; m) nZ = Z si n = 0
0Z
Si Zm = Z entonces
1
_ 2
Z ,! Q ! Q=Z
1 7! 21 !
7 1
2
es un morsmo distinto de cero

As:
Zm = Z 7 ! Q=Z
1
m 7! 1 7! 2
Si Zm = Zn :
Zn 7 ! Q=Z
1
1 7! n
fm 6=0
En cualquier caso 9 Zm ! Q=Z tal que
M
% &'m
Zm ! Q=Z
fm 6=^
0
Lema 12 Cualquier grupo ZM se puede sumergir en Q=ZX para algn con-

junto X
Demostracin. Sea M 6= 0
Sea ff : M ! Q=Z j f 6= 0; f un Z morsmog
fx
80 6= x 2 M; 9M ! Q=Z tal que fx (x) 6= 0 (Como en el lema previo)
Sea ffx : M ! Q=Zgx2M rf0g : Consideremos
'
M ! Q=Zffx :M !Q=Zgx2M rf0g
&fx # 'x
Q=Z
'(m) = (fx (m))x6=0
'(m)(x) = 1x
Si 0 6= x 2 M; entonces '(x)(x) = fx (x) 6= 0 ) x 2
= ker ':
Corolario 4 Todo R M se sumerge en un grupo abeliano divisible

Demostracin. Como Q=Z es divisible y es un cogenerador, dado M 6=
h0j, 9X tal que
M (Q=Z)X
(Q=Z)X es divisible por que producto de inyectivos es inyectivo
3.5. SUBMDULOS ESENCIALES 39
Observacin 31 hom(S MR ;S N ) es un R-mdulo izquierdo (s(mr) = (sm)r).

::
Demostracin. (rf )(x) = f (xr)
(1f )(x) = f (x1) = f (x)
((tr)f )(x) = f (x(tr)) = f ((xt)r) = rf (xt) = (t(rf ))(x)
((r1 + r2 )f )(x) = f (x(r1 + r2 )) = f (xr1 + xr2 ) = f (xr1 ) + f (xr2 ) =
(r1 f + r2 f )(x)
(r(f1 + f2 ))(x) = (f1 + f2 )(xr) = f1 (xr) + f2 (xr)
Corolario 5 Si Z D es divisible y Z MR [Todo MR es un grupo abeliano y como

tal es un Z-mdulo], entonces homZ (Z MR ;Z D) es un R mdulo izquierdo
inyectivo
3.5. Submdulos esenciales

Denicin 38 A es esencial en B [R A es R B] si 0 6= A\C; 80 6= C B.
Lema 13 A es B , 80 6= b 2 B 9r 2 R tal que 0 6= rb 2 A

f
Denicin 39 A B monomorsmo es esencial si f (A) es B
es
f g
Observacin 32 i) A B yB C ) g f es esencial
es es
g f
ii) A C ) f es esencial y g es esencial
es
Demostracin. i) P.d.: (g f ) (A) es C

Si 0 6= x 2 C entonces 9r 2 R tal que 0 6= rx 2 g (B) ) 0 6= rx = g (b)
para alguna b 2 B
Adems 9s 2 R tal que 0 6= sb = f (a), a 2 A: ) srx = g (sb))g (f (a)) 6=
0 pues f y g son monomorsmos. ) g f es esencial
ii) Sea 0 6= x 2 C entonces 9r 2 R tal que 0 6= rx 2 g f (A), i.e.:
rx = g (f (a)) 2 g (B) para alguna a 2 A ) g es esencial
g (f (a)) 2 g (B) : si 0 6= b 2 B tal que b = f (a) entonces 9s 2 R tal que
0 6= g (rb) = g (f (a)). Como g es mono rb = f (a) 6= 0 ) f es esencial.
Observacin 33 Si B es un seudocomplemento de A en M Entonces
i) B es esencialmente cerrado en M [i.e. B es B0 M ) B = B0]

ii) A B es M
Demostracin. (i) B es B 0 M
B 0 \ (A B) = (B 0 \ A) B Por la propiedad modular
P.D.: B 0 \ A = 0
Si B0 \ A 6= 0; entonces 0 = B \ A = B \ (B 0 \ A) 6= 0 r pues B es
mximo
) B0 \ A = 0 ) B = B0
(ii) A B es M: En caso contrario, existe 0 6= x 2 M tal que (A B) \
Rx = 0
(A B) Rx M: A (B Rx) M r pues B es mximo.
Teorema 11 Si A RM entonces A tiene seudocomplemento

Demostracin. Sea S = fR N M jA \ N = h0jg
Si C = fNi gi2I es una cadena
S en S
[C M ) A \ ([C) = (A \ Ni ) = h0j pues A \ Ni = h0j 8i 2 I
I
Por el lema de Zorn hay un elemento mximo en S, es decir, el seudo-
complemento de A
Lema 14 A es M , A es el seudocomplemento de algn submdulo B de

M:
Demostracin. (() Supongamos que A es el seudocomplemento de B,
es decir que A es mximo con la propiedad de que A \ B = 0
Si A es C entonces A \ (B \ C) = 0
Como A es C y B \C C; entonces B \C = 0, pero como A es mximo
tal que A \ B = 0; entonces A = C.
Esto muestra que A es esencialmente cerrado.
(() Supongamos que A es esencialmente cerrado y sea B un seudocom-
plemento de A (A \ B = 0).
Sea C mximo tal que C \ B = 0 y A C (es decir C es un seudocom-
plemento de B que contiene a A)
Entonces C es esencialmente cerrado, y basta que usemos que A es C
para que A = C y A sea un seudocomplemento.
B es seudocomplemento de A
C es seudocomplemento de B
Si A no fuera esencial en C, 90 6= x 2 C tal que Rx \ A = 0
) (A Rx) C ) (A Rx) \ B C \ B = 0
3.5. SUBMDULOS ESENCIALES 41
En particular Rx \ B = 0 ) B Rx A
Veamos que A \ (Rx B) = 0
Si a = rx + b 2 C \ B = 0 ) b = 0 ) rx 2 A \ Rx = 0 ) A = 0
Entonces A \ (Rx B) = 0 pero esto contradice la eleccin de B
) A es C y como A es esencialmente cerrado entonces A = C
Hemos visto que los submdulos esencialmente cerrados son los seudo-
complementos de submdulos de M
Proposicin 2 Si A es esencialmente cerrado en un inyectivo E, entonces

A es sumando directo de E
Demostracin. Sea K un seudocomplemento de A en R E inyectivo.

A K es E.
es
Adems A E=K
A K B (A K) \ B
Pues de lo contrario 90 6= B=K tal que \ = = h0j
K K K
Entonces K = (A K) \ B = (A \ B) K ) A \ B = h0j con K B.
es
Como K es mximo con la propiedad, entonces B = K, es decir A E=K
Ahora, existe pues E es inyectivo, es mono pues ' es esencial.
es
A E=K
'
# .
E
Ahora
es
A E=K
'
j# .
(E=K)
#
E
0 6= x 2 (E=K) ) x = (e) ) rx = (re) = ' (a) = a para alguna

a 2 A. Como A es esencialmente cerrado, entonces j = IdA ) es una
escisin para '. Pero como ' es esencial entonces ' es isomorsmo.
Como A K es E.) A = E=K ) 8 e 2 A; e = a para alguna a 2 A )
e a 2 K, as e 2 A K ) E = A K
Teorema 12 Todo submdulo se sumerge esencialmente en un submdulo

esencialmente cerrado
Demostracin. Si R M ,!R I con I inyectivo

Sea a = fN I j M es N g, ordenamos a a con
S
Si fNx gX es una cadena en a entonces fNx g I y adems es una
X
extensin esencial de M
es
Por el Lema de Zorn, a tiene mximos. As que 9R E tal que M ,! E ,! I
y E ya no tiene extensiones esenciales en I:
Se dice que E es esencialmente cerrado en I. Note que hasta aqu la
inyectividad de I no ha jugado ningn papel, por lo que se puede hablar
de extensiones esenciales mximas, o bien: Todo submdulo est contenido
esencialmente en un submdulo esencialmente cerrado.
Lema 15 Sea M E; E inyectivo. Son equivalentes: ****
i) M es esencialmente cerrado
ii) M es sumando directo de E
Demostracin. (i) ) (ii) Es claro pues E = M N entonces M es

seudocomplemento de N
(ii) ) (i) Supongamos que M es seudocomplemento de N , es decir que
M es mximo tal que N M E:
Es claro que N M es E (Si no, 90 6= x 2 E tal que Rx \ (N M )) = 0
por lo que N \ (M + Rx) = 0 r )
N M E
Entonces es
N N
Teorema 13 Todo RM se sumerge esencialmente en un mdulo inyectivo

E(M )
Demostracin. Sea M R I; monomorsmo con I inyectivo.

Sea E una extrensin esencial mxima de M en I. Entonces E es esen-
cialmente cerrado en I
) E es sumando directo de I ) E es inyectivo.
As M ,!es E; E inyectivo
3.6. LA CPSULA INYECTIVA 43
3.6. La Cpsula Inyectiva

Denicin 40 Si E es una extensin esencial de M y E es inyectivo, en-
tonces E se llama cpsula inyectiva de M .
Teorema 14 Dos cpsulas inyectivas son isomorfas. De hecho si

f
A ! E
&g
I
son cpsulas inyectivas [g y f epimorsmos]

Demostracin. Como I es inyectivo y f es esencial, existe un monomor-
smo tal que f = g. Como E es inyectivo entonces se escinde, y as
I = (E) ker .
f
A ! E
g# .%
I
pero g (A) = f (A) es I, y
(f (A)) (E)
inc " # inc
g (A) ,! I
es
entonces (E) es esencial en I ) ker = h0j ) es iso y = 1
f
Teorema 15 Si A E con E inyectvo, entonces E contiene una cpsula
inyectiva.
Demostracin. f (A) es B e:c E Entonces B es sumando directo de
E y por lo tanto B es inyectivo.
f B
Por otro lado A B
es
Observacin 34 Todo mdulo est contenido en una cpsula inyectiva

f
Demostracin. Sea A E, con E inyectivo. Sea X una copia de E r
g
f (A) ; X E r f (A).
Denimos ' : A[X ! E iso y sea : E ! A[X la inversa de '. A A [X

le damos estructura de R-mdulo copindola de la de E:
u + v = ( 1 (u) + 1 (v))
ru = (r 1 (u))
Con esta denicin A[X es un R-mdulo izquierdo y es un isomorsmo.
Ahora A A [ X
f
Teorema 16 Son equivalentes para A E
i) E es una cpsula inyectiva [f es esencial y E es inyectivo]

f
ii) A E es extensin inyectiva mxima.
f
iii) A E es extensin esencial mxima.
Demostracin.
f
i) ) ii) Sea A es E; E inyectivo
g g B
Sea A R I con I inyectivo. Si g (I) es B ec I entonces A B, es una
cpsula inyectiva y B = E
f
A E
g B# = . #
B ,! I
f
ii) ) iii) Suponemos A RE extensin inyectiva mnima.
g
Sea A es U . Entonces
g
A es U
f#.
E
existe por que f es inyectiva y es mono por que g es esencial.
Existe mono tal que f = g i porque f es extensin inyectiva mnima.

se escinde porque E es inyectivo. ) E (U ) = (E) K.
Ahora U es E (U ). Como g esencial, entonces g (A) ,!es E (U )
) (E) - g (A) = f (A) es E (U ) pues g (A) E
) (E) es E (U ) ) K = 0 ) E (U ) = (E) ) es isomorsmo.

f
iii) ) i) Si A E es extensin esencial mxima, sea
f
A E
#es %9
E (A)
9 tal que l = f , por hiptesis. Como f es esencial, entonces
(A) es E
- %
(E)
) (E) es E) es esencial.
Como E (A) es inyectivo, entonces E = (E (A)) U . Pero como (E (A))

es esencial, entonces U = 0 ) E = (E (A)) ) es isomorsmo.
Ejemplo 20 Z ,! Q es un cpsula inyectiva.
3.6.1. Mdulos Divisibles

Lema 16 Si fDi gI es una familia de grupos divisibles, entonces fDi g es
divisible y fDi g es divisible.
Demostracin. Sea x = d +1 + d k con d i 2 D i .
Sea n 2 N r f0g, como nD i
= D i entonces d i = ne i con e i
2 D i.
Lk
Entonces x = n (e i + + e k ) 2 n fD i g n ( fD g)
i=1
As fD g 2I n ( fD g) fD g
Del mismo modo n ( fD g) = fnD g = fD g
P
Lema 17 8Z M; fD j D M; D divisibleg M
Demostracin. q fDi j Di M; D es divisibleg es divisible.
Si f : I ! [ fDi g con soporte nito sop(f ) < 1 y n > 0, entonces
f (i) 2 Di ) f (i) = ndi di 2 Di
Sea g : I ! [ fDi g
i 7! di
Entonces ng = f con g 2 q fDi j Di M; D es divisibleg
Ahora
q fDi gi2I
" i &'
Di ,! M
P P
' q fDi gi2I = ' (Di ) = fDi g
Observacin 35 8Z M;
P M contiene un mayor subgrupo divisible d(M ):
Note que d(M ) = fN M j N es divisibleg
Denicin 41 Si (G; +; 0) es abeliano, entonces

::
t (G) = fx 2 Gjo (x) < 1g G
tp (G) = fx 2 Gjo (x) = pm g

De hecho, t : Z mod ! Z mod es un subfuntor de la identidad IdZ mod .
Es decir t es un prerradical exacto izquierdo.
Lema 18 Si G es abeliano y 9n 2 N tal que nG = fog

Entonces G = tp1 (G) + + tpr (G) donde fpi g es el conjunto de los
distintos primos que dividen a n
P
Demostracin. tpi (G) \ tpj (G) = fog
j6=i
n
Por otro lado, si n = p1 1
Pr r y q i = , entonces mcd fq1 ; : : : ; qn g = 1
pi i
) 9z1; : : : ; zr tal es que 1 = z1 q1 + + zr qr
) 8g 2 G; g = z1 q1 g + + zr qr g 2 tp1 (G) + + tpr (G)
Lema 19 Z G es divisible , G no tiene mximos

Demostracin. ()) Un grupo es simple como Z mdulo cuando es

isomorfo a Zp
Si G divisible tuviera un mximo, entonces existira G ! Zp y Zp sera
divisble, pero pZp = h0j r
(() Si G no tiene mximos y nG G para alguna n 2 N r f0g,
Entonces h0j =
6 G=nG y n(G=nG) = h0j : con n = p1 1 Pr r :
n
Sea qi = i , entonces fq1 ; :::; qr g tiene como mximo comn divisor a 1.
pi
En vista del lema anterior 9 G tpi (G) y tpi (G) Zp
Lema 20 Si L es sumando directo de un divisble D, entonces L es divisible
Demostracin.
nZ ,! Z
f# #'
j
L ,! D
L99
' =j f
j = IdL
P.d.: j =f
j ' =j j f) j =f
Observacin 36 Q=Z es divisible

L
Lema 21 Q=Z = tp (Q=Z)
p2P
P
Demostracin. Es claro que la suma tp (Q=Z) es directa.
p2P
Si q 2 Q=Z, o (q) 2 N, entonces
q = tpi (Zq)
Z~ L tpk (Zq) tpi (Q=Z) tpk (Q=Z)
) Q=Z tp (Q=Z)
p2P
Observacin 37 tp (Q=Z) es divisble por ser sumando directo de un divisi-

ble.
L
Lema 22 Q=Z = tp (Q=Z) = Zp1
p2P
Demostracin. tp (Q=Z) es divisible.

a p a a a
Sea 2 tp (Q=Z), con (a; b) = 1 , 2Z,bjp a, = .
b b b p
a
Entonces o =p .
p
1 1 1 1 a 1
; 2 ; 3 ; : : : ; n ; : : : 2 tp (Q=Z), Adems =a
p p p p p p
1 1 1
) ; ; ;:::; ,! tp (Q=Z)
p p2 p3 gen
Si H es un subgrupo propio de Zp1 , entonces existe un m 2 N mnimo

tal que p1m 2
=H
1 1 1 1 1
m
2
= H ) m+1 2
= H pues m+1 2 H ) p 2H) 2 Hr
p p p pm+1 pm
1 1 1
as que si m
2
= H entonces m+1 ; m+2 ; ::: 2
=H
p p p
1 1 1 1
Esto hace que ; 2; 3;:::; m 1
2H
p p p p
1 1 1 1
) ; 2; 3;:::; m 1
H
p p p p
1
Si h 2 H r , entonces o (h) > pm 1
[pues si o (h) pm 1
)h=
pm 1
a r
con (a; p) = 1 y i m 1 ]:
pi
Sea s = o (h) > pm 1 ; s msin prdida de generalidad podemos consid-
erar s = m [en otro caso consideramos ps h]
a
h = m con (a; pm ) = 1 es decir 9 ; 2 Z tales que 1 = a + pm , as
p
a 1 pm 1 1
que H 3 h = m = m
= m = mr
p p p p
1 1 1 1
) ; 2; 3;:::; m 1
=H
p p p p
Y as los subgrupos de Zp1 son:
3.7. COGENERADORES Y GENERADORES PARA R-MOD 49
Zp1
..
.
1 1 1 1
; 2; 3;:::; m
p p p p
1 1 1 1
; 2; 3;:::; m 1
p p p p
..
.
1
p
h0i
Esto es, Z [h0j ; Zp1 ] es una cadena
Denicin 42 Un mdulo R M es uniforme si todos sus submdulos dis-

tintos de cero son esenciales
es
Ejemplo 21 Zp Zp1
f
1
1 7! p
f es esencial pues Zp1 es uniforme.

) Zp1 es la cpsula inyectiva de cualquiera de sus submdulos
1
Zp1 = E = E Zpk
pk
3.7. Cogeneradores y generadores para R-mod

Q
Teorema 17 fE (S)g es un cogenerador para R mod
S2 R simp
Q
Demostracin. E = fE (S)g es inyectivo pues es un producto de
inyectivos. Sea h0j =
6 R M , sea 0 6= x 2 M Entonces Rx ,! M y Rx tiene un
cociente simple T M (Todo mdulo nitamente generado tiene mximos)
1
Cosas que faltan: Lema del 5o , lema de la serpiente, denicin de hereditario y equiv-
alencias de ser hereditario
Rx ,! M
# # &'x 6=0
R simp 3 S = T ,! E (S) ,! E
As
M ! EM
'x & # px
E
Lema 23 R N es un cogenerador inyectivo para R mod si y solo s R con-

tiene una copia de E (S) para todo S 2 R simp
Demostracin. ())Sea 0 6= x 2 R M
Rx ,! R M
# #' & x
S ,! E (S) N
entonces existe tal que
M ! NM
x & # px
N
conmuta.
Sea x 2 ker ) x 2 ker x ) ker = f0g ) M NM
(()
E (S)
"
S N
Como es mono, S es E (S) y N es inyectivo, entonces se extiende a

un monomorsmo : E (S) N
Captulo 4
Mdulos semisimples y Zoc(_)
Sabemos que todo mdulo simple es isomorfo a R=R m con m R. Como

max
m R j m es mximo
max
es un conjunto, entonces hay un conjunto de simples R simp tal que

cualquier otro simple es isomorfo a un elemento de R simp. Por ejem-
plo, fZP gp2P es una familia de representantes de clases de isomorsmo en
Z mod :
Lema 24 Si R S es simple, entonces
i) RS es proyectivo
ii) RS es singular: El anulador de cada uno de sus elementos es esencial.
Demostracin. Se tiene R R S si R S es proyectivo, entonces R =

m S con R=m = S simple ) m es mximo.
Si R S no es proyectivo, entonces
_s
0 ! (o : S) ! R ! S ! 0
no se escinde ) (0 : S) es mximo.
Sea K un seudocomplemento de (0 : S) en R, como (0 : S) es mximo, si
K 6= 0, entonces (0 : S) K = R con K = S proyectivo r Entonces K = h0j
y (0 : S) 0 es R
51
52 CAPTULO 4. MDULOS SEMISIMPLES Y ZOC(_)
P
Denicin 43 zoc (M ) = fS : S M tal que S es simpleg
Proposicin 3 zoc(M ) = \ fN j N es Mg
Demostracin. ( ) Si S M es simple y K es M:
Entonces 0 6= S \ K 2 0 0 6= S \ K 2 S: Entonces S = S \ K K.
Luego tenemos que cualquier simple est contenido en en cualquier esencial.
( ) Llamemos T a la interseccin de los submdulos esenciales de M .
Quisiramos demostrar que es semisimple.
Sea K T y sea L un seudocomplemento de K en M; entonces K L es
M as que K T K L; ahora K ,! T ,! K L se escinde ) K ,! T
se escinde ) K T:
f
Es claro que si S M es simple y M ! N entonces f (S) = 0 o bien
f (S) = S. De lo contrario
P tenemos que P
f (Zoc (M )) = f ( f S : S M es simpleg) = ff (S) : S M; S es simpleg
Zoc (N ) :
Observacin 38 zoc es subfuntor de IdR mod
Observacin 39 zoc es exacto izquierdo
Teorema 18 Son equivalentes:
i) RR es semisimple
ii) R = S1 Sn
iii) Todo R M es semisimple.
Lema 25 (de Bauer) Si RS es simple, entonces D := homR (S; S) es un

anillo con divisin
L Q
Lema 26 hom f R M g ;R N = hom (Ma ; N )
2I 2I
Q Q
Lema 27 Dualmente: hom M; fN g = hom (M; N )
2I 2I
Observacin 40 Si R, S son anillos semisimples, entonces R S es un

anillo semisimple
53
Teorema 19 Son equivalentes

L
i) RR es semisimple [R R = Si ]
i2I
ii) Todo R M es semisimple
iii) Todo R M es inyectivo
iv) Todo R M es proyectivo
v) R = Mn1 (D) Mnr (Dr ) donde Di = hom (Si ; Si )
4.0.1. Ms ejercicios
1. Sea A un ideal bilateral de un anillo R. Demuestre que A es un ideal
derecho mximo si y solo s A es un ideal izquierdo mximo.
2. Sea M un R-mdulo izquierdo, 0 6= x 2 M y = fR A M jx2

= Ag.
Demuestre que:
a) es no vaco ya que tiene un elemento mximo (con respecto a

la inclusin).
b) Si R = K es un campo, entonces todo elemento mximo de es un
submdulo mximo de M
3. Exhibir en el conjunto = fA j Z A ZQ y 1 2
= Ag un elemento mx-
imo en B y un submdulo Z C tales que B C Q.
4. Sea V = K V un espacio vectorial, sea X un subconjunto libre V y sea

Y un conjunto generador de V con X Y . Demuestre que existe una
base Z de V con X Z Y .
5. Sea X un conjunto nito, X = fx1 ; : : : ; xn g y sea R = RX [el conjunto

de las funciones X ! R]. Demuestre lo siguiente:
a) R es un anillo conmutativo bajo las operaciones siguientes:

(f + g) (xi ) = f (xi ) + g (xi )

(f g) (xi ) = f (xi ) g (xi )
b) R es un anillo de ideales principales

c) Todo ideal es una interseccin de ideales mximos y la interseccin
de todos los ideales mximos es 0
d) Cada ideal es un sumando directo.
e) R es una suma directa de ideales simples.
6. Se dice que un anillo R es regular (de Von Neumann) si 8 r 2 R; 9 x 2

R tal que r = rxr: Demuestre que son equivalentes:
a) R es regular
b) Todo ideal izquierdo cclico de R es un sumando directo de R R
c) Todo ideal derecho cclico de R es un sumando directo de R R
d) Todo ideal izquierdo nitamente generado de R es un sumando di-
recto de R R
e) Todo ideal derecho nitamente generado de R es un sumando directo
de R R
7. Sea R A, R L 2 R mod; R : A ! L un R-morsmo B A; C A,

M LyN L
a) Demuestre que las siguientes armaciones son equivalentes:

1) (B \ C) = (B) \ (C)
2) (B + ker ( )) \ (C + ker ( )) = B \ C + ker ( )
3) (B \ ker ( )) + (C \ ker ( )) = (B + C) \ ker ( )
b) Demuestre que las siguientes armaciones son equivalentes:
1
1) (M + N ) = 1 (M ) \ (N )
2) (M \ Im ( )) + (N \ Im ( )) = (M + N ) \ Im ( )
3) (M + Im ( )) \ (N + Im ( )) = M \ N + Im ( )
55
8. Sea ' : M ! N un R-morsmo, y sean A M; V N . Demuestre

que:
1 1
a) ' (' (A) + V ) = A + ' (V )
1
b) ' (' (V ) \ A) = V \ ' (A)
9. Determine los siguientes grupos:
a) homZ (Q; Z)
b) homZ (Q=Z; Z)
c) homZ (Q; Q)
d) homZ (Z=nZ; Q)
10. Demuestre que para todo R M , homR (R; M ) = M como R-mdulos.
11. Para cualquier espacio vectorial F V su anillo de endomorsmos
EndF (V ) = homF (V; V )
es regular.
f g
12. Sea R un anillo y sea M 0 ! M ! M 00 una sucesin de R-mdulos
y R-morsmos. Probar que la sucesin es exacta si y solo si existe un
diagrama conmutativo:
0 0
& %
N
% &
f g
M0 ! M ! M 00
& %
K
% &
0 0
en el que todas las sucesiones diagonales son exactas.

13. Supongamos que
f g
A !B !C
# # #
A0 !
0
B 0
!
0
C 0
f g
es un diagrama conmutativo con renglones exactos.
a) Si , y f 0 son monomorsmos, entonces es monomorsmo

b) Si , y g son epimorsmos, entonces es epimorsmo
c) Si es monomorsmos y y g son epimorsmos, entonces es
monomorsmo
d) Si es epimorsmos y f 0 y son monomorsmos, entonces es
epimorsmo
14.
0 0 0
# # #
0 ! A0 ! B0 ! C0 !0
# # #
0 ! A ! B ! C !0
# # #
0 ! A00 ! B 00 ! C 00 !0
# # #
0 0 0
Probar que si la columna de en medio es exacta, entonces la ltima

columna es exacta si y solo si la primera es exacta.
4.1. Anillos semisimples

Denicin 44 Un R M es semisimple si cada uno de sus submdulos es un
Sucesiones que se sumando directo.
escinden, suman-
dos directos
Captulo 5
El radical y el zoclo
Un prerradical r en R mod es un subfuntor del funtor 1R mod : R

mod ! R mod; es decir, hay una transformacin natural r =) 1R mod
cuyas componentes son inclusiones. As tenemos diagramas conmutativos
M
M r (M ) ,! M
#f #r(f ) #f
N
N r (N ) ,! N
para cada morsmo f .
Alternativamente, podemos denir un prerradical como un funtor R
mod ! R mod que a cada mdulo R M le asocia un submdulo r (M ) de
f
tal manera que si M ! N es un R morsmo, entonces f (r (M )) r (N ) :
1. Consideremos t : Z mod ! Z mod tal que
t (M ) = fx 2 M j 9n > 0; nx = 0g :
Entonces t(M ) es un subgrupo de M; y los morsmos de grupos mandan
elementos de orden nito en elementos de orden nito. t se llama el
prerradical de torsin.
X
2. zoc : R mod ! R mod : zoc (M ) =: fR S j S M; S simpleg :
f
Es claro que su M ! N; entonces
X
f (zoc (M )) = ff (S) j S M; S simpleg zoc (N ) ;
puesto que f (S) es simple o 0:
57
58 CAPTULO 5. EL RADICAL Y EL ZOCLO
3. rad : R mod ! R mod :

X
rad (M ) = fL j L M; L superuog
(denotamos que N es superuo en M por N << M ): Para ver que

rad es un prerradical, basta ver que los morsmos mandan submdulos
superuos de R M a submdulos superuos de R N:
f
Lema 28 Si M ! N es un morsmo, y L << M; entonces f (L) << N:
Demostracin. Supongamos que f (L)+U = N: Tomando preimgenes,
1
f (f (L)) + f 1 (U ) = f 1 (N ) = M:
Ahora, tenemos que f 1 (f (L)) = L + ker (f ) ; que se puede comprobar
fcilmente. As, L + ker (f ) + f 1 (U ) = M: Como L << M; tenemos que
ker (f ) + f 1 (U ) = M; as que, aplicando f; tenemos que
f (f 1 (U )) = f (M ) : Entonces f (M ) = f (f 1 (U )) U: Pero entonces
N = f (L) + U U + U = U:
Teorema 20 El radical de un mdulo es la interseccin de sus submdulos

mximos.
Demostracin. Sea M un mdulo, R L un submdulo superuo y R K un
submdulo mximo. Entonces L K; ya que en caso contrario, K K + L;
entonces K + L = M; ya que K es mximo; pero como L es superuo,
K = M , contradiccin. Entonces cada submdulo superuo est contenido
en cada submdulo mximo, as que rad (M ) \ fK j K es mximo en M g :
Para ver el recproco, tomemos un elemento x en
\ fK j K es mximo en M g :
Veamos que Rx << M:

En caso contrario, existe N M tal que Rx + N = M: Tomemos el epi-
M M Rx + N Rx
morsmo natural M ; entonces = = ; cclico. Los
N N N Rx \ N
U
mdulos cclicos tiene submdulos mximos. Sea un submdulo mximo
N
M
de (note que se puede describir de esta manera, por el Teorema de la cor-
N
U Rx + N
respondencia. U es un submdulo mximo de M ): Entonces ;
N N
59
por lo que x 2
= U: Esto contradice que x pertenece a cada submdulo mximo
de R M .
La contradiccin muestra que Rx << M; por lo que x 2 rad (M ) :
Teorema 21 El zoclo de un mdulo es la interseccin de sus submdulos

esenciales.
Demostracin. Si R S es un submdulo simple de R M y R K es un sub-

mdulo esencial, entonces R S \ K 6= 0: Como ste es un submdulo dis-
tinto de 0 y como R S es simple, entonces R S \ K = K . Por lo tanto,
cada mdulo simple est contenido en cada submdulo esencial. Por lo tan-
to, zoc (M ) \ fK j K es M g :
Para demostrar el recproco, denotemos I = \ fK j K es M g : Mostraremos
que es semisimple demostrando que cualquier submdulo 6= 0 es un suman-
do directo. Supongamos que N I, sea L un seudocomplemento de N en
M; entonces N L es M: As que N I N L; tenemos entonces por la
ley modular que I = I \ (N L) = N (I \ L) ; es decir, N es un sumando
directo de I.
5.0.1. Prerradicales y coproductos

Teorema 22 Si fMi gI es una familia de mdulos y r es un prerradical,
entonces r ( fMi gI ) = fr (Mi )gI :
Demostracin. Como r es un prerradical, entonces r ( fMi gI ) es un

submdulo de fr (Mi )gI : Por otra parte, consideremos que en el diagrama
conmutativo
j
Mj ,! fMi gI
" "
jj r(Mj )
r (Mj ) ,! r ( fMi gI )
todas las echas son inclusiones. La familia de inclusiones fr (Mj ) ,! fMi gI g

induce un morsmo fr (Mj )g ! fMi gI ;que tambin es la inclusin, y
que, por la conmutatividad del cuadrado de arriba, se factoriza a travs de
r ( fMi gI ) : Es decir, fr (Mj )g r ( fMi gI ) :
Lema 29 Si r es un prerradical, entonces r (R) es un ideal bilateral.

Demostracin. r (R) es un ideal izquierdo, por ser r n prerradical. Por

otro lado, si s 2 R; consideremos el diagrama conmutativo
s
R ! R
" "
s
r (R) ! r (R)
entonces r (R) s r (R) : Es decir, r (R) es tambin un ideal derecho.

Recordemos que todo mdulo nitamente generado Ilene submdulos
mximos. Entonces rad (M ) M; si M es nitamente generado, en par-
ticular, rad (R)es un ideal bilateral propio.
Observacin 41 Si R M es nitamente generado, entonces rad (R) M M:

_ x
Demostracin. Sea x 2 M; entonces R ! M es un R-morsmo, como
rad es un prerradical, entonces rad (R) x rad (M ) ; as que rad (R) M
rad (M ) M; si R M es nitamente generado.
R
Lema 30 rad = 0:
rad (R)
Demostracin. Es una consecuencia del teorema de la correspondencia
y del hecho de que el radical es la interseccin de los submdulos mximos:
R
rad = \ K j K es mximo en R =
rad (R)
\ fK j K es mximo en Rg
= =
rad (R)
rad (R)
= = 0:
rad (R)
5.1. El Radical de Jacobson

5.2. Submdulos superuos
Denicin 45 Decimos que un submdulo N de M es superuo [N M]
si N + K = M ) K = M 8K M
5.2. SUBMDULOS SUPERFLUOS 61
[Alternativamente: si K M ) N + K M ].
Notemos que 0 M ,M =0
Lema 31 1. K N M )K M
Demostracin. Supongamos que K N M y que M = K + L
N + L ) M = N + L ) L = M ya que N M
Lema 32 2. K N M )K M
Demostracin. Supongamos que K N M y supongamos que K +
L=M
Entonces N = N \ M = N \ (K + L) = K + (N \ L) por la propiedad
modular.
Entonces N \ L = N ya que K N: Entonces N L ) M = K + L
N +L=L
Lema 33 3. N M; f : M ! U ) f (N ) U
Demostracin. Sea L U y supongamos que L + f (N ) = U: Entonces
1
f (L) + N = M .
Como N M ) N M = f 1 (L), as f (N ) L y L = U ) f (N ) U
Lema 34 4. Si K LyN M )K +N L+M

Demostracin. Por el lema 2 K L L+M ) K L+M y
N M L+M )N L+M
Supongamos que K + N + A = L + M: Como K L+M )N +A=
L + M:
Pero N L + M; entonces A = L + M: ) K + N L+M
Corolario 6 K L, N M )K N L M
Lema 35 5. N M p.a.M , N E (N ) DEMOSTRACIN
Rad(_)
Denicin 46 Rad (M ) =: \ N : N M
max
P
Lema 36 Rad (M ) = fK : K Mg
Demostracin. ( ) Si K M yN M
max
P.D.: K N
En caso contrario, N K + N por lo que K + N = M , pero entonces
N = M , contradiciendo que N M:
( ) Denotemos J a la interseccin de todos los submdulos mximos. Sea
0 6= x 2 J y queremos demostrar que Rx M en caso contrario, 9N M
Rx Rx + N
tal que Rx + N = M; as que = = M=N es cclico.
Rx \ N N
Como M=N es cclico, contiene un submdulo mximo U=N de tal manera
que U es un submdulo mximo de M , entonces M = Rx+N Rx+U = U
ya que x 2 U por la hiptesis de que x 2 J. Esto contradice que U es propio.
Lema 37 Rad (R) R

Demostracin.
_r
RR ! RR
" "
_r
Rad (R) ! Rad (R)
Observacin 42 Rad (R) M Rad (M )
Lema 38 Si R M es nitamente generado, entonces Rad (M ) M

Demostracin. Rad (M ) = \fm j m Mg m RM
max max
f
Lema 39 Si R M ! R N es un morsmo, entonces f (Rad (M )) Rad (N )
Demostracin. Basta demostrar que K M ) f (K) N: Para esto,
basta ver que f (K) f (M ) :
As pues, podemos suponer que f es suprayectiva.
Si f (K) + L = N entonces M = f 1 (f (K) + L) = K + f 1 (L) + ker f =
K + f 1 (L)
[ya que ker f f 1 (L)]. Entonces f 1 (L) = M por lo que N = f (f 1 (L))
L N
)L=N
5.3. TIPOS ESPECIALES DE PRERRADICALES 63
Corolario 7 Rad (_) es un prerradical:
Corolario 8 Zoc (_) es un prerradical.
5.3. Tipos especiales de prerradicales

Denicin 47 r es un prerradical idempotente si r r = r, desde luego
(r r) (M ) = r (r (M )). (En general si r y s son prerradicales, r s es un
prerradical)
Ejercicio 6 Demuestre lo anterior.
Ejemplo 22 IdR mod =: 1, Zoc y el prerradical cero 0 : R mod ! R mod

M 7! 0
son prerradicales idempotentes.
Denicin 48 Se dene : por:
(r : s) (M ) M
=s
r (M ) r (M )
Es decir:
0 ! r (M ) ,! M ! M=r (M ) !0
" " "
0 ! r (M ) ,! (r : s) (M ) ! s (M=r (M ))
1
conmuta, as que (r : s) (M ) = (s (M=r (M )))
Lema 40 r : s es un prerradical
f
Demostracin. P.d.: M ! N un R-morsmo ) f (r : s) (M ) (r : s) (N )
P.d.: f (r : s) (M ) (r : s) (N ) = 1 (s (N=r (N )))
As que queremos mostrar que 1 (f (r : s) (M )) s (N=r (N ))
r (M ) ! M ! M=r (M )
# #f #f
1
r (N ) ! N ! N=r (N )
Ahora 1 (r (r : s) (M )) = f (r : s (M )) = f ( 1 (s (M=r (M ))))
f (s (M=r (M ))) s (N=r (N )) Ya que s es un prerradical.
Denicin 49 Decimos que un prerradical r es un radical si r : r = r
Ejemplo 23 Rad es un radical.

M (r : r) (M ) r (M )
Observemos que r : r = r , 8 R M r = = =
r (M ) r (M ) r (M )
0.
M
As r es un radical , r = 08M: Lo que quisiramos demostrar
r (M )
M
es que Rad = 0.
Rad (M )
M
Consideremos el epimorsmo M
Rad (M )
Como Rad (M ) es la interseccin de los mximos de M , entonces cada
submdulo mximo de M contiene a Rad (M ). Entonces hay una correspon-
dencia biyectiva entre los submdulos mximos de M y los de M=Rad (M ).
[Teorema de la correspondencia]. Luego
M m
Rad =\ jm M =
Rad (M ) Rad (M ) max
\ mjm M
max Rad (M )
= =0
Rad (M ) Rad (M )
Ejemplo 24 Si I R entonces I _: R mod ! R mod es un

M 7 ! IM
radical.
f
Demostracin. I _ es un prerradical pues si M ! N entonces f (IM ) =
If (M ) IN
M IM
Adems es un radical I = =0
IM IM
5.3.1. Prerradicales exactos izquierdos

Denicin 50 Se dice que r prerradical es exacto izquierdo si
0!A!B!C!0
exacta ) 0 ! r (A) ! r (B) ! r (C) ! 0 es exacta.
5.3. TIPOS ESPECIALES DE PRERRADICALES 65
Lema 41 r prerradical es exacto izquierdo si y solo s 8N M , r (N ) =

N \ r (M )
Demostracin. ())
Si r es exacto izquierdo y N M entonces
0 ! r (N ) ,! r (M ) ! r (M=N )
es exacta.
0 !N ! M ! M=N !0
" " "
1 1
0 ! r (N ) ! r (M ) ! r (M=N )
Entonces r (N ) = Im 1 = ker 1 = r (N ) \ ker = r (M ) \ N
(()
f g
Si 0 ! A ! B ! C ! 0 es exacta
f1 g1
P.d.: 0 ! r (A) ! r (B) ! r (C) ! 0 es exacta.
f1 es monomorsmo siendo la restriccin de un monomorsmo, luego hay
exactitud en r (A).
Queremos ver que f (r (A)) = ker g1 = r (B) \ ker g = r (B) \ f (A)
Como f (A) B por hiptesis tenemos que r (f (A)) = f (A) \ r (B)
Captulo 6
Mdulos Artinianos y
Neterianos
Un mdulo M es neteriano si no existen cadenas ascendentes propias

innitas de submdulos de R M :
M1 M2 M3 :::
Notar que lo anterior es equivalente a decir que toda cadena ascendente
M1 M2 M3 :::
de submdulos de M se estaciona (es decir, existe n 2 N tal que Mn = Ms

8s = n.
Lema 42 Son equivalentes para M :
1. M es neteriano.
2. Toda familia no vaca de submdulos de M tiene in elemento mximo.

(Esto se llama la condicin mxima, que se le va a hacer).
3. Todo submdulo de M es nitamente generado.
Demostracin. 1)=) 2) Si M no tuviera la condicin de cadena ascen-

dente, entonces haba una cadena ascendente propia N1 N2 :::innita de
submdulos de M: Es claro que fNi gN no tiene elemento mximo.
66
67
2)=) 3) Si N fuera un submdulo de M y N no fuera nitamente genera-

do, entonces N 6= 0: ya que 0 es nitamente generado. Escojamos 0 6= z1 2
N: Entonces hfz1 gj 6= N:Suponiendo que hemos escogido z1 ; z2 ; :::; zk 2 N;
entonces hfz1 ; z2 ; :::; zk gj N; por lo que 9zk+1 2 N n hfz1 ; z2 ; :::; zk gj y
hfz1 ; z2 ; :::; zk gj hfz1 ; z2 ; :::; zk ; zk+1 gj N: As obtenemos una familia de
submdulos que no tiene elemento mximo. Esto es una contradiccin.
3)=) 1) Supongamos que todo submdulo de M es nitamente gene-
rado. Si hubiera una cadena ascendente propia innita N1 N2 :::
de submdulos de M; entonces [ fNk gN es un submdulo de M; y por la
hiptesis, sera nitamente generado. Sea fx1 ; :::; xl g un conjunto generador
de [ fNk gN : Supongamos que xi 2 Nki : Entonces x1 ; :::; xl 2 Ns ;donde
s = max fk1 ; k1 ; :::; kl g : Entonces [ fNk gN = hfx1 ; :::; xl gj Ns Ns+1
[ fNk gN , una contradiccin.
Anlogamente se denen los mdulos artinianos como los mdulos con
condicin de cadena descendente.
Tambin se puede ver que M es artiniano , M tiene condicin mnima.
Se dice que una clase A de mdulos es cerrada bajo submdulos (o here-
ditaria).
N M; M 2 A =) N 2 A:
Notemos que una clase hereditaria es cerrada bajo tomar copias isomorfas.
Se dice que una clase A es cerrada bajo cocientes si contiene a cada
imagen epimrca de cada uno de sus elementos.
Se dice que una clase C es cerrada bajo extensiones si para cada sucesin
exacta
0 !A !B !C !0
con A; C 2 C, se tiene que B 2 C:
Se dice que una clase de mdulos es de Serre si es hereditaria, cohereditaria
y cerrada bajo extensiones.
Teorema 23 La clase de los mdulos artinianos es una clase de Serre.

Demostracin. ) Si M es artiniano y N es un submdulo, entonces N
tiene condicin mnima porque sus submdulos son tambin submdulos de
R M:
!) Si M L es un epimorsmo con M artiniano, entonces las famil-
ias de submdulos de L corresponden a familias de submdulos de M que
contienen ker( ): Conclumos usando el Teorema de la correspondencia.
68 CAPTULO 6. MDULOS ARTINIANOS Y NETERIANOS
ext) Veamos la cerradura bajo extensiones. Supongamos que 0 ! A !

B ! C ! 0 es una sucesin exacta con A y C artinianos.
Por contradiccin. Si fBi gN es una cadena descendente propia innita de
submdulos de B:
Consideremos la cadena descendente
A \ B1 = A \ B2 = :::
como A es artiniano, esta cadena se estaciona (si tachamos las igualdades en
la cadena, obtenemos una cadena nita). Sea A \ Bj el elemento donde la
cadena anterior se estaciona,
Consideremos ahora la cadena
(Bj ) = (Bj+1 = :::)
Como C es artiniano esta cadena se estaciona, digamos en (Bl ) : (Notar
que l = j).
Bl Bl+1
Entonces (Bl+1 ) = (Bl ) : Como = (Bl ) = (Bl+1 ) = ;
A \ Bl A \ Bl+1
Bl+1 Bl
tenemos que el monomorsmo natural ! es un epimor-
A \ Bl+1 A \ Bl+1
smo. As que Bl = Bl+1 + (A \ Bl+1 ) = Bl+1 :
Lema 43 La clase de los mdulos neterianos es una clase de Serre.
Demostracin. Que la clase de los mdulos neterianos es hereditaria y
cohereditaria se sigue de manera anloga a como se vi que la clase de los
mdulos artinianos es hereditaria y cohereditaria.
Para ver que la clase de mdulos neterianos es cerrada bajo exten-
siones demostraremos que la clase de los mdulos nitamente generados es
cerrada bajo extensiones.
f g
Sea 0 ! A ! B ! C ! 0; exacta con A y B nitamente generados.
Sea fc1 ; c2 ; ::; cn g un conjunto generador de C: Tomemos xi 2 g 1 (ci ) ; en-
tonces g (hfx1 ; x2 ; ::; xn gj) = C: Por lo que hfx1 ; x2 ; ::; xn gj + ker g = B: ker g
es nitamente generado pues es f (A) = A: Sea fz1 ; z2 ; ::; zm g un conjunto
generador de ker g:
Entonces fx1 ; x2 ; ::; xn g [ fz1 ; z2 ; ::; zm g genera B:
L U +K
Ahora, si y K son neterianos, y U L; entonces y U \ K son
K K
nitamente generados. De la sucesin exacta
U +K
0 !U \K !U ! !0
K
6.1. MDULOS FINITAMENTE COGENERADOS 69
vemos que U es nitamente generado.
Ejemplo 25 Zp1 es un Z-mdulo artiniano pero no neteriano: los subm-

1
dulos de Zp1 son de la forma con n 2 N: As que dada una familia
pn
no vaca de submdulos de Zp1 ; hay un elemento mnimo (por el principio
del buen orden).
Ejemplo 26 Z Z es neteriano. En una familia no vaca de submdulos de Z;

fnZ j n 2 X Ng un elemento mximo corresponde a la n menor. Tambin
se sigue que Z Z es neteriano del hecho de que todos sus submdulos son
nitamente generados.
6.1. Mdulos nitamente cogenerados

Denicin 51 Un mdulo R M es nitamente cogenerado si dado un monomor-
smo M fNi gI existe un subconjunto nito de ndices F I tal que
M fNi gF : (si M se sumerge en un producto entonces se puede sumergir
en un producto nito).
m
Por ejemplo, un mdulo simple R S es nitamente cogenerado: si S
fNi gI es in monomorsmo, entonces existe un ndice j 2 I tal que pj m
es distinto de 0. Como M es simple entonces ker (pj m) = 0; es decir,
S Nj :
El mdulo trivial tambin es nitamente cognerado, ya que se sumerge
en cualquier mdulo.
Lema 44 R M es nitamente cogenerado , dada una interseccin de una

familia de submdulos de R M que sea 0, \ fNi gI = 0 digamos, existe F
nito, F I; tal que \ fNi gF = 0.
Demostracin. =)) Supongamos que R M es nitamente cogenerado y
que \ fNi gI = 0;donde cada Ni M:
M f
La familia de epimorsmos M ! induce un morsmo M !
Ni i2I
M
tal que f (x) (i) = x + Mi : El ncleo de consiste de los elementos
i2I Ni i2I
x tales que x + Ni = Ni ; para toda i: Entonces ker (f ) = \ fNi gI = 0; de
donde tenemos que f es monomorsmo. Como R M es nitamente cogenerado,

f0 M
entonces 9F I; F nito tal que M ! ; donde f 0 denota la
i2F Ni i2F
correstriccin de f: Entonces 0 = fNi gF :
f
() Supongamos ahora que M ! fLi gI es un monomorsmo. Con-
sideremos el diagrama
f
M ! fLi gI
pj f
&
#pj
Lj
Denotemos fj = pj f: 0 = ker (f ) = \ fker (fi )g. Por hiptesis, esta familia

I
tiene una subfamilia nita con interseccin 0. \ fker (fi )g = 0: Entonces el
F
morsmo f 0 inducido por
f0
M 99K fLi gF
pj f
&
#pj
Lj
es un monomorsmo.
Lema 45 La clase de los submdulos nitamente cogenerados es cerrada bajo

tomar submdulos.
Demostracin. Si N M y M es nitamente cogenerado, una familia
de submdulos de N es una familia de submdulos de M , as que si una
familia de submdulos de N tiene interseccin 0, entonces una subfamilia
nita tiene interseccin 0; pues R M es nitamente cogenerado.
Lema 46 La clase de los mdulos nitamente cogenerados es cerrada bajo

tomar cpsulas inyectivas.
Demostracin. Supongamos que R M es nitamente cogenerado y que
fLi gI es una familia de submdulos de E (M ) cuya interseccin es 0. En-
tonces 0 = M \ (\ fLi gI ) = \ fM \ Li gI : Como M es nitamente cogen-
erado, existe una subfamilia nita fM \ Li gF tal que \ fM \ Li gF = 0:
Entonces M \ f\Li gi2F = 0: Como M es esencial en E (M ) ; tenemos que
f\Li gi2F = 0:
Lema 47 Un submdulo N de un semisimple M = S1 ::: Sn , (Si simple),

es una suma directa de simples con a lo ms n sumandos.
Demostracin. La armacin es claramente cierta si N 2 f 0; M g :
Supongamos entonces que 0 6= N M . En este caso, debe haber un simple
Si1 tal que Si1 N; i1 2 f1; :::; ng : Como Si1 es simple, Si1 N =)
M
Si1 \ N = 0: Si fuera el caso de que N Si1 = M; entonces N = =
S i1
S1 ::: Sn
= fSj g ; una suma directa con n 1 simples. Si N Si1 M;
Si1 j6=i1
repetimos el argumento, para encontrar Si2 simple tal que N Si1 Si2
M; repitiendo ell argumento obtenemos una sucesin de submdulos simples
k
Si1 ; :::; Sik tales que N S ij = M; con ij 2 f1; ::; ng : En este caso
j=1
M
tenemos que N = k
= fSi g ; una suma directa con
i2f1;::;ngnfi1 ;:::;ik g
S ij
j=1
n k sumandos directos.
Teorema 24 Son equivalentes para R M semisimple:
1. RM es nitamente generado.
2. RM = fSi g ; F nito.
i2F
3. RM es nitamente cogenerado.
4. RM es artiniano.
5. RM es neteriano.
Demostracin. 1) ) 2) Si R M es nitamente generado, entonces M es

una suma directa nita de una familia de mdulos simples (M = fSi gI ;
Si simple, para cada i. Si fx1 ; :::; xn g es una familia de generadores de M ,
entonces xj 2 fSi gi2Fj ; con Fj I nito, entonces M = hfx1 ; :::; xn gj
fSi gi2[fFj g ; por lo que M es un sumando directo del semisimple
j2f1;::;ng
fSi gi2[fFj g ): Por el Lema anterior M es una suma directa de un
j2f1;::;ng
nmero nito de simples.
2)=)1) Es claro.
2)=) 5) Por induccin sobre n, el nmero de sumandos directos simples.

La armacin es claramente cierta si 2
= f0; 1g : Supongamos ahora que n > 1:
En la sucesin exacta
n n
0 ! S1 ! fSi g ! fSi g ! 0
i=1 i=2
n
tenemos que S1 y fSi g son neterianos, el primero porque es simple y el
i=2
segundo por hiptesis de induccin. Como la clase de los mdulos neterianos
n
es cerrada bajo extensiones, tenemos que fSi g es neteriano.
i=1
5) =) 1) Un mdulo R M es neteriano si y slo si cada o de sus submdulos
es nitamente generado. En particular R M es nitamente generado.
2) =) 4) Es similar a 2)=) 5);usando que la clase de los mdulos artini-
anos es una clase cerrada bajo extensiones,
4) =) 3) si R M es artiniano y fNi gI es una familia de submdulos tal
que \ fNi gI = 0; consideremos la familia X = f\ fNi gF j F I; F nitog
de intersecciones de subfamilias nitas de fNi gI : X es una familia de sub-
mdulos de M; y tiene un mnimo, puesto que M es artiniano. Supongamos
que Ni1 \ ::: \ Nik es un elemento mnimo de X: Notemos que fi1 ; :::; ik g I:
Para toda j 2 I; tenemos que (Ni1 \ ::: \ Nik ) \ Nj (Ni1 \ ::: \ Nik ) ;
como Ni1 \ ::: \ Nik es mnimo en X; vale la igualdad. Esto signica que
Ni1 \ ::: \ Nik Nj ; 8j 2 I: Entonces Ni1 \ ::: \ Nik \ fNi gI = 0:
3) =) 1) Supongamos ahora que R M es semisimple nitamente cogen-
erado. R M = fSi gI ; por ser M semisimple. Entonces R M = fSi gI
fSi gI : Como M es nitamente cogenerado, entonces M fSi gF ; F
I; F nito. Ahora, fSi gF = fSi gF ; semisimple. Por lo tanto M es un
sumando directo de fSi gF ; y as, es tambin un cociente. Por lo tanto, M
es nitamente generado.
Teorema 25 Son equivalentes para un mdulo R M :
1. RM es nitamente cogenerado.
2. zoc (R M ) es un submdulo nitamente generado y esencial de R M .
Demostracin. 1)=)2) zoc (M ) esnitamente cogenerado, pues la clase

de los mdulos nitamente cogenerados es cerrada bajo submdulos. Un semi-
simple nitamente cogenerado es nitamente generado.
Si zoc (M ) no fuera esencial en R M; tendra un seudocomplemento N dis-

tinto de 0; nitamente cogenerado y sin submdulos simples. Como el zoclo
de un mdulo es la interseccin de os submdulos esenciales, si denotamos
fLi gI la familia de los submdulos esenciales de N; entonces \ fLi gI = 0:
Como N es nitamente cogenerado, existe una subfamilia nita fLi gF de
submdulos esenciales de N , con interseccin 0: Pero la interseccin de un
nmero nito de esenciales de un submdulos distintos de 0 es distinto de
0: Esta contradiccin muestra que zoc (M ) es esencial.
2)=) 1) Si zoc (M ) es esencial en M; entonces zoc (M ) es M es
E (M ) ; por lo que E (M ) es una cpsula inyectiva de zoc (M ) : As, E (M )) =
E (zoc (M )) : Como hemos visto, la cpsula inyectiva de un nitamente cogen-
erado es nitamente cogenerada (zoc (M ) es nitamente cogenerado, por ser
un semisimple nitamente generado). Entonces E (zoc (M )) es nitamente
cogenerado. Entonces M es nitamente cogenerado por ser un submdulo de
E (zoc (M )) :
Teorema 26 La clase de los mdulos nitamente cogenerados es cerrada

bajo extensiones.
Demostracin. Supongamos que en la sucesin exacta 0 ! A !

B ! C ! 0; A y C son nitamente cogenerados. Denotemos E (A) y
E (C) las cpsulas inyectivas de A y de C, respectivamente.
Tomemos el diagrama
f g
0 ! A ! B ! C ! 0
# #
u v
0 ! E (A) ! E (A) E (C) E (C) ! 0
con renglones exactos y donde es escisin de v. Como E (A) es inyectivo.

9 : B ! E (A) tal que f = : Tenemos dos morsmo de B a E (A)
E (C) : u y g: Estos dos morsmos inducen un morsmo : B !
E (A) E (C) tales que el diagrama
f g
0 ! A ! B ! C ! 0
# # #
u v
0 ! E (A) ! E (A) E (C) E (C) ! 0
es conmutativo. Por el Lema del quinto, es un monomorsmo. Por otra

parte E (A) E (C) es una extensin esencial inyectiva de A C; que a
su vez es una extensin esencial de zoc (A) zoc (C) que es semisimple y
nitamente generado, pues A y C son nitamente cogenerados. Entonces
zoc (A) zoc (C) es semisimple nitamente cogenerado. As, E (A) E (C) =
E (zoc (A) zoc (C)) : Entonces E (A) E (C) es nitamente cogenerado, y
como B se sumerge en E (A) E (C) ; tenemos que B es nitamente cogen-
erado.
Teorema 27 Un mdulo R M es artiniano si y slo si todos sus cocientes

son nitamente cogenerados.
Demostracin. =)) Si fLi gI es una familia de submdulos de R M tal
que \ fLi gI = 0: Dado que R M es artiniano existe una subfamilia nita
fLi gF cuya interseccin es mnima. Si tomamos Lj con j 2 I; entonces
(\ fLi gF )\Lj fLi gF : Como \ fLi gF es mnima, entonces (\ fLi gF )\Lj =
fLi gF :As que (\ fLi gF ) Lj 8j 2 I: Por lo tanto, \ fLi gF \ fLi gI = 0:
Entonces un mdulo artiniano es nitamente cogenerado. Por otra parte, los
cocientes de un mdulo artiniano son artinianos.
() Supongamos ahora que todos los cocientes de R M son nitamente
cogenerados. Por contradiccin, supongamos que
N0 N1 N2 :::
es una cadena descendente propia innita de submdulos de M . La familia

pi M M
de epimorsmos M ; induce un morsmo M ! : Este
Ni Ni N
M M
morsmo induce a su vez un monomorsmo : Como
\ fNi gN ( N i N )
M Nj
es, por hiptesis, nitamente cogenerado, y como es
\ fNi g \ fNi g
N j2N
una familia de submdulos con interseccin 0; entonces existe una subfamilia
nita cuya interseccin es 0: As, \ fNi g = \ fNi g = Nk ; donde k es el mayor
N F
natural en el conjunto nito F: Entonces
Nk+1 = \ fNi g = Nk Nk+1 ;

N
contradiccin.
<podemos dar otra demostracin de que la clase de los mdulos artinianos

es cerrada bajo extensiones.
Teorema 28 La clase de los mdulos artinianos es cerrada bajo extensiones.

Demostracin. Supongamos que en la sucesin exacta 0 ! A !
B ! C ! 0; A y C son artinianos. Si p : B ! B 0 es un epimorsmo,
podemos construir el diagrama conmutativo
f g
0 ! A ! B ! C ! 0
#p f
#p #p
B0
0 ! (p f ) (A) ,! B0 ! 0
(p f ) (A)
con renglones exactos. Los morsmos p f y p son suprayectivos, como A

B0
y C son artinianos entonces (p f ) (A) y son nitamente cogen-
(p f ) (A)
erados. Entonces B 0 es nitamente cogenerado. Como los cocientes de B on
nitamente cogenerados, entonces B es artiniano.
Lema 48 El radical de un anillo artiniano es nilpotente.

Demostracin. El conjunto de potencias de rad (R) tiene un elemento
mnimo, radn (R) ; digamos. Entonces de radn+1 (R) radn (R) ; conclumos
que radn+1 (M ) = radn (R) : Si radn (R) 6= 0; entonces (radn (R)) rad (R) =
radn (R) 6= 0: Como R es artiniano, existe un ideal R I mnimo distinto de
0 tal que (radn (R)) I 6= 0: Si x 2 I es tal que radn (R) x 6= 0; entonces
radn (R) x = radn+1 (R) x =

= radn (R) (rad (R) x) 6=
6= 0:
Entonces rad (R) x I; como I es mnimo tal que (radn (R)) I 6= 0; en-
tonces rad (R) x = I; por lo que Rx I = rad (R) x = (rad (R) R) x =
(rad (R)) Rx Rx; ya que rad (R) es bilateral. Entonces I es cclico y adems
rad (R) I = I: Esto contradice la Observacin 41 de la pgina 60.
Lema 49 Un anillo R es semisimple si y slo si RR es artiniano y rad

(R) = 0:
Demostracin. =)) Hemos visto que un semisimple nitamente gene-

rado es artiniano (Teorema 24, pgina 71). Si rad (R) 6= 0; entonces rad (R)
sera un sumando direct de R y contendra un submdulo simple S que n es un
sumando directo de R; si K es un seudocomplemento para S en R; Entonces
K sera un ideal izquierdo de R que no contiene a S; contradiciendo que S
est contenido en rad(R) que es la interseccin de los ideales mximos.
() Si R es artiniano entonces es nitamente cogenerado. Si rad (R) = 0;
entonces dado que rad(R) = \ fK j K R es mximog, tenemos que la
R
familia de epimorsmos R induce un monomorsmo R
K K max R
R
; como R es nitamente cogenerado, entonces R se sumerge
K K max R
R R
un subproducto nito R ::: ; que es semisimple. Entonces R
K1 Kn
es semisimple.
DEMOSTrACION Lema 50 Si R es artiniano entonces R=Rad (R) es semisimple
DEMOSTrACION Lema 51 RR es artiniano y R M semisimple , Rad (R) M = h0j
Teorema 29 (Hopkins) Un anillo artiniano izquierdo es neteriano izquier-

do.
Demostracin. Como hemos visto, (Lema 48, pgina 75) el radical de

un anillo artiniano es nilpotente, es decir, existe un natural positivo n tal que
radn (R) = 0:
Por el Lema anterior, R es semisimple, por lo tanto es neteriano (Vea
Teorema 24, pgina 71).
radn 1 (R)
Supongamos entonces que n > 1: Entonces rad (R) = 0: As
radn (R)
radn 1 (R) R R
que es un -mdulo. Ahora, es un anillo artiniano
radn (R) rad (R) rad (R)
cuyo radical es 0 (ver Lema 30, pgina 60). Por el Teorema 49, tenemos que
R
es semisimple. Entonces de la sucesin exacta
rad (R)
radn 2 R
0 ! radn 1
(R) ! radn 2 R !0 (6.1)
radn 1 (R)
6.2. NETERIANOS Y CPSULAS INYECTIVAS 77
vemos que los extremos son mdulos semisimples (ya que son mdulos sobre
R
) . Adems, radn 1 (R) y radn 2 R son artinianos por ser submdulos
rad (R)
radn 2 R
de R R;que es artiniano. Tambin es artiniano por ser cociente
radn 1 (R)
de un artiniano. As pues, en la sucesin 6.1, los extremos son semisimples
artinianos, por lo que ambos son mdulos neterianos (ver el Teorema 24,
pgina 60).
Como la clase de los mdulos neterianos es cerrada bajo extensiones,
entonces radn 2 R es neteriano. Por induccin; obtenemos que radn k R es
neteriano, para cada k: En particular, rad (R) es neteriano.
De la sucesin exacta
R
0 ! rad (R) ! R !0
rad (R)
cuyos dos extremos son neterianos, conclumos que R es neteriano.
Teorema 30 RR es neteriano y semiartiniano , RR es artiniano DEMOSTrACION
6.2. Neterianos y cpsulas inyectivas

Teorema 31 Son equivalentes:
i) R R es neteriano
ii) La clase de los mdulos inyectivos es cerrada bajo
iii) Sumas directas de cpsulas inyectivas de simples son inyectivas.
Sea fE g 2X una familia de mdulos inyectivos.
P.d.: fE gX es inyectivo.
I ,! R
Sea L f # donde I R
fE g
X
Como R es neteriano entonces I es nitamente generado.

Sea fa1 ; a2 ; : : : ak g ,! R I
gen
f (a1 ) = x1;1 + x1;2 + + x1;n1 con x1;j 2 E 1:j
..
.
f (ak ) = xk;1 + xk;2
L+ Qk con xk;j 2 Eak;j
+ xk;n
As que f (I) fE g = fE g
F F
f inito
As
R - RI
' & L# f0 &f L
fE g ,! fE g
F j X
ii) ) i) Por contrapuesta. Supongamos :i)

Si R no es neteriano, existe R I R no nitamente generado. Extrayendo
una sucesin
h0j =
6 Rx1 Rx1 + Rx2 Rxk + + Rxk y sustituyendo por
[ Rxj j2J si fuera necesario, podemos suponer que R I = hfx1 ; x2;::: gj
Denimos Ik = hfx1 ;::: ; xk gj ,! I
I
Sea Ck =: , tenemos C1 C2 C3
Ik Q
pk
Ahora I ! Ck induce I ! Ck
R - RI
& #f &
fE (Ck )gk2N - fCk gk2N
Notemos que 8n 2 N 9x 2 I tal que pn f (x) 6= 0
I1 ,! I2 ,! In ,! In+1
6=
Tomemos x 2 In+1 r In entonces f (x) = x; : : : ; 0 = x ; 0; : : :

2Cn
Si hubiera ' : R ! fE (Ck )g que hiciera conmutativo el diagrama, en-
tonces ' (1) = (e1 ; : : : eN ; 0; 0; : : :) y entonces f (i) = i (e1 ; : : : eN ; 0; 0; : : :) 8i
) f (I) E (C1 ) E (Cn ) r
ii) ) iii) Trivial
iii) ) i) Por contrapuesta.
Sea I1 $SI2 $ una cadena innita de ideales de R

Sea I = Ij
J
I
Sea Ck =:
Ik
Ik + Rx Ik + Rx
Si x 2 Ik+1 r Ik entonces Ck es cclico. Existe f : !
Ik Ik
Sk con Sk simple
Ik + Rx I
Ik Ik
9# # fk
Sk ,! E (Sk )
k f Q
Sea 'k : I ! Ck ! E (SK ) ; entonces induce ' : I ! E (Sk ) tal que
' Q
I ! E (Sk )
'k & # k
E (Sk )
conmuta `
Notemos que Im ' E (Sk )
x 2 I ) x 2 Il para alguna l 2 N [x 2 Il+1 Il+2 ]
Sea ' : I ! C1 ! E (Sl ) por lo tanto 'n (x) = 0 8n l
x 7! 0 7! 0
) ('n (x))
` = 0 8n l
) ' (x) 2 E (Sk )
R I ,! R L
Entonces L '# no se puede extender a ' : R ! E (Sk )
E (Sk )
Teorema 32 Si R es neteriano, entonces R [x] es neteriano

Demostracin. Sea I R[x]. Denimos:
In = fa j a es coeciente principal de un polinomio de grado n en I[f0gg
Observemos que In es un ideal izquierdo de R :
0 2 In
Si a es el coeciente principal de f de grado n, y b es el coeciente principal

de g de grado n, entonces a + b es el coeciente principal de f + g a menos
que a + b = 0. En cualquiera de los dos casos, a + b 2 In . ra es el coeciente
principal de rf , entonces ra 2 In ) In R:
Por otro lado I0 = R I1 In0 pues si a es el coeciente principal
de f de grado n, entonces a es el coeciente principal de xf (x) : Notemos
que cada Im es nitamente generado [In0 = hfam;1 ; am;2 ; am;km gj].
Sea ffi;j g la familia de fi;j 2 I de grado i tal que su coeciente principal
es ai;j [Notacin: cp (fi;j ) = ai;j ]
Armacin: ffi;j g ,! I
genera
Supongamos que existe g de grado mnimo m tal que g 2 I r hffi;j gj.
Entonces tenemos dos casos:
1. m n0 entonces cp (g) 2 Im
) cp (g) = r1 am;1 + r2 am;2 + + rk amk
Sea g r1 fm;1 r2 fm;2 rm fm;k = h, si grad (h) < i ) ri 2 hfi;j j )
g 2 hffi;j gj r
2. m > n0 ) cp (g) 2 In0 Entonces cp (a) = r1 an0 ;1 + + rkn0 an0 ;kn0
m n0
) r1 an0 ;1 + + rkn0 an0 ;kn0 x =h
) h 2 Im ) g 2 Im
Denicin 52 R MS es un bimdulo si R M , MS son mdulos y r (ms) =

(rm) s:
Ejemplos 27 Por ejemplo, si R es conmutativo R M = MR con rm = mr,

as tenemos que MR es un bimdulo. Otros ejemplos son R RR y R MZ
Observacin 43 Sean R; S anillos y R MS un bimdulo, entonces
R M r m
= r 2 R; m 2 M; s 2 S
0 S 0 s
r m r m +r
tal que = es un anillo.
0 s 0 0 s
Z Z
Ejemplo 28 Por ejemplo es un anillo y sus ideales izquierdos son
0 Z
Za Zd
de la forma: donde d j c
0 Zc
Z Q
Ejemplo 29 R = es neteriano derecho pero no neteriano izquier-
0 Q
do.
Z Q n b nZ bZ + cQ
= =I
0 Q 0 c 0 cQ
0 Zb
si n = 0 y c = 0 ) I = no se estaciona:
0 0
0 Zb 0 Z 2b 0 Z 3b
0 0 0 0 0 0
Z Q
Por otro lado es neteriano derecho:
0 Q
n b Z Q nZ bQ + nQ
=
0 c 0 Q 0 cQ
0 0
Si n = b = c = 0 ) A =
0 0
0 0 0 0
Si n = 0; b = 0; c 6= 0 ) A = =
0 cQ 0 Q
nZ nQ nZ Q
Si n 6= 0; c = 0; b = 0 ) A = =
0 0 0 0
0 Q
Si n = 0; c 6= 0; b 6= 0 ) A =
0 Q
nZ Q
Si c 6= 0; n 6= 0 ) A =
0 Q
Qu tan grande puede ser una cadena?
0 0 0 Q 0 Q nZ Q pZ Q Z Q
,! ,! ,! ,! ,! ,!
0 0 0 0 0 Q 0 Q 0 Q 0 Q
6.2.1. Ejercicios
1. Pruebe que:
zoc : R mod ! R mod

M 7 ! zoc (M )
determina un funtor exacto izquierdo.
2. Se dene Z = fx 2 M j (0 : x) es Rg entonces
Z :R mod ! R mod
determina un funtor exacto izquierdo.
3. Pruebe que Z G es semisimple si y solo s G es de torsin y o (x) es

producto de primos distintos 8 x 2 G.
4. Verique que Zp1 es un Z- mdulo artiniano pero no neteriano.
5. Sea R R neteriano, entonces R M es neteriano si y solo s M es nita-

mente generado.
6. Pruebe que R R es neteriano si y solo s 8 fM g 2
L L
E fM g = E (M )
2 2
R R MS
7. Sea R = donde R y S son anillos y R MS un bimdulo.
0 S
Denimos las siguientes operaciones en R:
r m r0 m0 r + r0 m + m0
+ =
0 s 0 s0 0 s + s0
r m r0 m0 rr0 ms0 + rm0
=
0 s 0 s0 0 ss0
Muestre que R con estas operaciones es un anillo
8. Sea R como en el ejercicio anterior, muestre que:
a) RR es artiniano si y solo si R R, SS y MS son artinianos

b) RR es neteriano si y solo si R R, SS y MS son neterianos
c) RR es artiniano si y solo si RR , S S y R M son artinianos
d) RR es neteriano si y solo si RR , S S y R M son neterianos
Sugerencia:
Considere el morsmo de anillos
:R!R S
r m
dado por = (r; s). Muestre que si K = ker entonces KR y
0 s
MS tiene latices de submdulos isomorfas
9. Muestre que
Z Z
a) R = es neteriano izquierdo y derecho
0 Z
R Rn
b) R = es artiniano izquierdo y derecho
0 R
R R
c) R = es artiniano izquierdo y no artiniano derecho
0 Q
10. Sea R un anillo conmutativo. Hay una correspondencia biyectiva sobre

los ideales bilaterales de Mn (R) y los ideales de R
[0; R] ! [0; Mn (R)]

I 7 ! Mn (I)
11. Mostrar que Mn (R) no tiene ideales bilaterales propios.
12. Si R S es simple, entonces S es proyectivo o singular, es decir Z (S) = S
13. Sea R el subanillo de (Z2 )(N) y por 1 = (1; 1; 1; ). Vericar que:
i) R = f(a0 ; a1 ; : : :) j 9 N 2 N tal que an = am 8 m N g Es decir, que

R consiste de las sucesiones que terminan en una cola de ceros
de unos
ii) zoc (R) = (Z2 )(N)
iii) zoc (R) es R
iv) zoc (R) R
max
v) R=zoc (R) es semisimple singular
vi) El nico ideal esencial de R es zoc (R)

vii) Todo simple R S es isomorfo a R=zoc (R) o bien se sumerge en R
viii) Todo mdulo simple es inyectivo
ix) R no es neteriano.
6.3. Anillos y mdulos semiartinianos

M
Denicin 53 Un mdulos R M es semiartiniano si zoc 6= 0; 8N
N
M:
La clase de los mdulos semiartinianos es cerrada bajo tomar submdu-
los, cocientes, extensiones y sumas directas, adems el zoclo de un mdulo
semiartiniano es un submdulo esencial.
Lema 52 La clase de los mdulos semiartinianos es cerrada bajo tomar co-

cientes.
Demostracin. Si M es semiartiniano y M N es un epimorsmo, los
cocientes distintos de R 0 de N; son cocientes no nulos de M y por lo tanto
tienen zoclo distinto de R 0:
Lema 53 Si M 6=R 0 es semiartiniano, entonces zoc (M ) es M:

Demostracin. Supongamos que zoc (M ) no es esencial en M; con M
semiartiniano. Entonces zoc (M ) tiene un seudocomplemento distinto de 0
en M . Entonces zoc (M ) U es M , por lo que zoc (U ) = 0: Podemos tomar
ahora un seudocomplemento de U que contenga a zoc (M ) ;digamos V: En-
V U M M
tonces V U es M y U = es : Ahora, zoc 6= 0; pues M es
V V V
V U M
semiartiniano. Tambin tenemos que \ zoc 6= 0; porque
V V
V U M V U
es : Entonces zoc 6= 0; pero entonces zoc (U ) 6= 0;
V V V
una contradiccin.
Teorema 33 La clase de los , mdulos semiartinianos es cerrada bajo tomar

submdulos.
6.3. ANILLOS Y MDULOS SEMIARTINIANOS 85
Demostracin. Supongamos que N es un submdulo de M; con M semi-

artiniano. Sea N U un epimorsmo no nulo. Quisiramos ver que U con-
tiene un submdulo simple. Consideremos
N M
#f ;
U
donde f es un epimorsmo. Tomando el epimorsmo natural M M= ker (f )

completamos el diagrama anterior a
N M
#f # ;
g
U M= ker (f )
como hemos visto, M= ker (f ) es semiartiniano, por ser un cociente de M:

Por lo tanto el zoclo de M= ker (f ) es un submdulo esencial, as que g (U ) \
zoc (M= ker (f )) 6= 0: Como U = g (U ) ; entonces zoc (M ) 6= 0:
Lema 54 La clase de los mdulos semiartinianos es cerrada bajo exten-

siones.
Demostracin. Sea 0 ! A ! B ! C ! 0 con A y C semiartini-
anos y sea B D un epimorsmo con D 6= 0: Consideremos el siguiente
diagrama conmutativo
0 ! A ! B ! C ! 0
jf (A)
#(f ) #f #f ;
f (A) ,! D ! D=f (A) ! 0
si f (A) 6= 0; entonces f (A) contiene un submdulo simple distinto de

cero y por lo tanto D tambin, Si f (A) = 0; entonces D = D=f (A) que
contiene un submdulo simple por ser un cociente del mdulo semiartiniano
C.
Lema 55 La clase de los -mdulos semiartinianos es cerrada bajo tomar

sumas directas.
Demostracin. Sea fMi gI una familia de mdulos semiartinianos. Supong-
amos que fMi gI ! D es un epimorsmo no nulo.
Denicin 54 Un anillo R es semiartiniano izquierdo si el zoclo de cualquier

R-mdulo es distinto de 0:
Teorema 34 Son equivalentes para un anillo R:
1. R es semiartiniano izquierdo.
2. RR es semiartiniano.
Demostracin. 1)=)2) Como la clase de los mdulos semiartinianos es

cerrada bajo sumas directas y cocientes, entonces cualquier cociente de un
mdulo libre es semiartiniano, es decir, todo mdulo es semiartiniano.
2)=) 1) Sea R M un mdulo distinto de 0;veamos que tiene zoclo 6= 0:
Como R R es semiartiniano, entonces cualquier cociente de R R tiene zoclo
6= 0; es decir que cualquier mdulo cclico tiene zoclo 6= 0: As, cualquier
mdulo distinto de 0 tiene zoclo distinto de 0.
DEMOSTACION Teorema 35 Son equivalentes para un anillo R :
1. R es artiniano izquierdo.
2. R es neteriano izquierdo y semiartiniano izquierdo.
Observacin 44 Un anillo artiniano izquierdo es semiartiniano izquierdo.

Demostracin. Si R M 6= 0; entonces un submdulo mnimo distinto de
0 de M es simple, por lo que el zoclo de un mdulo artiniano es distinto
de 0::Tenemos adems que un cociente de un mdulo artiniano es tambin
artiniano. por lo tanto R M es semiartiniano.
6.3.1. La sucesin de zoclos

zocn+1 (M ) M
Denimos zocn+1 (M ) por: = zoc ;es decir, hay
zocn (M ) zocn (M )
un diagrama
M
0 ! zocn (M ) ! M ! ! 0
zocn (M )
" " "
M
0 ! zocn (M ) ! zocn+1 (M ) ! zoc ! 0
zocn (M )
6.4. ANILLOS HEREDITARIOS 87
donde las echas verticales son inclusiones.

De la denicin, tenemos que existe una cadena de submdulos de R M
zoc (M ) zoc2 (M ) ::: zocn (M ) :::
Notemos tambin que podemos denir para cada ordinal un submdulo ORDINALES
zoc (M ) por
6.4. Anillos hereditarios

Teorema 36 Son equivalentes para un anillo R: DEMOSTACION
1. Los ideales izquierdos de R son proyectivos.
2. Submdulos de proyectivos son proyectivos.
3. Cocientes de inyectivos son inyectivos.
6.5. Anillos semiprimarios y anillos buenos

Captulo 7
Anillos semilocales y
levantamiento de idempotentes
7.0.1. Anillos Locales

R es local si satisface las condiciones del siguiente teorema:
Teorema 37 Son equivalentes
i) A = R=R es cerrado bajo +
ii) A R
iii) A es el mayor ideal propio de R
iv) R tiene un mayor ideal propio
v) 8 r 2 R, r tiene inverso izquierdo 1 r tiene inverso izquierdo
vi) 8 r 2 R, r tiene inverso derecho o 1 r tiene inverso derecho

n pz o na o
Ejemplo 30 j z 2 Z; p - s Z(p) = j p - s es ideal mximo de
s ideal s
Z(p)
Teorema 38 Sea R un anillo local. Son equivalentes para R M :
i) [0; M ] es totalmente ordenado
ii) fRm jm 2 M g es totalmente ordenado
88
89
iii) Todo R N M es cclico

f.g.
iv) Si n; m 2 M entonces Rm + Rn = Rz para alguna z 2 M
Teorema 39 Para un anillo conmutativo son equivalentes:
i) 8 x 2 R, xR - x2 R - x3 R - se estaciona
ii) Todo ideal primo es mximo
Teorema 40 Son equivalentes paraR M
i) Toda familia independiente de submdulos es nita
ii) Todo submdulo tiene condicin mxima es sumandos directos
iii) U1 U2 M se estaciona [Notacin:U1 es sumando directo

de U2 lo denotamos como U1 U2 ]
iv) Toda sucesin U1 U2 se estaciona
v) Todo submdulo tiene un submdulo nitamente generado
vi) M tiene condicin mxima en seudocomplementos
vii) M tiene condicin mnima es seudocomplementos
viii) E (M ) tiene condicin mxima en sumandos directos
Denicin 55 1. R M es directamente inescindible si M = A B)

A = h0j B = h0j
2. RM es inescincible si A M; B M )A+B M
Teorema 41 Son equivalentes para R
i) RR es directamente inescindible
ii) RR es directamente inescindible
iii) Los nicos idempotentes de R son 1 y 0
Teorema 42 Sea S = End (R M ). Son equivalentes:

90CAPTULO 7. ANILLOS SEMILOCALES Y LEVANTAMIENTO DE IDEMPOTENTES
i) RM es directamente inescindible
ii) S S es directamente inescindible
iii) Ss es directamente inescindible
iv) Los nicos idempotentes de S son 0 y 1
Corolario 9 Si S = End (R M ) es local, entonces M es directamente ine-

scindible.
Teorema 43 Si M es directamente inescindible, artiniano y neteriano, en-

tonces End (R M ) es local y los elementos no invertibles son los nilpotentes.
Teorema 44 Si R E 6= h0j es inyectivo, directamente inescindible entonces

End (E) es local
7.0.2. Teorema de Krull - Schmidt

L
Teorema 45 (Krull - Schmidt - Azumaya): Sea R M = fEi g donde End (Ei )
L I
es local y R M = fUj g donde cada Uj es directamente inescindible, entonces
J
existe f : I ! J tal que Ei = Uf (i)
Bibliografa
[1] Kasch, F., Modules and Rings, London Mathematical Society mono-
graph 17, Academic Press, New York. 1982.
[2] Anderson, F. W. and Fuller, K. R,. Rings and Categories of Modules.

New York Springer-Verlag, New York, 1974.
[3] Jacobson, N., Basic Algebra II. W. H. Freeman and Co, New York,
1989.
[4] Dauns, J., Modules and Rings. Cambridge University Press, New York,
1994.
[5] Borceux, F., Handbook of Categorical Algebra. Volume I, Cambridge

University Press, 1994.
[6] Adameck, J., Herrlich, H. and Strecker, G., Abstract and Concrete
Categories, The Joy of Cats. Online edition: http://katmat.math.uni-
bremen.de/acc, 2004.
[7] Stenstrm, B., Ring of Quotients, Springer Verlag, New York, 1975.
91

Teoría de Módulos

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Teoría de Módulos

Загружено:

Авторское право:

Доступные форматы

Captulo 1

1.1. Anillos e Ideales

i) (R; +; 0) es un grupo conmutativo

ii) (R; ; 1) es un monoide

iii) Se cumplen las propiedades distributivas: 8a; b; c 2 R

a(b + c) = ab + ac; y (a + b)c = ac + bc

Nota 1 (f0g ; +; ; 0; 0) es el anillo trivial.

Observacin 1 En un anillo R valen las siguientes armaciones:

Observacin 2 Un anillo es trivial si y slo s 0 = 1

Demostracin. ()) Por denicin

Observacin 3 Un anillo es un dominio s y slo s (R; ; 1) es un monoide

Ejemplo 1 Z es un objeto inicial en Ring (la categora de anillos con 1)

Denicin 3 Un subconjunto I R; R un anillo es:

a) I (R; +; 0) (I contiene a 0, es cerrado bajo + y r 2 I ) r 2 I)

ii) I un ideal derecho si

iii) Un ideal bilateral si es ideal izquierdo y derecho.

Notacin 1 I; I y I denotan un ideal izquierdo, un ideal derecho y un

Observacin 4 Observemos que:

1. I es un ideal de R , I 6= ;; I es cerrado bajo + y a 2 I; r; s 2 R )

2. I R ) R ! R=I es un morsmo de anillos. Esto incluye la

ker ' = fr 2 R j '(r) = 0g R

Observacin 5 Si M es un grupo abeliano [con + y ]. Entonces

(f + g)(m) = f (m) + g(m)

Ejercicio 1 Verifquense las distributividades

1.2. Mdulos y submdulos

Notacin 2 RM para mdulos izquierdos, MS para S-mdulos derechos.

Denicin 5 Dado R M; N M; es un submdulo de M si:

Observacin 6 R R es un mdulo. Entonces los submdulos de R R son los

Observacin 8 H G; G grupo abeliano. Z H ZG si y slo s H es un

Demostracin. ()) Consideremos el Z modulo Z G y H G

Observacin 9 Sea V un espacio vectorial sobre un campo F , entonces F W

(m1 + N ) + (m2 + N ) := (m1 + m2 ) + N :

1.2.1. Mdulos libres

Denicin 7 Lema de Zorn: Si a 6= ;; (a; ) es un copo en el que cada

Teorema 1 Si DM es un mdulo sobre D anillo con divisin, entonces M

Demostracin. Sea (S; ) donde S es el conjunto de las familias X

Denicin 8 RM es libre si tiene base X

Ejemplo 5 R(X) es libre con base f x gx2X

[(0); M ] es una retcula completa.

Notacin 4 Denotamos por 0 = f0g

Observacin 11 ([ 0; M ]; ) es un conjunto parcialmente ordenado.

es el menor submdulo de M que contiene a X.

Ejemplo 6 Sabemos que los ideales de Z son nZ con n 2 N: En particular

Observacin 13 Notemos lo siguiente:

i) Si fNi gi2I es una familia de submdulos de M , entonces \ fNi g es el

iii) Notemos que hay un menor submdulo de M : (0) y uno mayor: M

En resumen tenemos que \ fNi g = nf fNi gi2I es la mayor de las cotas

Denicin 9 1. Si X RM es un conjunto generador de M ,

2. Un mdulo M es nitamente generado , M tiene un conjunto

Ejemplo 7 Si X es un conjunto, entonces (}(X); ; \; [; ;; X) tambin es

Denicin 11 En }(X) cada elemento A 2 }(X) tiene un complemento

a) En [ 0; Z] el submdulo 2Z no tiene complemento: no hay una n 2 N tal

2Z \ nZ = 0 [, [2; n] = 0 , n = 0] pero n impar y n=0 son excluyentes.

b) Por otro lado, R R2 es un R modulo Sean:

W1 = h(1; 0)j = f (1; 0) j 2 Rg

W2 = h(0; 1)j = f (0; 1) j 2 Rg

W3 = h(1; 1)j = f (1; 1) j 2 Rg

Entonces W2 y W3 son complementos de W1

Teorema 3 Si A; B; C son submdulos de M con B A entonces

Denicin 12 M es suma directa de A y de B [A B = R M ] si

1.3. Submdulos mximos

2. RN M es mnimo si es mnimo en (0; M ]

Lema 2 i) RR tiene ideales izquierdos mximos.

ii) Todo I R est contenido en un ideal mximo.