Modulo S

Seccion 1
Conceptos basicos
Anillos
Un anillo (con uno) A es un conjunto con dos operaciones binarias + : A A A

(suma o adicion) y : A A A (multiplicacion o producto) que satisface las siguientes
propiedades:
(a) + es asociativa: a, b, c A se tiene a + (b + c) = (a + b) + c (escribimos a + b + c).
(b) Hay elemento neutro adititvo 0 (llamado cero), es decir, 0 satisface que para toda
a A, a + 0 = a = 0 + a.
(c) Para + hay inversos es decir para toda a A existe a A tal que a + (a) =
0 = (a) + a (escribimos a a en lugar de a + (a)).
(d) + es conmutativa: Si a, b A entonces a + b = b + a.
(e) es asociativa: a, b, c A se tiene a (b c) = (a b) c (escribimos a b c).
De costumbre eliminamos el en la notacion y escribimos ab por a b.
(f) Hay neutro multiplicativo 1 (llamado elemento unitario o uno), es decir, 1 satisface
que para toda a A, a1 = a = 1a.
(g) Vale la distributividad del producto sobre la suma, es decir a(b + c) = ab + ac.
Decimos que A es conmutativo si ademas vale:

(h) es conmutativa: a, b A se tiene ab = ba.
Las propiedades (a), (b), (c) dicen que (A, +) es un grupo. Si tambien se satisface (d)
se dice que (A, +) es un grupo abeliano.
Decimos que A es dominio entero o, simplemente, dominio, si es un anillo conmuta-

tivo en el que vale la cancelacion bajo la multiplicacion, es decir, ab = ac b = c o,
equivalentemente, no hay divisores (propios) de 0, es decir ab = 0 a = 0 o b = 0.
1. Conceptos basicos
Un anillo A es anillo con division si (A \ {0}, ) es grupo; en otras palabras, dado

a A existe a1 A tal que aa1 = 1 = a1 a. Un anillo conmutativo con division se
llama campo.
[1.1] Observacion. Todo campo es dominio entero.
En un anillo conmutativo A un elemento a es unidad o elemento invertible si existe

b A tal que ab = 1. Se dice que b es inverso de a.
[1.2] Observacion. El elemento 1, el elemento 0 y los inversos son unicos.
Usamos las notaciones usuales y las reglas convencionales para sumar y multiplicar; por
ejemplo a es el inverso aditivo de a; a1 es el inverso multiplicativo de a; se tiene que
0a = 0 = a0, (a) = a y (a1 )1 = a; si n N entonces na significa sumar a consigo
mismo n veces, (1)a = a y para n, m Z valen reglas como (n + m)a = na + ma,
(nm)a = n(ma); tambien si n N entonces an significa multiplicar a consigo mismo n
veces, an = (a1 )n y valen las reglas usuales de los exponentes.
[1.3] Ejemplos. (a) Z es dominio entero. Sus unidades son 1 y -1.

(b) Q, R y C son campos.
(c) Zk = {0, 1, 2, . . . , k 1} (el conjunto de enteros modulo k ) es anillo conmutativo;
es campo cuando k es primo. El conjunto de sus unidades es {a : mcd(a, k) = 1}.
(d) Si A es anillo conmutativo entonces Mk (A) (conjunto de matrices cuadradas de
tamano k con coeficientes en A) es anillo (no conmutativo). Si A es campo entonces
los elementos invertibles son las matrices con determinante distinto de 0; si A es Z los
elementos invertibles son las matrices con determinante 1 o -1.
(e) Si A es anillo conmutativo, entonces A[x] (conjunto de polinomios con coeficientes
en A) es un anillo conmutativo. Sus unidades son las constantes invertibles. Si A es
dominio entero entonces tambien lo es A[x]. (Haremos una descripcion mas detallada de
este anilloen la seccion2.)
(f) Q[ 2] = {a + b 2 R : a, b Q} es un campo.
(g) Z[i] = {a + bi C : a, b Z}, llamado anillo de los enteros gaussianos, es un
dominio entero.
(h) Si A y B son anillos entonces su producto A B, con la operacion coordenada a
coordenada, es anillo. Aun cuando A y B sean dominios enteros, A B no lo es.
(i) Q = {a + bi + cj + dk : a, b, c, d R} con la multiplicacion definida por ij = k,
jk = i, ki = j, ji = k, kj = i, ik = j y lo demas extendido linealmente se llama
anillo de los cuaternios reales. Es un anillo con division.
(j) A = {} con las unicas operaciones posibles es el anillo 0. De aqu en adelante no
consideraremos este caso (equivalentemente, en nuestros anillos 0 6= 1).
(k) Si A es un anillo y X es un conjunto entonces F(X, A) = {f : X A : f es
funcion} es un anillo con las operaciones (f + g)(x) = f (x) + g(x) y (f g)(x) = f (x)g(x);
su elemento 0 es la funcion constante 0 y su elemento unitario es la funcion constante 1.
2
Aun cuando A es dominio entero o campo F(X, A) no lo es.

(l) Si A es un anillo conmutativo entonces
A[[x]] = {a0 + a1 x + a2 x2 + a3 x3 + : i ai A}
es el anillo de series de potencias sobre A. La suma y multiplicacion se definen como las
de los polinomios. Si A es dominio entero entonces tambien lo es A[[x]].
Si A es un anillo decimos que B es subanillo de A si B A, el elemento unitario 1

de A esta en B y B es cerrado bajo la suma y multiplicacion de A (es decir, si b, c B
entonces b + c B y bc B.
Nota. Es posible que un subconjunto B de un anillo A sea el mismo anillo con 1

pero que su elemento unitario no sea el de A. Por ejemplo, en A = Z6 el subconjunto
B = {0, 2, 4} es cerrado bajo suma y multiplicacion; hereda de A las demas propiedades
de anillo y tiene por elemento unitario al 4. (El anillo B es isomorfo a Z3 , es decir,
existe una funcion biyectiva entre los dos que preserva las operaciones.) Otro ejemplo es el
siguiente: Si A1 y A2 son anillos, en el anillo producto A = A1 A2 el subconjunto B =
{(a1 , 0) : a1 A1 } es cerrado bajo suma y multiplicacion y hereda las demas propiedades
de anillo de A, pero su elemento unitario es (1, 0) mientras que el elemento unitario de A
es (1, 1). (En este caso B es isomorfo a A1 .)
Ejemplos de subanillos son Z Q R C; si A es anillo conmutativo entonces A

es subanillo de A[x] y, si k es natural entonces podemos considerar a A como subanillo
de Mk (A) haciendo corresponder al elemento a de A con la matriz en la que todos los
elementos de la diagonal principal son a y los demas son 0.
[1.4] Ejercicio. Probar que en cualquier anillo A, si a, b A entonces (a)b =

ab = a(b).
[1.5] Ejercicio. Probar que si A es dominio entero entonces y a A \ {0}, entonces

la funcion multiplicar por a definida por a : A A, a (b) = ab es inyectiva.
[1.6] Ejercicio. Probar que todo dominio entero finito es campo.
Modulos
De aqu en adelante A denota un anillo cualquiera en el que 1 es el elemento unitario

y 0 es el elemento cero; F es un campo cualquiera y k es un natural.
Un A-modulo izquierdo es un grupo abeliano (M, +) en el que esta definida una

operacion por escalares A M M de tal manera que
(M1) 1m = m para todo m M.
3
(M2) (a + b)m = am + bm para todo m M y a, b A.

(M3) a(m + n) = am + an para todo m, n M y a A.
(M4) (ab)m = a(bm) para todo m M y a, b A.
Nota. Se usa el mismo smbolo de suma (+) para la suma de A y de M ; de la misma

manera, no se distingue entre el elemento 0 de A y el de M.
Nota. Se puede definir modulo derecho considerando la multiplicacion de los escalares

por la derecha (es decir, ma en lugar de am). Los conceptos son distintos en virtud de
(M4). Por el momento solo consideraremos modulos izquierdos y les llamaremos, simple-
mente, modulos.
[1.7] Ejemplos. (a) Al conjunto con un solo elemento se le puede dar la estructura
de A-modulo para cualquier A de la manera trivial. A este se le llama modulo 0 y se le
denota tambien por 0.
(b) Z-modulo significa simplemente grupo abeliano.
(c) F -modulo significa F -espacio vectorial.
(d) Si V es un espacio vectorial de dimension k entonces V es un Mk (F )-modulo con
la multiplicacion de matrices pensando a V como vector columna con respecto a una base.
(e) Zk -modulo significa grupo abeliano en el que cada elemento tiene orden un divisor
de k (o, equivalentemente, un grupo abeliano en el que km = 0 para todo m M ).
(f) Si M es un F -espacio vectorial y T : M M es una transformacion lineal
entonces M es un F [x]-modulo al definir xm = T (m) para m M y extender en la
forma obvia. Recprocamente, dado un F [x]-modulo M la funcion T : M M definida
por T (m) = xm para m M es una transformacion lineal sobre F.
(g) A es A-modulo con la multiplicacion interna.
(h) Si B es un subanillo de A y M es un A-modulo entonces M es un B -modulo con
la multiplicacion por escalares restringida a B. Por ejemplo todo R-modulo es Q-modulo,
todo Mk (F )-modulo es F -modulo, etc.
(i) Si M y N son A-modulos entonces tambien lo es M N con las operaciones
coordenada a coordenada.
[1.8] Ejercicio. Sea M un A-modulo y m M.

(a) Probar que 0m = 0 (donde el primer 0 es el de A y el segundo es el de M ).
(b) Probar que (1)m = m, el inverso del elemento m en el grupo abeliano M.
Submodulos y generacion
Sea M un A-modulo. Un subconjunto N de M es submodulo de M si es cerrado bajo

las operaciones de modulo (es decir, si a A y n, n N entonces an N, y n+n N ) y
0 N (o, equivalentemente, gracias a las demas propiedades, N 6= ). Si N es submodulo
4
de M escribimos N M. Es claro que todo submodulo de un modulo es, el mismo, un

modulo.
[1.9] Ejemplos. (a) Si M es un A-modulo, entonces {0} y M son submodulos.

(b) Si M es un Z-modulo entonces sus submodulos son sus subgrupos.
(c) Los Z-submodulos de Z son los k Z y el modulo 0. Para ver esto, supongamos que
0 6= M Z; es claro, entonces, que el conjunto S = {m M : m > 0} es un conjunto
no vaco de naturales y, por tanto, tiene un elemento menor k ; veamos que M consta de
los multiplos de k ; es claro que todo multiplo de k es elemento de M. Recprocamente,
sea m M y, por el algoritmo de la division, tomemos q, r Z tales que m = kq + r con
0 r < k (queremos ver que r = 0). Tenemos que r = m kq M y, si r 6= 0, entonces
r sera un elemento de S menor que k, lo cual es una contradiccion.
(d) Los F -submodulos son los subespacios.
(e) Si M es un F [x]-modulo y N M entonces N es submodulo si y solo si N es
subespacio y xN N (en otras palabras, N es invariante bajo la transformacion lineal
dada por multiplicar por x).
(f) Si V es un F -espacio vectorial de dimension k entonces los Mk (F )-submodulos de
V son 0 y el mismo V .
Los A-submodulos de A se llaman ideales izquierdos de A.
Para un subconjunto I A tiene sentido definir ideal bilateral de A: se pide, ademas

de que I sea A-submodulo (izquierdo) que tambien sea modulo por la derecha (dado
i I y a A, se debe tener ia I ). Los dos conceptos son distintos en anillos no
conmutativos (ver ejemplo (d) a continuacion). A partir de aqu llamaremos ideales a los
ideales izquierdos, e ideales bilaterales a los que lo sean.
[1.10] Ejemplos. (a) {0} y A son ideales de A.

(b) Los ideales de Z son los k Z y {0}.
(c) Si A = Mk (F ) entonces sus ideales son los conjuntos formados por todos las
matrices que tienen algunas columnas fijas con todas sus entradas iguales a 0. No tiene
ideales bilaterales aparte del 0 y el mismo A.
[1.11] Ejercicio. Sea A un anillo conmutativo. Probar que A es campo si y solo si

sus unicos ideales son {0} y A.
[1.12] Ejercicio. Sea {Ni : i I} (I no necesariamente finito) una familia de

submodulos de un A-modulo M.
(a) Probar que Ni es submodulo de M.
T
(b) Probar que Ni no necesariamente es submodulo de M (inclusive si I consta de

S
solo dos elementos).

(c) Si I es un conjunto totalmente ordenado y para i j en I se tiene que Ni Nj
entonces Ni s es submodulo de M .
S
5
Dado un A-modulo M y X M, denotamos por <X > a la interseccion de todos

los submodulos de M que contienen a X que, gracias a [1.12](a), es un submodulo; es,
ademas, el menor submodulo que contiene al conjunto X (en el sentido de que cualquier
otro submodulo que contenga a X contiene a <X>); se llama submodulo generado por
X y se dice que X es un conjunto generador del modulo <X> . Decimos que un modulo
es cclico si esta generado por un solo elemento. Decimos que M es finitamente generado
si existe X finito tal que M = <X > . En el caso de ideales, en lugar de decir que son
cclicos, decimos que son principales. Un dominio de ideales principales (abreviado DIP)
es un dominio entero en el que todo ideal es principal.
[1.13] Observacion. (a) Si un ideal M es un modulo cclico generado por m (es-

cribimos M =<m>), entonces M = Am = {am : a A}.
(b) Si M es un A-modulo y X = {m1 , m2 , . . . , mk } M, entonces
<X>= {a1 m1 + a2 m2 + + ak mk : i ai A}.
Cada expresion a1 m1 + a2 m2 + + ak mk se llama combinacion lineal de las mi .

(c) Si M es un A-modulo y X es un subconjunto infinito de M entonces
<X>= {a1 m1 + a2 m2 + ak mk : k N, i mi X, i ai A}.
(d) Si {Ni : i I es una familia de submodulos de un modulo M entonces el submodulo

generado por iI Ni es
S
X
Ni = {ni1 + ni2 + + nik : k N, {i1 , . . . , ik } I, nij Nij para j = 1, . . . , k}.
iI
[1.14] Observacion. Sean N M A-modulos y sea X M. Para probar que

<X> N basta probar que X N.
[1.15] Ejemplos. (a) A es cclico como A-modulo (A = <1>).

(b) Z es DIP.
(c) Todo campo es DIP.
(d) Los Z-modulos cclicos son los Zk y Z.
(e) Los F -modulos finitamente generados son los espacios vectoriales de dimension
finita.
(f) En Z tenemos que <6, 8> = <2> . (La contencion <6, 8> = <2> es clara por [1.14]
pues 6 = 3 2 y 8 = 4 2. Para ver la otra contencion basta recordar que el maximo comun
divisor de dos numeros enteros es combinacion lineal de los numeros.)
(g) En la seccion 2 veremos que F [x] se parece mucho a Z como anillo; en particular,
por [2.3], [2.8] y [2.9] tenemos que F [x] es DIP.
(h) En el anillo Z[x] el ideal <2, x> no es principal.
(i) En el anillo F [x, y] el ideal <x, y> no es principal (y entonces F [x, y] no es DIP).
(j) En el anillo F [x1 , x2 , . . .] el ideal <x1 , x2 , . . .> (que consta de los polinomios que
no tienen termino constante) no es finitamente generado.
6
(k) En el anillo Mk (F ) el ideal generado por
1 0 0

0 0 0
..

.

0 0 0
es el conjunto que consta de las matrices en que todas las columnas salvo la primera tienen
todos sus elementos iguales a 0.
[1.16] Ejercicio. Probar que todo Z-submodulo finitamente generado de Q es cclico

y concluir que Q no es finitamente generado. Sugerencia: Subgrupo de cclico es cclico.
[1.17] Ejercicio. Sea M = R2 y sea T : M M definida por T (m) = 2m. Consid-

erar a M como R[x]-modulo de la manera canonica. Cuales son los R[x]-submodulos de
M?
[1.18] Ejercicio. Sea M = C y sea T : M M definida por T (m) = im. Considerar

a M como R[x]-modulo de la manera canonica. Cuales son los R[x]-submodulos de M ?
[1.19] Ejercicio. Probar que submodulo de finitamente generado no necesariamente

es finitamente generado.
Homomorfismos
Si M y N son A-modulos, una funcion f : M N es A-homomorfismo (u homo-

morfismo si se sobreentiende el anillo) si f respeta las operaciones de modulo, es decir
(a) Si m, m M entonces f (m + m ) = f (m) + f (m ).
(b) Si m M y a A entonces f (am) = af (m).
[1.20] Ejemplos. (a) Si M y N son A-modulos, entonces la funcion constante 0 es

homomorfismo (se llama homomorfismo trivial).
(b) Si M es A-modulo, entonces la funcion identidad idM : M M es homomorfismo.
(c) Los F -homomorfismos son las transformaciones lineales.
(d) Los Z-homomorfismos son los homomorfismos de grupo.
(e) Si N M son A-modulos, entonces la inclusion N M es homomorfismo.
(f) Si M y N son A-modulos, entonces las funciones proyeccion pM : M N M y
pN : M N N son homomorfismos y tambien lo son las funciones inclusion iM : M
M N y iN : N M N.
(g) Un F [x]-homomorfismo es una transformacion lineal T : M N tal que T (xm) =
7
xT (m) para toda m M (en otras palabras, es conmutativo el diagrama

M N
,
M N
donde las flechas horizontales son la transformacion T y las verticales son la multiplicacin
por x en M y en N ).
[1.21] Propiedades. (a) Si f : M N es A-homomorfismo entonces f (0) = 0.

(b) La composicion de homomorfismos es homomorfismo.
(c) Si f : M N es A-homomorfismo y M es submodulo de M entonces f (M ) es
submodulo de N. En particular la imagen de f es submodulo de N.
(d) Si f : M N es A-homomorfismo y N N entonces f 1 (N ) es submodulo de
M. Se denota por Ker(f ) a f 1 (0) y se le llama nucleo o kernel de f.
Dados dos A-modulos M y N decimos que son isomorfos si existe un homomorfismo

biyectivo f : M N. En este caso f es isomorfismo y escribimos M N.
[1.22] Ejercicio. Probar que ser isomorfos es una relacion de equivalencia. (La
palabra relacion esta entre comillas pues no se puede hablar del conjunto de todos los
A-modulos; sin embargo s podemos pensar en la reflexividad, transitividad y simetra de
la propiedad de isomorfismo.)
[1.23] Ejercicio. Probar que si f : M N es A-homomorfismo y M es finitamente

generado (o cclico) entonces tambien lo es f (M ).
[1.24] Ejercicio. Probar que un homomorfismo f : M N es inyectivo si, y solo si,

Ker(f ) = 0.
[1.25] Ejercicio. Probar que el unico Z-homomorfismo f : Z5 Z6 es el trivial.
[1.26] Ejercicio. Sea M un A-modulo y m M.

(a) Probar existe un unico A-homomorfismo fm : A M tal que fm (1) = m.
(b) A que es igual fm (A)?
(c) A que es igual Ker(fm )?
[1.27] Ejercicio. Sea A un anillo conmutativo. Definimos

HomA (M, N ) = {f : M N : f es homomorfismo}.
Probar que HomA (M, N ) es A-modulo si se define la suma (f + g)(m) = f (m) + g(m) y
la multiplicacion por escalares por (af )(m) = af (m).
[1.28] Ejercicio. Definir un isomorfismo HomA (A, M ) M para A un anillo con-

mutativo.
8
[1.29] Ejercicio. Sea M un grupo abeliano. Probar que HomZ (Zk , M ) es isomorfo
al submodulo {m M : km = 0} de M .
[1.30] Ejercicio. Probar que si A y B son anillos y : A B es homomorfismo

de anillos (es decir, manda al 1 de A en el 1 de B y abre sumas y multiplicacion),
entonces dado b B existe un unico homomorfismo de anillos : A[x] B que extiende
a y tal que (x) = b.
9
Seccion 2
Polinomios
De nuestros cursos basicos de Matematicas conocemos los polinomios y sabemos hacer

operaciones con ellos (sumarlos, multiplicarlos, dividirlos); incluso, en ocasiones, los hemos
considerado como funciones. En esta seccion haremos un resumen, sin muchos detalles,
de las propiedades y nomenclatura basicas. Daremos con mas detalle problemas de fac-
torizacion en conjuntos de polinomios (de manera analoga a como se tratan problemas de
divisibilidad en el conjunto de los enteros).
Dado un entero n 0 y a0 , a1 , . . . , an numeros (o expresiones numericas), un polinomio

es una expresion de la forma
an xn + an1 xn1 + + a1 x + a0
o, equivalentemente, n
an xn o ai xi ,
X X
i=0 i0
considerando que, para i > n, ai = 0. Los ai son los coeficientes del polinomio, x es la
variable y cada ai xi es un termino del polinomio. Al conjunto de todos los polinomios que
tienen coeficientes en un conjunto de numeros A lo denotamos por A[x]. Consideraremos
de aqu en esta seccion que A es un anillo conmutativo.
Si f (x) = an xn + an1 xn1 + + a1 x + a0 y g(x) = bm xm + bm1 xm1 + + b1 x + b0

son polinomios en A[x], entonces su suma f (x)+g(x) y su producto f (x)g(x) son tambien
polinomios en A[x] y estan definidos por:
c i xi ,
X
f (x) + g(x) =
i0
di x i ,
X
f (x)g(x) =
i0
2. Polinomios
donde consideramos ai = 0 para i > n y bi = 0 para i > m, y los coeficientes ci y di se

obtienen de la siguiente forma:
c i = a i + bi y
X
di = a0 bi + a1 bi1 + + ai b0 = a k bl .
k+l=i
Si f (x) = an xn + an1 xn1 + + a1 x + a0 y an 6= 0, decimos que f (x) tiene grado

n y escribimos f (x) = n. Por conveniencia decimos que el polinomio que tiene todos sus
coeficientes iguales a 0 (llamado polinomio cero) tiene grado , conviniendo que para
r N {0, } se tiene () n, () + n = y () n = . Los polinomios
de grado 0 y el polinomio cero se llaman polinomios constantes. Cuando f (x) = n el
coeficiente an se llama coeficiente principal de f (x); el polinomio es monico cuando an = 1.
[2.1] Proposicion. Sean f (x), g(x) A[x].

(a) Entonces (f (x)+g(x)) max{f (x), g(x)} y se da la igualdad si f (x) 6= g(x).
(b) Si A es dominio entero entonces (f (x)g(x)) = f (x) + g(x).
[2.2] Ejercicio. Probar que si k N no es primo, entonces existen f (x), g(x) Zk [x]
6 f (x) + g(x).
tales que (f (x)g(x)) =
El siguiente resultado es muy importante; nos dice que, cuando A es campo, A =

F, entonces F [x] se parece algebraicamente a Z en cuanto a que en F [x] se pueden
efectuar divisiones con cociente y residuo unicos. En este resultado se basan una gran
cantidad de similitudes de tipo algebraico entre Z y F [x] como veremos mas adelante.
Recordemos tambien que en algunas ocasiones el valor absoluto en Z nos ha servido para
hacer demostraciones por induccion; el analogo en F [x] es el grado.
[2.3] Proposicion. Algoritmo de la division. Dados dos polinomios f (x), g(x) F [x],
con g(x) 6= 0, existen polinomios unicos q(x) y r(x) de tal forma que
f (x) = g(x)q(x) + r(x) y
r(x) < g(x).
Los polinomios q(x) y r(x) son, respectivamente, el cociente y el residuo de la division.
Demostracion. Probemos primero la existencia de q(x) y de r(x). La demostracion
es, basicamente, el procedimiento que conocemos desde la Secundaria para dividir poli-
nomios (o enteros) e induccion sobre el grado de f (x). Sean f (x) = an xn + an1 xn1 +
+ a1 x + a0 y g(x) = bm xm + bm1 xm1 + + b1 x + b0 , con bm 6= 0. El resultado es
claro si f (x) = 0 o si f (x) g(x) (pues ponemos q(x) = 0), as que supongamos que
f (x) = n > m. Como en F hay inversos multiplicativos y bm 6= 0, tiene sentido considerar
an an nm
bm
. Escribamos f (x) = g(x) bm x + f1 (x). Es claro que f1 (x) = 0 o f1 (x) < f (x);
en el primer caso, la demostracion esta completa; en el segundo caso, por hipotesis de
induccion, podemos dividir f1 (x) entre g(x); haciendo esta division y factorizando obten-
emos la division buscada para f (x).
11
2. Polinomios
Probemos ahora la unicidad de q(x) y r(x). Supongamos que tenemos dos divisiones
f (x) = g(x)q1 (x)+r1 (x) = g(x)q2 (x)+r2 (x) donde r1 (x) y r2 (x) satisfacen las condiciones
de residuo. Entonces g(x)(q1 (x) q2 (x)) = r2 (x) r1 (x). Si q1 (x) q2 (x) 6= 0, entonces
una comparacion de los grados de ambos lados de la igualdad nos lleva a una contradiccion
(por [2.1]). Entonces q1 (x) = q2 (x) y, por tanto, r2 (x) = r1 (x).
[2.4] Ejercicio. Probar que el Algoritmo de la Division es falso cuando A = Z o

A = Zk para k no primo.
[2.5] Ejercicio. Probar que si g(x) A[x] tiene coeficiente principal con inverso
multiplicativo en A (por ejemplo, si f (x) es monico o si A = Zk y el coeficiente principal
es primo relativo con k ), entonces se puede efectuar division entre g(x) como se hace en
el Algoritmo de la Division.
Sea A un dominio. Dados f (x), g(x) A[x] decimos que g(x) divide a f (x), en sm-
bolos g(x) f (x), si existe q(x) A[x] tal que f (x) = g(x)q(x) (en caso de que se pueda
aplicar el Algoritmo de la Division con g(x), el residuo de la division es 0).
[2.6] Ejercicio. Probar que si A B son campos y f (x), g(x) A[x] son tales que
g(x) divide a f (x) en B[x] entonces tambien lo divide en A[x].
Al sustituir la variable de un polinomio f (x) A[x] por un elemento a A y hacer las

operaciones correspondientes obtenemos otro elemento f (a) A. De esta manera podemos
considerar a un polinomio f (x) como una funcion f : A A. Decimos
que a A es raz
de f (x) si f (a) = 0. Por ejemplo 2 es raz del polinomio 3x 6, 2 R es raz de x3 2
3
e i C es raz de x2 + 1. (En los ejemplos, los polinomios tienen coeficientes en Z, pero

Z R, C as que tiene sentido considerar los polinomios como funciones en estos conjuntos
mas grandes.)
[2.7]
Proposicion. Para cualquier A, si a A es raz de f (x) A[x] entonces
x a f (x) en A[x].

Demostracion. Usando el Algoritmo de la Division (que tambien vale aun cuando

A no sea campo por [2.5] pues x a es monico) tenemos que f (x) = (x a)q(x) + r(x),
donde r(x) es un polinomio constante. Como r(a) = f (a) (a a)q(a) = 0, tenemos que
r(x) es el polinomio 0.
En lo que sigue veremos que hay una gran similitud (como anillos) entre F [x] y Z.
Daremos aqu la terminologa propia de F [x] para los conceptos analogos en Z. Las de-
mostraciones de los resultados correspondientes son muy parecidas a las que se hacen en
Z, as que solo haremos las mas importantes aqu. Enunciaremos solo las proposiciones
principales y sugerimos al lector que revise otros resultados sobre divisibilidad en Z
Para empezar observemos que el papel que juegan el 1 y el 1 en Z es el mismo
12
2. Polinomios
que juegan las constantes distintas de 0 en F [x]; este es que son invertibles (es decir,
tienen inverso multiplicativo dentro del mismo conjunto (Z en el primer caso y F [x] en
el segundo). Analogo a los primos de Z decimos que un polinomio f (x) es irreducible
si f (x) 1 y f (x) no se puede escribir como producto de dos polinomios de grado
menor; en otras palabras, f (x) = g(x)h(x) implica que g(x)o h(x) es constante. (En caso
contrario decimos que f (x) es reducible.) Decimos que dos polinomios f (x) y g(x) son
asociados si existe una constante c A \ {0} tal que f (x) = cg(x) (en otras palabras, f (x)
y g(x) se dividen mutuamente).
Dados dos polinomios f (x) y g(x) en F [x] definimos el maximo comun divisor de
ellos como el polinomio monico d(x) de mayor grado que divide a los dos polinomios, en
smbolos d(x) = mcd(f (x), g(x)). El mismo procedimiento del Algoritmo de Euclides que
se sigue en Z (ver [2.58] y [2.59] en [TN]) funciona en F [x] para probar que el maximo
comun divisor es combinacion lineal de los polinomios. Probamos esto a continuacion.
[2.8] Proposicion. Algoritmo de Euclides para polinomios. Sean f (x), g(x) F [x]
polinomios no cero y sea d(x) su maximo comun divisor. Entonces d(x) es combinacion
lineal de f (x) y g(x), es decir, existen s(x) y t(x) en F [x] tales que d(x) = s(x)f (x) +
t(x)g(x).
Demostracion. Primera forma: Sea C = {c(x) : c(x) es combinacion lineal de f (x)
y g(x)}. Observemos que f (x), g(x) C, as que podemos escoger c0 (x) polinomio monico
de menor grado en C. Usando el Algoritmo de la Division es claro que todo elemento de C
es multiplo de c(x); en particular f (x) y g(x) lo son. Ademas, por ser c(x) combinacion
lineal de f (x) y g(x) es claro tambien que cualquier divisor comun de f (x) y g(x) es
divisor de c(x), de donde c(x) es el polinomio monico de mayor grado que divide a ambos
f (x) y g(x).
Segunda forma. Si g(x) f (x) entonces mcd(f (x), g(x)) = g(x) que, obviamente, es

combinacion lineal de f (x) y g(x). Supongamos entonces que g(x) 6 f (x). Utilizando el
Algoritmo de la Division consideremos polinomios qi (x) y ri (x) de tal manera que
f (x) = g(x)q0 (x) + r1 (x), r1 (x) < g(x),
g(x) = r1 (x)q1 (x) + r2 (x), r2 (x) < r1 (x),
r1 (x) = r2 (x)q2 (x) + r3 (x), r3 (x) < r2 (x),
..
.
rn2 (x) = rn1 (x)qn1 (x) + rn (x), rn (x) < rn1 (x),
rn1 (x) = rn (x)qn (x).
Es claro que
mcd(f (x), g(x)) = mcd(g(x), r1 (x)) = mcd(r1 (x), r2 (x)) =
= mcd(rn1 (x), rn (x)) = rn (x).
Por induccion es facil ver que todos los residuos r1 (x), . . . , rn (x) son combinacion lineal de
13
2. Polinomios
f (x) y g(x), lo cual termina la demostracion.
[2.9] Ejercicio. Sean f (x), g(x) F [x]. Sea d(x) = mcd(f (x), g(x)). Probar que
c(x) F [x] es combinacion lineal de f (x) y g(x) si y solo si d(x) c(x).
[2.10] Ejercicio. Probar que F [x] es dominio de ideales principales.
[2.11] Ejercicio. Probar que en el anillo F [x] /<a(x)> los polinomios b(x) primos
relativos con a(x) tienen inverso multiplicativo.
[2.12] Ejercicio. Dar un ejemplo de dos polinomios en Z[x] que no tengan factores
en comun pero que 1 no sea combinacion lineal de ellos.

[2.13] Corolario. En F [x], si p(x) es un polinomio irreducible tal que p(x) f (x)g(x),

entonces p(x) f (x) o p(x) g(x).

Demostracion. Suponiendo que p(x) no divide a f (x), por ser p(x) irreducible
tenemos que mcd(f (x), p(x)) = 1, de donde existen s(x), t(x) tales que 1 = f (x)s(x) +
p(x)t(x); multiplicando esta ecuacion por g(x) tenemos el resultado buscado.
Como consecuencia del corolario anterior tenemos el analogo al teorema fundamental

de la aritmetica. Este es el contenido de la siguiente proposicion.
[2.14] Proposicion. Teorema de factorizacion unica. Todo polinomio no constante en

F [x] se escribe de manera unica (salvo por orden y asociados) como producto de polinomios
irreducibles.
Demostracion. Sea f (x) F [x] no constante. Es claro que se puede factorizar como
producto de irreducibles. Veamos la unicidad. Supongamos que f (x) = p1 (x) pk (x) =
q1 (x) ql (x), con los pi (x) y los qj (x) polinomios irreducibles y k l. Como p1 (x) es
irreducible y divide al producto q1 (x) ql (x), entonces divide a alguno de los qi (x); sin
perdida de generalidad supongamos que p1 (x) q1 (x). Ahora, q1 (x) es irreducible, as que
debe ser asociado de p1 (x); agrupando la constante con la cual difiere de p1 (x) con algun
otro de los qi (x), podemos suponer que p1 (x) = q1 (x); cancelandolos en la igualdad, una
induccion nos da el resultado.
[2.15] Ejercicio. Probar que si A es subconjunto de un campo F y f (x) F [x]

tiene grado n entonces f (x) tiene a lo mas n races en A.
[2.16] Ejercicio. Dar un ejemplo que demuestre que el resultado del ejercicio anterior
es falso en Zk [x] si k no es primo.
Dependiendo del campo F del que se trate, los elementos irreducibles en F [x] son de
distinta naturaleza. Estudiaremos a continuacion los casos F = R y C.
14
2. Polinomios
El siguiente resultado es muy importante. Las demostraciones que hay del mismo son
demasiado complicadas o utilizan material ajeno a estas notas, por lo que lo aceptaremos
sin prueba. Gracias a el decimos que C es campo algebraicamente cerrado.
[2.17] Teorema fundamental del algebra. Si f (x) C tiene grado n, entonces

f (x) tiene n races (posiblemente algunas iguales entre s) en C.
Los siguientes corolarios son inmediatos.
[2.18] Corolario. Los polinomios irreducibles en C[x] son los de grado 1.
[2.19] Corolario. Si f (x) C[x] tiene grado n > 0 entonces f (x) = c(xa1 ) (x
an ), donde c C y las aj C son las races de f (x).
Los polinomios irreducibles sobre R[x] tienen grado 1 o 2. Para probar esto necesitamos
un lema.
[2.20] Lema. Si a C es raz de f (x) R[x], entonces tambien lo es el conjugado a

de a.
Demostracion. Sea f (x) = an xn + an1 xn1 + + a1 x + a0 . Entonces, usando que
el conjugado de una suma es la suma de los conjugados, que el conjugado de un producto
es el producto de los conjugados y que el conjugado de un real es el mismo real, tenemos
que
f (a) = an an + an1 an1 + + a1 a + a0
= an an + an1 an1 + + a1 a + a0
= 0 = 0.
[2.21] Proposicion. Si f (x) R[x] es un polinomio irreducible entonces f (x) 2.

Demostracion. Si f (x) tiene una raz real a, entonces x a divide al polinomio,
pero el polinomio es irreducible as que f (x) = c(x a), que es de grado 1. Supongamos
entonces que f (x) no tiene raz real y as f (x) 2. Si f (x) 3, usando el teorema
fundamental del algebra, escribamos f (x) = a(x a1 ) (x an ) con a1 , . . . , an las races
de f (x). Por el lema anterior podemos suponer, sin perdida de generalidad, que a2 = a1 .
Sea g(x) = (x a1 )(x a2 ). Observemos que g(x) = x2 (a1 + a1 )x + a1 a1 , as que
g(x) tiene coeficientes reales. Tenemos que g(x) divide a f (x) en C[x] as que, por [2.6],
tambien lo divide en R[x], de donde (x a3 ) (x an ) R[x], pero f (x) es irreducible,
as que esto es una contradiccion y de aqu que f (x) = 2.
[2.22] Ejercicio. En R[x] dar un ejemplo de un polinomio de grado 2 irreducible y

un ejemplo de un polinomio de grado 2 no irreducible.
Sabemos que si f (x) = x2n+1 + b2n x2n + + b0 R[x], y a R es suficientemente

grande, entonces f (a) > 0; analogamente, para a < 0 de valor absoluto suficientemente
15
2. Polinomios
grande se tiene que f (a) < 0; como toda funcion polinomial es continua, es claro que la
grafica de f debe cruzar el eje x, lo que significa que f (x) tiene raz real. Hemos hecho
una demostracion geometrica de que todo polinomio de grado impar tiene raz real.
[2.23] Ejercicio. Probar algebraicamente que todo polinomio de grado impar en R[x]
tiene al menos una raz real.
En Q[x] la situacion es bastante mas complicada y puede haber polinomios irreducibles

de cualquier grado. Existen algunos criterios de irreducibilidad pero no se tiene una res-
puesta completa.
[2.24] Ejercicio.() Probar que F [x] es un DIP.
16
Seccion 3
Cocientes y sucesiones exactas
Recordemos que una relacion en un conjunto A es relacion de equivalencia si es

reflexiva (es decir, para todo a A, se tiene que a a), simetrica (es decir, si a, b A
son tales que a b entonces b a) y transitiva (es decir, si a b y b c para ciertos
a, b, c A entonces a c). Como ejemplos de relaciones de equivalencia tenemos la
relacion de igualdad (en cualquier conjunto), la relacion de semejanza en el conjunto de
triangulos del plano y, en el conjunto A = Z, la relacion de congruencia modulo k ).
Tambien tenemos que si {Xi : i I} es una particion del conjunto X (es decir, una
familia de subconjuntos ajenos de X cuya union es X ), entonces en X esta definida de
manera natural una relacion x y x y y son elementos del mismo Xi . Recprocamente
toda relacion de equivalencia en un conjunto X parte a X en subconjuntos ajenos; cada
uno de esos subconjuntos consta de todos los elementos relacionados entre s. Si x X,
al conjunto de elementos relacionados con x se le llama clase de x y se le denota por x o
por [x]. Al conjunto de clases se le denota por X/ y se le llama cociente de X por la
relacion. Hasta aqu hemos visto que es practicamente lo mismo hablar de particiones en
un conjunto y relaciones de equivalencia en ese conjunto.
Por otro lado, dada una relacion de equivalencia en un conjunto X tenemos una
funcion (suprayectiva) p : X X/ definida por p(x) = x; esta se llama proyeccion natural
de X en X/; precisamente los elementos relacionados son los que tienen la misma imagen
bajo la funcion p. Recprocamente si f : X Y es una funcion suprayectiva entonces la
relacion definida en X por x1 x2 f (x1 ) = f (x2 ) es relacion de equivalencia.
De esta manera tambien tenemos que es esencialmente lo mismo hablar de relaciones de
equivalencia, de particiones o de funciones suprayectivas.
Dado un A-modulo M a nosotros nos interesa definir relaciones de equivalencia en

3. Cocientes y sucesiones exactas
M de tal manera que el cociente sea un modulo y la proyeccion natural sea un homomor-
fismo. Posteriormente veremos que, al igual que en conjuntos, hablar de homomorfismos
suprayectivos con dominio un modulo M es lo mismo que hablar de cocientes de M. Las
relaciones de equivalencia que nos definen cocientes apropiados son a traves de submodulos
y las particiones constan de trasladados del submodulo como describimos a continuacion:
Dados L M A-modulos, definimos el cociente de M entre L por

M/L = {m + L : m M },
donde m + L = {m + l : l L}. Dos elementos m, m de M estan relacionados (escribimos
m m (mod L) si y solo si m m L. Damos a este conjunto una estructura de
A-modulo mediante representantes, es decir
(m + L) + (m + L) = (m + m ) + L, y a(m + L) = (am) + L,
para m, m M y a A.
[3.1] Ejercicio. La definicion es correcta, es decir, no depende de los representantes

elegidos, y determina una estructura de A-modulo en M/L de tal manera que la proyeccion
natural es homomorfismo.
[3.2] Observacion. Si p : M M/L es la proyeccion natural entonces Ker(p) = L.
[3.3] Teorema. Propiedad universal del modulo cociente. Sean L M dos A-

modulos. Entonces M/L y la proyeccion natural p : M M/L satisfacen lo siguiente:
(i) p(L) = 0 y
(ii) Si f : M X es un A-homomorfismo X tal que f (L) = 0 entonces existe un
unico A-homomorfismo f : M/L X de tal manera que f p = f.
Ademas esta propiedad caracteriza al cociente, es decir: Si : M C es un homo-
morfismo que satisface las dos propiedades siguientes
(i ) (L) = 0 y
(ii ) dado un homomorfismo de A-modulos f : M X tal que f (L) = 0 se tiene que
existe un unico A-homomorfismo f : C X de tal manera que f = f,
entonces existe un isomorfismo : C M/L tal que = p.
Demostracion. Es claro que se satisface (i). Para ver que se satisface (ii) sea f :
M X un A-homomorfismo tal que f (L) = 0; definamos f (m + L) = f (m). El que f
esta bien definida es precisamente porque f (L) = 0; el que f es unica tal que f p = f
es claro.
Ahora veamos que (i) y (ii) caracterizan a p : M M/L. Supongamos que tenemos un
homomorfismo : M C que satisface (i ) y (ii ). Como p satisface (i) y satisface (ii )
tenemos que existe : C M/L tal que = p. Falta ver que es isomorfismo, pero
para esto basta construir su inversa. Ahora usemos que satisface (i ) y que p satisface
(ii) para construir : M/L C tal que p = . Notemos que : C C es tal que
( ) = y tambien sabemos que idC : C C es tal que (idC ) = ; la unicidad
18
de las funciones (que es hipotesis en (ii )) nos da = idC . Analogamente tenemos que
= idM/L .
La propiedad universal del cociente puede expresarse de manera simplificada como

sigue: Para dar un homomorfismo que sale de un cociente hay que definirlo en el nume-
rador anulando al denominador.
La demostracion que hicimos de la unicidad de (M/L, p) es estandar y es practicamente

igual en todas las propiedades universales.
[3.4] Teorema. Primer teorema de isomorfismo. Si f : M N es un homomorfismo

de modulos entonces Im(f ) M/Ker(f ).
Demostracion. Sea f : M N definido como f (es decir f (m) = f (m) para todo
m M ); entonces f (Ker(f )) = 0 as que, por la propiedad universal del cociente, f
induce un homomorfismo f : M/Ker(f ) Im(f ). Es claro que este homomorfismo es
biyectivo.
[3.5] Ejemplo. Tenemos que el R[x]-modulo R[x] /<x2 + 1> es isomorfo a C como
R[x]-modulos (recordando que en C la multiplicacion por x es la multiplicacion por i).
Ademas el isomorfismo respeta la multiplicacion as que resulta ser un isomorfismo de
anillos.
Demostracion. De manera intuitiva observemos que cualquier polinomio f (x) R[x]
lo podemos dividir entre x2 + 1 y obtenemos un residuo de grado menor o igual que 1:
ax + b. Entonces la clase de f (x) en R[x] /<x2 + 1> es la misma que la de ax + b as que
asociamos a f (x) el complejo ai + b. Se puede verificar directamente que esta asociacion
es correcta y que respeta las operaciones de C. De manera formal, definamos : R[x] C
por (f (x)) = f (i) para f (x) un polinomio en R[x]. Es claro que es un R-homomorfismo
(y ademas respeta la multiplicacion tambien). Si un polinomio f (x) es tal que f (i) = 0
entonces i es raz, as que, por tener coeficientes reales, tambien lo es el conjugado i, de
donde (x i)(x + i) = x2 + 1 es divisor de f (x) (en R[x]). Recprocamente, es claro que
todo multiplo de x2 + 1 esta en el nucleo de , as que Ker() = <x2 + 1> . Ahora ya
solo basta aplicar el primer teorema de isomorfismo.
En el ejemplo anterior descubrimos que podemos construir los numeros complejos a

partir de R agregando un elemento x cuyo cuadrado sea 1 (es decir, que x2 + 1 sea 0,
lo cual ocurre en el cociente de R[x] entre <x2 + 1>). En general, si p(x) F [x] es un
polinomio irreducible, entonces F [x]/ < p(x) > resulta ser campo pues si f (x) <
/ p(x) >
(es decir, su clase modulo < p(x) > no es 0) entonces es primo relativo con p(x), as que
hay una combinacion lineal de f (x) y p(x) que da 1, de manera que la clase del coeficiente
de f (x) en esa combinacion lineal es inverso multiplicativo de f (x).
[3.6] Teorema. Segundo teorema de isomorfismo. Si L y N son submodulos de un
19
modulo M entonces existe un isomorfismo

N/(N L) (N + L)/L.
Demostracion. Sean i : N N + L la inclusion y p : N + L (N + L)/L la
proyeccion. Entonces el homomorfismo p i : N (N + L)/L es suprayectivo y su nucleo
es N L, as que el isomorfismo esta dado por el primer teorema de isomorfismo.
[3.7] Teorema. Teorema de la correspondencia. Sean L M dos A-modulos. Existe

una biyeccion que respeta inclusion entre los submodulos de M que contienen a L y los
submodulos de M/L. Esta biyeccion esta dada por la proyeccion natural p : M M/L.
Demostracion. Tenemos que observar que si L S M entonces p(S) = S/L
es un submodulo de M/L. El que esta asignacion sea suprayectiva es porque claramente
si S M/L entonces p1 (S) es un submodulo de M que contiene a L y, por ser p
suprayectiva, S = p(p1 (S) = p1 (S)/L. Es obvio que esta asignacion S p(S) respeta
inclusion. Veamos que es inyectiva: Supongamos que S y S son submodulos de M que
contienen a L y tales que p(S) = p(S ), es decir S/L = S /L; queremos probar que S = S .
Sea s S ; entonces s + L S /L as que existe s S tal que s + L = s + L; esto implica
que existe l L tal que s s = l, pero L S , as que s = s + l S . La inclusion
S S es igual.
[3.8] Ejemplo. Sean L = 18 Z Z grupos abelianos. Entonces los subgrupos del

cociente Z18 estan en correspondencia biyectiva con los subgrupos de Z que contienen a
18 Z, los cuales claramente son los k Z con k divisor de 18. Las posibilidades para k son
1, 2, 3, 6, 9, 18. Entonces los subgrupos son:
1 Z/18 Z = <1>= Z18 ,
2 Z/18 Z = {0, 2, 4, 6, 8, 10, 12, 14, 16} = <2> (que es isomorfo a Z9 ),
3 Z/18 Z = {0, 3, 6, 9, 12, 15, 18} = <3> (que es isomorfo a Z6 ),
6 Z/18 Z = {0, 6, 12} = <6> (que es isomorfo a Z3 ),
9 Z/18 Z = {0, 9} = <9> (que es isomorfo a Z2 ),
18 Z/18 Z = {0}.
[3.9] Teorema. Tercer teorema de isomorfismo. Sean L S M A-modulos.

Entonces (M/L)/(S/L) M/S.
Demostracion. Sean p : M (M/L) y q : (M/L) (M/L)/(S/L) las proyecciones
naturales. Entonces q p : M (M/L)/(S/L) es un homomorfismo suprayectivo cuyo
nucleo es S (pues el elemento 0 de (M/L)/(S/L) es (S/L), as que 0 = (q p)(m) =
(m + L) + (S/L) si y solo m + L S/L, lo cual vimos arriba que es equivalente a que
m S ). Ahora ya solo hay que aplicar el primer teorema de isomorfismo.
[3.10] Ejemplo. Los cocientes de Z18 son:

(Z/18 Z)/(1 Z/18 Z) = 0,
(Z/18 Z)/(2 Z/18 Z) Z2 ,
(Z/18 Z)/(3 Z/18 Z) Z3 ,
20
(Z/18 Z)/(6 Z/18 Z) Z6 ,

(Z/18 Z)/(9 Z/18 Z) Z9 ,
(Z/18 Z)/(18 Z/18 Z) Z18 .
Podemos poner al submodulo L del modulo M y al cociente M/L en una sucesion

de homomorfismos L M M/L en donde la primera funcion, i, es un homomorfismo
inyectivo (la inclusion) y la segunda, p, es un homomorfismo suprayectivo (la proyeccion).
Tenemos que Ker(p) = Im(i). Generalizamos esto: Dada una sucesion de modulos y
homomorfismos
f
1 2f 3 f
M1 M 2 M3
decimos que es una sucesion exacta si para toda i se tiene que Im(fi ) = Ker(fi+1 ). Las
sucesiones exactas de la forma 0 L M N 0 (donde la primera flecha y la ultima
representan los homorfismos triviales) se llaman sucesiones exactas cortas.
f1 f2
[3.11] Nota. Si M1 M 2 M3 es una sucesion exacta entonces el que Im(f1 )
Ker(f2 ) es equivalente a que la composicion f2 f1 sea 0; sin embargo esto ultimo no basta
para que la sucesion sea exacta pues falta la otra inclusion con la cual se debe tener que si
f2 (x) = 0 (para cierta x M2 ) entonces existe y M1 tal que f1 (y) = x.
Llamemos monomorfismos a los homomorfismo inyectivos y epimorfismos a los homo-

morfismos suprayectivos. Estos pueden caracterizarse mediante sucesiones exactas segun
veremos en la siguiente observacion.
[3.12] Observacion. Sea f : M N un homomorfismo de A-modulos. Entonces

son equivalentes:
(a) f es monomorfismo.
(b) Ker(f ) = 0.
f
(c) La sucesion 0 M N es exacta.
[3.13] Observacion. Sea f : M N un homomorfismo de A-modulos. Entonces

son equivalentes:
(a) f es epimorfismo.
(b) Im(f ) = N.
f
(c) La sucesion M N 0 es exacta.
Aunque el nucleo se define de manera muy simple mediante elementos, conviene tam-
bien tener una forma de compararlo con los demas modulos y homomorfismos; esto se
hace mediante una propiedad universal, de la misma manera que se hizo con el modulo
cociente, y esta propiedad universal lo caracteriza. Mas adelante nos veremos obligados
a definir ciertas estructuras algebraicas a traves de propiedades universales pues seran los
resultados de problemas en los que se buscan modulos que satisfagan alguna propiedad en
particular.
21
[3.14] Teorema. Propiedad universal del nucleo. Sea f : M N un homomorfismo.

Entonces Ker(f ), junto con la inclusion i : Ker(f ) M, cumplen las siguientes dos
propiedades, y ademas estas los caracterizan:
(a) f i = 0 y
(b) Si j : X M es un homomorfismo tal que f j = 0, entonces existe un unico
homomorfismo j : X Ker(f ) tal que i j = j (es decir, j se factoriza a traves de
Ker(f )).
Demostracion. El que f j = 0 quiere decir que todos los elementos en la imagen
de j van a dar a 0 mediante f, as que la imagen de j esta contenida en Ker(f ); as es
claro que si se define j por j(x) = j(x) entonces i j = j y, de hecho, es la unica forma
de lograrlo. La demostracion de que la propiedad caracteriza a Ker(f ) es analoga a la de
la caracterizacion del cociente a traves de su propiedad universal: Si se tiene i : K M
un homomorfismo que satisface las propiedades (a) y (b) en lugar de i, entonces usando
que tanto i como i satisfacen (a) y (b) se obtiene un isomorfismo : K Ker(f ) tal
que i se traduce en i (es decir i = i ).
Las sucesiones exactas cortas representan la situacion de un submodulo, un modulo y

un cociente de acuerdo con la siguiente proposicion.
[3.15] Proposicion.
i
(a) Dado un monomorfismo LM tenemos una sucesion exacta corta
i p
0 LM M/i(L) 0,
donde p es la proyeccion natural.

p
(b) Dado un epimorfismo M N tenemos una sucesion exacta corta
i p
0 Ker(p)M N 0,
donde i es la inclusion.
(c) Si tenemos una sucesion exacta corta
i p
0 LM N 0,
entonces N es isomorfo al cociente M/i(L) y p es esencialmente la proyeccion natural.

(d) Si tenemos una sucesion exacta corta
i p
0 LM N 0,
entonces L es isomorfo a Ker(p) y i es esencialmente la inclusion.

Demostracion. (a) y (b) son claros. Para ver (c) basta aplicar el primer teorema
de isomorfismo a la funcion suprayectiva p : M N (pues p i = 0). Se deja (d) como
ejercicio.
La demostracion del siguiente resultado se hace por la llamada caza de diagramas.

La idea es tomar elementos y moverlos en el diagrama de alguna de las formas siguientes
22
que parezca mas apropiada en el momento: aplicar una funcion; si hay exactitud, usar
[3.11] y; en caso de que dos elementos esten en un mismo modulo, considerar su diferencia.
Un poco de practica es suficiente para saber lo que uno debe hacer.
[3.16] Proposicion. Lema del 5o . Supongamos que el siguiente es un diagrama con-

mutativo de A-modulos en el que los dos renglones son sucesiones exactas:
1f f
2 3 f 4 f
M1 M2 M3 M4 M5
h1 h2 h3 h4 h5
g1 g2 g3 g4
N1 N2 N3 N4 N5
(a) Si h2 y h4 son monomorfismos y h1 es epimorfismo, entonces h3 es monomorfismo.
(b) Si h2 y h4 son epimorfismos y h5 es monomorfismo, entonces h3 es epimorfismo.
Demostracion. Haremos (a) y dejaremos (b) como ejercicio. Sea m3 M3 tal que
h3 (m3 ) = 0. Queremos probar que m3 = 0. Indicaremos en un diagrama con numeros los
pasos que vamos siguiendo (con la notacion y posicion naturales).
6 3 5
m1 m2 m3 m4 =0
10 7 1 4
9 8 2
n1 n2 0 0
Ahora, sea m2 = f1 (m1 ). Tenemos que h2 (m2 ) = n2 = h2 (m2 ), pero h2 es monomorfismo
y, por tanto, m2 = m2 , de donde m3 = 0.
[3.17] Ejercicio. Probar [3.15](d).
[3.18] Ejercicio. Probar que un modulo M es cclico si y solo si existe I ideal

(izquierdo) de A tal que M A/I.
[3.19] Ejercicio. Decimos que un A-modulo M es simple si sus unicos submodulos

son {0} y M.
(a) Probar que M es simple si y solo si M A/I con I ideal maximal de A.
(b) Cuales son los Z-modulos simples?
(c) Cuales son los F -modulos simples?
(d) Cuales son los F [x]-modulos simples?
[3.20] Ejercicio. Probar el inciso (b) de [3.16].
[3.21] Ejercicio. Consideremos las siguientes dos sucesiones exactas (los homomor-
fismos son los naturales):
0 Z 2 Z2 Z2 Z 2 0
0 Z2 Z4 Z2 0.
Por que no se contradice el lema 5o ?
[3.22] Ejercicio. (a) Aplicar el lema del 5o para deducir que solo hay una sucesion
exacta corta que contiene a la sucesion exacta 0 L M.
23
(b) Aplicar el lema del 5o para deducir que solo hay una sucesion exacta corta que
contiene a la sucesion exacta M N 0.
[3.23] Ejercicio. Sea L M y sea f : M X un homomorfsimo de modulos tal

que f (L) = 0. Sea f : M/L X el homomorfismo dado por la propiedad universal del
cociente. Probar lo siguiente:
(a) Ker(f ) = Ker(f )/L. En particular f es inyectiva si y solo si Ker(f ) = L.
(b) Im(f ) = Im(f ). En particular f es suprayectiva si y solo si f lo es.
[3.24] Ejercicio. Sea 0 L M N 0 una sucesion exacta. Probar que si L

y N son finitamente generados entonces tambien lo es M.
[3.25] Ejercicio. Describir los subgrupos de Z12 y ponerlos en correspondencia biyec-

tiva con los subgrupos de Z que contienen a 12 Z. Describir ademas todos los cocientes de
Z12 usando el tercer teorema de isomorfismo.
[3.26] Ejercicio. Escribir el segundo y el tercer teorema de isomorfismo en terminos

de sucesiones exactas cortas.

[3.27] Ejercicio. Probar que Q[x] /<x2 2> es isomorfo a Q( 2) como Q-modulos.
Ademas observar que el isomorfismo respeta la multiplicacion as que es isomorfismo de
anillos.
[3.28] Ejercicio. Probar que R/Z es isomorfo a S 1 = {z C : ||z|| = 1} como grupos

abelianos (en S 1 la operacion es el producto de complejos).
[3.29] Ejercicio. Sea f : L M un homomorfismo de A-modulos. Probar que

existe un modulo C y un homomorfismo p : M C con las dos propiedades siguientes:
(a) p f = 0 y
(b) Dado g : M X homomorfismo a un modulo X tal que g f = 0 existe un unico
homomorfismo g : C X de tal manera que g p = g.
[3.30] Ejercicio. Sea f : L M un homomorfismo de A-modulos. Probar que

si (C, p) y (C , p ) ambos satisfacen (a) y (b) del ejercicio anterior entonces existe un
isomorfismo : C C tal que p = p. ((C, p) se llama conucleo de f y se denota por
Coker(f ).)
[3.31] Ejercicio. Probar que es exacta la sucesion

0 Ker(f ) L M Coker(f ) 0.
[3.32] Ejercicio. Probar que si m, n N son primos relativos, entonces la funcion

Z Zm Zn dada por a 7 (a + m Z, a + n Z) es un homomorfismo con nucleo mn Z.
Deducir de aqu el teorema chino del residuo, es decir, que dados a, b Z existe x Z
24
tal que x a (mod m) y x b (mod n); ademas el conjunto de soluciones es una clase
modulo mn.
25
Seccion 4
Suma directa
Decimos que M es suma directa de dos submodulos L y N si todo elemento m de

M se escribe de manera unica m = n + l con n N, l L. Escribimos M = N L y
decimos que M es suma directa de N y L.
[4.1] Observacion. Sean L, N M. Entonces son equivalentes:

(a) M es suma directa de N y L.
(b) M = N + L y N L = 0.
(c) M = N + L y la unica forma de escribir 0 como suma 0 = n + l con n N y
l L es con n = 0 = l.
[4.2] Ejemplo. M = N L es suma directa de N = {(n, 0) : n N } N y de

L = {(0, l) : l L} L.
[4.3] Proposicion. Si M = L N entonces existe una sucesion exacta corta

i p
0 LM N 0,
donde i es la inclusion y p esta dada por p(m) = n si m = l + n con l L, n N. En
particular, N es isomorfo al cociente M/L.
Veremos despues (ejercicio [4.8]) que toda suma directa es esencialmente igual a la del
ejemplo anterior.
Decimos que L es sumando directo de M si L M y existe N M tal que L N =

M. En este caso se dice que N es un complemento de L. Un sumando puede tener varios
complementos distintos (por ejemplo si A = R, M = R2 y L = < (1, 0) >, entonces
N1 = <(0, 1)> y N2 = <(1, 1)> son dos complementos distintos de L. Sin embargo, por
4. Suma directa
[3.14], tenemos que dos complementos deben ser isomorfos.
Un modulo es inescindible si no puede escribirse como suma directa de submodulos

propios (lo contrario es escindible).
[4.4] Ejemplos. (a) Z es inescindible. Tenemos, por ejemplo, que Z = 2 Z + 3 Z pero

la suma no es directa.
(b) Todo campo F es inescindible como F -modulo.
(c) Todo F -espacio vectorial V de dimension mayor a 1 es escindible (y si v V no
es 0, entonces v forma parte de una base as que < v > es sumando directo de V, con
complemento lo generado por el complemento de la base).
(c) Cualquier de Q es inescindible (pues si a, b, c y d son enteros no 0
Z-submodulo
a
entonces bc b = ac = ad dc , as que cualesquiera dos submodulos tienen interseccion
no trivial (decimos que cualesquiera dos elementos de Q son dependientes).
(d) Z6 = <3+6 Z> <2+6 Z> Z2 Z3 . Observemos ademas que esta descomposicion
es tanto de Z-modulos como de Z6 -modulos, de tal forma que esto prueba que el anillo
puede ser escindible como modulo sobre el mismo.
(e) Z8 es inescindible (pues todos sus subgrupos estan encadenados).
(f) Q es sumando directo de R como Z-modulo (y tambien como Q-modulo pues es
Q-espacio vectorial).
[4.5] Proposicion. Sea A = Z o A = F [x], y sea a 6= 0 no invertible. Entonces

A /<a> es inescindible si y solo si a es potencia de un primo (irreducible).
Demostracion. La implicacion () es como el ejemplo (d) de [4.4]. En efecto,
supongamos que a no es potencia de un primo (irreducible); entonces a = bc con b y
c primos relativos. Afirmamos que A / < a > = < b+ < a >> < c+ < a >> . Escribamos
1 como combinacion lineal de b y c: 1 = rb + sc (con r, s A). Entonces para todo
x A /<a> tenemos que x+ <a>= rx(b+ <a>) + sx(c+ <a>), de manera que <b+ <a>>
y <c+ <a>> generan A /<a> . Nos falta ver que la suma es directa; tomemos un elemento
en la interseccion de b+ <a> y c+ <a>: r(b+ <a>) = s(c+ <a>), entonces rb sc <a>,
de donde rb sc = ta para algun entero t, pero esto implica que b es divisor de sc y,
como b y c son primos relativos, entonces b divide a s, de donde sc es multiplo de a,
como queramos probar.
La implicacion () es como el ejemplo (e) de [4.4]: Si a = pk con p primo (irreducible)
y k N. Entonces los submodulos de A /<a> estan todos encadenados, de manera que
A /<a> es inescindible.
[4.6] Corolario. (a) Si a = bc Z y b y c son primos relativos entonces Za Zb Zc

como Z-modulos.
(b) Si a(x) = b(x)c(x) F [x] y b(x) y c(x) son primos relativos entonces tenemos que
F [x] /<a(x)> F [x] /<b(x)> F [x] /<c(x)>
Demostracion. Hagamos las dos demostraciones al mismo tiempo (trabajando sin
27
4. Suma directa
escribir x). Veamos entonces que <b + <a>> es isomorfo a A /<c> . Tenemos
<b + <a>> (A /<a>) /<c + <a>> (A /<a>) / (<c> /<a>) A /<c>,
donde el primer isomorfismo esta dado por la proposicion anterior y por [4.3]; el segundo
isomorfismo es porque <c><a> y el cociente es lo generado por c + <a>; finalmente el
ultimo isomorfismo esta dado por el tercer teorema de isomorfismo.
Recordemos lo siguiente: Sea f : X Y una funcion (entre conjuntos). Si f es

inyectiva entonces existe g : Y X tal que g f = idX (es decir, toda funcion inyectiva
tiene inversa izquierda). Si f es suprayectiva entonces existe g : Y X tal que f g = idY
(es decir, toda funcion suprayectiva tiene inversa derecha). Esto no siempre es cierto en
modulos (pensando entonces que todas las funciones consideradas sean homomorfismos);
por ejemplo, es claro que la inclusion i : Z Q no tiene inversa izquierda y que el
epimorfismo Z Z2 no tiene inversa derecha.
Veremos que en modulos hay inversos laterales si y solo si hay descomposicion en

suma directa, es decir, si i : L M es monomorfismo, entonces existe homomorfismo q
inverso izquierdo de i si y solo si i(L) es sumando directo de M (y un complemento es
Ker(q)). Analogamente, dado un epimorfismo p : M N existe un homomorfismo j
inverso derecho de p si y solo si Ker(p) es sumando directo de M (con complemento igual
a j(N ) que es isomorfo a N ).
Conviene poner todo este contexto dentro de sucesiones exactas cortas. Decimos que
una sucesion exacta
i p
0 LM N 0,
se escinde (o divide) por la derecha si existe j : N M homomorfismo tal que p j = idN .
En este caso j se llama seccion de p. La sucesion se escinde por la izquierda si existe
q : M L homomorfismo tal que q i = idL . En este caso q se llama retraccion de i.
[4.7] Proposicion. Dada una sucesion exacta

i p
() 0 LM N 0,
son equivalentes:
(a) () se escinde por la izquierda.
(b) () se escinde por la derecha.
(c) i(L) es sumando directo de M.
Demostracion. (a) (b). Sea q : M L una retraccion de i. Queremos definir
j : N M seccion de p. Usemos la propiedad universal del cociente (pues p : M N es
cociente de i : L M ). Consideremos h = idM i q : M M ; tenemos que h i = 0,
as que existe j : N M tal que j p = h. Veamos que p j = idN ; pero esto es claro
por la forma en que j se define: Si n N entonces j(n) = h(m) para cualquier m M
tal que p(m) = n.
(b) (a). Ejercicio.
28
4. Suma directa
(a) y (b) (c). Veamos que M = i(L) j(N ). Tenemos que q i = idL , p j = idN
y p i = 0. Sea m M ; tenemos que p(m j p(m)) = 0, as que existe l L tal que
i(l) = m j p(m), de donde m = i(l) + j(p(m)). Ahora, supongamos que i(l) = j(n)
para ciertos l L y n N. Entonces 0 = p i(l) = p j(n) = n, pero es claro que j es
inyectiva (pues p j = idN que es inyectiva), as que n = 0, de donde j(n) = 0.
(c) (a). Esto es claro pues si M = i(L) N definimos q(m) = l donde l es el
unico elemento de L tal que m = i(l) + n con n N .
En el caso de la proposicion anterior, decimos que () se escinde.
[4.8] Corolario. Si la sucesion

i p
0 LM M/i(L) 0,
se escinde con j : N M y q : M L, entonces tambien la sucesion

j q
0 N M L 0
es exacta y se escinde.
[4.9] Ejercicio. Aplicar el lema del 5o para deducir que si una sucesion exacta corta
0 L M N 0 se escinde entonces M L N . (Nota. No usar que M es suma
directa de L y N .)
[4.10] Ejercicio. Usar el ejercicio anterior para probar que si M = L N entonces

M L N.
Decimos que M es suma directa de una familia (posiblemente infinita) de submodulos

{Mi : i I}, en smbolos, M = Mi si cada elemento de M se escribe de manera unica
L
como suma (finita) de elementos de las Mi . Equivalentemente, M = i Mi y la unica forma

P
de escribir 0 como suma de elementos de las Mi , 0 = mi , es con todas las mi iguales a 0

P
(en otras palabras, para cada i I, se tiene que Mi j6=i Mj = 0. Es pertinente aclarar
P
aqu que no basta pedir que la interseccion de todos sea 0, ni siquiera que la interseccion
de dos cualesquiera sea 0; por ejemplo, en R3 , si M1 = <(1, 0, 0)>, M2 = <(0, 1, 0)>,
M3 = < (0, 0, 1) > y M4 = < (1, 1, 1) >, entonces las intersecciones por parejas son 0 y
R3 = i Mi pero la suma no es directa pues (0, 0, 0) = (1, 0, 0)+(0, 1, 0)+(0, 0, 1)(1, 1, 1).
P
Si A es un dominio y M es un modulo definimos t(M ) = {m M : a A \

{0} con am = 0}. Este es un submodulo de M llamado submodulo de torsion. Decimos
que M es un modulo de torsion si M = t(M ). Decimos que M es libre de torsion si
t(M ) = 0.
[4.11] Ejemplos. (a) Zk es de torsion.

(b) Z es libre de torsion.
(c) R es libre de torsion.
29
4. Suma directa
(d) t (R/Z) = Q/Z.

(e) M/t(M ) es libre de torsion.
[4.12] Ejemplo. En grupos no abelianos no es cierto que los elementos de orden finito
formen un subgrupo.
Demostracion. En el grupo S de permutaciones de Z sean
x + 1 si x es par,
(
(x) =
x 1 si x es impar,
x + 3 si x es par,
(
(x) =
x 3 si x es impar,
Entonces ambas y son de orden 2 pero es de orden infinito.
Sea A = Z o A = F [x]. Sea p un irreducible (primo) en A y sea M un A-modulo.

Definimos la parte p-primaria de M como tp (M ) = {m M : k N con pk m = 0}.
Tambien este es un submodulo de M.
[4.13] Teorema. Sea A = Z o A = F [x]. Todo modulo de torsion es suma directa de

sus partes p-primarias.
Demostracion. Sea m M y supongamos que a A\{0} es tal que am = 0. Escrib-
amos a = pk11 pkr r donde los pi son primos distintos y los ki son naturales.
Observemos

k1 kr k1 kr
que a/p1 , , a/pr son primos relativos as que 1 = s1 a/p1 + +sr a/pr para cier-

tos si A. Entonces m = s1 a/pk11 m + + sr a/pkr r m y cada si a/pki i m tpi (M )..
Para ver que la suma es directa observemos que si suponemos que m1 + m2 + + mk = 0
con mi tpi (M ) \ {0} (los pi primos distintos) y pri i mi = 0 entonces al multiplicar por
pr22 prkk tenemos que pr22 prkk m1 = 0 y tambien pr11 m1 = 0, pero 1 es combinacion lin-
eal de de pr22 prkk y pr11 as que, al multiplicar esa combinacion lineal por m1 obtenemos
m1 = 0, lo cual es una contradiccion.
[4.14] Ejemplo. Q/Z es un grupo abeliano de torsion. Para p un primo entero, la

parte p-primaria de Q/Z se llama Zp . Tenemos que
Zp = {a/pk + Z : a Z, k N}.
Observemos que Q/Z es un subgrupo de R/Z, que es isomorfo a S 1 = {z C : ||z|| = 1}
(este ultimo como grupo multiplicativo). Entonces Zp corresponde al subgrupo formado
por las races pk -esimas de 1 en C. Observemos tambien que todos los subgrupos de Zp
estan encadenados, son isomorfos a Zpk para k N y su union es Zp :
<1/p + Z> <1/p2 + Z> <1/p3 + Z>
Tambien podemos pensar que Zp tiene generadores c1 , c2 , c3 , . . . (cada ci corresponde a
1/pi + Z) que satisfacen pc1 = 0 y, pck+1 = ck para todo k N. (Esta ultima descripcion
es particularmente importante pues define a Zp en terminos de generadores y relaciones;
30
4. Suma directa
esto puede hacerse con cualquier modulo, como veremos en [5.3].)
[4.15] Ejercicio. Sea A un dominio y sea 0 L M N 0 una sucesion

exacta. Probar que M es de torsion si y solo si L y N son de torsion.
[4.16] Ejercicio. Probar que Zp es inescindible.
[4.17] Ejercicio. Probar que M = R[[x, y]] / <xy > es inescindible como R[[x, y]]-
modulo pero que el submodulo generado por {x, y} no lo es. (Sugerencia: Analizar como
son los elementos de M y como es M como R-espacio vectorial y probar que si LN = M ,
entonces 1+ <xy> L o 1+ <xy> N .)
Dada una familia de A-modulos {Mi : i I} el producto directo de la familia es el

producto cartesiano M = i Mi con las operaciones coordenada a coordenada. Cada Mi
Q
se llama factor de M. Para cada i I el submodulo de M formado por los elementos

que tienen 0 en todas las coordenadas distintas de i es un modulo Mi isomorfo a Mi .
Los Mi generan su suma directa y esta consta de los elementos de M que tienen solo un
numero finito de coordenadas distintas de 0. Llamamos a esta la suma directa externa de
los Mi . De esta manera es posible pensar a la suma directa de modulos dentro del producto
directo. Es claro que si el numero de modulos es finito, entonces el producto y la suma
directa coinciden, pero que esto es falso cuando hay una cantidad infinita de factores.
[4.18] Ejercicio. Probar que si A es un dominio y {Mi : i I} es una familia de

modulos, entonces M = iI Mi es de torsion si y solo si cada Mi lo es. Es cierto lo
L
mismo para iI Mi ?
Q
Al igual que el cociente o el nucleo, el producto directo y la suma directa estan carac-
terizados por propiedades universales; estas los comparan con los demas modulos.
La propiedad universal del producto es bastante clara y la parte de la caracterizacion

es estandar. La enunciamos sin demostracion.
[4.19] Teorema. Propiedad universal del producto directo. Sea {Mi : i I} una
familia de A-modulos. Entonces el producto directo M de la familia, junto con las proyec-
ciones naturales {pi : M Mi }, son tales que dado cualquier modulo X y una familia de
homomorfismos {fi : X Mi : i I} existe un unico homomorfismo f : X M tal que
pi f = fi para toda i. Esta propiedad caracteriza al producto directo.
La propiedad universal del producto puede expresarse de manera simplificada como

sigue: Para dar un homomorfismo que llega a un producto directo hay que darlo a cada
factor.
La propiedad universal de la suma directa es un poco menos clara que la del producto.
Decimos que esta propiedad es dual de la del producto pues se obtiene invirtiendo todas
31
4. Suma directa
las flechas. Por esta razon a la suma directa tambien se le llama coproducto.
[4.20] Teorema. Propiedad universal de la suma directa. Sea {Mi : i I} una

familia de A-modulos. Entonces la suma directa M de la familia, junto con las inclusiones
naturales {i : Mi M }, son tales que para dado cualquier modulo X y una familia de
homomorfismos {fi : Mi X : i I} existe un unico homomorfismo f : M X tal que
f i = fi para toda i. Esta propiedad caracteriza a la suma directa.
Demostracion. Solo diremos como definir f a partir de las fi . Dado m M tenemos
que m se escribe de forma unica como m = mi con mi Mi . Definimos f (m) =
P
f (m ).
P
i i i
La propiedad universal de la suma directa puede expresarse de manera simplificada

como sigue: Para dar un homomorfismo que sale de una suma directa hay que definirlo
en cada sumando.
[4.21] Ejercicio. Encontrar una condicion necesaria y suficiente para que dados dos
homomorfismos f : 2 Z M y g : 3 Z M exista un homomorfismo h : Z M que
extienda a ambos.
[4.22] Ejercicio. Probar que una familia de sucesiones exactas 0 Li Mi

Ni 0 induce una sucesion exacta 0 i Li i Mi i Ni 0. En particular, si
L L L
Li Mi para toda i I entonces

M M M
Mi / Li (Mi /Li ) .
[4.23] Ejercicio. Sea {Mi : i I} una familia de submodulos de un modulo M .

Probar que Mi es cociente de Mi , la suma directa externa de los Mi .
P L
iI iI
Los conceptos que hemos visto que cumplen propiedades universales pueden consi-
derarse al estudiar otros tipos de estructuras que llamamos categoras. Formalmente una
categora consta de una clase cuyos elementos se llaman objetos y, entre cada par de objetos
A y B, hay un conjunto M or(A, B) cuyos elementos se llaman morfismos y se denotan
por f : A B (como si fueran funciones). Ademas, esta definida una composicion entre
morfismos
M or(A, B) M or(B, C) M or(A, C)
(f, g) 7 g f
que es asociativa y tal que para A = B existe un elemento idA M or(A, A) que funciona
como neutro bajo la composicion.
[4.24] Ejemplos. (a) Conj, con objetos los conjuntos y morfismos las funciones.
(b) Top, con objetos los espacios topologicos y morfismos las funciones continuas.
(c) Gps, con objetos los grupos y morfismos los homomorfismos.
(d) Mod A , con objetos los A-modulos y los morfismos los A-homomorfismos; y, en
32
4. Suma directa
particular para A = Z llamamos Ab a la categora de grupos abelianos.
Hay ejemplos de categoras en los que los objetos no son conjuntos y los morfismos no
son funciones; para nuestros propositos bastan los ejemplos que dimos arriba.
Si A es una categora, decimos que un morfismo f : A A es un isomorfismo si

existe g : B A tal que g f = idA y f g = idA . Si existe un isomorfismo de A en A
decimos que A y A son isomorfos y escribimos A A .
Uno puede preguntarse si en determinada categora existen objetos cero (es decir, un
objeto para el cual solo hay un morfismo de cualquier otro objeto y del cual solo sale un
morfismo hacia cualquier otro); cuando hay objeto 0 se puede uno preguntar si hay nucleos
(es decir, dado un morfismo f : X Y entre dos objetos, el nucleo es un objeto junto con
un morfismo que satisfacen la propiedad universal del nucleo definida en [3.15]), cocientes,
productos, coproductos, etc.
[4.25] Ejemplos. (a) En Conj los isomorfismos son las funciones biyectivas (y los
conjuntos isomorfos son los que tienen la misma cardinalidad); en Top los isomorfismos
son los homeomorfismos, y en Mod A los isomorfismos se llaman tambien isomorfismos (son
los homomorfismos biyectivos).
(b) En Conj o en Top no tiene sentido el concepto de nucleo pues no hay objeto cero,
pero s hay nucleos en Gps y en Mod A .
(c) Tenemos definida la estructura cociente en cada una de las categoras de [4.23].
Precisamente se define la estructura propia de cada categora en el cociente de tal manera
que se relacione lo mas posible con la estructura del objeto del cual se hizo el cociente
y con esto se logra que se satisfaga la propiedad universal del cociente (por ejemplo, la
topologa que se le da al cociente de un espacio topologico es la mayor que hace continua
a la proyeccion).
(d) El producto en cada una de las categoras de [4.23] es el producto cartesiano (en
el que se define la estructura precisamente para que se satisfaga la propiedad universal).
(e) El coproducto puede pensarse como el menor objeto que contiene a todos los de la
familia; de esta manera, en Conj y en Top el coproducto es la union ajena (la topologa de
una union ajena se hace de tal forma que los abiertos sean la union de pedazos de abiertos
en cada uniendo). En Gps el coproducto se obtiene formando palabras con los elementos
de los grupos de la familia.
33
Seccion 5
Modulos libres y proyectivos
Decimos que un modulo L es libre si es suma directa de copias del anillo. Si L =

(I)
iI Ai con cada Ai A (escribimos L = A ) entonces los elementos que tienen 1 en la
L
coordenada i y 0 en todas las demas son generadores de L y constituyen una base.
[5.1] Ejemplos. (a) Todo F -modulo es libre.

(b) Q no es libre como Z-modulo.
(c) Si A = Z y M es tal que t(M ) 6= 0, entonces M no es libre.
Tambien los modulos libres estan caracterizados por una propiedad universal. Esta
viene dada por la combinacion de la propiedad universal de la suma directa y que los
homomorfismos que salen del anillo f : A M estan dados por la eleccion de un elemento
cualquiera m del modulo y definiendo f (a) = am (es decir, basta escoger la imagen del
1).
[5.2] Teorema. Propiedad universal de los modulos libres. Sea L un A-modulo libre
con base B = (bi : i I). Entonces dado un A-modulo cualquiera X y una eleccion
de elementos (xi )i de X existe un unico homomorfismo f : L X tal que f (bi ) = xi .
Esta propiedad caracteriza a los modulos libres es decir, si M es un modulo que contiene
una lista de elementos B = (bi : i I) con la propiedad de que para todo modulo X y
una eleccion de elementos (xi )i de X existe un unico homomorfismo f : M X tal que
f (bi ) = xi , entonces M es un modulo libre con base B.
[5.3] Teorema. Todo modulo es cociente de un modulo libre. Si el modulo es finita-

mente generado, entonces se puede escoger el libre con base finita.
Demostracion. Ejercicio.
5. Modulos libres y proyectivos
El resultado anterior es especialmente importante pues nos permite definir cualquier

modulo mediante generadores y relaciones. Veamos por ejemplo como definir Zp y otros
grupos en esta forma.
[5.4] Ejemplos. (a) El grupo abeliano Z2 Z4 es cociente de Z Z entre el subgrupo

< (2, 0), (0, 4) >.
Consideremos Z(N) con una base fija (x1 , x2 , . . .), por ejemplo la base canonica en la que
xi es el elemento que tiene 1 en la coordenada i y 0 en todas las demas. Consideremos los
siguientes grupos abelianos cociente de Z(N) (as todos ellos tienen una cantidad numerable
de generadores).
(a) Zp = Z(N)/L1 donde L1 = < {pxi+1 xi : i N} {px1 } > . En este caso, si
llamamos ci = xi + L, tenemos que <ci > Zpi , <c1 > <c2 > y pci+1 = ci (ver
[4.13]).
(b) Si L2 = <px1 , p2 x2 , p3 x3 , . . .> . Entonces Z(N)/L2 = Zpi . Es facil ver que L2 L1
L
(pues, por ejemplo, p2 x2 = p(px2 x1 ) + px1 ), as que la proyeccion de ZN en Zp induce

un epimorfismo Z(N)/L2 Zp .
(c) Si L3 = <px1 , px2 x1 , p2 x3 x1 , p3 x4 x1 , . . .>, entonces en Z(N)/L3 el elemento
x1 + L es divisible por cualquier potencia de p (es decir, para todo k N la ecuacion
pk z = x1 +L tiene solucion z Z(N)/L) pero no es cierto que el grupo sea divisible (es decir,
no todos los elementos son divisibles por cualquier natural k ) como lo es Z p (ver la seccion
x
siguiente). Tambien en este caso L3 L1 (por ejemplo, p3 x1 = p(px3 x2 )+(px2 x1 )),
y tenemos un epimorfismo Z(N)/L3 Zp .
(d) Q = Z(N)/L4 donde L4 = <ixi jxj : i, j N > (en este caso podemos pensar que
xi representa al racional 1i .
Decimos que un modulo P es proyectivo si dado g : M N epimorfismo y h : P N

existe un levantamiento de h a M, es decir, un homomorfismo H : P M tal que
g H = h. Este levantamiento no tiene que ser unico.
[5.5] Ejercicio. Probar (directamente de la definicion) que Q/Z no es proyectivo.
[5.6] Proposicion. Si L es libre, entonces L es proyectivo.

Demostracion. Usamos la propiedad universal de los modulos libres. Sea g : M
N epimorfismo y h : L N un homomorfismo. Para cada elemento x en una base
para L definimos H(x) escogiendo un elemento cualquiera en g 1 (h(x)) y extendemos H
linealmente (es decir, por la propiedad universal de los modulos libres).
[5.7] Ejercicio. Probar que un modulo P es proyectivo si y solo si toda sucesion

exacta corta 0 L M P 0 se escinde. En particular, si L M es tal que M/L
es proyectivo entonces L es sumando directo de M.
[5.8] Proposicion. Un modulo P es proyectivo si y solo si es sumando directo de un

modulo libre.
35
5. Modulos libres y proyectivos
No todo proyectivo es libre, como veremos en el siguiente ejemplo.
[5.9] Ejemplo. Para A = Z6 , el ideal (submodulo) <2> es proyectivo no libre.

Demostracion. Tenemos que Z6 = <2> <3> por [4.4](d). Por cardinalidad es
claro que <2> no es libre.
[5.10] Ejercicio. Probar que si P es proyectivo entonces existe L libre tal que P L
es libre.
[5.11] Ejercicio. Probar que Q no es proyectivo como Z-modulo.
[5.12] Ejercicio. Probar que si I es un ideal principal en un dominio, entonces I es

modulo libre. Dar un ejemplo que pruebe que esto no es cierto si A no es dominio.
[5.13] Ejercicio. Probar que Mi es proyectivo si y solo si cada Mi es proyectivo.

L
[5.14] Ejercicio. Probar que si F es un campo, entonces todo F -modulo es proyec-

tivo.
36
Seccion 6
Modulos divisibles e inyectivos
Sea A un dominio y sea a A \ {0}. Un A-modulo M es a-divisible si dado m M

existe x M tal que m = ax. Decimos que M es divisible si lo es para cada a 6= 0.
[6.1] Ejemplos. (a) El modulo 0 es divisible.

(b) Si M es un modulo a-divisible y N es cociente de M entonces N es a-divisible.
(c) Q es divisible pero Z no, as que submodulo de a-divisible no necesariamente es
a-divisible.
(d) R y S 1 son modulos divisibles.
[6.2] Proposicion. Sea A = Z y sean p y q primos distintos. Si M es un Z-modulo

p-primario entonces M es q -divisible.
Demostracion. Sea m M y sea k N tal que pk m = 0. Como p y q son
primos distintos, entonces pk y q son primos relativos as que existen r, s Z tales que
rpk + sq = 1. Al multiplicar por m esta ecuacion tenemos q(sm) = m, as que m es
q -divisible.
[6.3] Observacion. (a) Si A es un dominio y {Mi : i I} es una familia de modulos,

entonces M = iI es divisible si y solo si cada Mi lo es.
L
(b) Si A es un dominio y {Mi : i I} es una familia de modulos, entonces iI Mi es

Q
divisible si y solo si cada Mi lo es.
[6.4] Ejemplo. Zp es divisible.
[6.5] Ejercicio. Probar que si 0 L M N 0 es una sucesion exacta y L y

N son a-divisibles entonces tambien lo es M.
6. Modulos divisibles e inyectivos
[6.6] Ejercicio. Sea k N y sea M un grupo abeliano. Sea k : M M el

homomorfismo dado por la multiplicacion por k.
(a) Probar que M es divisible si y solo si k es suprayectiva para toda k .
(b) Probar que M es de libre de torsion si y solo si k es inyectiva para toda k .
[6.7] Proposicion. Sea A un dominio y sea M un A-modulo. Entonces existe D

submodulo divisible de M que contiene a todos los submodulos divisibles de M.
Demostracion. Consideremos la familia {Di : i I} de todos los submodulos divisi-
bles de M. Sea D = iI Di . Es claro que D contiene a todos los submodulos divisibles
P
de M ; para ver que D es divisible observemos que D es cociente de Di , la suma directa

L
externa de los Di (ver [4.22]).
En la seccion anterior vimos que los modulos libres guardan una estrecha relacion
con los proyectivos. Los modulos divisibles guardan tambien relacion con los modulos
inyectivos, los cuales se definen en forma dual a los proyectivos: Decimos que un modulo
Q es inyectivo si dado f : L M monomorfismo y h : L Q existe una extension de h
a M, es decir, un homomorfismo H : M Q tal que H f = h. Esta extension no tiene
que ser unica.
Veremos que en grupos abelianos ser inyectivo es lo mismo que ser divisible. Una
implicacion es cierta para dominios.
[6.8] Proposicion. Si A es dominio y M es inyectivo, entonces M es divisible.

Demostracion. Sea a A\{0}. Consideremos el ideal I (submodulo de A) generado
por a. Entonces, por ser A un dominio, I A (ver [5.12]) y en este isomorfismo a
corresponde a 1, as que dado m M es posible definir f : <a> M tal que f (a) = m.
Por ser M inyectivo, existe extension F : A M de f ; as aF (1) = F (a) = f (a) = m, y
con esta ecuacion vemos que m es divisible entre a.
Enunciamos, sin demostracion, el siguiente resultado que es equivalente al axioma de

eleccion. Lo utilizaremos en la proposicion que le sigue.
[6.9] Lema. Lema de Zorn. Si X es un conjunto no vaco en el que esta definido un

orden parcial y tal que cualquier subconjunto de X totalmente ordenado (llamado cadena)
tiene cota superior en X , entonces X tiene elementos maximales.
[6.10] Proposicion. Criterio de Baer. Para probar que un modulo Q es inyectivo,

basta probar que para todo ideal I del anillo y f : I Q existe una extension F : A Q.
Demostracion. Sean L M A-modulos y sea f : L Q un homomorfismo.
Consideremos el siguiente conjunto cuyos elementos son parejas de submodulos de M
junto con homomorfismos a D como sigue:
X = {(L , f : L Q) : L L y f |L = f }.
38
Ordenamos X como sigue: (L , f ) (L1 , f1 ) si y solo si L L1 y f1 |L = f . Veamos que

X cumple las hipotesis del lema de Zorn: X 6= pues (L, f ) X ; si C = {(L , f ) : }
es una cadena en X entonces es claro que L es submodulo de M que contiene a L
S
y que la funcion f definida en L por f (x) = f0 (x) para cualquier 0 tal que
S
x L0 esta bien definida y es homomorfismo que extiende a f ; as que ( L , f ) X

S
es cota superior de C. Entonces la conclusion del lema de Zorn nos dice que existe (L0 , f0 )
elemento maximal en X . Veamos que L0 = M . Supongamos que no y sea m M \ L0 .
Consideremos el submodulo L1 = <L0 {m}> y veamos que podemos extender f a L1 ,
contradiciendo as la maximalidad de (L0 , f0 ). En efecto, sea I = {a A : am L0 }. Es
claro que I es ideal de A (es el anulador de m + L0 M/L0 ). Definamos g : I Q por
g(a) = f0 (am). Es claro que g es homomorfismo. Por hipotesis, tomemos G : A Q que
extienda a g y sea x = G(1). Definamos f1 : L1 Q por f1 (l0 + bm) = f0 (l0 ) + bx para
l0 L0 y b A. Basta probar que f1 esta bien definida para obtener la contradiccion
buscada (pues claramente definida as es homomorfismo y extiende a f0 ). Supongamos
entonces que l0 + bm = l0 + b m; entonces (b b)m = l0 l0 L0 , as que b b I, de
donde y entonces
f0 (l0 ) f0 (l0 ) = f0 (l0 l0 ) = f0 ((b b)m) = g(b b)x = G(b b) = b x bx,
que era lo que queramos probar.
[6.11] Corolario. Si A es dominio de ideales principales, entonces un modulo Q es

inyectivo si, y solo si, es divisible.
Demostracion. Veamos que cualquier homomorfismo f : < a > M de un ideal
<a> de A se puede extender a A; esto es facil y la demostracion es la recproca de [6.8]:
Definimos F : A M por F (1) = x donde x D es una division de f (a) entre a, es
decir, x D es tal que ax = f (a). Es claro que F extiende a f.
A continuacion enunciamos el resultado dual de [5.7] para modulos inyectivos.
[6.12] Proposicion. Si L M y L es inyectivo, entonces L es sumando directo.

Demostracion. Dual de [5.7].
[6.13] Ejemplos. Q y Zp son sumandos directos de cualquier grupo abeliano que

los contenga.
[6.14] Ejercicio. Sea {Mi : i I} una familia de A-modulos. Probar que Mi es

Q
inyectivo si y solo si cada Mi es inyectivo.
[6.15] Ejercicio. Probar que si F es un campo, entonces todo F -modulo es inyectivo.
Decimos que un modulo sobre un dominio A es reducido si no tiene subgrupos divisibles

no triviales.
39
[6.16] Ejemplo. Z es reducido (como Z-modulo).
[6.17] Nota. Si A es un dominio de ideales principales entonces, gracias a [6.7] y

[6.12], la teora de A-modulos puede dividirse en el estudio de los modulos reducidos y el
de los divisibles. Es importante senalar aqu que esto es gracias a que el mayor submodulo
divisible es sumando directo. Por ejemplo, gracias a [4.10](e) el estudio de modulos sobre
un dominio tambien puede separarse en el estudio de modulos de torsion y de modulos
libres de torsion; sin embargo aqu hay que tomar en cuenta tambien la forma en que
estos de juntan (por [3.20]) y esto es porque el submodulo de torsion no necesariamente es
sumando directo del modulo, como veremos en el siguiente ejemplo.
[6.18] Ejemplo. Sea P el conjunto de todos los primos y consideremos los siguientes
grupos abelianos: M = Zp y T = Zp . Entonces t(M ) = T y t(M ) no es sumando
Q L
pP pP
directo de M .
Demostracion. Ordenemos los elementos de P : p1 p2 p3 .
Veamos primero que t(M ) = T : Si x = (x1 , x2 , . . .) y para k K tenemos que
xk = 0 (o sea, x T ) entonces (p1 p2 pK )x = 0, de donde x T (M ); por otro lado, si
x = (x1 , x2 , . . .) tiene infinitas coordenadas distintas de 0 entonces es claro que no puede
ser anulado por ningun entero.
Veamos a continuacion que M/T es divisible. Sean (x1 , x2 , x3 , . . .) M/T y a
Z \ {0}. Digamos que a = pr11 pr22 prKK (con ri 0 para toda i). Para k K tenemos
que a es primo relativo con pk as que existe yk Zpk tal que xk = ayk . Entonces
(x1 , x2 , x3 , . . .) a(0, 0, . . . , 0, yK+1 , yK+2 , . . .) = (x1 , x2 , x3 , . . . , xK , 0, 0, . . .) T,
como queramos.
Probemos ahora que no existe ningun elemento en M \ {0} que sea divisible por todos
los enteros a 6= 0. En efecto, si x = (x1 , x2 , x3 , . . .) y xi 6= 0 entonces x no puede ser
divisible por pi (pues xi = pi yi en Zpi implica que xi = 0).
Finalmente podemos ver que T no es sumando directo de M pues si lo fuera entonces
M T M/T , as que M tendra un subgrupo divisible distinto de 0, lo cual acabamos
de ver que es imposible.
Del ejemplo anterior tenemos que por lo menos hay dos grupos abelianos no isomorfos
M y M tales que t(M ) t(M ) y M/t(M ) M /t(M ), a saber
Zp y M =
Y M Y M
M= Zp ( Zp ) / ( Zp ) .
pP pP pP pP
El dual de [5.3] tambien es cierto: Todo modulo es submodulo de un modulo inyectivo,

pero la prueba es bastante mas complicada. Probaremos solo que todo grupo abeliano es
subgrupo de algun grupo inyectivo; por ejemplo, Z Q, Zp Zp , Z6 Z2 Z2 .
[6.19] Proposicion. Si M es un grupo abeliano entonces existe D grupo divisible

tal que M es isomorfo a un subgrupo de D.
40
Demostracion. Sabemos que M es cociente de un grupo libre as que tomemos

f : Z(I) M epimorfismo. Es claro que Z(I) Q(I) . Entonces tenemos el siguiente
diagrama conmutativo
f
0 Ker(f ) Z(I) M 0
id
0 Ker(f ) Q(I) Q(I) /Ker(f ) 0,
en el que los homomorfismos son los naturales. Por la propiedad universal del cociente
existe g : M Q(I) /Ker(f ) que completa el diagrama conmutativo y, por el lema del 5o ,
g es inyectiva. Como Q(I) /Ker(f ) es cociente de un divisible es, el mismo, divisible, y esto
termina la demostracion.
[6.20] Ejercicio. Sea p un numero primo. Encontrar dos elementos distintos m y n

en el grupo abeliano M = (Z Z) / <(p, p)> tales que pm = pn 6= 0. En particular,
dentro de un grupo abeliano, si un elemento (no cero) es divisible por un primo p, no
necesariamente el resultado de la division es unico.
[6.21] Ejercicio. Probar que si M es el grupo abeliano definido por:

Y M
M =( Zn ) / ( Zn )
nN nN
entonces M no es es divisible.
[6.22] Ejercicio. Probar que si M y N son grupos abelianos y M es divisible o N

es libre de torsion, entonces HomZ (M, N ) es libre de torsion.
41
Seccion 7
El funtor Hom
Un funtor covariante de una categora A en una categora B (escribimos : A B ),

asigna a cada objeto A de A un objeto (A) en B y a cada morfismo f : A A en A
un morfismo (f ) : (A) (A ) en B respetando composicion e identidades, es decir
(g f ) = (g) (f ) y (idA ) = id(A) .
Tambien se definen funtores que invierten la composicion (es decir (g f ) = (f ) (g).

Estos se llaman funtores contravariantes.
Como ejemplos de funtores tenemos:

(a) La identidad de cualquier categora en s misma (manada a cada objeto y a cada
morfismo en s mismos).
(b) El funtor que olvida, o : A M od Conj , que manda a cada modulo en el
mismo como conjunto y a cada morfismo en el mismo, como funcion.
(c) El funtor t : Ab Ab que manda cada grupo abeliano M en su parte de torsion
t(M ) y a cada morfismo en su restriccion.
(d) El funtor 1 : T op Gpos que manda a cada espacio topologico punteado (es
decir, espacio topologico en el que hay un elemento distinguido) en su grupo fundamental.
La siguiente proposicion es esencial pues permite trasladar informacion de una categora

a otra cuando se quiere determinar que ciertos objetos de la primera no son isomorfos.
[7.1] Proposicion. (a) Sea : A B un funtor.

(a) Si A A en A entonces (A) (A ). (b) manda diagramas conmutativos en
diagramas conmutativos.
7. El funtor Hom
Sea A un anillo. Definimos

HomA (M, N ) = {f : M N : f es homomorfismo}.
Es facil probar que HomA (M, N ) es grupo abeliano si se define la suma (f + g)(m) =
f (m) + g(m). Si ademas A es conmutativo, entonces tambien HomA (M, N ) es A-modulo
definiendo la multiplicacion por escalares por (af )(m) = f (am).
[7.2] Ejemplos. (a) HomA (A, M ) M. (Aqu el isomorfismo esta dado por f 7
f (1).)
(b) HomZ (Q, Z) = 0.
(c) HomZ (Zp , Z) = 0.
Hay dos funtores muy importantes definidos en Mod A ; son los funtores Hom. Dado X
un A-modulo definimos el funtor covariante
HomA (X, ) : Mod A Ab
por HomA (X, )(N ) = HomA (X, N ) y para f : M N A-homomorfismo,
HomA (X, )(f ) = HomA (X, f ) = f : HomA (X, M ) HomA (X, N )
es el homomorfismo definido por f (g) = f g.
Tambien definimos el funtor contravariante
HomA ( , X) : Mod A Ab
por HomA ( , X)(M ) = HomA (X, M ) y para f : M N A-homomorfismo,
HomA ( , X)(f ) = HomA (f, X) = f : HomA (N, X) HomA (M, X)
es el homomorfismo definido por f (g) = g f.
[7.3] Proposicion. Dado X un A-modulo tenemos que

(a) HomA (X, ) es funtor covariante.
(b) HomA ( , X) es funtor contravariante.
Demostracion. Probemos (a). Tenemos que verificar varios puntos; todos ellos son
directos de la definicion pero precisemos cuales son:
Primero tenemos que ver que esta bien definido, esto es que si f : M N es
morfismo en la categora Mod A , entonces f es homomorfismo en Ab. Sean g, h : X M
A-homomorfismos; queremos probar que f (g+h) = f (g)+f (h), es decir, que f (g+h) =
(f g) + (f h); como esta es una igualdad entre funciones, debemos probar que aplicadas
a cualquier elemento dan el mismo resultado, pero esto es obvio por la definicion de suma
de funciones.
Ahora queremos ver que HomA (X, f g) = HomA (X, f )HomA (X, g) para f : M
N y g : L M A-homomorfismos. Entonces queremos ver que dado h HomA (X, M ),
(f g) h = f (g h), lo cual es claro.
Falta ver que HomA (X, idM ) = idHom(X,M ) , lo cual equivale a probar que para
43
7. El funtor Hom
g : X M se tiene que id (g) = g y esto es obvio.

(b) Ejercicio.
Nota. En caso que A sea conmutativo los funtores van a Mod A en lugar de a grupos
abelianos y todos las propiedades que damos aqu lo son de A-modulos, como por ejemplo
el isomorfismo de [7.2](a).
Decimos que un funtor (covariante o contravariante) : Mod A Mod B es aditivo si

para f, g morfismos en Mod A se tiene que (f + g) = f + g . Es claro que si es aditivo
entonces manda al morfismo 0 en el morfismo 0. Ademas, tambien manda al modulo 0
en el modulo 0 puesto que el modulo 0 esta caracterizado porque Hom(0, 0) solo tiene un
elemento (es decir, por la propiedad de que id0 es el morfismo 0). Tambien es claro que
los funtores HomA (X, ) y HomA ( , X) son aditivos.
Sean , : Mod A Mod B funtores aditivos con covariante y contravariante.

Decimos que es exacto si dada
f g
LM N
exacta en Mod A se tiene que la sucesion
(f ) (g)
(L)(M )(N )
es exacta en Mod B . Analogamente decimos que es exacto si dada

f g
LM N

(g) (f )
(N )(M )(L)
es exacta. Decimos que el funtor es exacto izquierdo si

f g
0 LM N
exacta en Mod A implica que

(f ) (g)
0 (L)(M )(N )
es exacta. Decimos que es exacto izquierdo si

f g
LM N 0
exacta en Mod A implica que

(g) (f )
0 (N )(M )(L)
es exacta.
[7.4] Proposicion. Sean , : Mod A Mod B funtores aditivos con covariante y

contravariante. Entonces
44
7. El funtor Hom
(a) es exacto si, y solo si, dada

f g
0 LM N 0
(f ) (g)
0 (L)(M )(N ) 0
es exacta en Mod B .
(b) es exacto si, y solo si, dada
f g
0 LM N 0
(g) (f )
0 (N )(M )(L) 0
es exacta.
Demostracion. (a) La implicacion () es obvia pues es aditivo. Tomemos entonces
una sucesion exacta
f g
LM N.
Observemos que tenemos un diagrama conmutativo con diagonal, renglon y columnas
exactos
L 0
f
f
i g
0 Im(f ) M Im(g) 0,
g j
0 N
donde i y j son inclusiones, f esta definida como f , y g esta definida como g . Esto nos
induce un diagrama conmutativo
(L) 0
(f )
(f )
(i) (g)
0 (Im(f )) (M ) (Im(g)) 0,
(g) (j)
0 (N )
con renglon y columnas exactos y en el que debemos probar que la diagonal tambien es
45
7. El funtor Hom
exacta. Tenemos que (g) (f ) = (g f ) = (0) = 0, as que Im((f )) Ker((g)).

Para ver la otra inclusion tomemos x (M ) tal que (g)(x) = 0, por lo tanto (g)(x) = 0
pues (j) es inyectiva; entonces la exactitud del renglon nos dice que existe y (Im(f ))
tal que ((i(y)) = x. Ahora, como (f ) es suprayectiva, tenemos que existe z (L) tal
que (f )(z) = y , y as ((f (z)) = x, como queramos.
(b) Ejercicio.
[7.5] Proposicion. (a) HomA (X, ) es exacto izquierdo.

(b) HomA ( , X) es exacto izquierdo.
Demostracion. (a) Supongamos que
f g
0 LM N
es exacta.
Para ver que f es inyectiva tenemos que ver que si f (g) = 0 entonces g = 0; pero
tenemos que f g = 0 y, como f es inyectiva, es cancelable por la izquerda, as que es
claro.
Queremos ver que g f = 0; entonces tenemos que aplicarla a una h : X L y
ver que g f h es el homomorfismo 0, lo cual es obvio porque f g es el homomorfismo
0. (Aqu vimos, de hecho, que el funtor aplicado al homomorfismo 0 es el homomorfismo
0.)
Ahora supongamos que g (h) = 0 y queremos probar que existe k tal que f (k) = h.
Tenemos que g h = 0; por la propiedad universal del nucleo (ver [3.15]) tenemos la
existencia de k.
(b) Ejercicio.
Los funtores Hom no son exactos, como veremos en los siguientes ejemplos.
[7.6] Ejemplos. (a) Consideremos la sucesion exacta de grupos abelianos

i
0 ZQQ/Z 0
(aqu i es la inclusion y es la funcion de paso al cociente). Al aplicar el funtor

Hom(Zp , ) a la sucesion obtenemos

0 0 0Hom(Z

p , Zp ) 0.
pues Q/Z es la suma directa de los Zq variando q sobre todos los primos y es claro que
de un grupo p-primario a otro que no tiene elementos de orden p el unico homomorfismo
es el trivial. Tambien es claro que Hom(Zp , Zp ) no es el grupo 0, as que la penultima
funcion no es suprayectiva.
(b) Ahora consideremos la sucesion exacta de grupos abelianos
2 g
0 ZZ Z2 0
(aqu 2 es multiplicacion por 2 y g es la proyeccion natural). Al aplicar el funtor
46
7. El funtor Hom
Hom( , Z) a la sucesion obtenemos

2
0 0 ZZ 0.
Es facil observar que 2 tambien es multiplicacion por 2, as que 2 es inyectiva pero no
suprayectiva.
Las definiciones de modulo inyectivo y proyectivo se traducen en exactitud de los

funtores Hom como sigue.
[7.7] Proposicion. (a) HomA (X, ) es exacto si y solo si X es proyectivo.

(b) HomA ( , X) es exacto si y solo si X es inyectivo.
Demostracion. (a) Solo hay que ver que si M N es epimorfismo entonces tambien
f
lo es HomA (X, M )HomA (X, N ) pero esta es precisamente la definicion de modulo
proyectivo.
(b) Ejercicio.
f g
[7.8] Proposicion. Si 0 LM N 0 es exacta y se escinde entonces al
aplicarle cualquiera de los dos funtores Hom tambien es exacta y se escinde.
Demostracion. En este caso tenemos que existe h : M L tal que h f = idL . Por
ser funtores, se respeta composicion e identidad, as que el resultado es claro.
La siguiente observacion es la traduccion de las propiedades universales de suma directa

y de producto directo.
[7.9] Proposicion. (a) Hom( i Mi , N ) Hom(Mi , N ).

L Q
i
(b) Hom(M, i Ni ) i Hom(M, Ni ).
Q Q
Demostracion. (a) Sean i : Mi Mi las inclusiones. Definamos

L
i
M Y
: Hom( Mi , N ) Hom(Mi , N )
i i
por (f ) = (f i )i para f Hom( i Mi , N ). La propiedad universal de la suma directa

L
nos dice que es biyeccion; solo falta ver que es homomorfismo pero esto es facil pues
(f + g) = ((f + g) i )i = (f i + g i )i = (f i )i + (g i )i = (f ) + (g).
En caso que A sea conmutativo se demuestra de manera analoga que saca escalares.
(b) Ejercicio.
[7.10] Ejercicio. Dar un ejemplo de M y N grupos abelianos de torsion tales que

HomZ (M, N ) no sea de torsion.
[7.11] Ejercicio. (a) Dado M un A-modulo probar que EndA (M ) = HomA (M, M )
es un anillo con la composicion como multiplicacion.
(b) Probar que si M es un A-modulo simple entonces EndA (M ) es un anillo con
47
7. El funtor Hom
division.
48
Seccion 8
Dimension
En nuestros cursos de algebra lineal hemos considerado espacios vectoriales de di-

mension finita, es decir, modulos finitamente generados sobre campos, y hemos probado
que todo espacio vectorial tiene base, es decir, que es libre; tambien hemos probado que
cualesquiera dos bases tienen el mismo numero de elementos; que cualquier conjunto inde-
pendiente se puede extender a una base y que cualquier conjunto de generadores contiene
una base. Veremos en esta seccion como se extienden todos estos resultados a espacios
vectoriales de dimension infinita y como podemos usar la teora de espacios vectoriales
para ver que tambien algunos de estos resultados son verdaderos para ciertos anillos. Para
esto, asociaremos a ciertos anillos algun campo con el que esten ntimamente relacionados.
Empezaremos con el caso de los anillos que estan contenidos dentro de campos. Es claro
que esto solo es posible si el anillo es un dominio; veamos que tambien es suficiente; la
construccion del campo menor que contiene al anillo es identica a la que se hace para
contruir Q a partir de Z.
[8.1] Teorema. Dado A anillo existe F campo que lo contiene si y solo si A es

dominio. En este caso existe un campo menor (en el sentido que esta contenido en cualquier
otro campo que contenga a A) y este es unico salvo un isomorfismo que conmuta con la
inclusion de A. A este campo lo denotamos por Q(A) y le llamamos campo de cocientes
de A.
Demostracion. Definimos
Q(A) = {(a, b) : a, b A, b 6= 0}/,
a
donde (a, b) (c, d) ad = bc. A la clase de (a, b) la denotamos b
y definimos la suma
8. Dimension
y multiplicacion en Q(A) por
a c ad + bc ac ac
+ = y = .
b d bd bd bd
Pensamos A Q(A) por a 7 a1 . No haremos los detalles de la demostracion por ser muy
laboriosos (pero no difciles) y no ofrecer nada nuevo a lo que conocemos de la construccion
de Q a partir de Z. (Estos son: es relacion de equivalencia, la suma y multiplicacion
estan bien definidas y con ellas Q(A) es campo; ademas a 7 a1 define un monomorfismo
de anillos). Falta ver que Q(A) es el menor, pero tambien esto es obvio pues si i : A F
es un monomorfismo de anillos de A en un campo F, entonces si definimos j : Q(A) F
por j( ab ) = i(a)i(b)1 es facil ver que j es monomorfismo de campos.
[8.2] Observacion. La minimalidad del campo de cocientes puede expresarse como

sigue: Propiedad universal del campo de cocientes. Dados A dominio y F campo, si i :
A F es monomorfismo de anillos, entonces existe un unico j : Q(A) F homomorfismo
(que ademas es inyectivo) tal que j|A = i. De esta manera, tenemos tambien que el campo
de cocientes es unico (caracterizado por la propiedad universal).
[8.3] Ejemplos. (a) Q(Z) = Q.

(b) Q(R[x]) = { fg(x)
(x)
: g(x) 6= 0}.
(c) Q(Z[i]) = Q[i].
(d) Q(R[[x]]) es el conjunto cuyos elementos son series de Laurent infinitas.
[8.4] Ejercicio. Sean A un dominio entero y Q(A) su campo de cocientes. Probar que
si M es un A-modulo divisible y libre de torsion, entonces la multiplicacion de escalares
de A se extiende a Q(A) de manera natural (y as M es un espacio vectorial sobre Q(A)).
[8.5] Ejercicio. Sean A un dominio entero y Q(A) su campo de cocientes.

(a) Probar que si B es un subanillo de Q(A) que contiene a A, y M y N son B -
modulos entonces HomA (M, N ) = HomB (M, N ).
(b) Para A = Z dar ejemplo de B no trivial (es decir, distinto de Z y de Q).
Recordemos la demostracion que estudiamos en nuestros cursos de algebra lineal de

que todo R-subespacio V de Rk tiene base. Si V = {0} entonces su base es . Si no, sea
v1 V \ {0}. Si V = <v1>, entonces (v1 ) es base; si no entonces tomamos v2 V \ {v1 }
y as sucesivamente; es facil ver que los elementos as construidos son independientes y
tambien que no puede haber mas de k elementos independientes (por rango de matrices,
ver [8.8]) as que en algun momento se obtiene un conjunto de generadores y, por tanto,
una base. Para hacer la demostracion en general, incluyendo el caso infinito, necesitamos
lema de Zorn (ver [6.9]).
[8.6] Proposicion. Todo espacio vectorial V tiene base.

Demostracion. Sea X = {X V : X es independiente}, ordenado por la inclusion.
50
8. Dimension
Como X , entonces X 6= . Si C = {X : } es una cadena en X , entonces C

S
es independiente pues si se toma una combinacion lineal igual a 0, esta involucra solo un
numero finito de elementos as que todos estan en un mismo X ; de esta manera vemos
que toda cadena tiene cota superior y esto implica, por Zorn, que existe X0 maximal
independiente en V. Es claro que X0 genera V pues si v V \ <X0>, entonces X0 {v}
sera independiente.
[8.7] Observacion. Todo conjunto independiente Y en un espacio vectorial se puede

completar a una base.
Demostracion. La misma demostracion de [8.6] sirve, tomando X = {X V : Y
X y X es independiente}.
[8.8] Proposicion. Si B y C son bases para un espacio vectorial V, entonces B y

C tienen la misma cardinalidad.
Demostracion. Supongamos que |B| > |C|. Tenemos dos casos:
|B| infinito. Como todo elemento de C se puede escribir como combinacion lineal de
elementos de B y las combinaciones lineales solo involucran un numero finito de elementos,
entonces el conjunto B de elementos de B que se usaron en esas combinaciones lineales
tiene cardinal menor que |B| as que existe b B \ B ; pero b se escribe como combinacion
lineal de elementos de C los cuales, a su vez, se escriben como combinacion lineal de
elementos de B y entonces tambien b se escribe como combinacion lineal de elementos de
B , lo cual es una contradiccion.
|B| finito. Entonces la misma demostracion de algebra lineal sirve: Al escribir cada
elemento de B como combinacion lineal de elementos de C, la matriz de los coeficientes
tiene mas renglones que columnas, por tanto, mediante operaciones elementales se logra
hacer algunos renglones de 0 s, lo cual quiere decir que los vectores correspondientes a esos
renglones eran combinacion lineal de los demas, as que no podan ser independientes.
Gracias a la proposicion anterior esta bien definida la dimension de un espacio vectorial

como el cardinal de cualquier base.
[8.9] Ejercicio. Dar una base, como F -espacio vectorial, para F [x].
[8.10] Ejercicio. Probar que la dimension de F [x] /<f (x) > es f (x).
Ahora veamos que los campos basicos son los Zp y Q, en el sentido que cualquier
otro campo contiene exactamente uno de ellos (como subcampo). Les llamamos campos
primos.
[8.11] Proposicion. Q y Zp (para p primo) son los unicos campos que no contienen
ningun otro campo propiamente. Ademas cualquier otro campo contiene exactamente uno
de ellos.
51
8. Dimension
Demostracion. Sea F un campo; entonces F es un Z-modulo, as que existe un unico

homomorfismo de grupos abelianos : Z F tal que (1) = 1. Observemos ademas que
es un homomorfismo de anillos: (ab) = a(b) = ab(1) = ab = a1b1 = a(1)b(1) =
(a)(b). Tenemos dos casos:
Ker() = 0. En este caso, la propiedad universal del campo de cocientes (ver [8.2]),
nos dice que Q es un subcampo de F.
Si Ker() = k Z, entonces por la propiedad universal del cociente tenemos un
monomorfismo de Zk en F ; ademas k debe ser primo pues si k = ab, entonces (ab) = 0
en F, pero entonces (a)(b) = 0, lo cual solo es posible si a = 0 o b = 0, es decir, k a

o k b.
Falta ver la unicidad, pero si hay monomorfismo Zp en F entonces p 1 = 0 as que
no podra ser tambien que para otro primo q se tuviera que hay monomorfismo de Zq en
F ni tampoco de Q.
[8.12] Observacion. Sea F un campo. Si Zp es subcampo de F entonces para todo

x F se tiene que px = 0. En este caso decimos que la caracterstica de F es p. Por otro
lado, si Q es subcampo de F entonces para todo k Z \ {0} y x F se tiene que kx 6= 0.
En este caso decimos que la caracterstica de F es 0.
[8.13] Observacion. Todo campo es espacio vectorial sobre exactamente uno de Q

o Zp . As, los campos finitos de caracterstica p tienen pk elementos para cierta k N.
[8.14] Ejemplos. (a) Q, R, C, Q(R[x]), Q[i] son todos campos de caracterstica 0.

(b) Zp y Q(Zp [x]) son campos de caracterstica p.
[8.15] Ejercicio. Cual es la dimension de R como Q-espacio vectorial?
[8.16] Ejercicio. Probar que existe un Z-homomorfismo no continuo f : R R.

(Sugerencia: Usar [8.5](a) con B = Q.)
Una parte de la teora espacios vectoriales es cierta para anillos conmutativos. Para
probar esto veremos que dado un anillo conmutativo hay una forma natural de asociarle
un campo.
Sea A un anillo conmutativo y sea I 6= A ideal de A. Decimos que I es ideal primo si

para a, b A, el que ab I implica que a I o b I. Decimos que I es ideal maximal
si para J ideal de A, el que I J A implica que I = J o J = A.
[8.17] Ejemplos. (a) En Z los ideales primos son 0 y p Z para p primo. Los ideales
maximales son los p Z.
(b) El ideal 0 es primo en un anillo conmutativo A si y solo si A es dominio.
(c) El ideal 0 es maximal en un anillo conmutativo A si y solo si A es campo (por
[1.11]).
52
8. Dimension
(d) En F [x] los ideales primos son 0 y los generados por p(x) con p(x) irreducible.
Los ideales maximales son los <p(x)> .
[8.18] Ejercicio. Probar que en Z[x] los ideales <x> y <2> son primos pero no
maximales.
En los todos los ejemplos considerados vimos que los ideales maximales son tambien
primos. Esto es cierto siempre. Para verlo necesitamos considerar en anillo cociente A/I
recordando que si I es ideal bilateral de A entonces A/I tiene estructura de anillo con
la multiplicacion definida por (a + I)(b + I) = ab + I (la bilateralidad es necesaria para
que este bien definida la multiplicacion al escoger representantes). En los casos que nos
interesan ahora, A es conmutativo as que solo decimos que I sea ideal. El teorema de
la correspondencia (ver [3.7]) nos dice exactamente que ideales son primos y cuales son
maximales en terminos de la estructura del anillo cociente.
[8.19] Proposicion. Sea A anillo conmutativo y sea I ideal de A. Entonces

(a) I es primo si y solo si A/I es dominio.
(b) I es maximal si y solo si A/I es campo.
Demostracion. El teorema de la correspondencia que vimos en [3.7] es claramente
cierto tambien para anillos (pues la estructura de multiplicacion se preserva en la corres-
pondencia. Entonces ya es claro el resultado (en el caso de campos, esto es por [1.11]).
[8.20] Corolario. Si I es un ideal maximal en un anillo conmutativo A entonces I

es primo.
El recproco tambien es cierto en dominios de ideales principales, salvo por el ideal 0,

como veremos a continuacion.
[8.21] Observacion. Sea A un DIP. Si I 6= 0 es un ideal primo, entonces I es

maximal.
Demostracion. Sea I = <a> con a 6= 0 y supongamos que J = <b> es un ideal que
contiene propiamente a I. Como a J, tenemos que a = bc para algun c A; el que I
sea primo nos dice que alguno de b o c pertenece a I, pero b
/ I, as que c I y entonces
c = ad. Sustituyendo c en la ecuacion a = bc y cancelando a por estar en un dominio,
tenemos que 1 = bd, de donde 1 J y as J = A.
[8.22] Ejemplo. Sea F4 = Z2 [x] /<x2 + x + 1>. Entonces F4 es el unico campo de

4 = 22 elementos.
Demostracion. Para ver que F4 es campo basta observar que x2 + x + 1 irreducible
sobre Z2 , pero esto es obvio pues no tiene raz (en Z2 02 + 0 + 1 = 1 y 12 + 1 + 1 = 1).
Para ver la unicidad, supongamos que F es otro campo con 4 elementos; entonces es
Z2 -espacio vectorial de dimension 2 con base, digamos {1, b}. Por [1.29] consideremos el
53
8. Dimension
homomorfismo de anillos : Z2 [x] F que manda a x en b (y al 1 de Z2 [x] en el 1 de

F ). Entonces el nucleo de es un ideal que, por ser Z2 [x] DIP, esta generado por un
polinomio f (x). Entonces, por el primer teorema de isomorfismo en anillos tenemos que
Z2 [x] /<f (x)> F , pero entonces, por [8.10] y [8.19](b), f (x) es un polinomio irreducible
de grado 2. Ahora basta observar que x2 + x + 1 es el unico polinomio irreducible de grado
2 en Z2 [x], pero esto es facil analizando todos los casos: x2 = xx, x2 + x = x(x + 1) y
x2 + 1 = (x + 1)(x + 1).
[8.23] Nota. Para cada primo p y k N existe exactamente un campo de orden

k
p . Cualesquiera dos campos finitos de la misma cardinalidad son isomorfos como espacios
vectoriales sobre su campo primo F (por tanto, como grupos abelianos) y como campos,
pero pueden no serlo como F [x]-modulos. En el ejemplo anterior se probo que solo hay
un campo de 4 elementos salvo isomorfismo como Z2 -modulo.
[8.24] Proposicion. Si A es un anillo (no necesariamente conmutativo) entonces

existe I ideal maximal de A.
Demostracion. Aplicamos Zorn a X = {I 6= A : I es ideal} ordenado por la inclusion.
Como 0 X , entonces X 6= ; lo demas es analogo a las demostraciones en las que hemos
usado Zorn, observando que la union de los elementos de una cadena no puede contener al
1, pues si lo contuviera entonces 1 estara en algun elemento de la cadena y entonces ese
elemento sera A.
En la proposicion anterior es importante que se trate del anillo (se uso que hay un
elemento, el 1, que genera todo A). El resultado no es cierto para modulos, como veremos
en los siguientes ejemplos.
[8.25] Ejemplos. (a) Zp no tiene submodulo maximal pues sus submodulos forman
una cadena ascendente infinita.
(b) Q no tiene submodulo maximal pues si M fuera submodulo maximal entonces
Q/M sera simple, pero sabemos (ver [3.18]) que los grupos abelianos simples son los Zp ,
con p primo, y estos no pueden ser cocientes de Q pues no son divisibles.
Ya sabemos que al hacer el cociente de un anillo conmutativo A con un ideal maximal

I obtenemos un campo. Ahora veamos que todo A-modulo tiene asociado un A/I -espacio
vectorial en forma natural.
Dado I ideal de un anillo conmutativo A definamos

k
X
IM = { aj mj : k N, aj I, mj M }.
j=0
[8.26] Ejercicio. Probar que IM es un submodulo de M y que M/IM es un (A/I)-

modulo con la multiplicacion por escalares (a + I)(m + IM ) = am + IM. Ademas, si
M = M entonces IM = IM y M/IM (M /IM ) .
L L L
54
8. Dimension
[8.27] Ejemplos. En los siguientes sean A = Z e I = 2 Z.

(a) Si M = Q entonces IM = M y M/IM = 0.
(b) Si M = Z18 entonces IM = {0, 2, 4, 6, 8, 10, 12, 14, 16} Z9 y M/IM Z2 .
(c) Si M = Z18 Z4 Z2 , entonces M/IM Z2 Z2 Z2 .
(e) Si M = Z2 , entonces M/IM = 0.
Ahora ya estamos en posicion de demostrar que la dimension tambien esta bien definida
para modulos libres sobre anillos conmutativos.
[8.28] Teorema. Sea A conmutativo. Si L es un modulo libre entonces cualesquiera

dos bases para L tienen la misma cardinalidad. Al cardinal de cualquier base se le llama
rango de L y se le denota por r(L).
Demostracion. Supongamos que A() A() y sea I un ideal maximal en A.
Entonces, por el ejercicio anterior y observando que IA = I, tenemos que (A/I)()
A() /(IA)() A() /(IA)() (A/I)() ; pero entonces tenemos que los (A/I)-espacios vec-
toriales (A/I)() y (A/I)() son isomorfos tambien como A/I -modulos, as que = .
[8.29] Nota. Tambien es cierto que si A es un anillo conmutativo y N L son

A-modulos libres entonces r(N ) r(L); la demostracion de esto utiliza tecnicas todava
no tratadas en este material. Por otro lado, para grupos no abelianos, si bien es cierto
que subgrupo de libre es libre, un grupo libre no abeliano de rango 2 contiene subgrupos
(libres) de rango infinito.
[8.30] Ejercicio. Sea V un espacio vectorial de dimension infinita sobre un campo

F y sea B = EndF (V ). Probar que no esta bien definida la dimension de un B -modulo
libre. (Sugerencia: Observar primero que V V V como F -modulos y usar esto para
probar que B B B como B -modulos.)
Para A = Z o A = F [x] existe otra forma de usar los espacios vectoriales para encontrar
invariantes cardinales de modulos (es decir, cardinales asociados a modulos de tal manera
que a modulos isomorfos se les asocie el mismo cardinal). Sea p un elemento irreducible en
A y sea M un A-modulo. Llamamos soclo de M en p a M [p] = {m M : pm = 0}. Es
claro que tambien este es un espacio vectorial sobre A / <p> . La ventaja es que si N M,
entonces N [p] M [p] (lo cual es obvio), cosa que no ocurra al considerar cocientes (es
decir, N/pN no es submodulo de M/pM ). Ademas, es claro que el soclo de una suma
directa es la suma directa de los soclos de los sumandos.
Veamos a continuacion cual es el soclo en los ejemplos de arriba, para comparar.
[8.31] Ejemplos. En los siguientes sean A = Z, p = 2 e I = 2 Z.

(a) Si M = Q entonces M/IM = 0 = M [2].
(b) Si M = Z18 entonces M [2] = {0, 9}, as que M/IM Z2 M [2].
(c) Si M = Z18 Z4 Z2 , entonces M/IM Z2 Z2 Z2 M [2].
55
8. Dimension
(d) Si M = Z2 , entonces M/IM = 0 pero M [2] Z2 .

(e) Si M = Z5 , entonces M/IM = 0 = M [2].
Podemos utilizar la dimension de un espacio vectorial (y el soclo) para dar un resultado

completo sobre como son los grupos abelianos divisibles.
[8.32] Teorema. Todo grupo abeliano divisible D es isomorfo a

(I )
Q(I)
M
Zpp ,
p
donde la ultima suma vara sobre todos los primos p. Ademas los cardinales I e Ip para
cada primo p estan determinados.
Demostracion. Sabemos que T (D) es divisible y, por tanto, es sumando directo
de D, con complemento N isomorfo a D/T (D); pero entonces N es divisible y libre de
torsion as que, por [8.4], es un Q-espacio vectorial: N Q(I) . Ahora, T (D) = p Tp (D).
L
Para un primo fijo p consideremos una base X del Zp -espacio vectorial D[p]. Para cada
elemento x1 X sean x1 2 , x1 3 , . . . tales que px1 2 = x1 , px1 3 = x1 2 , etc. Entonces el
subgrupo <x1 , x1 2 , x1 3 , . . .> es isomorfo a Zp . Es facil convencerse que la suma de todos
estos grupos (formados a traves de elementos de una base de D[p]) es directa y es todo
Tp (D). (Para ver que es suma directa, tomar una combinacion lineal de los xi j de manera
que p no divida a los coeficientes; multiplicar por una potencia de p de manera que se
obtenga una combinacion de elementos del soclo; ah se tiene que los elementos son 0, as
que los coeficientes que hayan quedado son multiplos de p, lo cual es una contradiccion;
para ver que los xi j generan Tp (D), tomar un elemento x Tp (D) y suponer que su orden
es pr ; entonces pr1 x Tp (D)[p], as que es combinacion lineal de los xi ; al dividir cada
uno de estos xi por pr1 se obtiene una expresion de la forma
pr1 x = ai1 pr1 xi1 r1 + + aik pr1 xik r1
as que
x (ai1 xi1 r1 + + aik xik r1
pertenece al soclo, por lo que es una combinacion lineal de los xi .) El cardinal de X es
Ip .
La unicidad de I y los Ip es clara pues corresponde a dimensiones de espacios vectoria-
les invariantes de D (es decir, si D D son divisibles entonces el isomorfismo se restringe
a T (D) T (D ) y a D[p] D [p] e induce isomorfismo entre D/T (D) D /T (D )).
56
Seccion 9
Sumas directas de cclicos
Para la siguiente demostracion utilizaremos induccion transfinita.
[9.1] Proposicion. Sea A un DIP. Entonces todo A-submodulo N de un modulo

libre L tambien es libre. Ademas, r(N ) r(L).
Demostracion. Bien-ordenemos una base para L: = (x : < ), con un
ordinal. Para cada ordinal , sea
M
L = <x> .
<
Definamos, para cada , N = N L . Entonces, para < tenemos N = N+1 L
y
(N+1 /N ) (N+1 + L ) /L (L+1 /L ) A.
Como A es un dominio de ideales principales, sus submodulos son 0 o isomorfos a A
mismo; en cualquier caso N+1 /N es proyectivo, as que N+1 = N <y > para algun
y N+1 y <y> 0 o A. Entonces N = <y : > y <y> es una suma directa,
P
<
as que
M
N= <y> .
<
[9.2] Corolario. En Z y en F [x], proyectivo es lo mismo que libre.
[9.3] Corolario. ZN no es libre.

Demostracion. Encontraremos un subgrupo no libre de ZN . Sea p un numero primo.
Para cada k N sea

Mk = {(an )nN ZN : n0 tal que n n0 , pk an }.

9. Sumas directas de cclicos
Entonces
Z(N) M2 M1 M0 .
Sea \
M= Mk .
kN
Veamos que M no es libre. Observemos primero que si |M | = entonces > 0 pues
contiene a todos los elementos de la forma (a0 , a1 p, a2 p2 , a3 p3 , . . .) para cualquier eleccion
de ai Z, i N. Entonces, si M fuera libre, su base tendra cardinal y entonces M/pM
sera un Zp -espacio vectorial de dimension . Sin embargo, observemos que M/pM es
(N)
numerable pues la restriccion de la proyeccion M M/pM a Z es suprayectiva (dado
x = (an )n M existe n0 tal que para n > n0 , p an , as que x (a1 , a2 , . . . , an0 , 0, 0, . . .) =

(0, . . . , 0, an0 +1 , an0 +2 , . . .) pM , y hay aqu una contradiccion.
[9.4] Corolario. El producto directo de modulos proyectivos no necesariamente es

proyectivo.
[9.5] Lema. Sea p un numero primo. Si un Z-modulo M es p-primario y contiene

un elemento x de orden maximal entonces <x> es sumando directo de M.
Demostracion. Sea pk el orden de x. Sea f : < x > Zp el homomorfismo que
manda a x en un elemento ck Zp de orden pk . Entonces f es un isomorfismo entre
< x > y < ck > . Por ser Zp un modulo inyectivo tenemos que f puede extenderse a
un homomorfismo F : M Zp ; ahora, como x es elemento de orden maximal de M,
tenemos que F (M ) <ck>, as que, mediante el isomorfismo entre <ck> y <x>, tenemos
que la inclusion de <x> en M se escinde, es decir, <x> es sumando directo de M.
[9.6] Corolario. Todo grupo abeliano finito es suma directa de cclicos.

Demostracion. Por [4.12] podemos suponer que el grupo es p-primario para un primo
p. Entonces aplicamos el lema anterior e induccion sobre el orden del grupo.
Extenderemos el resultado anterior a A-modulos finitamente generados para A = Z o

F [x].
Sabemos que en general no es cierto que submodulo de finitamente generado tambien

es finitamente generado (ver [1.19]). Los anillos en los que es cierta esta afirmacion se
llaman noetherianos. Tenemos las siguientes equivalencias.
[9.7] Proposicion. Sea A un anillo. Son equivalentes:

(a) Todo ideal (izquierdo) de A es finitamente generado.
(b) A satisface la condicion ascendente de cadenas, CAC, en ideales (izquierdos), es
decir, si I1 I2 I3 son ideales de A entonces existe k N tal que Ir = Ik para
toda r k. (Se dice que la cadena se estaciona en k.)
(c) Si M es un A-modulo finitamente generado entonces M satisface la condicion
ascendente de cadenas en submodulos.
58
(d) A es noetheriano.
Demostracion. (a)(b) Consideremos una cadena de ideales I1 I2 I3 y
sea I su union. Entonces I es ideal, as que es finitamente generado; sus generadores estan
todos en algun Ik as que para r k tenemos que I = Ir .
(b)(c) Probemos esto por induccion sobre el numero de generadores de M. Si M es
cclico, entonces M es isomorfo a A o es un cociente (propio) de A, as que el resultado
es claro por el teorema de la correspondencia. Supongamos que M = <m1 , m2 , . . . , mk >
para cierta k 2. Tenemos una sucesion exacta
0LM N 0
en que los extremos L = <m1> y N = M/ <m1> cumplen la CAC (el ultimo, por hipotesis
de induccion pues puede generarse con k 1 elementos). Sea M1 M2 M3 una
cadena ascendente de submodulos de M. Bajemos esta cadena a L y a N :
M1 L M2 L M3 L
(M1 + L)/L (M2 + L)/L (M3 + L)/L
Sea k N en donde ambas se estacionan. Recordemos que para toda i, (Mi + L)/L
Mi /(Mi L) mediante el isomorfismo natural, de manera que tenemos un diagrama con-
mutativo de sucesiones exactas
0 Mk L Mk (Mk + L)/L 0
id id
0 Mk+1 L Mk+1 (Mk+1 + L)/L 0.
Por el lema del 5o la contencion central es igualdad.
(c)(d) Sea N un submodulo de un modulo finitamente generado M y sea x1
N . Si < x1 >6= N, tomemos x2 N \ < x1 > y as seguimos tomando xn+1 N \ <
x1 , x2 , . . . , xn1 >. Este procedimiento debe terminarse pues se esta construyendo una
cadena ascendente de submodulos de M .
(d)(a) Los ideales son los submodulos de A.
[9.8] Corolario. Z y F [x] son noetherianos.
El siguiente teorema y su demostracion nos permitiran determinar como son todos

los modulos finitamente generados sobre Z y sobre F [x] y ademas, cuando un modulo
este definido mediante generadores y relaciones, nos dara un metodo para escribir ese
modulo en una forma canonica como suma directa de cclicos. Antes necesitamos algunas
observaciones.
Empecemos explicando de manera informal lo que vamos a hacer. Si A = Z o F [x],

dado un submodulo N de un modulo libre finitamente generado L, sabemos, por [9.8],
que N es finitamente generado. Al escribir los generadores de N como combinacion lineal
de la base de L obtenemos la matriz de coeficientes de las expresiones (se considera que
la base y el conjunto de generadores estan ordenados; entonces cada columna de la matriz
59
representa un generador; en la columna aparecen los coeficientes de la expresion de ese

generador como combinacion lineal de los elementos de la base). Es facil darse cuenta que
el efecto de aplicar operaciones elementales a la matriz, ya sea en renglones o en columnas,
simplemente cambia de generadores de N y de base de L. Por ejemplo, el intercambiar dos
columnas significa poner los generadores de N en distinto orden; multiplicar un renglon
por un invertible u es como cambiar el basico correspondiente x por ux (de manera que
se tiene otra base de L); tambien es facil darse cuenta que si x1 , x2 , . . . , xn es una base
de L (o, respectivamente, un conjunto de generadores de N ) y a A, entonces tambien
x1 + ax2 , x2 , . . . , xn es base de L (resp. un conjunto de generadores de N ) y un cambio
as sera el reflejo de sumar a un renglon un multiplo de otro (resp. sumar a una columna
un multiplo de otra). Haremos estas operaciones de manera de transformar una matriz
en otra que tenga 0 s fuera de la diagonal principal y que en la diagonal principal cada
elemento sea divisor del que le sigue hacia abajo. Hagamos un ejemplo de esto antes de
formalizar.
[9.9] Ejemplo. En L = Z Z consideremos el subgrupo N =<(2, 0), (0, 3)>, Con-

sideremos la base x1 = (1, 0), x2 = (0, 1) de L. Entonces la matriz asociada a la inclusion
de N en L es
!
2 0
.
0 3
Ahora, mediante las siguientes operaciones sucesivas:
sumar 2a columna a 1a columna,
sumar 1 por 1er renglon a 2o renglon,
intercambiar renglones,
sumar 2 por 1er renglon a 2o renglon,
sumar 3 por 1a columna a 2a columna,
multiplicar 2o renglon por 1,
vamos obteniendo
! ! ! ! ! ! !
2 0 2 0 2 0 1 3 1 3 1 0 1 0
, , , , , , .
0 3 3 3 1 3 2 0 0 6 0 6 0 6
Tenemos as una base para Z Z con la cual los generadores de N son (1, 0) y (0, 6). As,
al principio tenamos L/N Z2 Z3 , y ahora tenemos L/N Z6 .
Vamos ahora a formalizar lo dicho hasta aqu.
[9.10] Observacion. Sean N y L modulos libres sobre un anillo A y sea f : N L

un homomorfismo. Dada una base = (n1 , n2 , . . . , ns ) de N y una base = (l1 , l2 , . . . , lr )
de L si f (ni ) = bj i lj consideremos la matriz asociada a f con respecto a las bases dadas,
P
B = (bi j ) Mrs (A). Entonces, para cualquier par de matrices invertibles P Mrr (A)
y Q Mss (A), la matriz S = QT P tambien representa a f pero con respecto a las bases
60
Q() = (Q(n1 ), Q(n2 ), . . . , Q(ns )) de N y P () = (P (l1 ), P (l2 ), . . . , P (lr )) de L.

T
N L
P Q .
QT P
N L
[9.11] Observacion. Toda matriz invertible P es el producto de matrices elementales

de los siguientes tipos:
(i) Matrices obtenidas de la matriz identica intercambiando dos renglones.
(ii) Matrices obtenidas de sumar un multiplo de un renglon a otro renglon.
(iii) Matrices obtenidas de multiplicar un renglon por un elemento invertible (1 o -1 si
A = Z o una constante no cero si A = F [x]).
El multiplicar la matriz B por la izquierda por cada una de estas tiene el efecto en
B de cada una de las siguientes operaciones elementales en los mismos renglones de los
cuales se obtuvo la matriz elemental:
(i) Intercambio de renglones en B.
(ii) Sumar multiplo de un renglon a otro.
(iii) Multiplicar un renglon por un elemento invertible de A.
Cada matriz elemental tambien se puede ver como una operacion en columnas y el
efecto de multiplicar por la derecha una matriz B corresponde a una operacion elemental
en columnas en B .
Decimos que dos matrices son equivalentes si una se obtiene de la otra mediante o-
peraciones elementales. Es claro entonces que esta relacion es de equivalencia y que dos
matrices son equivalentes si, y solo si, pueden pensarse como el mismo homomorfismo pero
con respecto a distintas bases.
[9.12] Proposicion. Teorema de las bases simultaneas. Sea A = Z o F [x]. Si N L

son dos modulos libres finitamente generados, entonces
existe una base (x1 , x2 , . . . , xk ) de
L y elementos d1 , d2 , . . . , dk de A tales que d1 d2 dk , (d1 x1 , d2 x2 , . . . , dj kxj ) es base

de N y dj+1 = = dk = 0 para cierta j k.

Demostracion. Haremos el caso de A = Z, aclarando solo las diferencias en F [x].
Escojamos una base cualquiera para L. Por [9.1] sabemos que N es libre y que r(N )
r(L). De todas las matrices que representan a la inclusion de N en L escojamos una, U ,
que tenga un elemento positivo menor a (o un polinomio no decro de grado menor). Sin
perdida de generalidad, a esta en la posicion (1, 1).
Vamos a ver, primero, que A divide a todos los miembros de su renglon y de su
columna. Supongamos que no y sea b un elemento al cual a no divide. Sin perdida
de generalidad, b se encuentra en la posicion (1, 2). Usando el algoritmo de la division
escribamos b = aq + r con 0 6= r < a (o, de grado menor que el a, en el caso de F [x]);
ahora restemos a la segunda columna q veces la primera para obtener r en la posicion
(1, 2), lo cual contradice la minimalidad de a.
Ahora veamos que a divide a todos los elementos de la matriz. Consideremos, sin
61
perdida de generalidad el elemento c en la posicion (2, 2). Por lo probado arriba, en la

posicion (1, 2) aparece un elemento de la forma aq y en la posicion (2, 1) aparece un
elemento as. Ahora, al segundo renglon sumemosle (1 s) veces el primero, para obtener:
a aq a aq

as

c a
c aq sqa .
.. ..
. .
Como ya sabemos que cuando a aparece en un renglon entonces divide a todos los elementos
de su renglon, tenemos que a|c aq sqa y, por lo tanto, a|c, como queramos probar.
Despues es facil observar que podemos sumar multiplos apropiados del primer renglon
a cada uno de los demas renglones para lograr que todos los lugares de la matriz en la
primera columna abajo del lugar (1, 1) sean 0 y hacer despues lo mismo en las columnas
para lograr que en el primer renglon todos los elementos a la derecha del que esta en el
lugar (1, 1) sean 0. Finalemente aplicamos induccion al menor que queda de eliminar la
primera columna y el primer renglon, observando que cualquier operacion elemental en esa
submatriz no altera el primer renglon y la primera columna.
El siguiente resultado nos dice que la descomposicion en suma directa de cclicos de un

modulo finitamente generado sobre Z o F [x] que nos da el teorema de las bases simultaneas
es unica.
[9.13] Teorema. Sea A = Z o F [x]. Si M = (A/ <d1>) (A/ <d2>)

(A/ <dk>) Ar y N = (A/ <e1>) (A/ s
<e2>) (A/ <el>) A son A-modulos
isomorfos con d1 d2 dk , e1 e2 el y r, s 0, entonces r = s, k = l y para cada

i, <di>=<ei> .
Demostracion. Sabemos que para cada irreducible p A, el isomorfismo entre M
y N se restringe a isomorfismos Tp (M ) Tp (N ) y, por tanto, tambien Ar M/T (M )
N/T (N ) As . En particular, por [9.1] tenemos que r = s y ademas podemos suponer que
cada di y ej son potencias del irreducible p, digamos di = pri y ej = psj con r1 r2
rk y s1 s2 sl ; pero entonces tambien tenemos que M [p] N [p] y estos
son espacios vectoriales con dimensiones k y l as que k = l. Ahora, supongamos que las
potencias no son iguales y consideremos la primera en donde sean distintas:
r1 = s1 , r2 = s2 , . . . , rj1 = sj1 pero rj 6= sj
(para cierta j k ). Sin perdida de generalidad rj < sj . Entonces prj M tiene menos
sumandos que prj N, lo cual es imposible.
Los elementos d1 , d2 , . . . , dj son los factores invariantes o divisores elementales del

cociente L/N, y r = k j es el rango de la parte libre del cociente.
62
A la expresion

d1 0 0 0
0

d2 0 0
..
.

0 0 0 dk
de la matriz se le llama forma normal de Smith del cociente L/N.
[9.14] Corolario. (a) Todo grupo abeliano finitamente generado M es isomorfo a un

unico grupo de la forma
Zd 1 Z d 2 Zd j Zr

con d1 d2 dj numeros naturales y r 0.
(b) Todo F [x]-modulo finitamente generado es isomorfo a un unico grupo de la forma
(F [x]/d1 (x)) (F [x]/d2 (x)) (F [x]/dj (x)) F [x]r ,

con d1 (x) d2 (x) dj (x) polinomios monicos y r 0.
Tenemos otra forma canonica de escribir los modulos finitamente generados sobre A =
Z o F [x] usando la descomposicion primaria y poniendo en orden creciente las potencias
de cada primo. Ademas, en el caso de A = Z se pueden poner en orden creciente los
primos de la descomposicion. Veamos un ejemplo.
[9.15] Ejemplo. Escribir todos los grupos abelianos de orden 600 en las dos formas
canonicas, apareando los grupos isomorfos segun las dos escrituras.
Solucion. Tenemos que 600 = 23 3 52 . Entonces los distintos grupos abelianos de
orden 600 son:
Z8 Z3 Z25 Z600 .
Z2 Z4 Z3 Z25 Z2 Z300 .
Z2 Z2 Z2 Z3 Z25 Z2 Z2 Z150 .
Z8 Z3 Z5 Z5 Z5 Z120 .
Z2 Z4 Z3 Z5 Z5 Z10 Z60 .
Z2 Z2 Z2 Z3 Z5 Z5 Z2 Z10 Z30 .
En cada caso, en la descomposicion primaria consideramos las particiones del exponente
3 (del 2) y el exponente 2 (de 5) como sumas de enteros positivos e hicimos las distintas
combinaciones; para determinar la descomposicion en divisores elementales juntamos las
potencias mas grandes de cada primo y luego las que le siguen y as sucesivamente.
Tambien tenemos una respuesta completa sobre cuales son todos los submodulos de un
A-modulo finitamente generado cuando A = Z o F [x].
[9.16] Proposicion. Sea M un A-modulo finitamente generado con A = Z o F [x].

Entonces
(a) El rango libre de cualquier submodulo es menor o igual que el de M.
(b) Si N M y para un irreducible p los divisores elementales de Tp (M ) son ps1
63
ps2 psl y los divisores elementales de Tp (N ) son pr1 pr2 prk , entonces
l k y al completar con 1 s para lograr el mismo numero de divisores elementales (es
decir escribir sj = 0 para j = l + 1, . . . , k ) se tiene si ri para toda i.
(c) Si N es un modulo que satisface las condiciones de (a) y (b) (en cuanto a la
comparacion de sus divisores elementales en cada primo y su rango libre con los de M )
entonces N es isomorfo a un submodulo de M.
Demostracion. (a) Sean r el rango libre de M y s el rango libre de N. Apliquemos
el funtor Hom( , Q(A)) al diagrama conmutativo con renglones exactos siguiente:
0 t(N ) N As 0
,
0 t(M ) M Ar 0
en donde las primeras dos flechas verticales son inclusiones y la tercera es la inducida
al cociente. Recordando que Hom( , Q(A)) es funtor exacto (por ser Q(A) inyectivo),
contravariante y que ademas el unico homomorfismto de un modulo de torsion a Q(A) es
el 0, obtenemos
0 Q(A)s Hom(N, Q(A)) 0 0
.
0 Q(A)r Hom(M, Q(A)) 0 0
donde la flecha vertical de enmedio es suprayectiva y, por tanto, por el lema del 5o , tambien
la primera lo es, con lo cual tenemos que s r .
(b) Agreguemos, si es necesario, sumandos 0 a N (que corresponderan a Z1 ) para
lograr la misma cantidad de sumandos que en M . Ahora se puede proceder como en [9.13]
(pues N [p] M [p]).
Para (c) observemos que para s r cada cclico A /<pr > contiene un submodulo
A /<ps> .
[9.17] Corolario. Si M es un grupo abeliano con k elementos y d es un divisor de

k entonces M tiene un subgrupo con d elementos.
[9.18] Nota. El corolario anterior es falso para grupos no abelianos; por ejemplo el
grupo alternante A5 tiene 120 elementos pero no contiene ningun subgrupo de orden 60
(pues si lo contuviera, este sera normal, pero A5 no tiene subgrupos normales). Es cierto
tambien que subgrupo de libre no abeliano es libre, sin embargo el grupo libre con dos
generadores Z Z contiene subgrupos (libres) de rango infinito.
[9.19] Ejercicio. Sea M el grupo abeliano M = (Z Z)/<(p, p)> . Determinar la

escritura canonica de M .
[9.20] Ejercicio. Llevar la siguiente matriz a su forma normal de Smith y decir a que
modulo corresponde: !
4 6
.
10 15
64
[9.21] Ejercicio. Cuantos grupos abelianos hay de orden 720? Escribir todos en
ambas formas canonicas apareandolos segun sean isomorfos.
[9.22] Ejercicio. Sea M un grupo abeliano finito y digamos que M es cociente del
grupo libre L entre un subgrupo N . Probar que si B es una matriz que representa la
inclusion de N en L, entonces el orden de M es |det(B)|. (Notese que, por ser el grupo
finito, la matriz es cuadrada.)
[9.23] Ejercicio. Cuantos R[x]-modulos no isomorfos M estan generados por 3

elementos (o menos) y tienen por anulador An(M ) = {a F [x] : aM = 0} =<(x 1)(x2 +
1)2>? Dar 3 ejemplos distintos de estos M .
65
Seccion 10
Aplicaciones al algebra lineal
Empecemos por recordar algunos conceptos basicos que aprendimos en nuestros cursos
de algebra lineal acerca de las transformaciones lineales.
Dados V un F -espacio vectorial de dimension n y T : V V una transformacion

lineal, podemos representar a T por una matriz A Mn (F ) escogiendo una base =
(v1 , v2 , . . . , vn ) de manera que aplicar T sea multiplicar por A; mas precisamente, dado
v V se representa a v como una matriz de n 1 utilizando los coeficientes en la
expresion de v como combinacion lineal de la base (as, escribimos V = V ); entonces
la multiplicacion Av es otra matriz de n 1 en la que aparecen los coeficientes de T (v)
en la combinacion lineal de la misma base (o sea T (v) V ). Si cambiamos a otra base
= (w1 , w2 , . . . , wn ) y P es la matriz que representa a la funcion identica de V en V
pero que escribe a los vectores de en terminos de , entonces P es invertible y la
matriz B = P 1 AP representa a la misma transformacion lineal T pero con respecto a
la base . Se dice en este caso que A y B son matrices similares. Trabajando al reves
tenemos el recproco, es decir, si dos matrices son similares entonces corresponden a la
misma transformacion lineal con respecto a distintas bases.
B
V V
T
P id P id
A
V V
T
Por otro lado, recordemos que dados V un F -espacio vectorial V y una transformacion
lineal T : V V, convertimos a V en un F [x]-modulo definiendo x v = T (v) para todo
v V y extendiendo de manera natural. De esta manera podemos aplicar lo aprendido
10. Aplicaciones al algebra lineal
en la teora de modulos, en particular el teorema fundamental de los modulos finitamente

generados sobre F [x] para, dada A Mn (F ), encontrar matrices similares a A que nos
proporcionen una mejor informacion sobre la transformacion.
A partir de aqu, V es un espacio vectorial de dimension finita n sobre F, T : V V

es una transformacion lineal y se considera a V como F [x]-modulo mediante x v = T (v).
[10.1] Proposicion. V es un F [x]-modulo finitamente generado y de torsion.

Demostracion. Es claro que V es finitamente generado como F [x]-modulo pues lo
es como F -espacio vectorial. Veamos que es de torsion. Sea v V \ {0}. Entonces los
n + 1 elementos v, xv, x2 v, . . . , xn v son dependientes (como F -espacio vectorial), as que
existen a0 , a1 , . . . , an elementos de F no todos 0 tales que a0 v + a1 xv + + an xn v = 0,
lo cual dice que el polinomio a0 + a1 x + + an xn anula a v.
Recordemos que un F -subespacio U de V es F [x]-submodulo de V si y solo si T (U )

U (ver [1.9](e)). Veamos entonces que pasa si V es suma directa de F [x]-submodulos.
[10.2] Observacion. Si V = U W como F [x]-modulo, (u1 , . . . , ur ) es F -base

de U y (w1 , . . . , ws ) es F -base de W, entonces la matriz de T con respecto a la base
(u1 , . . . , ur , w1 , . . . , ws ) es !
B 0
,
0 C
donde B y C son las respectivas matrices de T |U y T |W . En este caso decimos que la
matriz es suma directa de las matrices B y C.
[10.3] Proposicion. Sea V cclico como F [x]-modulo, V = <v > F [x] /<g(x)>
con g(x) = xn + cn1 xn1 + + c1 x + c0 . Entonces
(a) : (v, xv, x2 v, . . . , xn1 v) es base de V,
(b) la matriz de T con respecto a es
0 0 0 0 0 c0

1 0
0 0 0 c1

0 1 0 0 0 c2

C= .
..
.

0 0 0 0 1 cn1
En este caso decimos que C es la matriz companera de T.
Demostracion. Las primeras n 1 columnas son claras pues al aplicar T a cada
basico nos da el siguiente; la ultima columna se obtiene porque el anulador de v (como
F [x]-modulo) es g(x) as que T (xn1 v) = xn v = cn1 xn1 v c1 xv c0 .
El teorema de las bases simultaneas nos da una expresion de V en suma directa de

cclicos
V (F [x] /<g1 (x)>) (F [x] /<g2 (x)>) (F [x] /<gk (x)>)
67

con g1 (x) g2 (x) gk (x) 6= 0. Al juntar los resultados anteriores tenemos que si Ci es
la matriz companera de T |F [x] /<gi (x)> entonces existe una base para V para la cual T tiene
representacion
C1 0 0 0

0

C2 0 0
.. .
.

0 0 0 Ck
Ademas esta es la unica representacion en suma directa de matrices companeras (de manera
que los polinomios cuyos coeficientes aparecen en la ultima columna se dividan sucesiva-
mente) pues los gi (x) son los factores invariantes de V que sabemos que son unicos. A
esta expresion de T se le llama forma canonica racional de T.
[10.4] Corolario. Si F es subcampo de otro campo F y A y B son matrices en

Mn (F ) similares como matrices de Mn (F ) (es decir, existe P Mn (F ) invertible tal que
B = P 1 AP ) entonces tambien lo son como matrices en Mn (F ).
Demostracion. Los factores invariantes tienen coeficientes en F [x] y son unicos.
Ahora apliquemos la forma canonica racional de una matriz para ver algunos resultados
importantes de algebra lineal. Recordemos que si un F -subespacio <v> de dimension 1
es invariante bajo T, es decir, v 6= 0 y T (v) = v para algun F, entonces decimos
que v es un vector propio o eigenvector de T y que es un valor propio o eigenvalor. Por
otro lado, si A es una matriz que corresponde a T bajo una base, entonces el que exista
v V \ {0} con Av = v es equivalente a que exista v V \ {0} con (I A)v = 0,
lo cual es equivalente a que la matriz I A sea singular (es decir, no invertible), o sea
que det(I A) = 0. De esta manera tenemos que los valores propios son las races del
polinomio A (x) = det(xI A), llamado polinomio caracterstico de A.
[10.5] Observacion. Dos matrices similares tienen el mismo polinomio caracterstico.

Esto es facil de comprobar pues las matrices diagonales (de la forma tI ) conmutan con
las demas y el determinante de un producto es el producto de los determinantes. Usamos
esto para probar el siguiente resultado.
[10.6] Proposicion. Si A corresponde a T : V V y los factores invariantes de T

son g1 (x), g2 (x), . . . , gk (x) entonces A (x) = g1 (x)g2 (x) gk (x).
Demostracion. Tenemos que A es similar a su forma canonica racional y aqu es
facil comprobar que el determinante es, precisamente, g1 (x)g2 (x) gk (x).
[10.7] Corolario. Todo valor propio de A es raz de gk (x). Su multiplicidad es la

suma de las multiplicidades de como raz de los gi (x).
Nota. En la cerradura algebraica F de F, es decir, el menor campo que contiene a

F y en el cual todo polinomio con coeficientes en F (y, de hecho, en el mismo F ) se
descompone como producto de polinomios de grado 1, el polinomio caracterstico de A
68
se descompone en factores lineales y su termino independiente es A (0) = (1)n i i ,

Q
donde los i son las races de A (x) en F contados con multiplicidad. Por otro lado,
A (0) = det(0I A) = (1)n det(A), as que det(A) es el producto de los valores propios
de A.
[10.8] Observacion. De lo anterior y de la definicion de valor propio es facil com-

probar lo siguiente:
(a) A es singular si y solo si 0 es valor propio de A.
(b) Si es valor propio de A entonces s es valor propio de As .
(c) Si A es invertible y es valor propio de A entonces 1 es valor propio de A1 .
[10.9] Proposicion. Teorema de Cayley-Hamilton. Si A (x) es el polinomio carac-

terstico de una matriz A entonces A (A) = 0.
Demostracion. Tenemos que A (x) = g1 (x)g2 (x) gk (x) y que el F [x]-modulo
correspondiente a A es
V (F [x] /<g1 (x)>) (F [x] /<g2 (x)>) (F [x] /<gk (x)>) ,
que tiene por anulador a <gk (x)>, as que para todo v V se tiene que gk (x)v = 0, pero
recordemos que la multiplicacion en V por polinomios esta dada por la aplicacion de A,
as que gk (A)(v) = 0 y esto es para toda v V, as que gk (A) es la funcion 0. Ahora,
como gk (x) es divisor de A (x) tenemos que A (A) = 0.
[10.10] Observacion. En la proposicion anterior demostramos que gk (A) = 0 usando

que gk (x) es el anulador del F [x]-modulo V, as que tenemos que gk (x) es el polinomio de
menor grado que anula a A; le llamamos polinomio mnimo de A.
[10.11] Ejemplos. (a) Si

!
0 1
A=
1 0
con respecto a la base canonica de R2 , entonces A es precisamente una matriz companera,
as que el R[x]-modulo es cclico y V R[x] / < x2 + 1 > . Tenemos que el polinomio
caracterstico de A coincide con el polinomio mnimo. Aqu es facil verificar directamente
que A satisface su polinomio caracterstico, es decir, A2 + I = 0.
(b) Si
!
1 2
A=
1 0
entonces el polinomio caracterstico es
!
x1 2
det = x(x 1) + 2 = x2 x + 2,
1 x
que es irreducible sobre R, as que la unica posibilidad es que sea el polinomio mnimo y
entonces el R[x]-modulo es cclico y V R[x] /<x2 x + 2> . Entonces A es similar a la
69
matriz companera !
0 2
B= .
1 1
(c) Si !
3 1
A=
1 1
entonces el polinomio caracterstico es
!
x3 1
det = (x 3)(x 1) + 1 = x2 4x + 4 = (x 2)2 .
1 x1
Aqu tenemos dos posibilidades: que el R[x]-modulo V sea cclico, V R[x] /<(x 2)2>
o que no lo sea, es decir, V (R[x] /<x 2>) (R[x] /<x 2>); pero en el segundo
caso, el polinomio mnimo sera x 2, as que A 2I sera 0, pero esto es falso, as que
V R[x] /<(x 2)2> y A es similar a la matriz companera
!
0 4
B= .
1 4
[10.12] Ejercicio. Cuantas matrices no similares A M7 (R) satisfacen A2 = I ?
[10.13] Ejercicio. Encontrar la forma canonica racional de

!
1 2
A= .
3 4

2 0 0
A = 1 2

0.
0 0 3

2 0 0
A = 1 2

0.
0 1 2
[10.16] Ejercicio. Dar un ejemplo de dos matrices no similares que tengan el mismo
polinomio caracterstico y el mismo polinomio mnimo.
Para ciertas aplicaciones es conveniente trabajar con la forma canonica racional de una
matriz; sin embargo para otras, por ejemplo cuando se quieren considerar potencias de la
matriz, conviene mas trabajar con otra representacion de la misma matriz; esta esta mas
ligada a la suma directa de cclicos primarios.
70
[10.17] Observacion. Si A, B Mn (F ) son matrices tales que AB = BA entonces

k
!
k k
Ai B ri .
X
(A + B) =
i=0 i
[10.18] Proposicion. Si V F [x] /<(x )n>, entonces existe una base del espacio
vectorial V para la cual la matriz asociada a T es
0 0 0 0

1

0 0 0
0 1 0 0

J(, n) = = I + Nn ,
..
.

0 0 0 1
donde In es la matriz identica de n n y Nn es la matriz de n n que tiene 1 s en la
diagonal justo abajo de la diagonal principal. A la matriz J(, n) se le llama bloque de
Jordan.
Demostracion. Si v es un generador del F [x]-modulo cclico V, sea
: v, (T I)(v), (T I)2 (v), . . . , (T I)n1 (v).
Afirmamos que es base de V como F -espacio vectorial. Para ello observemos que son
n vectores (y n es la dimension de V ) y que cada elemento de la base
= (v, T (v), T 2 (v), . . . , T n1 (v))
se puede expresar como combinacion lineal de los elementos de gracias a la observacion
anterior (pues la matriz I conmuta con cualquier matriz). Veamos ahora que con respecto
a , T tiene expresion J(, n). En efecto, para los primeros renglones la afirmacion es
clara y para el ultimo basta recordar que (T I)n es el anulador de V as que 0 =
(T I)n (v) = (T I)(T I)n1 (v), de donde T ((T I)n1 (v)) = (T I)n1 (v).
Del teorema fundamental de los modulos finitamente generados sobre F [x] tenemos
que la descomposicion en suma directa de cclicos primarios es unica salvo orden. Juntando
esto con la proposicion anterior tenemos el siguiente corolario.
[10.19] Corolario. Si A es una matriz de n n y todos los valores propios de A

pertenecen a F entonces A es similar a una unica (salvo orden) suma directa de bloques
de Jordan. A esta descomposicion se le llama forma canonica de Jordan de A.
Usando la forma canonica de Jordan podemos probar el siguiente resultado.
[10.20] Ejemplo. Toda matriz A Mn (F ) es similar a su transpuesta.

Demostracion. Podemos trabajar en la cerradura algebraica de F, en la cual A
tiene todos sus valores propios, y entonces A es similar a una forma canonica de Jordan.
Tambien podemos observar que la transpuesta de una suma directa de matrices es la suma
71
directa de las transpuestas de los sumandos, as que podemos trabajar con un solo bloque
de Jordan. Aqu tenemos que si P es la matriz que tiene 1 s en la diagonal a 45o y 0 s
en todas las demas entradas, entonces P 1 = P y si J es un bloque de Jordan entonces
P JP 1 es la transpuesta de J.
[10.21] Observacion. Si A y B son matrices similares entonces para todo k N se

tiene que Ak y B k son similares (pues si B = P AP 1 entonces B k = P AP 1 P AP 1 =
P Ak P 1 ). Entonces, para considerar la potencia de una transformacion lineal T basta
trabajar con cualquier matriz que represente a T (y, de hecho, la potencia se expresara
con respecto a la misma base). La forma canonica de Jordan es particularmente util para
considerar potencias pues las matrices Nn son nilpotentes, es decir existe una potencia r
tal que N r = 0; en efecto, al multiplicar N consigo misma es facil ver que los 1 s van
desplazandose hacia las diagonales inferiores, as que Nnn1 = 0 y la matriz I conmuta
con cualquier otra matriz, as que el teorema del binomio aplica. Por otro lado tambien
es facil darse cuenta que las potencias de una suma directa de matrices pueden realizarse
en cada sumando, as que basta considerar potencias de bloques de Jordan y tenemos el
siguiente resultado.
[10.22] Proposicion.
k1
!
k k
X k ki i
J(, n) = I + Nn .
i=1 i
[10.23] Ejemplo. Para n = 3 tenemos
0 k k 0 0

0
k1
1

0 = k

k 0 .
k
0 1 2
k2 kk1 k
[10.24] Ejemplo. Sea A GL3 (Z7 ) (el grupo multiplicativo de las matrices de 3 3
con coeficientes en Z7 ) definida por

0 0 1
A = 1 0

4.
0 1 3
Encontrar el orden de A (es decir, el menor exponente r tal que Ar = I ).
Solucion. Reconocemos a A como la matriz companera del polinomio g(x) = x3
3x2 4x 1 = x3 3x2 + 3x 1 = (x 1)3 (pues en Z7 , tenemos que 4 es igual a 3);
entonces A es similar al bloque de Jordan

1 0 0
J = 1 1

0.
0 1 1
72
Ahora, por [10.23],

1 0 0

k
J = k

1 0.
k
2
k 1
Esta ultima es la matriz identica si y solo si k es multiplo de 7, de donde tenemos que el
orden es 7.
Para resolver ecuaciones diferenciales es util considerar la exponencial de una matriz

A, definida por

1 k 1 1
eA = A = I + A + A2 + A3 + .
X
k=0 k! 2 6
Se prueba que esta serie converge (pensando que lo hace en cada coordenada), de manera
que esta bien definida esta exponenciacion.
La siguiente proposicion es la base para poder sustituir una matriz A por su forma
canonica de Jordan al calcular eA .
[10.25] Proposicion. Sea A Mn (C). Entonces

1
(a) Si P es invertible entonces P eA P 1 = eP AP .
(b) Si AB = BA entonces eA+B = eA eB .
(c) Para toda A, eA es invertible y (eA )1 = eA .
(d) eNn es una matriz triangular inferior con 1 s en la diagonal principal.
(e) Si D es una matriz diagonal, D = diag(1 , 2 , . . . , n ) (es decir, D es la matriz
que tiene a los elementos mencionados en la diagonal principal y 0 s en los demas lugares),
entonces
eD = diag(e1 , e2 , . . . , en ).
(f) Si 1 , 2 , . . . , n son los valores propios de A entonces e1 , e2 , . . . , en son los
valores propios de eA .
(g) Se puede calcular eA como sigue: Si A es similar a I + Nn , con Nn nilpotente,
entonces eA es similar a eI eN .
(h) Si la traza de A (es decir, la suma de los elementos diagonales de A) es 0, entonces
det(eA ) = 1.
[10.26] Ejercicio. Probar que toda matriz con coeficientes en C se puede escribir
como la suma de una matriz diagonalizable (es decir, similar a una matriz diagonal
diag(1 , 2 , . . . , n )) y una nilpotente.
[10.27] Ejercicio. Probar que una matriz es nilpotente si y solo si todos sus valores
propios son 0.
[10.28] Ejercicio. Cuantas clases de conjugacion hay en el grupo GL(3, Z7 )? (Nota:

Recordar que una clase de conjugacion es {P 1 AP : P GL(3, Z7 }, para A GL(3, Z7 .)
73
Seccion 11
Indice Alfabetico
1 (en anillo), 1 condicion ascendente de cadenas, 55
a -divisible (modulo), 35 Conj (categora), 30
Ab (categora), 30 conmutativa (operacion), 1
abeliano, 1 conmutativo (anillo), 1
algebraicamente cerrado (campo), 13 coproducto, 29
algoritmo de Euclides para polinomios, 12 criterio de Baer para DIPs, 36
algoritmo de la division, 10 criterio de Baer, 37
anillo 0, 2 cuaternios reales, 2
anillo con division, 2 dependientes (elementos), 25
anillo, 1 dimension (de espacio vectorial), 48
asociados (elementos en anillo), 12 DIP, 6
asociativa (operacion), 1 distributividad, 1
base (de modulo), 32 division (en polinomios), 11
bloque de Jordan, 68 divisible (modulo), 35
cclico, 6 divisible por la derecha (sucesion), 26
CAC, 55 divisor propio de 0, 1
cadena (en orden parcial), 36 divisores elementales (de modulo), 59
campo de cocientes (de un dominio), 46 dominio de ideales principales, 6
campo primo, 48 dominio entero, 1
campo, 2 dual (propiedad o demostracion), 29
cancelacion (en operacion), 1 eigenvalor, 65
caracterstica p (de campo), 49 eigenvector, 65
caracterstica 0 (de campo), 49 enteros gaussianos, 2
categora, 30 enteros modulo k, 2
caza de diagramas, 21 epimorfismo, 20
cero (en anillo), 1 equivalentes (matrices), 58
cero (objeto en categora), 30 escindible (modulo), 25
cerrado (bajo operacion), 3 escindible por la derecha (sucesion), 26
cerradura algebraica, 65 escindible por la izquierda (sucesion), 26
clase (en relacion de equivalencia), 16 estaciona (cadena de modulos), 55
cociente (de conjuntos), 16 exacto (funtor), 42
cociente (de modulos), 17 exacto izquierdo (funtor contravariante), 42
cociente (en division), 10 exacto izquierdo (funtor covariante), 42
coeficiente (de polinomios), 9 exponencial de matriz, 70
coeficiente principal (en polinomio), 10 extension (de homomorfismo), 36
combinacion lineal (de polinomios), 12 factor (de modulo), 29
combinacion lineal (en modulo), 6 factores invariantes (de modulo), 59
complemento (en suma directa), 24 finitamente generado, 6
composicion (de morfismos), 30 forma canonica de Jordan, 68
conucleo (de homomorfismo), 23 forma canonica racional, 65
11. Indice Alfabetico
forma normal de Smith, 60 neutro aditivo, 1

funtor contravariante, 40 neutro multiplicativo, 1
funtor covariante, 40 nilpotente (matriz), 69
generador, 6 noetheriano (anillo), 55
generadores y relaciones (definicion con), 33 objeto (en categora), 30
Gps (categora), 30 operacion binaria, 1
grupo, 1 operacion elemental (en matriz), 58
Hom (funtor), 41 parte primaria (de modulo), 28
homomorfismo (de modulos), 7 particion (de conjunto), 16
homomorfismo trivial, 7 polinomio caracterstico, 65
ideal bilateral, 5 polinomio cero, 10
ideal izquierdo, 5 polinomio constante, 10
ideal maximal, 49 polinomio mnimo, 66
ideal primo, 49 polinomio, 9
ideal principal, 6 primer teorema de isomorfismo, 18
ideal, 5 producto (de anillos), 2
inescindible (modulo), 25 producto (en anillo), 1
invariante (bajo transformacion), 5 propiedad universal de la suma directa, 29
inverso (elemento en anillo), 2 propiedad universal de los modulos libres, 32
invertible (elemento en anillo), 2 propiedad universal del campo de cocientes, 47
inyectivo (modulo), 36 propiedad universal del cociente, 17
irreducible (polinomio), 12 propiedad universal del nucleo, 21
isomorfismo (de modulos), 8 propiedad universal del producto directo, 29
isomorfismo (en categoras), 30 proyeccion natural, 16
isomorfos (anillos), 3 proyectivo (modulo), 33
isomorfos (modulos), 8 raz (de polinomio), 11
isomorfos (objetos en categoras), 30 rango (de modulo libre), 52
kernel (de homomorfismo, 8 rango de parte libre (de modulo), 59
lema de Zorn, 36 reducible (polinomio), 12
lema del 5o , 21 reducido (modulo), 38
levantamiento (de homomorfismo), 33 reflexividad, 8
libre (modulo), 32 relacion de equivalencia, 16
libre de torsion (modulo), 27 residuo (en division), 10
maximo comun divisor (de polinomios), 12 retraccion (de homomorfismo), 26
modulo izquierdo, 3 seccion (de homomorfismo), 26
modulo, 4 segundo teorema de isomorfismo, 18
monico (polinomio), 10 series de potencias, 3
matriz companera, 64 simetra, 8
matriz diagonal, 58 similares (matrices), 63
matriz elemental, 58 simple (modulo), 22
Mod A (categora), 30 singular (matriz), 65
monomorfismo, 20 soclo (de modulo), 52
morfismo (en categoras), 30 subanillo, 3
multiplicacion (en anillo), 1 submodulo de torsion, 27
nucleo (de homomorfismo), 8 submodulo generado, 6
75
11. Indice Alfabetico
submodulo, 4
sucesion exacta corta, 20
sucesion exacta, 20
suma directa (de modulos), 24
suma directa (de matrices), 64
suma directa externa (de modulos), 29
sumando directo, 24
termino (en polinomio), 9
teorema chino del residuo, 23
teorema de Cayley-Hamilton, 66
teorema de factorizacion unica (en polinomios), 13
teorema de la correspondencia, 19
teorema de las bases simultaneas, 58
tercer teorema de isomorfismo, 19
Top (categora), 30
torsion (modulo), 27
transitividad, 8
traza, 70
unidad (elemento en anillo), 2
unitario (elemento), 1
valor propio, 65
variable (en polinomio), 9
vector propio, 65
76
Seccion 12
Bibliografa
[1]. Fuchs L., Infinite Abelian Groups I, Academic Press, 1970.
[2]. Fraleigh J.B., A First Course in Abstract Algebra, Reading, Addison Wesley, 1973.
[3]. Gentile E., Estructuras Algebraicas, Monografa 12, Serie Matematica O.E.A., 1971.
[4]. Herstein I.N., Topics in Algebra, 2a. ed., John Wiley, New York, 1975.
[5]. Jacobson N., Basic Algebra I, W. H. Freeman and Company, 1985.
[6]. Perez M.L., Teora de Numeros, Cuadernos de Olimpiadas de Matematicas, Instituto

de Matematicas UNAM, 2005.
[7]. Rotman J., Advanced Modern Algebra, Prentice Hall, 2002.

Modulo S

Cargado por

Copyright:

Formatos disponibles

Modulo S

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Modulo S

Cargado por

Copyright:

Formatos disponibles

Seccion 1

Un anillo (con uno) A es un conjunto con dos operaciones binarias + : A A A

Decimos que A es conmutativo si ademas vale:

Decimos que A es dominio entero o, simplemente, dominio, si es un anillo conmuta-

Un anillo A es anillo con division si (A \ {0}, ) es grupo; en otras palabras, dado

[1.1] Observacion. Todo campo es dominio entero.

En un anillo conmutativo A un elemento a es unidad o elemento invertible si existe

[1.2] Observacion. El elemento 1, el elemento 0 y los inversos son unicos.

[1.3] Ejemplos. (a) Z es dominio entero. Sus unidades son 1 y -1.

Aun cuando A es dominio entero o campo F(X, A) no lo es.

Si A es un anillo decimos que B es subanillo de A si B A, el elemento unitario 1

Nota. Es posible que un subconjunto B de un anillo A sea el mismo anillo con 1

Ejemplos de subanillos son Z Q R C; si A es anillo conmutativo entonces A

[1.4] Ejercicio. Probar que en cualquier anillo A, si a, b A entonces (a)b =

[1.5] Ejercicio. Probar que si A es dominio entero entonces y a A \ {0}, entonces

[1.6] Ejercicio. Probar que todo dominio entero finito es campo.

De aqu en adelante A denota un anillo cualquiera en el que 1 es el elemento unitario

Un A-modulo izquierdo es un grupo abeliano (M, +) en el que esta definida una

(M2) (a + b)m = am + bm para todo m M y a, b A.

Nota. Se usa el mismo smbolo de suma (+) para la suma de A y de M ; de la misma

Nota. Se puede definir modulo derecho considerando la multiplicacion de los escalares

[1.8] Ejercicio. Sea M un A-modulo y m M.

Sea M un A-modulo. Un subconjunto N de M es submodulo de M si es cerrado bajo

de M escribimos N M. Es claro que todo submodulo de un modulo es, el mismo, un

[1.9] Ejemplos. (a) Si M es un A-modulo, entonces {0} y M son submodulos.

Los A-submodulos de A se llaman ideales izquierdos de A.

Para un subconjunto I A tiene sentido definir ideal bilateral de A: se pide, ademas

[1.10] Ejemplos. (a) {0} y A son ideales de A.

[1.11] Ejercicio. Sea A un anillo conmutativo. Probar que A es campo si y solo si

[1.12] Ejercicio. Sea {Ni : i I} (I no necesariamente finito) una familia de

(b) Probar que Ni no necesariamente es submodulo de M (inclusive si I consta de

solo dos elementos).

Dado un A-modulo M y X M, denotamos por <X > a la interseccion de todos

[1.13] Observacion. (a) Si un ideal M es un modulo cclico generado por m (es-

<X>= {a1 m1 + a2 m2 + + ak mk : i ai A}.

Cada expresion a1 m1 + a2 m2 + + ak mk se llama combinacion lineal de las mi .

<X>= {a1 m1 + a2 m2 + ak mk : k N, i mi X, i ai A}.

(d) Si {Ni : i I es una familia de submodulos de un modulo M entonces el submodulo

[1.14] Observacion. Sean N M A-modulos y sea X M. Para probar que

[1.15] Ejemplos. (a) A es cclico como A-modulo (A = <1>).

(k) En el anillo Mk (F ) el ideal generado por

[1.16] Ejercicio. Probar que todo Z-submodulo finitamente generado de Q es cclico

[1.17] Ejercicio. Sea M = R2 y sea T : M M definida por T (m) = 2m. Consid-

[1.18] Ejercicio. Sea M = C y sea T : M M definida por T (m) = im. Considerar

[1.19] Ejercicio. Probar que submodulo de finitamente generado no necesariamente

Si M y N son A-modulos, una funcion f : M N es A-homomorfismo (u homo-

[1.20] Ejemplos. (a) Si M y N son A-modulos, entonces la funcion constante 0 es

xT (m) para toda m M (en otras palabras, es conmutativo el diagrama

[1.21] Propiedades. (a) Si f : M N es A-homomorfismo entonces f (0) = 0.

Dados dos A-modulos M y N decimos que son isomorfos si existe un homomorfismo

[1.23] Ejercicio. Probar que si f : M N es A-homomorfismo y M es finitamente

[1.24] Ejercicio. Probar que un homomorfismo f : M N es inyectivo si, y solo si,

[1.25] Ejercicio. Probar que el unico Z-homomorfismo f : Z5 Z6 es el trivial.

[1.26] Ejercicio. Sea M un A-modulo y m M.

[1.27] Ejercicio. Sea A un anillo conmutativo. Definimos

[1.28] Ejercicio. Definir un isomorfismo HomA (A, M ) M para A un anillo con-

[1.30] Ejercicio. Probar que si A y B son anillos y : A B es homomorfismo

De nuestros cursos basicos de Matematicas conocemos los polinomios y sabemos hacer

Dado un entero n 0 y a0 , a1 , . . . , an numeros (o expresiones numericas), un polinomio