Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Libro
Libro
ISSN N 1667-3247
Cuadernos de Matemtica y Mecnica"
IMAL (CONICET - UNL) - CIMEC (INTEC, CONICET - UNL)
Gemes 3450, (3000) Santa Fe, Argentina
Fax: 54 - 42 - 4550944, 54 - 42 - 4556673
E-mail: imal@ceride.gov.ar
cimec@ceride.gov.ar
Pginas: http://www.imal.ceride.gov.ar
http://www.cimec.org.ar
Indice
1
Grupos
1.1 Definicin y ejemplos . . . . . . . . . . . . . . . .
1.2 Monoides . . . . . . . . . . . . . . . . . . . . . . .
1.3 Subgrupos. Subgrupos normales . . . . . . . . .
1.4 Morfismos y cocientes . . . . . . . . . . . . . . .
1.5 Teoremas de isomorfismo . . . . . . . . . . . . .
1.6 El teorema de Lagrange . . . . . . . . . . . . . .
1.7 Grupos cclicos . . . . . . . . . . . . . . . . . . .
1.8 Accin de un grupo sobre un conjunto . . . . . .
1.9 Orbitas, grupos de isotropa y ecuacin de clases
1.10 Ejercicios . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
7
9
12
18
20
22
23
27
32
Anillos
2.1 Definiciones y ejemplos
2.2 Morfismos . . . . . . . .
2.3 Ideales bilteros . . . . .
2.4 Cocientes . . . . . . . . .
2.5 Producto de anillos . . .
2.6 Localizacin . . . . . . .
2.7 Ejercicios . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
59
64
67
70
75
76
79
.
.
.
.
.
.
.
99
99
104
106
109
116
116
118
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Mdulos
3.1 Primeras definiciones y ejemplos
3.2 Submdulos maximales . . . . .
3.3 Morfismos . . . . . . . . . . . . .
3.4 Cocientes . . . . . . . . . . . . . .
3.5 Mdulos cclicos . . . . . . . . . .
3.6 Suma y producto . . . . . . . . .
3.7 Ejercicios . . . . . . . . . . . . . .
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
4
.
.
.
.
127
127
133
135
141
.
.
.
.
.
.
.
.
.
145
145
148
154
156
162
165
167
169
179
Teoremas de estructura
6.1 Mdulos y anillos semisimples . . . . . . . . . . . . .
6.2 Anillos eucldeos, principales y de factorizacin nica
6.3 Mdulos sobre dominios de ideales principales . . . .
6.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .
187
187
197
201
207
Producto tensorial
7.1 Existencia y unicidad del producto tensorial
7.2 Funtorialidad de . . . . . . . . . . . . . . .
7.3 Adjuncin entre y Hom . . . . . . . . . . .
7.4 Mdulos Playos . . . . . . . . . . . . . . . . .
7.5 Ejercicios . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
217
217
225
230
233
235
.
.
.
.
243
243
249
254
261
.
.
.
.
.
.
.
.
Teoremas de Morita
8.1 Equivalencias de categoras
8.2 Teoremas de Morita . . . . .
8.3 Contextos . . . . . . . . . .
8.4 Ejercicios . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Categoras
265
9.1 Categoras . . . . . . . . . . . . . . . . . . . . . . . . . 265
9.2 Lmites y Colmites . . . . . . . . . . . . . . . . . . . . 271
9.3 Funtores . . . . . . . . . . . . . . . . . . . . . . . . . . 290
vii
10 Bibliografa
299
viii
Introduccin
Este libro surgi luego del dictado, en diversas oportunidades,
del curso de Algebra II para la licenciatura en Ciencias Matemticas
de la Facultad de Ciencias Exactas y Naturales de la Universidad de
Buenos Aires. Se trata de la tercera materia de lgebra que cursan
los alumnos. La escasez de bibliografa en castellano sobre los temas
abarcados por esta materia fue una de las principales motivaciones
para escribirlo.
En el proceso de redaccin, varios temas fueron profundizados
mas all de lo que se suele dictar en clase, con la idea de que el
alumno interesado cuente no slo con una gua de los contenidos
de la materia, sino tambin con material de consulta que lo prepare
antes de abordar literatura ms especializada.
Un curso cuatrimestral de estructuras algebraicas debera incluir
los contenidos completos de los primeros cuatro captulos como esqueleto sobre el cual desarrollar con mayor o menor profundidad
los contenidos de los captulos siguientes.
El captulo sobre Grupos fue encarado como un captulo introductorio a estructuras, con los contenidos mnimos sobre grupos
que se necesitarn en el resto del libro. La razn de esta minimalidad es por un lado que el punto de vista general del libro es el
categrico, y el modelo de categora elegido por nosotros sobre el
cual aprender lgebra es el de categora abeliana. Esto nos llev a
centrar el curso en categoras de mdulos sobre un anillo. Por otra
parte, la bibliografa a disposicin de los alumnos sobre grupos, o
grupos finitos, es mucho mas abundante que sobre mdulos, con lo
que un nuevo libro detallado sobre este tema no se presenta comparativamente tan necesario.
El captulo de Teoremas de estructura est formado por dos partes a la vez muy diferentes y anlogas. Se trata de los teoremas de
1
2
estructura de mdulos sobre un anillo semisimple, y sobre un dominio principal. Si bien las categoras semisimples tienen un comportamiento muy diferente del de las categoras de mdulos sobre un
dominio principal, ambas son ejemplos de categoras en donde se
tiene una clasificacin completa de sus objetos. Mientras que en
anillos semisimples el ejemplo que tuvimos en mente fue el de un
lgebra de grupo, los ejemplos de dominios principales que tomamos como modelos son Z (obteniendo el teorema de estructura de
grupos abelianos finitamente generados) y el anillo de polinomios
con coeficientes en un cuerpo: k[ x ]. Este ltimo ejemplo tiene como
aplicacin, cuando k es algebraicamente cerrado, la obtencin de la
forma de Jordan. Dada la importancia de esta aplicacin, la hemos
descripto separadamente como ltima seccin de este captulo.
El captulo sobre Categoras puede considerarse tambin como
un Apndice. Durante el dictado de la materia, las nociones categricas no fueron dadas ni todas juntas, ni al final, sino de a poco,
cuando las necesidades de lenguaje lo indicaban. Generalmente este tema resulta muy difcil de asimilar si no se cuenta con ejemplos
concretos de categoras sobre las cuales se haya trabajado. Por esta razn no recomendamos leer directamente este captulo si no se
est familiarizado con teoremas bsicos o definiciones habituales
de estructuras algebraicas, como los teoremas de isomorfismo, o las
definiciones de suma directa, o de objeto proyectivo.
El captulo sobre los Teoremas de Morita es un punto ideal hacia donde confluir en un curso de lgebra, pues integra nociones
de todos los otros captulos (equivalencias de categoras, mdulos
proyectivos, generadores, producto tensorial) y a la vez provee resultados muy concretos, como clculos de subespacios de conmutadores, o relaciones entre propiedades de un anillo A y del anillo de
matrices Mn ( A).
Por razones evidentes, varias reas importantes de la teora de
anillos y de la teora de mdulos no son cubiertas por este texto.
Mencionamos por ejemplo las herramientas de homologa, la teora
de anillos conmutativos, o aspectos de la teora de representaciones
de grupos como caracteres, frmulas de induccin, etc.
Los ejercicios destinados a profundizar en el conocimiento de estos temas corresponden en su mayora a las guas de Trabajos Prc-
3
ticos del primer cuatrimestre de 2007. Estos fueron redactados en su
totalidad por Mariano Surez Alvarez y enriquecen versiones anteriores de estas notas.
Agradezco infinitamente a Mariano por su ayuda con esta nueva
versin.
Quiero agradecer los comentarios, sugerencias y correcciones de
los alumnos que cursaron Algebra II en los ltimos cuatrimestres y
que notaron varios errores en versiones previas de este manuscrito.
En especial los alumnos del primer cuatrimestre de 2007 y a Nicols
Botbol, ya que con su inters y dedicacin generaron varios cambios. Tambin a Estanislao Herscovich por su ayuda con los ltimos
captulos.
Por ltimo agradezco a la Msc. Ilda Hernndez y al IMAL por
darme la oportunidad de publicar este texto.
Andrea Solotar
Buenos Aires, 30 de julio de 2007.
Captulo 1
Grupos
1.1
Definicin y ejemplos
( g1 g2 ) g3 = g1 ( g2 g3 ) .
Elemento neutro: existe e G tal que para todo g G es
e g = g e = g.
Inversos: para todo g G, existe g0 G tal que
g g0 = g0 g = e.
Si adems para todo par g, h G es g h = h g entonces el
grupo se llama abeliano o conmutativo. El cardinal del conjunto G es
el orden de G y lo escribiremos | G |. Diremos que un grupo G es finito
si | G | < y que es infinito en otro caso.
5
1. Grupos
Observaciones.
1. El elemento neutro de un grupo es nico, porque si e y e0 son
dos neutros, entonces e = e e0 = e0 . La igualdad de la izquierda es
porque e0 es neutro a derecha y la segunda igualdad es porque e
es neutro a izquierda.
2. Un elemento g posee un nico inverso g0 : si g0 y g00 son dos inversos para g entonces
g0 = g0 e = g0 ( g g00 ) = ( g0 g) g00 = e g00 = g00 .
Al nico inverso de un elemento g se lo denotar g1 .
Ejemplos.
1. Sea X un conjunto, sea G el conjunto de las funciones biyectivas
de X en X y la composicin. En este caso e es funcin identidad IdX
y si g G, g1 es la funcin inversa.
Si el conjunto X = {1, 2, 3, . . . , n}, entonces G se denota Sn y se
llama el n-simo grupo simtrico.
2. Sea V un k espacio vectorial y sea G = GL(V ) el conjunto de los
endomorfismos lineales inversibles de V. G es un grupo con la composicin de transformaciones como producto y la identidad como
elemento neutro. Si V = kn , GL(V ) se nota GLn (k ) y se identifica
(luego de fijar una base de kn ) con las matrices inversibles de n filas y n columnas a coeficientes en k. El elemento neutro es la matriz
identidad.
3. Tomando la suma como operacin y el cero como neutro, los conjuntos Z, Q, R, C (los nmeros enteros, racionales, reales y complejos) son todos grupos abelianos.
4. Si m N, los restos mdulo m (Zm , +m , 0) forman un grupo
abeliano con exactamente m elementos.
5. Dado n N, el conjunto nZ con la suma usual.
6. Si m N, Gm = {z C : zm = 1} con la operacin producto (como nmeros complejos) es tambin un grupo abeliano con m
elementos. El neutro es el 1.
7. Si X es un conjunto no vaco y G un grupo, entonces el conjunto
= { f : X G } de las funciones de X en G es un grupo con la
multiplicacin definida por
( f g)( x ) := f ( x ) g( x ),
f , g , x X.
2. Monoides
1.2
Monoides
1. Grupos
A partir de la definicin, es claro que todo grupo es automticamente un monoide. El ejemplo clsico de monoide que no es grupo
es el de los nmeros naturales (N, +) o, agregndole el elemento
neutro, (N0 , +).
Ejercicio. Si M es un monoide que admite un elemento neutro, entonces ese elemento neutro es nico. En particular, el mismo enunciado es cierto para todos los grupos.
Si M es un monoide con elemento neutro, el subconjunto
U ( M) = {m M : existe m0 M con m0 m = e = m m0 }
se denomina el conjunto de unidades de M. Tautolgicamente U ( M )
es un grupo.
Ejemplos.
1. Si (k, +, ) es un cuerpo entonces (k, ) es un monoide con elemento neutro y U (k) = k {0}.
2. Si V es un k-espacio vectorial, Endk (V ) con la composicin como
operacin es un monoide cuyo elemento neutro es la funcin identidad. En este caso es U ( Endk (V )) = GL(V ).
3. Si X es un conjunto, Func( X, X ) = { f : X X } es un monoide
con la composicin como operacin y U (Func( X, X )) = S( X ).
4. Existen monoides con elemento neutro que admiten elementos
inversibles a izquierda pero no a derecha. Consideremos el conjunto
M = CFMN (R) de las matrices infinitas ( aij )i,jN con coeficientes
reales tales que para todo j N, aij = 0 salvo para finitos valores
de i. Con el producto usual de matrices M es un monoide. En M, la
matriz (i,2j )i,jN es inversible a izquierda pero no a derecha.
5. Terminamos esta disgresin sobre monoides con un ejemplo de
tipo general.
Sea X un conjunto arbitrario no vaco. Para cada n N, sea
X n := X X el producto cartesiano de X consigo mismo n veces. Se define
L( X ) =
Xn,
n N
( x1 , . . . , x n ) ( x 0 1 , . . . , x 0 m ) = ( x1 , . . . , x n , x 0 1 , . . . , x 0 m ) X n + m .
1.3
10
1. Grupos
5. Sea X = {1, 2, 3, ..., n} y G = Sn el conjunto de las permutaciones de X. Si 1 i n, el conjunto de permutaciones que fijan el
elemento i de X, esto es, Hi = { g G : g(i ) = i }, es un subgrupo
de G. Cuntos elementos tiene G? Cuntos elementos tiene Hi ?
6. Sea G = GLn (k ) y sea H = { A G : det A = 1}. Entonces H es
un subgrupo de G.
7. Si H y K son subgrupos de G entonces H K es un subgrupo
de G.
Dado un grupo G y un elemento x G, consideremos el conjunto ( x ) = { x n : n Z}. Se trata de un subgrupo de G, que puede ser
finito o no. Llamaremos orden de x, y se notar o ( x ), al orden de este
subgrupo. En caso de ser finito, o ( x ) = min{n N : x n = 1}.
Ejemplo. Si G = Z6 , o (0) = 1, o (1) = 6, o (2) = 3, o (3) = 2, o (4) = 3
y o (5) = 6.
Observacin. Si x G es tal que o ( x ) = n y t Z es tal que x t = eG ,
entonces n divide a t. En particular, para todo x G, se tiene que
o ( x ) = o ( x 1 ).
Definicin 1.3.2. Dado un grupo G, se llama exponente de G al mnimo del siguiente conjunto A = {s N : x s = 1 si x G }.
Ejemplo. Si G = Z este conjunto es vaco, as que el exponente es,
por definicin, igual a +.
Proposicin 1.3.3. Sea G un grupo finito. Entonces el conjunto A es
no vaco. Adems, el exponente de G es el mnimo comn mltiplo de los
rdenes de los elementos de G.
Demostracin. Sea x G. Si t es tal que x t = e entonces o ( x ) | t.
Supongamos que t = o ( g)m con m Z. Entonces x t = x o( x)m = e.
Vemos que o ( x ) | t x t = e. Como G es finito, todo elemento
tiene orden finito, y como G tiene una cantidad finita de elementos,
tiene sentido considerar al mnimo comn mltiplo s de los rdenes
o ( x ) con x G.
Es x s = e para todo x G, as que A es no vaco y G tiene
exponente finito. Adems, si m es tal que x m = e para todo x G
entonces claramente s divide a m. Luego s es el exponente de G.
11
( xhx 1 )1 = xh1 x 1 .
De esta manera, a partir de un subgrupo H obtenemos otros, que
llamaremos conjugados a H. No hay razn a priori para suponer que
H coincide con sus subgrupos conjugados, aunque esto s es cierto
si por ejemplo el grupo G es conmutativo o, ms generalmente, si
los elementos de H conmutan con los de G.
Ejemplo. Sea G = Sn y sea G la permutacin cclica definida
por
(
(i ) =
i + 1,
1,
si i < n;
si i = n.
xG
xHx 1 es
12
1. Grupos
3. Si S es un subconjunto de G, sea
NS = { x G : xSx 1 = S}.
NS es un subgrupo de G al que llamamos el normalizador de S en G.
Por ejemplo, si a G y S = { a}, entonces se tiene que NS = { x
G : xa = ax }.
Si S es un subgrupo de G, se puede ver que S es tambin un
subgrupo de NS y S C NS . Adems NS es el subgrupo de G ms
grande con esa propiedad.
4. Sea
ZG = { x G : xg = gx para tdo g G }.
ZG es un subgrupo de G. Llamamos a ZG el centro de G. Se tiene
ZG C G y, adems, cualquiera sea S G, es ZG NS .
5. Si G es un grupo cualquiera y x, y G, el conmutador de x e y es
el elemento
[ x, y] = xyx 1 y1 .
Dejamos como ejercicio verificar que si z G, entonces
z[ x, y]z1 = [zxz1 , zyz1 ].
Llamamos subgrupo conmutador o subgrupo derivado, y lo escribimos
[ G, G ], al subgrupo de G generado por los conmutadores. Tenemos
entonces que [ G, G ] C G.
1.4
Morfismos y cocientes
4. Morfismos y cocientes
13
14
1. Grupos
Ejercicios.
1. Verificar que efectivamente Ker( f ) e Im( f ) son subgrupos de G
y de G 0 . Verificar adems que Ker( f ) C G. Mostrar con un ejemplo
que Im( f ) no tiene porque ser invariante.
2. Sea f : G G 0 como antes un morfismo de grupos y H 0 un subgrupo de G 0 . Verificar que f 1 ( H 0 ) es un subgrupo de G. Si adems
H 0 C G 0 , entonces f 1 ( H 0 ) C G. En particular, como es {e} C G 0
resulta Ker( f ) C G.
Las definiciones de monomorfismo y epimorfismo pueden ser
enunciadas a travs de estos subgrupos: un morfismo f : G G 0 es
un monomorfismo si y slo si Ker( f ) = {eG } y es un epimorfismo
si y slo si Im( f ) = G 0 .
Ejemplos.
1. La aplicacin exponencial exp : (R, +) (R>0 , ), dada por
exp( x ) = e x para todo x R, es un isomorfismo de grupos, cuyo inverso es la funcin logaritmo.
2. Determinemos los morfismos de Z2 a Z4 .
Sea f : Z2 Z4 un morfismo de grupos. Sabemos que f (0) = 0.
Cunto vale f (1)? Como 0 = 1 + 1 entonces f (1) + f (1) = 0. Esto
nos dice que f (1) debe ser o bien cero o bien la clase de 2 en Z4 . En
cualquiera de los dos casos, la funcin as definida es un morfismo
de grupos.
3. Si f : Z2 Z3 es un morfismo de grupos, entonces f es el morfismo nulo. (Verifquelo!)
4. La proyeccin cannica : Z Zn es un morfismo de grupos.
5. Dados un cuerpo k y n N, la aplicacin f : GLn (k) k {0}
tal que f ( A) = det( A) es un morfismo de grupos.
6. Sea f : Gn Zn dado por f (e
fismo de grupos.
2ik
n
) = k. Entonces f es un isomor-
4. Morfismos y cocientes
15
( x 0 ) 1 x = h 1 ,
( y 0 ) 1 y = h 2 ,
o, equivalentemente,
x = x 0 h1 ,
y = y 0 h2 .
= x 0 y 0 h3 h2 ,
16
1. Grupos
donde h3 = y01 h1 y0 , que es un conjugado de h1 . Como H es
un subgrupo invariante, es h3 H y entonces h3 h2 H. Por lo
tanto, xy H x 0 y0 y, finalmente, xy = x 0 y0 .
Notemos que si H no es invariante, el razonamiento anterior no es vlido y no hay en general manera de dar al cociente G 0 una estructura de grupo compatible con la de G.
La operacin definida en G 0 da una estructura de grupo, es decir
es asociativa, hay un elemento neutro y todo elemento tiene
inverso. Dejamos esto como ejercicio al lector.
f es un morfismo de grupos y Ker( f ) = H. Que f es un morfismo
de grupos es inmediato a partir de su definicin pues
f ( xy) = xy = x y = f ( x ) f (y)
Calculamos ahora Ker( f ):
Ker( f ) =
=
=
=
=
{x
{x
{x
{x
H
G
G
G
G
:
:
:
:
f ( x ) = eG0 }
x = e}
x H e}
x H}
4. Morfismos y cocientes
17
G
H
/ G0
y<
G/H
18
1. Grupos
Observaciones.
1. Con las notaciones de la proposicin anterior, Im( f ) = Im( f ) y
Ker( f ) = H (Ker( f )). En particular si f es un epimorfismo, entonces f tambin lo es, y si H = Ker( f ) entonces f es un monomorfismo.
2. Sea G un grupo y H G un subgrupo normal. Supongamos
que tenemos un grupo L y un morfismo de grupos : G L tal
que Ker() = H y tal que para todo morfismo f : G G 0 con
H Ker( f ) existe un nico morfismo f : L G 0 para el cual se
tiene que f = f . Queremos ver que existe un isomorfismo de
grupos L
= G/H.
Como Ker() = H, existe un nico : G/H L tal que
H = . Sabemos que Ker() = H (Ker() = H ( H ) = {e},
as que es monomorfismo. Para ver que es tambin un epimorfismo, vamos a construir un inverso. Por hiptesis, existe un nico
morfismo H : L G/H tal que H = H . Para verificar que
H y son inversos, notamos que una un nico morfismo que hace
conmutar el siguiente diagrama:
G
/L
?
1.5
Teoremas de isomorfismo
6. Teoremas de isomorfismo
19
G
K
v
v H
G/H
v:
G/K
20
1. Grupos
1.6
El teorema de Lagrange
= { y G : y 1 x H }
= {y G : y = xh para algn h H }
Observamos que:
1. Por ser H una relacin de equivalencia, x y = o x = y.
2. Para todo x G se tiene que #( x ) = #( xH ) = | H |.
3. #( G/H ) = #{ x : x G }.
En estas condiciones, se tiene el siguiente teorema:
Teorema 1.6.2. (Lagrange) Sean G un grupo finito y sea H un subgrupo
de G, entonces | G | = ( G : H )| H |.
Demostracin. Del hecho de que H sea una relacin de equivalencia se sigue que G es la unin disjunta de sus clases de equivalencia.
Por lo tanto
|G| =
#( x ).
x G/H
|G| =
| H | = #( G/H )| H | = ( G : H )| H |.
x G/H
7. El teorema de Lagrange
21
(mod p).
| f ( a)| =
| a|
.
| Ker( f |hai )|
22
1.7
1. Grupos
Grupos cclicos
Sea G un grupo y a
inductivamente
eG
a
am =
a m 1 a
1 m
(a )
G un elemento de G. Si m Z, se define
si m
si m
si m
si m
= 0;
= 1;
> 1;
< 0.
23
1.8
Como vimos en los primeros ejemplos, una de las formas de encontrar grupos es observando transformaciones de algn conjunto.
De esta manera, a un grupo abstracto se lo piensa actuando sobre
el espacio o conjunto en donde operan las transformaciones.
Definicin 1.8.1. Sea G un grupo y X un conjunto. Se dice que G
opera a izquierda (o que acta a izquierda) sobre X si se tiene dada una
funcin, llamada accin,
: GX X
( g, x ) 7 ( g, x )
Habitualmente escribimos g x o gx en vez de ( g, x ). Suponemos
que satisface las siguientes condiciones:
24
1. Grupos
Asociatividad: para todo x X, g, g0 , es
( g g 0 ) x = g ( g 0 x ).
Ntese que aqu el punto entre g y g0 indica la multiplicacin
en G mientras que el punto entre g0 y x es la accin sobre X.
Identidad: para todo x X, es
eG x = x.
Si A, B y C son conjuntos, hay una biyeccin
Func( A B, C ) = Func( A, Func( B, C ))
f (, ) 7 ( a 7 f ( a, ))
En otras palabras, si una funcin tiene dos variables, fijando una se
obtiene una funcin de la otra.
Esto da otro punto de vista para describir las acciones de un
grupo G sobre un conjunto X. Para cada g en G se tiene la funcin
multiplicacin por g,
g = ( g, ) : x X 7 gx X
Las propiedades de la accin implican que g h = gh (verificarlo!). En particular, es
g1 g = g g1 = eG = IdX .
Esto nos dice que g es una funcin biyectiva, con inversa g1 . Por
lo tanto, dar una accin de G sobre X es lo mismo que dar una funcin : g G g S( X ) de G al grupo de biyecciones de X
en X. La propiedad de asociatividad de la accin no dice otra cosa
que esta funcin es un morfismo de grupos, esto es, que
( g) ( g0 ) = ( gg0 ).
El par ( X, ) se llama una representacin de G en X. A partir del
grupo abstracto G, se tiene una imagen de l como un subgrupo del
grupo de permutaciones del conjunto X.
25
Ejemplos.
1. Sea n N, G = Gn , y X = R2 . Identificamos a X con C. Definimos una accin de G sobre X poniendo
Gn C C
(, z) 7 (z)
Notemos que la aplicacin z C 7 z C es la rotacin de C de
ngulo arg( ). As, en esta representacin Gn se representa como
rotaciones del plano.
2. Si G = Sn es el grupo simtrico en n elementos y X = Rn , consideramos la accin
Sn Rn Rn
(, ( x1 , ..., xn )) 7 ( x(1) , ...x(n) )
En este caso, cada Sn acta como una transformacin lineal
de Rn , as que la accin es un morfismo Sn GLn (R) S(Rn ).
3. La accin por conjugacin, o accin por automorfismos interiores,
de un grupo G sobre si mismo est dada por el morfismo de grupos
g G 7 g S( G ) tal que
g : G G
h 7 ghg1
Dejamos como ejercicio la verificacin de que esto es en efecto una
accin.
Como en el ejemplo anterior, esta accin respeta la estructura
adicional que existe sobre el conjunto X = G, pues la accin tiene
por imagen automorfismos de grupo de G:
g (hh0 ) = g(hh0 ) g1 = ( ghg1 )( gh0 g1 ) = g (h)g (h0 ).
La imagen de esta accin es un subgrupo del grupo Aut( G ) de los
automorfismos de grupo de G, al que llamamos subgrupo de automorfismos interiores y escribimos Autint ( G ).
Si el grupo G es abeliano, el nico automorfismo interior es la
identidad. De hecho, se puede caracterizar a los automorfismos interiores en trminos del grupo G y del centro de G, que de alguna
manera mide la abelianidad de G:
26
1. Grupos
Por el primer teorema de isomorfismo, se tiene que
Autint ( G )
= G/ Ker(accin por conjugacin).
g G.
1.9
27
28
1. Grupos
E x = { g G : gx = x }
(verifique que se trata de un subgrupo!). Notemos que el tamao
de este subgrupo E x de alguna manera se contrapone al tamao
de la rbita del elemento x: si hay muchos elementos que actan
trivialmente sobre x, entonces la rbita de este elemento es pequea
y su grupo de isotropa es grande. Recprocamente, si la rbita de
un elemento x es enorme, eso significa que hay pocos elementos
que fijan a x.
La siguiente proposicin formaliza esta idea intuitiva:
Proposicin 1.9.2. Sea G un grupo que opera sobre un conjunto X y sea
x X. Entonces #Ox = ( G : E x ).
Demostracin. Si gE x = g0 E x , entonces g = g0 h para algn h E x ,
as que gx = g0 hx = g0 x. Esto nos dice que la funcin
gE x G/E x 7 gx Ox
29
Ejemplos.
1. Un grupo G acta por conjugacin sobre el conjunto de subgrupos de G. Si H G es un subgrupo, entonces la rbita de H est
formada por los subgrupos conjugados a H y el estabilizador de H
es el normalizador NH de H en G, esto es, el mayor subgrupo de G
tal que H C NH
2. Si G acta sobre si mismo por conjugacin y x G, entonces el
estabilizador E x = Nh xi es el subgrupo de los elementos que conmutan con x. Se suele llamar a este grupo el centralizador de x y se
lo nota Z ( x ).
3. Sea V un k-espacio vectorial. Sea G = k {0} es el grupo multiplicativo de k y X = V {0}. Entonces G acta en X va la accin
GX X
(, v) 7 v
Entonces Ov = hvi {0}.
4. Sea X un conjunto y G = S( X ) el grupo de las funciones biyectivas de X en X. Entonces G opera naturalmente sobre X por la
frmula
GX X
( f , x ) 7 f ( x )
En este caso, es fcil ver que G opera transitivamente sobre X (hgalo!). Si x X, entonces E x = { f S( X ) : f ( x ) = x } se identifica
con S( X { x }).
5. Si G acta sobre si mismo por conjugacin y s, t G, entonces
Os = Ot si y slo si s y t son conjugados. En ese caso, Es es un
subgrupo conjugado a Et (verificarlo!) y, por lo tanto, isomorfo. En
particular, se tiene que |Es | = |Et |
30
1. Grupos
G = Z ( G ) ( O ai )
i =1
Luego
k
| G | = |Z ( G )| + ( G : Z ( ai ))
i =1
31
| G | = |Z ( G )| + ( G : Z ( ai )).
i =1
32
1. Grupos
La estructura de los grupos finitos conmutativos est completamente estudiada y clasificada, como se ver ms adelante dentro del
marco de la teora de mdulos sobre un tipo particular de anillos. Lo
mismo vale para grupos conmutativos infinitos pero con una cantidad finita de generadores. Si no hay finitos generadores el problema
no est completamente resuelto.
Si el grupo no es necesariamente conmutativo, diversos resultados relacionan propiedades aritmticas del orden con la estructura del grupo. Entre esos resultados cabe destacar los teoremas
de Sylow (que usan exclusivamente la ecuacin de clases), resultados de Burnside, Frobenius, FeitThompson, etc. Para los teoremas
de Sylow, se propone al lector interesado que los demuestre por su
cuenta guindose por los ejercicios al final de la lista.
1.10
Ejercicios
Definiciones
1.10.1. Exponentes pequeos. El exponente de un grupo G es el menor
nmero e tal que para todo g G se tiene ge = 1.
(a) Mostrar que un grupo G tal que g2 = 1 para todo g G es
abeliano.
(b) Qu puede decir si se tiene en cambio que g3 = 1?
1.10.2. Encontrar todos los grupos de orden a lo sumo 6.
1.10.3.
Ejemplos
1.10.4. (a) Sea n N y sea Gn = {z C : zn = 1}. Mostrar que Gn ,
con respecto al producto de C es un grupo abeliano cclico.
(b) Sea S1 = {z C : |z| = 1}. Mostrar que S1 , con respecto al
producto de C, es un grupo abeliano. Es cclico?
10. Ejercicios
33
j
@
( f g)( x ) = f ( x ) g( x ),
f , g G X , x X.
34
1. Grupos
Subgrupos
1.10.11. Sea G un grupo y H G un subconjunto. Mostrar que las
siguientes afirmaciones son equivalentes:
(i) H es un subgrupo de G.
(ii) H es no vaco y cualesquiera sean x, y H, es xy1 H.
Si adems G es finito, estas afirmaciones son equivalentes a:
(iii) H es no vaco y cualesquiera sean x, y H, es xy H.
Dar un contraejemplo para esta ltima equivalencia cuando G es
infinito.
1.10.12. Sea G un grupo y H1 y H2 subgrupos de G.
(a) H1 H2 es un subgrupo de G.
(b) H1 H2 es un subgrupo de G sii H1 H2 o H2 H1 .
1.10.13. Dado un grupo G, el subconjunto de elementos de orden
finito es un subgrupo de G?
1.10.14. Sea G un grupo.
(a) Sea H una familia de subgrupos de G. Mostrar que
un subgrupo de G.
H H
H es
10. Ejercicios
35
(b) Sea ahora X G un subconjunto arbitrario. Mostrar que existe un menor subgrupo de G que contiene a X. Describirlo en
trmino de los elementos de X.
El subgrupo cuya existencia se afirma en la segunda parte de este ejercicio se denomina el subgrupo de G generado por X y se denota h X i. Si X = { x1 , . . . , xr }, escribimos h x1 , . . . , xr i en lugar de
h{ x1 , . . . , xn }i.
1.10.15. Sea G un grupo, X X un subconjunto tal que G = h X i.
Mostrar que un subgrupo N de G es normal en G sii xNx 1 N
para todo x X.
1.10.16. Sea n N y sea G2n una raz primitiva 2n -sima. Consideremos las matrices
0
0 1
R=
,
S=
1 0
0 1
y sea Hn = h R, Si el subgrupo generado por R y S en GL2 (C). Llamamos a Hn el n-simo grupo de cuaterniones generalizados.
Determinar el orden de Hn y listar sus elementos.
1.10.17. (a) Sea G = GL2 (Z) y sean , G dados por
0 1
0
1
=
,
=
.
1 0
1 1
Muestre que 4 = 3 , pero que tiene orden infinito. En particular, el subgrupo h, i es infinito.
Este ejemplo muestra que finitos elementos de orden finito
pueden generar un subgrupo infinito.
(b) Determine h, i.
1.10.18. Generacin de Sn .
(a) Mostrar que
(i) Sn = h{(i j) : 1 i < j n}i;
(ii) Sn = h{(1 i ) : 1 i n}i;
(iii) Sn = h{(i i + 1) : 1 i < n}i;
(iv) Sn = h(1 2), (1 2 3 . . . n)i;
(b) Sea T = {(i j ) : 1 i < j n } el conjunto de todas las
transposiciones. Encuentre una condicin necesaria y suficiente para que un subconjunto T T para que Sn = h T i.
36
1. Grupos
10. Ejercicios
37
Z ( G ) = { g G : gh = hg para todo h G }.
Mostrar que Z ( G ) es un subgrupo normal de G. Llamamos
a Z ( G ) el centro de G y decimos que los elementos de Z ( G )
son centrales en G.
(b) Sea G un grupo y X G un subconjunto tal que G = h X i.
Mostrar que es
Z ( G ) = { g G : gx = gx para todo x X }.
(c) Encontrar el centro de un grupo abeliano, de Dn para cada n
1, de H, de Sn para cada n 1, de GLn ( R) para cada n 1 y
R {R, Z, C, F p }.
(d) Sea G un grupo y X un conjunto. Determinar el centro de G X .
1.10.24. Calcular el centro del grupo de Hamilton.
1.10.25. Sea G un grupo y H un subgrupo abeliano de G. Mostrar
que H Z ( G ) es un subgrupo abeliano de G.
1.10.26. Sea G un grupo.
(a) Sea g G. El centralizador de g en G es el subconjunto
C( g) = {h G : gh = hg}.
Mostrar que se trata de un subgrupo de G y que es, en efecto,
el subgrupo ms grande de G que contiene a g y en el que g es
central.
(b) Sea N G un subconjunto. El centralizador de N en G es el subconjunto C( N ) = {h G : nh = hn para cada n N }. Mostrar
que se trata de un subgrupo de G.
38
1. Grupos
g C( g);
C(C( g)) = Z (C( g));
C( g) C(h) sii h Z (C( g)); y
C( g) C(h) sii Z (C( g)) Z (C(h)).
10. Ejercicios
39
40
1. Grupos
1.10.40.
M;
M M
Homomorfismos
1.10.43. Sea G un grupo y X un conjunto. Sea x0 X y sea
evx0 : f G X 7 f ( x0 ) G.
10. Ejercicios
41
f (i ) = (1, 0),
f (k ) = (1, 1),
3. Z8 = Z4 Z2
= Z2 Z2 Z2
=H
= D4 ?
4. (R, +)
= (R>0 , )?
5. (R, +)
= (R {0}, )?
1.10.50. Sea G un grupo.
(a) Sea g G e inng : h G 7 ghg1 G. Mostrar que es
inng Aut( G ).
(b) Mostrar que la aplicacin inn : g G 7 inng Aut( G ) es un
homomorfismo de grupos.
(c) Describir el ncleo de inn. Los automorfismos que estn en la
imagen de G se llaman automorfismos interiores y la imagen misma se denota Inn( G ).
(d) Mostrar que Inn( G ) es un subgrupo normal de Aut( G ).
1.10.51. Sea G un grupo finito. Supongamos que existe f Aut( G )
tal que f 2 = 1 y f no deja fijo ningn elemento de G aparte de 1.
42
1. Grupos
10. Ejercicios
43
44
1. Grupos
( x i x j ) Z[ x1 , . . . , x n ]
1 i < j n
( x (1) , . . . , x ( n ) )
( x1 , . . . , x n )
Automorfismos de Sn .
10. Ejercicios
45
|cl( g)| =
n!
3( n 3) !
|cl(( g))| =
n!
3r r!(n 3r )!
Cocientes
1.10.66. Mostrar que
(a) C /R+
= S1 ;
(b) Z/mZ
= Zm cualquiera sea m N;
(c) GLn (k)/ SLn (k)
= k si k es un cuerpo y n N;
(d) S1 /Gn
= S1 si n N;
(e) si m|n, Gn /Gm
=G .
n/m
46
1. Grupos
Productos
1.10.72. Sean U y V dos grupos y f : U W y g : V W homomorfismos de grupos. Entonces la aplicacin
h : (u, v) U V 7 f (u) g(v) K
es un homomorfismo de grupos sii todo elemento de f (U ) conmuta
con todo elemento de h(V ).
1.10.73. Si G y H son grupos, determine Z ( G H ).
1.10.74. Producto directo interno. Sea G un grupo.
(a) Sean N y M dos subgrupos normales de G y supongamos que
N M = 1 y G = N M. Mostrar que entonces es G
= N M.
(b) Supongamos que G es grupo finito de orden mn con (m, n) = 1.
Si G posee exactamente un subgrupo N de orden n y exactamente un subgrupo M de orden m, entonces G es isomorfo al
producto directo de N y M.
(c) Sean k N y ( N )k
una familia de subgrupos normales de G
i
Ski=1
tales que G = h i=1 Ni i y para cada j {1, . . . , k} se tiene que
Nj h
Ni i = 1.
1 i k
i6= j
10. Ejercicios
(d)
47
Otra vez, supongamos que G es finito y sean N1 , . . . , Nk subgrupos normales de G de rdenes r1 , . . . , rk tales que (ri , r j ) = 1
si 1 i, j k y | G | = r1 rk . Entonces G
= N1 Nk .
48
1. Grupos
N
incl
N o G
/
can / /
G
K/N
trivial.
1.10.80.
Acciones
1.10.81. Si un grupo G acta sobre un conjunto finito X, el carcter
de X es la aplicacin X : G N0 dada por
X ( g) = |{ x X : gx = x }|,
g G.
( g) = 1.
g G
( g) = |X/G|.
g G
10. Ejercicios
(c)
49
( g)2 = |X/Gx0 |.
g G
Sugerencia. Una forma de hacer esto consiste en contar los elementos del
conjunto S = {( g, x, y) G X X : gx = x, gy = y} de dos formas
distintas.
|GLn (k)| =
( q n q i ).
i =0
(e)
q 1 i =0
50
1. Grupos
Notemos que, en las condiciones de este enunciado G no puede poseer subgrupos de ndice menor que p.
(d) Sea X = G/H = { gH : g G } el conjunto de coclases a
izquierda de H en G; as, | X | = p. Consideramos sobre X la
accin usual de G por multiplicacin, dada por
( g, hH ) G X 7 ghH X.
y sea : G S( X ) el homomorfismo de grupos correspondiente. Mostrar que si K = ker , se tiene que H K y, como
Im es un subgrupo de S( X ), que | G : K | divide a p!.
(e) Muestre que | G : K | = | G : H |, para concluir que H = K y, as,
que H es normal.
Sugerencia. Para hacerlo, observe primero que p = | G : H | | G : K |, de
manera que | G : K | 6= 1. Si q es un primo que divide a | G : K |, lo hecho en
la parte anterior implica que q p; esto junto con la eleccin de p implica
que | G : K | = pr para algn r 1. Muestre para terminar que debe ser
r = 1.
Teoremas de Sylow
1.10.85. Sea p un nmero primo. Un grupo abeliano finito de exponente pr con r > 0 posee elementos de orden p.
1.10.86. Sea p un nmero primo y G un grupo de orden pr > 1.
Entonces Z ( G ) no es trivial.
10. Ejercicios
51
52
1. Grupos
(b) Sea L C y notemos [ L] a la clase de equivalencia de L. Entonces |[ L]| = [ H : H N ( L)]. Adems, si L 6= H es |[ L]| > 1 y es
divisible por p. Si, por el contrario, L = H, entonces |[ H ]| = 1.
(c) Muestre que
(
0 (mod p), si H 6 C ;
|C|
1 (mod p), si H C .
(d) Concluya que H es conjugado de K y que |C|
= 1 (mod p).
1.10.93. Pruebe el siguiente teorema debido a Peter Ludwig Mejdell
Sylow (18321918, Noruega) que es, probablemente, el teorema ms
importante de la teora de grupos finitos.
Teorema. (M. L. Sylow, Thormes sur les groupes de substitutions,
Math. Ann. 5 (1872), no. 4, 584594.) Sea p un nmero primo. Sea G un
grupo finito de orden pr m con ( p, m) = 1. Entonces
(a) Un subgrupo H de G es un p-subgrupo de Sylow sii | H | = pr .
(b) Todos los p-subgrupos de Sylow de G son conjugados.
(c) Sea n p el nmero de p-subgrupos de Sylow de G. Entonces n p 1
(mod p).
(d) n p | m.
1.10.94. Muestre que no hay grupos simples de orden 28 312.
1.10.95. Muestre que un grupo de orden 12 56 no es simple.
1.10.96. Si p y q son primos distintos, un grupo de orden pq no es
simple.
1.10.97. Sea G un grupo de orden pr m con p primo, r 1 y p > m.
Entonces G no es simple.
1.10.98. Sea G un grupo de orden p2 q con p y q primos distintos.
Entonces G no es simple.
1.10.99. Muestre que un grupo de orden menor que 60 no es simple.
1.10.100. Mostrar que si G es un grupo y P es un subgrupo de Sylow
de G, entonces P es un subgrupo caracterstico de N ( P).
1.10.101. Si todos los subgrupos de Sylow de un grupo finito G son
normales, entonces G
= p primo Pp . En particular, un grupo abeliano finito es producto de sus subgrupos de Sylow.
10. Ejercicios
53
si g g y ( x1 , . . . , xk ) X k .
54
1. Grupos
(b) Determinar todos los grupos A tales que Aut( A) acta de manera 2-transitiva sobre A0 .
Definicin 1.10.1. Diremos que la accin de G sobre X es finamente
k-transitiva si es k-transitiva y adems, para cada ( x1 , . . . , xk ) X (k)
y cada g1 , g2 G, vale que
i {1, . . . , k}, g1 ( xi ) = g2 ( xi ) = g1 = g2 .
En otras palabras, esta condicin dice que dos elementos de G que
actan de la misma forma sobre k elementos de k deben coincidir.
1.10.109. Si la accin de G es finamente k-transitiva sobre X y ponemos n = | X |, entonces
|G| =
n!
.
(n k)!
g G, r R.
GR
IdG
GX
R
10. Ejercicios
55
( a, b) ( a0 , b0 ) = ( aa0 , b + ab0 ), .
si ( a, b), ( a0 , b0 ) AGL(1, K ). Muestre que (AGL(1, K ), ) es un
grupo.
(b) Consideremos ahora el conjunto X = K y la aplicacin
AGL(1, K ) K K
dada por
( a, b) x = ax + b
para cada ( a, b) AGL(1, K ) y cada x X. Muestre que esto
da una accin de AGL(1, K ) sobre X.
(c) Muestre que esta accin es finamente 2-transitiva.
1.10.114. Sea G un grupo finito y sea X un conjunto no vaco sobre
el que G acta de forma finamente 2-transitiva.
(a) Sea x0 x X y H = Gx0 . Pongamos X 0 = X \ { x0 }. Entonces H acta de forma finamente 1-transitiva sobre X 0 y es un
subgrupo maximal de G.
(b) H gHg1 6= 1 sii g H. En particular, es N ( H ) = H y
C (h) H para cada h H \ {1}.
(c) G posee involuciones y son todas conjugadas. Notemos I al
conjunto de las involuciones de G.
(d) Sea
N 0 = { g G : para cada x X, gx 6= x }
y N = N 0 {1}. Entonces es | N 0 | = n 1. Adems, N es un
subconjunto normal de G.
(e) La accin de N sobre X es simplemente transitiva.
(f) H posee a lo sumo una involucin. Si H posee una involucin,
| I | = n; en caso contrario, | I | = n 1.
(g) Si s, t I y s 6= t, entonces st no tiene puntos fijos en X.
56
1. Grupos
Grupos nilpotentes
Sea G un grupo. Definimos una sucesin creciente
1 = Z0 Z1 Zn Zn+1
de subgrupos normales de G inductvamente de la siguiente manera, empezando por Z0 = 1: sea i N0 y supongamos que ha hemos
10. Ejercicios
57
contruido Zi . Como Zi es normal, podemos considerar el homomorfismo cannico : G G/Zi . Ponemos entonces
Zi+1 = 1 Z ( G/Zi ) .
Se trata claramente de un subgrupo normal de G y es
Zi+1 /Zi
= Z ( G/Zi ).
La sucesin de subgrupos ( Zi )i0 se llama la cadena central superior
de G.
Definicin. Si existe n N0 tal que Zn = G, decimos que G es
nilpotente. El menor tal n es la longitud nilpotente de G.
1.10.115. Un grupo abeliano es nilpotente. Es nilpotente S3 ? D un
ejemplo de un grupo nilpotente y no abeliano.
Definicin. Una sucesin creciente ( Ni )i0 de subgrupos normales
de un grupo G tal que N0 = 1 y Ni+1 /Ni Z ( G/Ni ) para cada
i 0 es una cadena central ascendente. Si existe n N0 tal que Ni = G
entonces decimos que la cadena termina o que llega a G.
1.10.116. Si G es un grupo y ( Ni )i0 es una cadena central ascendente en G, muestre que para cada i 0 se tiene que [ Ni+1 , G ] Ni .
1.10.117. Si G es un grupo y ( Zi )i0 es su cadena central superior,
entonces para cada i 0 se tiene que Zi+1 = { g G : [ g, G ] Zi }.
1.10.118. Mostrar que si un grupo G posee una cadena central ascendente ( Ni )i0 que llega a G, entonces es nilpotente. Una forma
de hacer esto es ver que Ni Zi para cada i 0.
1.10.119. Sea G un grupo tal que G/Z ( G ) es nilpotente. Entonces
G es nilpotente.
1.10.120. Un p-grupo finito es nilpotente.
1.10.121. Los subgrupos Zi que aparecen en la serie central de G son
subgrupos caractersticos en G.
Sugerencia. Esto puede verse por induccin en i, siendo inmediato para i = 0. Para
ver que Zi+1 es caracterstico en G si Zi lo es, proceda de la siguiente manera:
58
1. Grupos
muestre que todo Aut( G ) induce un automorfismo Aut( G/Zi ) tal que
conmuta
G
G
/ / G/Zi
/ / G/Zi
Captulo 2
Anillos
2.1
Definiciones y ejemplos
Dado un grupo finito G de n elementos, siempre puede identificarse a G con un subgrupo del grupo de permutaciones Sn de la
siguiente forma. Sea G = { x1 , . . . , xn } una enumeracin de los elementos de G. Si g G, la multiplicacin por g es una biyeccin
de G en G (cuya inversa es la multiplicacin por g1 ), as que existe una nica permutacin g Sn tal que gxi = xg (i) para todo
i = 1, . . . , n. La funcin g G 7 g S( G ) es claramente un
monomorfismo.
Por otro lado, Sn puede pensarse como un subgrupo del grupo
GL(V ) de las transformaciones lineales biyectivas de un espacio
vectorial V de dimensin n, eligiendo una base {v1 , . . . , vn } de V
y permutando esos elementos. Ms precisamente, a cada Sn le
asociamos la nica transformacin lineal t tal que t (vi ) = v(i) .
Decimos entonces que (V, ( 7 t )) es una representacin de Sn
sobre V, esto es, que los elementos de Sn se representan como
transformaciones lineales del espacio vectorial V.
Los anillos son objetos que generalizan la nocin de grupo (en
el sentido de que a cada grupo se le puede asociar un anillo del
grupo, y que tienen una teora de representaciones natural, de
manera anloga a lo que sucede con los grupos (o subgrupos) de
permutaciones. Cada una de estas representaciones se llamar un
mdulo. Muchas de las propiedades de un anillo pueden describirse
conociendo la clase de mdulos que el mismo admite, es decir, sus
59
60
2. Anillos
representaciones.
Definicin 2.1.1. Una terna ( A, +, ) en la que ( A, +) es un grupo
abeliano y : A A A es un anillo con unidad si se satisfacen las
siguientes propiedades:
Asociatividad. Si a, b, c A, es
( ab)c = a(bc).
Unidad. Existe un elemento en A distinto del cero de ( A, +),
que escribiremos 1 A o simplemente 1, tal que
1a = a1 = a
para todo a A.
Distributividad. Si a, b, c A, es
a(b + c) = ab + ac
y
( a + b)c = ac + bc.
Si adems se tiene que ab = ba para todo par de elementos a, b A,
diremos que el anillo A es conmutativo.
Observaciones.
1. En la definicin se pide 1 6= 0, porque si fuera 1 = 0 resultara
que a = a1 = a0 = 0 para cualquier elemento a A, con lo que
tendramos A = {0}.
2. Dado un anillo unitario ( A, +, ), el elemento 1 A est unvocamente determinado por la segunda condicin de la definicin.
3. Si ( A, +, ) es una terna que satisface todas las condiciones de la
definicin de anillo salvo la de existencia del elemento unidad 1 A ,
diremos que A es un anillo sin unidad. Sin embargo, todo anillo sin
unidad puede incluirse en un anillo con unidad.
1. Definiciones y ejemplos
61
Ejemplos.
1. Son ejemplos de anillos: (Z, +, ), (Q, +, ), (R, +, ), (C, +, ) y
(Zn , +, ). Si k es un anillo, (k[ x ], +, ) es tambin un anillo.
2. Si ( A, +, ) es un anillo, entonces tambin lo es el conjunto Mn ( A)
de las matrices n n con coeficientes en A, con respecto a las operaciones de suma coeficiente a coeficiente y el producto usual de
matrices. Llamamos a este anillo el anilo de matrices con coeficientes
en A.
3. Si X es un conjunto y A es un anillo, el conjunto de funciones
A X = { f : X A} hereda de A una estructura de anillo, sumando
y multiplicando punto a punto. Restringiendo las operaciones definidas en el ejemplo anterior, vemos que C (Rn ) y C (Rn ) tambin
son anillos, as como sus respectivas variantes tomando subconjuntos adecuados de Rn .
4. Considerando los ejemplos Q, R, C con las operaciones habituales, vemos que en esos casos el producto satisface una propiedad
adicional, ya que para todo elemento a no nulo existe otro elemento
a0 tal que aa0 = a0 a = 1.
Describimos esto diciendo que todo elemento no nulo de A tiene
un inverso a izquierda, esto es, que para todo a A, existe a0 A tal
que a0 a = 1, y un inverso a derecha. En estos ejemplos ambos inversos
coinciden (que sucede en general?).
Observacin. Si a es inversible a izquierda y x, y A, son tales que
ax = ay, entonces x = y.
Si A es un anillo tal que todo elemento de A es inversible a izquierda y a derecha, diremos que A es un anillo de divisin.
Observacin. Existen anillos de divisin no conmutativos. El anillo
de los cuaterniones es un ejemplo de esto.
Consideremos
el anillo de matrices M2 (Q). Claramente, el ele1
0
mento x = 0 0 es no nulo. Existen, sin embargo, matrices no nulas
z M2 (Q) tales que xz = 0. Decimos que x es un divisor de cero a
izquierda y que
un tal z es un divisor de cero a derecha. Se ve fcilmente
1
0
que x = 0 0 no puede tener un inverso a izquierda.
Esto se generaliza a un anillo cualquiera A: es claro que si un
elemento es inversible a izquierda, entonces no puede ser divisor
de cero a izquierda (anlogamente a derecha).
62
2. Anillos
Definicin 2.1.2. Un anillo A sin divisores de cero es un anillo ntegro. Si adems el producto en A es conmutativo, decimos que A dominio ntegro.
Observacin. Un dominio ntegro que es un anillo de divisin resulta un cuerpo.
Definicin 2.1.3. Sea k un cuerpo. Una k-lgebra es un anillo ( A, +, )
en el que ( A, +) es un k-espacio vectorial y la multiplicacin es compatible con la accin de k, esto es, tal que
1. Definiciones y ejemplos
63
Ejemplos.
1. (Z, +, ), (Q, +, ), (R, +, ), (C, +, ) son subanillos de cada uno
del siguiente.
2. Cualquiera sea k, k es subanillo de k [ x ].
3. El conjunto de funciones constantes de R en R es un subanillo
de C (R).
Observaciones.
1. Todo subanillo de un anillo ntegro es ntegro. Sin embargo, si
B es subanillo de A y B es ntegro, A puede no serlo.
2. Veremos ms adelante que si A es un dominio ntegro, puede encontrarse un cuerpo K del cual A resulte un subanillo. Como ejemplo de esto, podemos tomar a Z como subanillo de Q.
A continuacin, se construir un importante ejemplo de anillo.
La importancia de este ejemplo reside en que tener un mdulo sobre
este anillo ser equivalente a tener un k-espacio vectorial sobre el
cual un grupo G acte:
Ejemplo. Dado un grupo G y un anillo de base k, podemos construir un anillo llamado anillo de grupo de G, al que notaremos k[ G ].
Los elementos de k [ G ] son combinaciones lineales finitas con coeficientes en k de elementos del grupo G. As, como conjunto es
k[ G ] = { g g : g k, g = 0 para casi todo g G }.
g G
Si x = gG g g k[ G ], el conjunto sop( x ) = { g G : g 6= 0} es
el soporte de x.
La suma en k[ G ] se define pensando que los elementos de G forman una base, es decir:
g
+
g
g
g = (g + g ) g.
g G
g G
g G
Notemos que si las dos primeras sumas son finitas, la tercera tambin lo es, as que esto define una operacin en k [ G ].
El producto se define a partir del producto de G, de la estructura
de anillo de k y del hecho de que el producto tiene que ser distributivo con respecto a la suma:
g
=
(
)
gh
=
1
g
g
g
h
gh h g.
g G
g G
h,g G
g G
h G
64
2. Anillos
Por ejemplo, si x = g, y = h k[ G ], el producto xy es simplemente xy = (g) (h) = () gh. Si x e y son, ms generalmente, sumas
finitas de elementos de este tipo, el producto se calcula a partir de
los productos de cada sumando imponiendo la ley distributiva.
Ejercicio. Verificar que con estas operaciones (k[ G ], +, ) resulta una
k-lgebra con unidad. Qu elementos son el neutro de la suma y el
del producto? Y el inverso aditivo de un elemento? Hay elementos que tengan inverso multiplicativo? Cundo k [ G ] es un anillo
conmutativo?
Observacin. En la construccin anterior no se utiliz el hecho de
que G fuera un grupo, sino solamente que se trata un monoide con
elemento neutro. La asociatividad de G implica la asociatividad del
producto de k[ G ] y el elemento neutro de G funciona como unidad
del producto de k[ G ].
Se puede definir entonces el anillo de un monoide M con elemento neutro, al que notamos tambin k[ M]. Por ejemplo, cuando
M = N0 , el anillo k [N0 ] puede identificarse con el anillo de polinomios en una variable con coeficientes en k.
2.2
Morfismos
En un anillo existen una estructura de grupo abeliano y una multiplicacin. Del mismo modo en que en el caso de los grupos nos
interesaban particularmente las funciones que respetaban la estructura de grupo, dentro de la clase de funciones entre anillos que sean
morfismos de grupos abelianos, nos interesarn aquellas que tambin respeten la estructura multiplicativa.
Definicin 2.2.1. Sean ( A, + A , A ) y ( B, + B , B ) dos anillos. Un morfismo de anillos unitarios entre A y B es una funcin f : A B tal
que
f : ( A, + A ) ( B, + B ) es un morfismo de grupos.
f ( a A a0 ) = f ( a) B f ( a0 ) si a, a0 A.
f (1 A ) = 1 B .
Diremos que f es un isomorfismo si es inversible. En ese caso, la funcin inversa resulta tambin morfismo de anillos.
2. Morfismos
65
Ejemplos.
1. Las inclusiones Z , Q , R , C , H son morfismos inyectivos de anillos.
2. Sea k un anillo con unidad y sean G y H grupos. Si f : G H es
un morfismo de grupos, definimos una funcin k [ f ] : k[ G ] k[ H ]
poniendo
k [ f ] g g = g f ( g ).
g G
g G
66
2. Anillos
3. Ideales bilteros
67
2.3
Ideales bilteros
68
2. Anillos
hbi = {ba : a A}
de los mltiplos de b es un ideal biltero. Todo ideal de esta forma
es un ideal principal.
As, si m Z, hmi = mZ es un ideal de Z; anlogamente, en k[ X ],
el conjunto h Pi de los mltiplos de un polinomio fijo P es un ideal
biltero.
2. Notar que todo subgrupo de Z es de la forma mZ para algn m.
Ms an, todos ellos son ideales.
Si k es un cuerpo e I es un ideal de k[ X ], entonces existe un polinomio P k [ X ] tal que I = h Pi. (Demostrarlo: tomar la funcin
grado e imitar la demostracin de que en Z los nicos subgrupos
son de la forma mZ). Si en cambio consideramos el anillo k [ X, Y ]
o Z[ X ], existen ideales no principales (dar ejemplos de esto!)
3. Si I es un ideal biltero de A y Mn ( I ) es el conjunto de las matrices
de Mn ( A) que en cada lugar tiene elementos de I, entonces Mn ( I ) es
un ideal biltero de Mn ( A).
4. Sea X un abierto de Rn , x0 X y A = C ( X ). Entonces el conjunto Ix0 = { f A : f ( x0 ) = 0} es un ideal de A. De hecho,
si evx0 : A R es el morfismo de evaluacin en x0 , esto es, si
evx0 ( f ) = f ( x0 ), entonces I = Ker(evx0 ).
3. Ideales bilteros
69
I J = { xi yi : xi I, yi J }
i =1
70
2. Anillos
2.4
Cocientes
4. Cocientes
71
72
2. Anillos
f = f . El diagrama correspondiente es:
A
{
/B
{=
A/I
Demostracin. El primer punto de la proposicin es claro. Supongamos que se tiene un morfismo de anillos f : A B tal que
I Ker( f ). Como : A A/I es un morfismo de grupos con
su propiedad universal y f es en particular un morfismo de grupos,
se tiene asegurada la existencia y unicidad del morfismo de grupos f . Luego slo falta ver que f es multiplicativo. Recordemos que
f est definida por f ( a) = f ( a) para todo a A. A partir de esa
frmula y de la definicin de producto en el cociente es claro que
f es multiplicativa cuando f lo es pues
f ( aa0 ) = f ( aa0 ) = f ( aa0 ) = f ( a) f ( a0 ) = f ( a) f ( a0 ).
Esto termina la prueba.
Como siempre, dos objetos que verifican una misma propiedad
universal resultarn isomorfos (verificarlo, calcando la demostracin hecha para grupos).
Corolario 2.4.2. Si f : A B un morfismo de anillos, entonces hay un
isomorfismo de anillos
A/ Ker( f )
= Im( f ).
Demostracin. Basta observar que Im( f ) es un subanillo de B y que
f : A Im( f ) es un morfismo de anillos. Sabemos que la aplicacin f : A/ Ker( f ) Im( f ) es un isomorfismo de grupos abelianos, pero como Ker( f ) es un ideal biltero, la propiedad del cociente asegura que f tambin respeta el 1 y la estructura multiplicativa.
4. Cocientes
73
Ejemplos.
1. Si n N, hay un isomorfismo de anillos Zn
= Z/nZ.
2. Si k es un anillo y a k, eva : k [ X ] k es un epimorfismo de
anillos con ncleo h X ai (verificarlo!), luego k [ X ]/h X ai
= k.
3. Consideremos el anillo R[ X ], el elemento i C y el morfismo de
evaluacin evi : R[ X ] C definido por
n
k =0
ak X k 7
ak i k .
k =0
74
2. Anillos
/ e3
AA
AA
AA
/ e4
e2
los conjuntos son Q0 = {e1 , e2 , e3 }, Q1 = {, , }, las funciones s
y t estn definidas por s() = e1 , t() = e2 , s( ) = e1 , t( ) = e3 ,
s ( ) = e3 , t ( ) = e4 .
Asociado a Q hay un anillo kQ que como k-espacio vectorial tiene base el conjunto de los caminos del grafo (los vrtices se consideran como caminos de largo cero); un camino es, por definicin,
una composicin de flechas consecutivas. El producto se define en
esa base de caminos, y est dado por la yuxtaposicin en el caso
del producto de dos caminos consecutivos y cero en otro caso. En el
ejemplo del grafo anterior, es
kQ = k.e1 k e2 k e3 k e4 k k k k .
Los productos en kQ estn determinados por
ei2 = ei ,
ei e j = 0,
si i = 1, . . . , 4;
si i 6= j;
e2 = e1 = ,
e3 = e1 = ,
e4 = e3 = ,
= ,
y todos los otros productos entre paes de elementos de la base de
caminos de Q se anulan.
5. Producto de anillos
75
9. Sea Q el grafo
e1
/ e2
2.5
Producto de anillos
f
/ A
>
|
||
|
||
|| f
76
2. Anillos
2.6
Localizacin
m
n
= f ( m ) f ( n ) 1 .
6. Localizacin
77
78
2. Anillos
7. Ejercicios
79
Esto nos dice que dos funciones f 1 , f 2 A tienen la misma imagen en AS sii existe un entorno U 0 de x0 sobre el cual coinciden.
Este ltimo ejemplo, adems de motivar el nombre de localizacin, muestra que la aplicacin i : A AS no siempre es inyectiva.
2.7
Ejercicios
Definiciones
2.7.1. Sea A un conjunto y +, : A A A dos operaciones en A
que satisfacen todos los axiomas de la definicion de anillos salvo posiblemente aquel que dice que el grupo ( A, +) es abeliano. Muestre
que ( A, +, ) es un anillo.
2.7.2. (a) Si A es un anillo en el que cada elemento tiene un inverso
a izquierda, entonces A es un anillo de divisin.
(b) Sea A un anillo y a A un elemento que es inversible a izquierda y que no divide a 0 por la derecha. Entonces a es inversible.
(c) Sea a A. Si existe n N tal que an es inversible, entonces a es
inversible.
2.7.3. Sea A un anillo posiblemente sin unidad. Muestre que si A
posee una nica unidad a izquierda e, entonces A posee una unidad.
Sugerencia. Sea a A y considere para cada c A el elemento (e ae a)c.
Ejemplos
2.7.7. Anillo opuesto.
(a) Sea A un anillo. Sea : A A A la operacin definida por
a b = ba,
a, b A.
80
2. Anillos
anillos.
2.7.9. Anillos de funciones.
(a) Sea A un anillo y X un conjunto no vaco. Sea X A el conjunto de todas las funciones X A. Definimos dos operaciones
+, : A A A poniendo
( f + g)( x ) = f ( x ) + g( x ),
x X
( f g)( x ) = f ( x ) g( x ),
x X
7. Ejercicios
81
( f g)(n) =
f ( k ) g ( l ).
k,l 0
k+l =n
f (n) X n .
n X
Es fcil ver que usando esta notacin las operaciones de S se corresponden con las operaciones usuales de polinomios. Por eso, llamamos a S el anillo de polinomios con coeficientes en A y lo notamos A[ X ].
2.7.11. Anillos de series formales.
(a) Sea A un anillo y sea S = { f : N0 A} el conjunto de todas las
funciones de N0 a A. Definimos operaciones +, : S S S
poniendo, para cada f , g S y cada n N0 ,
( f g)(n) =
f ( k ) g ( l ).
k,l 0
k+l =n
f (n) X n .
nN0
Usando esta notacin, las definiciones de la suma y el producto de S imitan formalmente a las correspondientes operaciones
con las series. Esto hace que llamemos a S el anillo de series formales de potencias con coeficientes en A. La notacin usual para
este anillo es AJXK.
82
2. Anillos
( f g)(n) =
f (d) g(n/d).
d N
d|n
n N
f (n)
.
ns
|{ g G : f ( g) 6= 0}| < .
Definimos operaciones +, : A[ G ] A[ G ] A[ G ] poniendo,
para cada s, t A[ G ] y cada g G,
(s + t)( g) = s( g) + t( g)
y
(s t)( g) =
s( gh1 )t(h).
h G
7. Ejercicios
83
1,
0,
si g = h;
en caso contrario.
g g
g G
ki = ik = j.
84
2. Anillos
u H.
u u = N (u)1,
4
Fijemos un carcaj Q. Si x, y Q0 , un camino de x a y en Q
es una secuencia finita = ( x; 1 , . . . , n ; y) de flechas de Q
tal que s(1 ) = x, t(n ) = y y para cada i {1, . . . , n 1}
se tiene que t(i ) = s(i+1 ). El nmero n es la longitud de .
En particular, si x Q0 , hay un camino ( x; ; x ) de x a x de
longitud 0.
7. Ejercicios
85
a .
P( Q)
Muestre que hay exactamente una forma de definir un producto asociativo : kQ kQ kQ de manera que para cada
par de caminos = ( x; 1 , . . . , n ; y) y = (z; 1 , . . . , m ; w)
en Q, es
(
( x; 1 , . . . , n , 1 , . . . , m ; w), si y = z;
=
0,
en caso contrario.
Mostrar que, con este producto, kQ es una k-lgebra. Cul es
la unidad de esta lgebra? Llamamos a kQ la k-lgebra de caminos de Q.
(b) Si Q tiene un solo vrtice y ninguna flecha, entonces kQ = k
(c) Si Q tiene un solo vertice y una nica flecha, entonces kQ es
isomorfo a k[ X ], el anillo de polinomios en una variable con
coeficientes en k.
Q:
86
2. Anillos
(c) Tomemos
A = C, B = Z. Describa explcitamente los anillos
3
B[ 2], B[ 5] y B[ ] si es una raz primitiva p-sima de la
unidad y p un nmero primo. Describa B[i ] y B[ ] si es una
raz primitiva sexta de la unidad.
2.7.17. El lgebra de Weyl. Sea EndC (C[ X ]) el anillo de endomorfismos de C[ X ] considerado como C-espacio vectorial y consideremos
los elementos p, q EndC (C[ X ]) definidos de la siguiente manera:
si f C[ X ], entonces
p( f ) =
df
,
dX
q( f ) = X f
7. Ejercicios
(b)
(c)
(d)
(e)
(f)
87
(n)q =
qn 1
.
q1
( n ) q ! = (1) q (2) q ( n ) q .
Finalmente, si n N0 y 0 k n, ponemos
(n)q !
n
.
=
(k )q !(n k )q !
k q
Muestre que:
(i) Si 0 k n, es
n
n
=
.
k q
nk q
(ii) Si 0 k n, entonces
n
n1
n1
k n1
nk n 1
=
+q
=
+q
.
k q
k1 q
k
k
k1 q
q
q
n
(iii) Si 0 k n,
es un polinomio en q con coeficientes
k q
enteros.
(iv) Sean x, y Aq los generadores del lgebra de funciones
del plano cuntico. Si n > 0, entonces
n
n
( x + y) =
x k ynk .
k
q
0 k n
(g)
88
2. Anillos
lgebras de division reales. El objetivo de este ejercicio es probar el siguiente teorema de Ferdinand Georg Frobenius (18491917,
Prusia):
Teorema 2.7.1. Sea D una R-lgebra de divisin tal que dimR D < .
Entonces D es isomorfa a R, a C o a H.
La conclusin del teorema vale ms generalmente (y con exactamente la misma demostracin) para una R-lgebra de divisin arbitraria si suponemos que es algebraica sobre R: esto es, si para todo
elemento d D existe p R[ X ] tal que p(d) = 0.
(a) Si dimR D = 1 no hay nada que hacer, as que suponga que
dimR D > 1. Sea a D \ R. Muestre que R[ a] D es un cuerpo
y que debe ser isomorfo a C. En particular, concluya que existe
i D \ R tal que i2 = 1. Identifiquemos a C con R[i ].
(b) Definamos subespacios
D + = {d D : di = id}
y
D = {d D : di = id}
de D. Muestre que D = D + D .
7. Ejercicios
89
lgebras de division finitas. El objetivo de este ejercicio es mostrar el siguiente teorema de Joseph Henry Maclagen Wedderburn
(18821948, Escocia):
Teorema 2.7.2. Un anillo de divisin finito es un cuerpo.
(a) Sea : N Z la funcin de Mbius, de manera que si n N
r
y n = p1r1 pkk es la descomposicin de n como producto de
potencias de primos distintos,
si n = 1;
1,
k
(n) =
(1) , si p1 = = pk = 1;
0,
si ri > 1 para algn i.
Muestre que si n, m N son coprimos, entonces se tiene que
(nm) = (n)(m). Decimos por esto que es una funcin
multiplicativa.
(b) Sea M : n N 7 d|n (d) Z. Muestre que si n, m N
son coprimos, entonces M(nm) = M (n) M(m), de manera que
M tambien es multiplicativa. Muestre adems que M(1) = 1
y que si p es primo y r N, entonces M( pr ) = 0.
Concluya que vale la siguiente identidad de Mbius:
(
1, si n = 1;
(d) = 0, en caso contrario.
d|n
(c) Sea n N. Sea n = {w C : wn = 1} el conjunto de las
races n-simas de la unidad y sea n n el subconjunto
90
2. Anillos
de n formado por aquellas que son primitivas. Recordemos
que X n 1 = n ( X ). Sea n C[ X ] dado por
n =
( X ).
( X d 1) ( d ) .
d|n
Concluya que n Z[ X ].
(d) Muestre que si q Z \ {1} y n, r N son tales que r | n,
entonces
qn 1
n (q) r
.
q 1
(e) Sea D un anillo de divisin finito y sea F su centro. Muestre que
F es un cuerpo y que D es un F-espacio vectorial de dimensin
finita. Sean q = | F | y n = dimF D, de manera que | D | = qn y
| D | = qn 1.
Supongamos que D no es conmutativo. Debe ser entonces n > 1.
(f)
Sea a D y sea
C( a) = {d D : da = ad}.
Muestre que C( a) es un subanillo de D que es de divisin y que
contiene a F. Otra vez, se trata de un F-espacio vectorial. Sea
r ( a) = dimF C( A). Entonces es |C( a)| = qr(a) y, como C( a) es
de divisin, |C( a) | = qr(a) 1. Como C( a) es un subgrupo
de D , debe ser qr(a) 1 | qn 1. Concluya que r ( a) | n.
(g) Si a D , entonces la clase cl( a) de conjugacin de a en el
grupo D tiene cardinal
|cl( a)| =
qn 1
.
qr ( a ) 1
qn 1
.
r ( a) 1
i =1 q
qn 1 = q 1 +
7. Ejercicios
(i)
91
En particular,
q 1 |n (q)| =
| q |.
( I : J ) = { a A : aJ I }
Muestre que ( I : J ) es un ideal de A.
92
2. Anillos
/2
/
n1
7. Ejercicios
93
A
A
A
A
= Z[i ] y B = R;
= Z[ 5] y B = Z[ 3];
= k, un cuerpo, y B = Mn (k);
= Mn (k) con k un cuerpo y B = k.
Probar que:
94
2. Anillos
7. Ejercicios
95
nil( A) es un ideal de A.
nil( A/ nil( A)) = 0.
T
nil( A) = pSpec A p.
Muestre que si x nil( A), entonces 1 + x es inversible.
Localizacin
En estos ejercicios los anillos son conmutativos.
2.7.47. Sea A un anillo y sea S A un subconjunto multiplicativamente cerrado de unidades de A. Entonces AS
= A.
2.7.48. Sea A un anillo y sea S A un subconjunto multiplicativamente cerrado. Si 0 S, entonces AS
= 0.
2.7.49. Sea A un anillo, S A un subconjunto multiplicativamente
cerrado e I A un ideal. Sea S la imagen de S por la aplicacin
cannica A A/I. Entonces ( A/I )S
= AS /I AS .
2.7.50. Sea A un anillo, S, T A subconjuntos multiplicativamente
cerrados de A y sea T 0 la imagen de T por la aplicacin cannica
A AS . Sea U = ST = {st : s S, t T }.
Muestre que U es un conjunto multiplicativamente cerrado en A
y que ( AS ) T
= AU .
2.7.51. (a) Sea X un espacio topolgico y sea A = CR ( X ) el anillo
de las funciones reales continuas sobre X. Sea x0 X y ponga-
96
2. Anillos
C(R)
can
C(
U)
:
C(R)S
Adems, verifique que r es inyectiva.
(c) Muestre que r es sobreyectiva.
2.7.54. Sea A un anillo, S A un subconjunto multiplicativamente
cerrado y sea f : A AS la aplicacin cannica.
(a) Muestre que si I AS es un ideal, entonces f 1 ( I ) es un ideal
de A.
(b) De esta forma, se obtiene una aplicacin f : Id( AS ) Id( A)
del conjunto de ideales de AS al conjunto de ideales de A.
Muestre que f preserva inclusiones e intersecciones y que es
inyectiva.
(c) Si J A es un ideal, entonces J est en la imagen de f sii
J = f 1 ( J AS ) sii ningn elemento de S es un divisor de cero
en A/J.
7. Ejercicios
97
(d) Muestre que f (Spec AS ) Spec A de manera que, por restriccin, obtenemos una inyeccin f : Spec AS Spec A. La
imagen de esta aplicacin es exactamente el conjunto
{p Spec A : p S = }.
2.7.55. Sea A un anillo y S A un subconjunto multiplicativamente cerrado.
(a) Si I A es un ideal maximal entre los que no intersecan a S,
entonces I es primo.
(b) Describa el niradical de AS .
2.7.56. Sea p N un nmero primo y p = ( p) el ideal primo de Z
correspondiente. Muestre que si I Zp es un ideal no nulo, entonces existe r N0 tal que I = pr Z p .
2.7.57. Sea A un anillo y T A un subconjunto. Sea X = { xt }tT
un conjunto de variables indexadas por T y sea A[ X ] en anillo de
polinomios con variables en X. Sea S A el menor subconjunto
multiplicativamente cerrado de A que contiene a T. Muestre que
hay un isomorfismo
AS
= A[ X ]/ htxt 1 : t T i .
2.7.58.
Sea A un anillo. Muestre que S A es un subconjunto multiplicativamente cerrado maximal sii A \ S es un ideal primo minimal.
2.7.59.
b S.
98
2. Anillos
Captulo 3
Mdulos
3.1
Dado un anillo A, nos interesa estudiar su categora de representaciones, que est formada por objetos llamados mdulos en los
cuales A acta, y por funciones entre tales objetos que respetan la
accin de A.
Sabemos que si ( M, +) es un grupo abeliano, entonces
EndZ ( M) = { f : M M : f ( x + y) = f ( x ) + f (y) si x, y M},
con el producto dado por composicin de funciones, es un anillo.
Definicin 3.1.1. Un A-mdulo a izquierda es un grupo abeliano
( M, +) provisto de un morfismo de anillos
: A EndZ ( M)
a 7 a
En otras palabras, dar una estructura de A-mdulo a un grupo
abeliano M es asignar a cada elemento a A una endomorfismo
del grupo M. La condicin de que esta asignacin sea un morfismo
de anillos dice que:
1 = Id M .
ab = a b .
a+b = a + b .
99
100
3. Mdulos
Ejemplos.
1. Cualquiera sea A, podemos tomar M = A y a (b) = ab.
2. Si A = k es un cuerpo y V un k-espacio vectorial, V resulta un
A-mdulo si definimos (v) = v.
3. Si M es un grupo abeliano, entonces EndZ ( M ) es un anillo y por
lo tanto existe un nico morfismo de anillos Z EndZ ( M). Luego
todo grupo abeliano es, de manera nica, un Z-mdulo.
Explcitamente, el morfismo : Z EndZ ( M) que da esta estructura es tal que, si n > 0, n (m) = m + m + + m, con n sumandos.
4. Si G es un grupo que acta por morfismos de grupos en un grupo
abeliano M, entonces M es un Z[ G ]-mdulo tomando g (m) = gm
si g G y m M, y extendiendo linealmente a todo Z[ G ]. Habitualmente, llamamos a los Z[ G ]-mdulos representaciones lineales
de G.
5. Si V es un k-espacio vectorial y G es un subgrupo de GL(V ),
entonces V es un k[ G ]-mdulo.
Otra manera de mirar la estructura de A-mdulo a izquierda
de un grupo abeliano ( M, +) es pensar que se tiene una funcin
A M M que asigna a cada par ( a, m) un elemento am, donde
am es una notacin para designar a a (m). El hecho de que sea un
morfismo de anillos A EndZ ( M) es equivalente a que, para cada
a, b A, y x, y M, se tenga
1x = x,
( ab)m = a(bm),
( a + b)m = am + bm, y
a( x + y) = ax + ay.
Se puede tomar estas ltimas cuatro propiedades de una funcin
A M M como definicin de la estructura de A-mdulo a izquierda. La equivalencia entre las dos definiciones es inmediata.
Ejemplos.
1. Para cualquier anillo A, el grupo abeliano {0} es un A-mdulo.
2. Si M es un grupo abeliano y A = EndZ ( M) entonces M es un Amdulo con accin ( f , m) EndZ ( M) M 7 f (m) M. Dejamos
como ejercicio verificar que esta accin corresponde al morfismo de
anillos Id : A EndZ ( M).
101
(m, a) M Mn (C) 7 a m M.
102
3. Mdulos
( am)b = a(mb)
siempre que a A, b B y m M.
Ejemplos.
1. Si A es conmutativo, todo A-mdulo M es un A-A-bimdulo.
2. Todo A-mdulo (por ejemplo a izquierda) es un A-Z-bimdulo.
3. A es un A-A-bimdulo.
4. Sea M = Z2 Z2 . Se trata de un M2 (Z2 )-mdulo a derecha con
la accin dada por la multiplicacin de matrices.
Sea ()t : M2 (Z2 ) M2 (Z2 ) la transposicin de matrices. Sabemos que ( ab)t = bt at si a, b M2 (Z2 ). Usando esto, es fcil ver que
podemos hacer de M un M2 (Z2 )-mdulo a derecha definiendo
(m, a) M M2 (Z2 ) 7 at m M.
Dejamos al lector verificar que, con estas dos acciones de M2 (Z2 )
sobre M, M no es un bimdulo.
Ejercicio. Sea M un A-mdulo a derecha y sea B = End A ( M).
Mostrar que la accin ( f , m) End A ( M ) M 7 f (m) M define sobre M una estructura de End A ( M )-mdulo a izquierda y que
M resulta un End A ( M )-A-bimdulo.
Supongamos ahora que M = An1 , esto es, An visto como conjunto de vectores columna. Entonces M es un A-mdulo a derecha y tambin un Mn ( A)-mdulo a izquierda con la multiplicacin
usual de matrices. Mostrar que esta estructura coincide con la definida antes, va la identificacin End A ( An )
= Mn ( A ).
103
104
3. Mdulos
3.2
Submdulos maximales
2. Submdulos maximales
105
x k
Se trata de un k-mdulo, que adems es un k [ G ]-mdulo (verificarlo!) con respecto a la nica accin k [ G ] k(X ) k(X ) tal que
g x = g( x ).
Por ejemplo, sea G = Zn (escrito multiplicativamente) y t G es un
generador, de manera que G = {ti : 0 i < n}, y consideremos el
conjunto X = { x1 , . . . , xn } y la accin de G sobre X tal que
(
xi+1 , si i < n;
t xi =
x1 ,
si i = n.
Entonces k(X )
= kn resulta un k[Zn ]-mdulo extendiendo linealmente esta accin.
Cules son los k[ G ]-submdulos de k(X ) ? Por ejemplo, si S es
un submdulo que contiene a xi0 , entonces txi0 = xi0 +1 S, de
106
3. Mdulos
3.3
Morfismos
3. Morfismos
107
g : N T son dos morfismos de A-mdulos, entonces (verificarlo!) g f : M T tambin lo es. Esto nos dice que los A-mdulos
con sus morfismos como flechas forman una categora.
2. Si V es un k-espacio vectorial y t : V V un endomorfismo,
entonces podemos definir sobre V una estructura de k[ X ]-mdulo
poniendo
P v = P(t)(v),
P k[ X ], v V.
108
3. Mdulos
f n +2
Mn +1
f n +1
Mn
fn
Mn 1
f n 1
...
4. Cocientes
109
Observaciones.
1. La sucesin
/
Decir que esta sucesin es exacta equivale a decir que f es monomorfismo, que g es un epimorfismo y que Im( f ) = Ker( g).
3.4
Cocientes
110
3. Mdulos
4. Cocientes
111
(a) S Ker(S ).
(b) Si f : M N es un morfismo de A-mdulos tal que S Ker( f ),
entonces el siguiente diagrama de flechas llenas se completa de manera nica con la flecha punteada:
M
S
y
<
f y y
M/S
112
3. Mdulos
Ejemplos.
1. Sea V un espacio vectorial de dimensin finita sobre un cuerpo k,
t : V V un endomorfismo. Supongamos que adems existe en V
un vector t-cclico, es decir, un vector v0 V con
4. Cocientes
113
114
3. Mdulos
anillo B y un morfismo Q B, la imagen del 1 tiene que ser necesariamente 1B . Usando la linealidad, vemos inmediatamente que el
morfismo queda unvocamente determinado en Z, y la multiplicatividad implica que queda determinado sobre todo Q. En particular
todo morfismo queda determinado por su restriccin a Z, por lo
tanto la inclusin Z Q es un epimorfismo categrico.
Ejercicio. Si
/
t( M)
M/t( M)
5. Cocientes
115
( f | S ) 1
/
116
3. Mdulos
3.5
Mdulos cclicos
3.6
Suma y producto
Mi = { f
: I i I Mi : f (i ) Mi tal que i I }.
i I
6. Suma y producto
117
i I
es una sucesin exacta corta de A-mdulos. Entonces las siguiente afirmaciones son exactas:
(a) f es una seccin.
(b) g es una retraccin.
118
3. Mdulos
/0
/0
MT
3.7
Ejercicios
Mdulos y morfismos
3.7.1. Sea A un anillo, n 1 y M Mm,n ( A). Muestre que la multiplicacin matricial da un morfismo de A-mdulos
f : x An 7 Mx Am .
7. Ejercicios
119
f , g hom A ( M, N ), m M.
Z ( A) hom A ( M, N ) hom A ( M, N )
poniendo
( a f )(m) = f ( am),
f hom A ( M, N ), a Z ( A), m M.
(b f c)(m) = f (mb)c,
b B, c C, m M.
(b) Sea M un A-mdulo a izquierda. Viendo a A como ( A, A)bimdulo, muestre que hay un isomorfismo de A-mdulos a
izquierda hom A ( A, M)
= M.
120
3. Mdulos
( a, m) A M ( a)m M
hace de M un A-mdulo a izquierda. Lo notamos ( M).
(c) Si f : M N es un morfismo de B-mdulos a izquierda, entonces f : ( M) ( N ) es un morfismo de A-mdulos a
izquieda. Lo notamos ( f ).
(d) Si M y N son B-mdulos a izquierda, la aplicacin
: f homB ( M, N ) 7 ( f ) hom A ( ( M ), ( N ))
es un morfismo de grupos abelianos.
(e) Sean M, N y P B-mdulos a izquierda y sean f : M N y
g : N P son morfismos de B-mdulos. Entonces
( g f ) = ( g ) ( f ).
(f)
7. Ejercicios
121
M0
M00
hom A ( N, M0 )
f N
hom A ( N, M)
gN
hom A ( N, M00 )
es exacta para todo A-mdulo a izquierda N. Hay un enunciado similar que involcre a los morfismos f N y gN ?
(d) Es cierto que si
0
M0
M00
hom A ( N, M0 )
f N
/ hom
A ( N, M )
gN
hom A ( N, M00 )
122
3. Mdulos
v V.
7. Ejercicios
123
Localizacin de mdulos
3.7.19. Localizacin de mdulos. Sea A un anillo, S A un subconjunto central multiplicativamente cerrado y sea M un A-mdulo a
izquierda.
124
3. Mdulos
M
jM
MS
fS
N
jN
NS
M0
M00
7. Ejercicios
125
MS0
fS
MS
gS
MS00
126
3. Mdulos
Captulo 4
Condiciones de cadena sobre
mdulos y anillos
4.1
Mdulos noetherianos
En el contexto de espacios vectoriales sobre un cuerpo k, puede considerarse la dimensin como funcin de los espacios en los
nmeros naturales. Esta funcin es montona con respecto a la inclusin: si S es un subespacio de V entonces dimk (S) dimk (V ).
En particular, si V es finitamente generado, entonces todos sus subespacios tambin lo son. En el caso de mdulos sobre un anillo arbitrario no existe una nocin anloga a la de dimensin y la propiedad
de ser finitamente generado no tiene por qu ser hereditaria, es decir, submdulos de un mdulo finitamente generado no tienen por
qu ser finitamente generados.
El ejemplo clsico es el siguiente. Sea
A = R[0,1] = { f : [0, 1] R},
con la estructura usual de un anillo de funciones y sean M = A y
S = { f A : f ( x ) 6= 0 slo para finitos valores de x }.
El conjunto S es un ideal de A y, por lo tanto, un A-submdulo
de M. M est generado por la funcin constante 1 y, sin embargo,
S no es un A-mdulo finitamente generado. Para ver esto, supongamos que existen f 1 , . . . , f n S tales que h f 1 , . . . , f n i = S. Sea
127
128
{ x1 , . . . xs } [0, 1] el conjunto de todos los puntos x [0, 1] tales que existe i {1, . . . , n} con f i ( x ) 6= 0 (claramente se trata
de un conjunto finito) y sea x0 [0, 1] { x1 , . . . , xs }. Si definimos
: [0, 1] R de manera que ( x0 ) = 1 y ( x ) = 0 si x 6= x0 ,
entonces S pero no puede pertenecer a h f 1 , . . . , f n i.
Tampoco puede asegurarse, para un anillo A arbitrario, que dados un A-mdulo M y un par M1 y M2 de A-submdulos de tipo
finito, esto es, finitamente generados, entonces M1 M2 sea de tipo
finito. Sin embargo, para algunos anillos A (adems de los cuerpos) y ciertos A-mdulos M puede afirmarse que la propiedad de
ser de tipo finito es hereditaria. Por ejemplo, los anillos principales
como Z o k [ X ] (si k es un cuerpo) tienen la propiedad siguiente: todo ideal puede ser generado por un nico elemento. De esta manera
todo Z-submdulo de Z es finitamente generado y lo mismo con los
k [ X ]-submdulos de k[ X ].
La situacin para cocientes es ms sencilla, porque todo cociente
de un mdulo finitamente generado es finitamente generado. Ms
generalmente:
Proposicin 4.1.1. Sea A un anillo cualquiera y sea
0
M1
M2
M3
1. Mdulos noetherianos
129
y = y 0 + ai yi =
i =1
i =1
i =1
bi f ( x i ) + a i y i
h f ( x1 ), . . . , f ( xr ), y1 , . . . , y s i.
130
h x1 , . . . , x n i = N =
Nk .
k N
1. Mdulos noetherianos
131
M0
M00
Im( g| N )
/0
M1
Ln
i =1
Mi
Ln
i =2
Mi
h e1 i h e1 , e2 i h e1 , e2 , e3 i
Como Z(N) es un submdulo de ZN , entonces ZN tampoco es noetheriano.
132
2. El teorema de Hilbert
133
4.2
El teorema de Hilbert
m 1
a i X i } {0}.
i =0
134
(4.1)
3. Mdulos artinianos
135
Z[ d] = { a + b d : a, b Z}.
dC
un epimorfismo de anillos : Z[ X ]
Z
[
d
]
tal
que
(
X
)
=
d.
4.3
Mdulos artinianos
136
Observemos que decir que M es finitamente generado es equivalente a decir que existen n N y un epimorfismo : An M.
Dado un A-mdulo arbitrario M, siempre existe un conjunto I y un
epimorfismo A( I ) M, pues siempre existe un sistema de generadores (por ejemplo I = M). Lo que dice el hecho de que M sea
finitamente generado es que se puede extraer un subconjunto finito de I, de digamos n elementos, de manera tal que la proyeccin
An M siga siendo un epimorfismo. Ms an, en esta afirmacin
se puede cambiar el mdulo que aparece sumado con el ndice I (es
decir A) para pasar a un enunciado ms genrico:
Proposicin 4.3.1. Sea A un anillo y M un A-mdulo. Las siguientes
afirmaciones son equivalentes:
(a) M es finitamente generado.
(b) Si { Ni }i I es una familia arbitraria de A-mdulos y
f :
Ni M
i I
Ni M
i F
es un epimorfismo.
Demostracin. (b) (a) Esta implicacin es evidente si aplicamosla hiptesis al epimorfismo A( M) M tal que em 7 m para todo
m M. Extrayendo un subconjunto finito de ndices se obtiene precisamente un subconjunto finito de generadores.
(b) (a) Sea {m1 , . . . , mr } M un subconjunto finito que geL
nera a M y sea f : i I Ni M un epimorfismo. Entonces, para
L
cada k {1, . . . , r }, existe zk = (zik )i I i I Ni tal que
f (zk ) =
f (zik ) = mk .
i I
3. Mdulos artinianos
137
()
138
3. Mdulos artinianos
139
(c) (a) Supongamos que todo conjunto no vaco de submdulos de M tiene un submdulo minimal. Sea K M un submdulo, { Ni }i I una familia de A-mdulos y f : M/K i I Ni
un monomorfismo. Sea i0 I y Mi0 el ncleo de la composicin
T
M M/K i I Ni Ni0 . Es fcil ver que K = i I Mi . Para ver que M es artiniano, bastar probar entonces que si K M
es un submdulo y S es una coleccin de submdulos de M con
T
T
K = M0 S M0 , entonces existe S0 S finito tal que K = M0 S0 M0 .
Consideremos la familia de submdulos de M
n \
o
P=
M0 : F S es finito .
M0 F
140
(4.2)
En efecto, si X es malo, no puede ser indescomponible, as que existen submdulos Y, Y 0 X tales que X = Y Y 0 . Pero entonces
alguno de Y o Y 0 debe ser malo.
Supongamos que M es malo. Escribamos Y1 = M. Por (4.2),
existen submdulos propios Y0 , Z0 M tales que M = Y0 Z0 y
Z0 es malo. Supongamos ahora, inductivamente, que n 0 y que
hemos construido submdulos Y0 , . . . , Yn , Z0 , . . . Zn de M tales que
Yi = Yi+1 Zi+1 si 1 i < n;
Zi es malo si 0 i n
Aplicando (4.2) a Zn , vemos que existen submdulos no nulos Yn+1
y Zn+1 , no nulos y estrictamente contenidos en Zn , tales que Zn+1 es
malo y Zn = Yn+1 Zn+1 . Esto completa la induccin.
De esta forma, obtenemos una cadena estrictamente decreciente
Z0 ) Z1 ) Zn ) Zn+1 )
y una cadena estrictamente creciente
Y0 ( Y0 Y1 ( (
n
M
i =1
Yi (
n
+1
M
i =0
Yi (
4. Ejercicios
141
4.4
Ejercicios
M0
M00
4.4.9. Sea k un cuerpo, V un k-espacio vectorial de dimensin infinita y A = Endk (V ) el anillo de endomorfisos de V. Muestre que
existe un A-mdulo M no nulo tal que M
= M M.
142
a A.
4. Ejercicios
143
4.4.16. Extensiones de Ore, II. Sea A un anillo y sea : A A un homomorfismo de anillos. Una -derivacin de A es un homomorfismo
de grupos : A A que satisface
( ab) = ( a)(b) + a(b),
a, b A.
a A.
: A A.
144
Captulo 5
Mdulos libres, proyectivos e
inyectivos
5.1
Mdulos libres
146
1. Mdulos libres
147
148
5.2
Sea X un conjunto.
Definicin 5.2.1. Un A-mdulo libre sobre X es un A-mdulo L A ( X )
con una funcin jX : X L A ( X ) tal que si M es un A-mdulo
arbitrario y f : X M es una funcin, entonces existe un nico
morfismo de A-mdulos f : L A ( X ) M tal que f jX = f .
Notemos que la unicidad dice que si , : L A ( X ) M son
morfismos de A-mdulos tales que jX = jX , entonces = .
En el caso de los espacios vectoriales, esto dice precisamente que
basta definir los morfismos sobre una base.
Lema 5.2.2. Si existe un A-mdulo libre sobre X entonces, ste es nico
salvo isomorfismos.
Teorema 5.2.3. Para todo conjunto X existe un A-mdulo libre sobre X.
Demostracin. Sea L A ( X ) = A X = xX A y sea jX : X L A ( X )
definida por jX () = e = (e )X tal que e = . Todo elemento
de L A ( X ) se escribe como X a e con soporte sop( a ) finito.
Si M es un A-mdulo y f : X M es una funcin, hay una
nica aplicacin tal que
L
f ( a e ) =
X
a f (e ) =
a f ( jX ()) =
a f ( ).
149
Ejemplos.
1. Si X = {} es un conjunto con un nico elemento, entonces
L A (X)
= A.
2. Si X = N, entonces L A ( X )
= AN .
A continuacin caracterizaremos los A-mdulos libres, mostrando que todo A-mdulo libre es isomorfo a un mdulo del tipo A( I ) ,
para algn conjunto I.
Proposicin 5.2.4. Si M es un A-mdulo, las siguientes afirmaciones son
equivalentes:
(a) M es un A-mdulo libre con base { xi }i I .
(b) Sea i : a A 7 axi M. Entonces = i I i : A( I ) M es
un isomorfismo, o sea que M es un A-mdulo libre sobre I.
(c) Para todo A-mdulo N y para todo subconjunto {yi }i I N, existe
un nico morfismo de A-mdulos f : M N tal que f ( xi ) = yi .
Demostracin. (a) (b) Sea z A( I ) tal que (z) = 0. Escribamos
z = i I ai ei , con la familia ( ai )i I A de soporte finito. Entonces
0 = (z) = i I ai xi . Como el conjunto { xi : i I } es linealmente
independiente, los ai deben ser todos cero. Luego z = 0 y consecuentemente es un monomorfismo. Por otro lado (ei ) = xi , as
que la imagen de contiene a un conjunto de generadores. Esto nos
dice que tambin es un epimorfismo, as que es un isomorfismo.
(b) (c) La demostracin es igual que para el caso de espacios
vectoriales. En primer lugar, est claro que de existir un tal morfismo, es nico, pues est determinado su valor en los xi y stos generan a M. Para demostrar la existencia se extiende linealmente el valor de f en la base. Si x M, por ser { xi }i I un sistema de generadores, x = i I ai xi (suma con soporte finito) y esa escritura es nica
debido a la independencia lineal (en efecto, si i I ai xi = i I ai0 xi ,
entonces i I ( ai ai0 ) xi = 0 y vemos que ai ai0 = 0 para todo
i I). Luego est bien definida la funcin f ( x ) = i I ai yi . La verificacin de que f es un morfismo de A-mdulos es inmediata.
(c) (a) Veremos que si M satisface (c), entonces M
= A( I ) .
Sean N = A( I ) e yi = ei para todo i I. Entonces existe un nico
morfismo f : M A( I ) tal que f ( xi ) = ei . Consideremos la composicin f : M M. Como f ( xi ) = xi , es claro que f
coincide con Id M en los xi . Luego, (eligiendo N = M e yi0 = xi ) por
150
i I
i I
a i ei ,
i I
j J
151
Demostracin. Sea
E = {E 0 : E0 M, E E0 X y E0 es linealmente independiente},
ordenado por inclusin. Observemos que este conjunto no es vaco,
ya que E E . Si F es una cadena creciente contenida en E , pongaS
mos E00 = Y F Y. Entonces E00 es un conjunto linealmente independiente. y E E00 X. Luego E00 es una cota superior de F en E .
Por el Lema de Zorn, entonces, E tiene algn elemento maximal B.
El conjunto B es linealmente independiente y E B X. Falta
ver que B genera a M. Para eso es suficiente mostrar que B genera
a X. Sea x X. Si x B, no hay nada que hacer. Si no, como B es
maximal en E , B { x } no es linealmente independiente, as que
existe una combinacin lineal ax + a x = 0 con a A no nulo y
a A, x B. Como A es un anillo de divisin podemos despejar
x = a 1 a x .
Corolario 5.2.8. Si A es un anillo de divisin, entonces todo A-mdulo
no nulo es libre.
Observemos que si M es un A-mdulo libre y f : N M es
un epimorfismo, entonces existe una seccin g : M N tal que
f g = Id M . En efecto, si { xi }i I es una base de M, existen ni N
tales que f (ni ) = xi porque f es un epimorfismo y podemos definir
entonces g( xi ) = ni y extender por linealidad. Vemos as que todo
epimorfismo con imagen en un mdulo libre M es una retraccin.
De manera anloga, puede probarse que los mdulos libres tienen una propiedad de levantamiento de morfismos. Consideremos el siguiente diagrama de flechas llenas:
z
e
h z
M1
z
|z f
M
M2
152
M1
z
|z f
M
M2
Para cualquier epimorfismo f : M1 M2 entre dos A-mdulos arbitrarios y para cualquier morfismo h : M M2 , existe un morfismo
e
h : M M1 (no necesariamente nico) tal que f e
h = h.
Demostracin. Sea { xi }i I una base de M. Como f es un epimorfismo, para cada xi existe un mi M1 tal que h( xi ) = f (mi ). Definimos
f : M M1 poniendo e
h( xi ) = mi para cada i I y extendiendo
e
por linealidad. Como f (h( xi )) = f (mi ) = h( xi ), entonces f e
h = h,
ya que ambos morfismos coinciden en una base.
Observamos que la propiedad de que todo epimorfismo que tiene como codominio a un libre es una retraccin puede obtenerse
como consecuencia de la proposicin anterior, tomando M2 = M y
h = Id M .
Corolario 5.2.10. Sea M un A-mdulo y S M un submdulo. Si M/S
es libre, entonces S es un sumando directo de M.
Demostracin. Basta ver que la sucesin exacta corta
0
M/S
153
S Fi
Im()
=
S Fi
es libre, S Fi es un sumando directo de S Fi , esto es, existe un
submdulo Ci M tal que S Fi = (S Fi ) Ci .
L
Queremos ver que S =
i I Ci . Esto implicar que S es libre,
porque cada Ci lo es (notar que Ci
= Im(), que es libre). Es claro que cada Ci es un sumando directo de S. Queremos ver que
L
i I Ci = S.
154
i I
Ci }.
5.3
Nocin de rango
3. Nocin de rango
155
Sea C = xS Cx . Como S genera V, entonces C = I: supongamos que C est incluido estrictamente en I y sea i0 I C. Como
vi0 = as s (con soporte finito) resulta combinacin lineal de los
otros elementos de la base. Luego S tambin es infinito y #I = #C.
Como cada Cx es finito y los conjuntos Cx pueden intersecarse, se
tiene que #C #S.
La siguiente proposicin da otros ejemplos de anillos con nocin
de rango.
Proposicin 5.3.3. Sea A un anillo tal que existe un anillo de divisin D
y un morfismo de anillos f : A D, entonces A tiene nocin de rango.
Demostracin. D admite una estructura de A-mdulo a partir de f .
Sea L un A-mdulo libre y { xi }i I , {y j } j J dos bases de L. Sea finalmente g : L A( J ) un isomorfismo.
El conjunto { g( xi )}i I es una base de A( J ) . Si {e j } j J es la base
cannica de A( J ) , entonces existen elementos aij A tales que, para
todo j J, e j = i I aij g( xi ). El morfismo de A-mdulos f : A D
induce un morfismo h = f ( J ) : A( J ) D ( J ) , que sobre los elementos
de la base cannica vale h(ek ) = { f (jk )} j J = {jk } j J , es decir, que
da la base cannica de D ( J ) . Como
h(ek ) = h aik g( xi ) = aik hg( xi ),
i I
i I
156
Demostracin. A posee un ideal maximal m. Podemos considerar entonces la proyeccin cannica A A/m.
L
A = { a A : b1 , . . . , br A con
bi xi + axr+1 Mr+1 }.
i =1
Se puede ver fcilmente que A es un ideal de A y, como A es principal, existe ar+1 A tal que A = h ar+1 i. Si es ar+1 = 0, entonces
Mr+1 = Mr y por lo tanto rg( Mr+1 ) r < r + 1. Si no, sea x Mr+1
+1
y escribamos x = ri=
1 ci xi . El coeficiente cr +1 resulta entonces divisible por ar+1 , as que existe a A tal que x aar+1 xr+1 Mr . Esto
dice que Mr+1 = Mr + h ar+1 xr+1 i, pero adems esta suma es directa
porque porque los xi son linealmente independientes. Concluimos
que rg( Mr+1 ) = rg( Mr ) + 1 r + 1.
5.4
El funtor Hom
Si M y N son dos A-mdulos a izquierda, consideremos el conjunto Hom A ( M, N ) de los morfismos de A-mdulos. Recordemos
que es un grupo abeliano con respecto a la suma punto a punto,
esto es, es un subgrupo de M N .
Si k es un cuerpo, V un k-espacio vectorial de dimensin n y
W un k-espacio vectorial de dimensin m, entonces sabemos que
4. El funtor Hom
157
Homk (V, W ), adems de ser un grupo abeliano, es un espacio vectorial de dimensin nm.
En el caso general de mdulos sobre un anillo A, uno se pregunta sobre la estructura de Hom A ( M, N ). En general, no es posible
darle siempre una estructura de A-mdulo: consideraremos a continuacin las posibles estructuras de mdulo sobre algn anillo que
puede admitir Hom A ( M, N ).
Sea B el anillo End A ( M )op y C = End A ( N )op . M no slo es un
A-mdulo a izquierda sino tambin un B-mdulo a derecha y las
acciones conmutan, es decir, M es un A-B-bimdulo. De manera
similar, N es un A-C-bimdulo.
Como la composicin de morfismos A-lineales es un morfismo
A-lineal, la aplicacin
(b f ) : m M 7 f (mb) N
y
( f c) : m M 7 f (m)c N
Ejercicio. Verificar la asociatividad de las acciones y la compatibilidad de ambas.
Observaciones.
1. Si M y N son A-mdulos, siempre puede tomarse B = C = Z.
Entonces M y N son A-Z-bimdulos, de manera que Hom A ( M, N )
tiene una estructura de Z-Z-bimdulo, es decir, de grupo abeliano.
Esta estructura concida con la usual.
158
( f a)(m) = f (m) a
para cada f M , a A y m M.
Ejemplo. Sea k un anillo conmutativo, G un grupo (o un semigrupo) y k [ G ] el anillo del grupo. Homk (k [ G ], k) es un k [ G ]-bimdulo
isomorfo a k G . El isomorfismo est dado por:
k G Homk (k[ G ], k)
f 7
g g 7 g f ( g)
g G
g G
En particular, k[ x ]
= kJxK.
Sea ahora
tal que
A MB
4. El funtor Hom
(i)
(ii)
(iii)
(iv)
(v)
159
( f f 0 ) = f f 0 .
(Id N ) = IdHom A ( M,N ) .
( f + f 0 ) = f + f 0 .
f (b.g) = b. f ( g) (b B).
f ( g.c) = f ( g).c (c C).
/Y
Hom A ( M, X )
/ Hom
A ( M, Y )
Hom A ( M, Z )
160
(a) La sucesin 0
/
Hom A ( R, M)
N
/
T es exacta si y slo si
g
Hom A ( R, N )
Hom A ( R, T )
Hom A ( T, R)
T
/
0 es exacta si y slo si
Hom A ( N, R)
Hom A ( M, R)
0
0
Hom A ( A, M)
Hom A ( A, N )
Hom A ( A, T )
en donde las flechas dobles verticales indican los isomorfismos naturales notemos que la definicin de naturalidad de estos isomorfismos es justamente la conmutatividad de estos cuadrados. Luego,
al ser exacta la sucesin de abajo, tambin lo es la de arriba.
La segunda afirmacin es un poco ms sutil, pero igualmente es
fcil eligiendo en cada caso un R conveniente. Vemos por ejemplo
5. El funtor Hom
161
que la frase g : Hom A ( T, R) Hom A ( N, R) es un monomorfismo para todo A-mdulo R es justamente la definicin categrica
de epimorfismo, por lo tanto ya sabemos que g es epimorfismo.
Sabemos f g = 0, de manera que ( g f ) = f g = 0 para
todo A-mdulo R. Luego si h : R T es un morfismo cualquiera,
resulta que h g f : M T es el morfismo nulo. En particular,
si tomamos R = T y h = IdT obtenemos que g f es cero y por lo
tanto Im( f ) Ker( g). Veamos por ltimo la inclusin inversa.
Tomando R = N/ Im( f ), tenemos la sucesin exacta
0
Hom A ( T, N/ Im( f ))
/
Hom A ( N, N/ Im( f ))
/
/
Hom A ( M, N/ Im( f ))
162
5.5
Mdulos proyectivos
ZO
M
Observaciones.
1. Vimos en la seccin anterior que todo A-mdulo libre es proyectivo.
2. Un cociente de un mdulos proyectivos no es necesariamente
proyectivo. Por ejemplo, Z/nZ
= Zn .
3. Los submdulos de proyectivos no son necesariamente proyectivos. Por ejemplo, considerar A = M = Z4 y el submdulo 2Z4 . Se
deja como ejercicio verificar que 2Z4 no es proyectivo.
4. Las localizaciones de proyectivos no son necesariamente proyectivas: sean A = M = Z y S = {2n : n N0 } consideremos la
proyeccin cannica : Z Z3 . Es HomZ (ZS , Z)= 0 pero el morfismo
n
ZS 7 (n2n ) Z3
n
2
est bien definido (porque 2 es el inverso de 2 en Z3 ) y no es cero.
Luego no puede haber un epimorfismo de HomZ (ZS , Z) = 0 en
HomZ (ZS , Z3 ) 6= 0.
5. Veremos como corolario de la siguiente proposicin que un sumando directo de un proyectivo es proyectivo.
5. Mdulos proyectivos
163
/Y
se parte.
(c) M es sumando directo de un A-mdulo libre.
Demostracin. (a) (b) . Sea M un A-mdulo proyectivo y consideremos una sucesin exacta
/
/Y
Tenemos un diagrama
Y `@
id
@ id
@
M
La existencia de id : M Y tal que p id = Id M se debe a la
proyectividad de M. Luego la sucesin se parte.
(b) (c) Dado M, sabemos que existe un conjunto I y un epimorfismo : A( I ) M. Consideremos la sucesin exacta corta
0
Ker( )
A( I )
164
/Y
O
/
g 2 2
MO
2
2
A( I )
Definimos g = gi : M X. Es claro que se trata de un morfismo
de A-mdulos y adems
f g = f ( gi ) = ( f g )i = ( g )i = g(i ) = gId M = g.
Por lo tanto M es proyectivo.
Observacin. Si M es es un A-mdulo finitamente generado, existe
siempre un epimorfismo A( I ) M con I finito. Si adems M es
proyectivo, existe n N tal que M es sumando directo de An .
Corolario 5.5.3. Dada una familia de A-mdulos ( Mi )i I , se tiene que:
L
(a)
i I Mi es proyectivo si y slo si cada Mi es proyectivo.
(b) Si i I Mi es proyectivo entonces cada Mi es proyectivo. La recproca no es necesariamente cierta.
Demostracin. Sea f : X Y un epimorfismo y consideremos el
cuadrado conmutativo:
Hom A (
i I
Mi , X )
i I Hom A ( Mi , X )
f i
Hom A (
i I
Mi , Y )
i I Hom A ( Mi , Y )
Mi : mi0 = 0}.
i I
6. Anillos hereditarios
165
5.6
Anillos hereditarios
166
C = {i I : S Li0 Tj 6= };
j I
167
Observaciones.
1. Si A es un dominio ntegro y principal, entonces A es hiperhereditario.
2. Si A es un anillo conmutativo e hiperhereditario, entonces A es
un dominio principal. En efecto, sea I un ideal de A. Dos elementos a, b I no pueden ser linealmente independientes, ya que es
ab + (b) a = 0. As, la cantidad mxima de elementos de una base
de I es uno, esto es, I es un ideal principal.
3. Si A es un dominio ntegro, A es principal si y slo si es hiperhereditario.
4. En el caso particular en que A = Z, vemos que todo subgrupo de
un grupo abeliano libre es libre.
5.7
168
m
MK .
1
MK
Ker( p)
p( M)
Como M es finitamente generado como A-mdulo y todos los morfismos son A-lineales, la imagen de p es finitamente generada como
A-mdulo. Esto implica (por el Lema anterior) que p( M)
= Ay
8. Mdulos inyectivos
169
t( M)
M/t( M )
5.8
Mdulos inyectivos
/Y
la sucesin
0
Hom A ( Z, M)
Hom A (Y, M)
Hom A ( X, M)
170
es exacta. Resulta natural preguntarse, en caso de que f sea un monomorfismo, si f es epimorfismo o no. La respuesta es que en general sto no es cierto, como se puede ver con el siguiente (contra)ejemplo:
Ejemplo. Tomemos X = Y = Z y sean f : X Y el morfismo
tal que f (n) = 2n y g : Z Z2 la proyeccin cannica a Z = Z2 .
Tenemos la siguiente sucecin exacta:
0
/Z
Z2
HomZ (Z2 , Z2 )
Z2
HomZ (Z, Z2 )
Z2
HomZ (Z, Z2 )
Z2
Esta sucesin no puede ser extendida por cero a la derecha manteniendo la exactitud porque, en caso contrario, la dimensin como
Z2 -espacio vectorial del objeto del medio sera la suma de las dimensiones de los objetos de las puntas. En efecto, podemos explicitar f : si HomZ (Z, Z2 ),
f ()(1) = ( f (1)) = (2) = 2(1) = 0,
as que f = 0. Evidentemente, entonces, f no es epimorfismo.
Notemos que el problema se debe a la 2-torsin de Z2 : si hubieramos puesto un Z-mdulo divisible, el razonamiento para ver
que f = 0 no habra funcionado. Veremos luego que si M es un
Z-mdulo divisible entonces HomZ (, M) s es exacto.
Definicin 5.8.1. Un A-mdulo M se llama A-inyectivo si el funtor
Hom A (, M) : A Mod Ab es exacto.
As, un A-mdulo M es inyectivo si y slo si Hom A (, M) transforma monomorfismos en epimorfismos, si y slo si dado el siguiente diagrama de flechas llenas de A-mdulos se lo puede completar
(de manera no necesariamente nica) con la flecha punteada de manera tal que el diagrama completo sea conmutativo:
0
/Y
h ~
e
h
~~
/Z
~
8. Mdulos inyectivos
171
Observacin. Si M es un A-B-bimdulo, el funtor Hom A (, M) toma valores en la categora ModB . Como una sucesin de B-mdulos
es exacta si y slo si es exacta vista como sucesin de grupos abelianos, un A-B-bimdulo A MB es inyectivo como A-mdulo si y slo
si el funtor Hom A (, M) : A Mod ModB es exacto.
Ejemplos.
1. Z no es un Z-mdulo inyectivo. Consideramos, para ver sto, el
diagrama en el que las flechas son la inclusin Z , Q y la identidad
de Z en Z:
/
id
Z
Es claro que no hay ningn morfismo Q Z que restringido a Z
sea la identidad, pues de hecho no hay ningn morfismo no nulo
de Q en Z.
2. Si k es un cuerpo, todo k-espacio vectorial es k-inyectivo.
3. Si A es un dominio ntegro y K es su cuerpo de fracciones, entonces K es un A-mdulo inyectivo. Sea S = A {0}; recordemos que
si f : X Y es un monomorfismo, entonces f S : XS YS tambin
lo es.
Si ahora g : X K es un morfismo cualquiera de A-mdulos,
tenemos el siguiente diagrama:
0
XA
/Y
BB Y
BB iS
BB
BB
fS
/
g
XS
n YS
n
}
gS }
n n
} n n ge
S
vn~} n
AA i X
AA S
AA
A
Las flechas llenas f y g son los datos originales y, por otro lado,
iSX : x X 7 1x XS e iYS son las flechas cannicas de localizacin. Como los elementos de S son inversibles en K, el morfismo
g : X K se factoriza a travs de XS mediante gS . Si ahora slo consideramos XS , YS y K, el diagrama est en la categora de K-espacios
172
f i
Hom A ( X, i I Mi )
i I Hom A ( X, Mi )
sea i0 I. Entonces M =
i I {i0 } Mi Mi0 . La primera parte
implica entonces que tambin Mi0 inyectivo.
L
El siguiente resultado dice que para verificar la exactitud a derecha de Hom A (, M ), basta aplicar el funtor a las inclusiones J , A,
donde J recorre el conjunto de ideales de A.
8. Mdulos inyectivos
173
~
/A
~
Demostracin. Es claro que si M es inyectivo, entonces tiene la propiedad del enunciado. Veamos ahora que un mdulo M con esa
propiedad de extensin con respecto a ideales de A es en efecto un
A-mdulo inyectivo.
Dado un diagrama de lneas llenas
0
f ~~
~~ f
/Y
~
(Y 0 , f 0 ) (Y 00 , f 00 ) Y 0 Y 00 y f 00 |Y0 = f 0 .
Es fcil ver que (Y, ) es un conjunto inductivo superiormente, as
que tiene algn elemento maximal (Y0 , f 0 ).
Supongamos que Y0 ( Y y sea y Y Y0 . Entonces hy, Y0 i
contiene estrictamente a Y0 . Sea J = { a A : ay Y0 }; como Y0 es
un submdulo de Y, J es un ideal de A (verificarlo!). Sea : J M
tal que ( a) = f 0 ( ay) para cada a J. Por hiptesis, se puede
extender a : A M. Veamos que f 0 se puede extender a un
morfismo f 1 : hy, Y0 i M.
Sea x = ay + y0 donde a A e y0 Y0 . Ponemos
f 1 ( x ) = ( a ) + f 0 ( y0 )
174
( a a0 )y = y00 y0 Y0 ,
es decir, ( a a0 ) J, as que
( a) ( a0 ) = ( a a0 ) = ( a a0 )
= f 0 (( a a0 )y) = f 0 (y00 y0 )
= f 0 (y00 ) f 0 (y0 )
Reordenando los trminos de estas igualdades, vemos que
( a) + f 0 (y0 ) = ( a0 ) + f 0 (y00 ).
Esto nos dice que la funcin est bien definida. Es claro, adems,
que (Y0 , f 0 ) < (hy, Y0 i, f 1 ) en Y. Esto contradice la maximalidad de
(Y0 , f 0 ), s que debe ser Y0 = Y.
Ejercicio. Utilizando el teorema anterior, dar una nueva demostracin de que Q es un Z-mdulo inyectivo.
Ejemplo. Q/Z es un Z-mdulo inyectivo, as como tambin Z p para cualquier primo p.
Definicin 5.8.4. Un A-mdulo M se dice divisible si para cualquier
a A no nulo y cada m M, existe m0 M tal que am0 = m.
Ejemplo. Q es un Z-mdulo divisible.
Para obtener ms ejemplos de mdulos inyectivos, probaremos
los siguientes dos lemas:
Lema 5.8.5. Un grupo abeliano G es divisible si y slo si es un Z-mdulo
inyectivo.
Demostracin. Para ver la suficiencia de la condicin, utilizaremos el
Teorema de Baer, es decir, probaremos que todo diagrama de grupos
abelianos
0
I
8. Mdulos inyectivos
175
/Z
n /
hg
hg
176
hmi
/M
|
|
| f
m
}|
Dm
8. Mdulos inyectivos
177
Dm
m M{0}
178
/Y
se parte.
Adems, cualquiera de las dos afirmaciones implica que M es un sumando
directo de un cogenerador.
Demostracin. (a) (b) Consideremos el diagrama
/
Id M
~}
/X
}
Sabemos que existe una flecha punteada que hace conmutar el diagrama, porque M es inyectivo. Esto nos dice que la sucesin
0
/Y
se parte.
(b) (a) Supongamos que M es un A-mdulo que satisface la
condicin (b). Existe un monomorfismo f : M I con I inyectivo.
Consideremos la sucesin exacta corta
0
Coker( f )
9. Ejercicios
179
Sabemos que esta sucesin se parte, as que M es un sumando directo de un inyectivo. En particular, es un factor directo y vemos que
M es inyectivo.
Veamos finalmente que si M satisface la condicin (b), entonces
M es sumando directo de un cogenerador.
Sea M un tal mdulo. Sabemos que HomZ ( A, Q/Z) es un cogenerador en la categora de A-mdulos. En particular, existe un conjunto I y un monomorfismo f : M HomZ ( A, Q/Z) I . La sucesin
exacta
0
HomZ ( A, Q/Z) I
Coker( f )
5.9
Ejercicios
Torsin y divisibilidad
Definicin. Sea A un anillo y M un A-mdulo. Decimos que M es
divisible si para cualquier cualquier a A y m M tales que a 6= 0,
existe m0 M tal que am0 = m.
5.9.18. Sea G =
unidad.
n N
180
9. Ejercicios
181
182
y y = 0,
x y = xy,
y x = xy.
P00
X0
X 00
P0 y P00 son proyectivos y la fila es exacta, entonces puede completarse al siguiente diagrama de filas exactas, con P tambin
proyectivo:
/
0
0
P0
P
X0
X
P00
X 00
0
0
XO 0
0
I 00O
X
XO 00
0
9. Ejercicios
183
I 0 e I 00 son inyectivos y la fila es exacta, entonces puede completarse al siguiente diagrama de filas exactas, con I tambin
inyectivo:
/ I0
O
0
/
XO 0
IO
/
XO
0
/ I 00
O
/
XO 00
Pp1
Pp
P1
P0
Pp
Pp1
P1
P0
Q p 1
Qp
Q1
Q0
son resoluciones proyectivas de M y N, respectivamente, entonces existen morfismos f p : Pp Q p para cada p 0 que
hacen conmutar el siguiente diagrama:
/
Pp
fp
Qp
Pp1
f p 1
Q p 1
P1
f1
Q1
P0
f0
Q0
184
5.9.36. Enuncie y pruebe resultados anlogos a los del ejercicio anterior para resoluciones inyectivas.
5.9.37. Sea EndR (Rn ) y consideremos a Rn como un R[ X ]mdulo en el que multiplicacin por x est dada por la transformacin lineal .
(a) Supongamos que la matriz de en la base cannica es o bien
una matriz simtrica o bien es una matriz ortogonal. Mostrar
que todo R[ X ]-submdulo de Rn es un sumando directo.
(b) Dar ejemplos de endomorfismos EndR (Rn ) para los cuales el R[ X ]-mdulo Rn posea R[ X ]-submdulos que no sean
sumandos directos.
5.9.38. Z no es un Z-mdulo inyectivo.
5.9.39. Si A es un dominio de integridad y K es su cuerpo de fracciones, entonces K es un A-mdulo inyectivo.
5.9.40. Sea G un grupo finito y k un cuerpo tal que | G | es inversible en k. Mustrar que todo k[ Q]-mdulo es proyectivo e inyectivo.
Todo k[ G ]-mdulo es necesariamente libre?
5.9.41. Si A un un anillo de divisin, todo A-modulo es inyectivo y
proyectivo.
5.9.42. Sea A un anillo tal que existe un mdulo que no es proyectivo. Debe existir algn mdulo cclico no proyectivo? Debe A tener
algn ideal no proyectivo?
5.9.43. Describir todos los Z-mdulos proyectivos de tipo finito y,
cuando k es un cuerpo, todos los k[ X ]-mdulos proyectivos de tipo
finito.
9. Ejercicios
185
M0
f0
N0
M
M00
f 00
N 00
M1
M2
N1
M3
N2
M4
N3
M5
N4
N5
186
izquierdos
0
0
0
0
M0
N0
P0
0
M
N
P
0
M00
N 00
P00
0
0
en el que las tres columnas y las dos primeras (o las dos ltimas)
filas son exactas. Entonces la tercera fila tambin es exacta.
Captulo 6
Teoremas de estructura
Este captulo tratar dos situaciones diferentes en donde hay
una descripcin completa de la categora de mdulos o de la categora de mdulos finitamente generados. Comenzaremos con los
anillos semisimples y luego veremos el teorema de estructura de
mdulos finitamente generados sobre anillos principales.
Estos teoremas de estructura tienen muchsimas aplicaciones.
Particularmente, remarcamos el caso de representaciones de grupos finitos sobre k-espacios vectoriales, cuando la caracterstica de k
no divide al orden del grupo, como caso de categora semisimple,
e indicamos como obtener la forma normal de Jordan de un endomorfismo de un espacio vectorial como aplicacin del teorema de
estructura sobre un dominio principal.
6.1
188
6. Teoremas de estructura
Sea A un anillo con la propiedad de que todo A-mdulo a izquierda es proyectivo y sea B un subconjunto de A, maximal con
respecto a las siguientes dos propiedades
b B sii hbi es simple; y
T
si b, b0 B y b 6= b0 , entonces hbi hb0 i = {0}.
Sea M = b B hbi. Es fcil ver que la suma es necesariamente directa. Afirmamos que M = A.
Para llegar a un absurdo, supongamos que no es este el caso.
Existe entonces un ideal a izquierda maximal I tal que M I. Como
A/I es un A-mdulo simple y por lo tanto cclico, existe b A tal
que hr i es simple y hr i
= A/I. Por hiptesis, A/I es un A-mdulo
proyectivo, as que consderando la sucesin exacta evidente
0
A/I
vemos que A
= I A/I. Pero entonces hr i M I, lo que es un
absurdo. Concluimos que debe ser M = A, como afirmamos, y que
el A-mdulo A A es suma directa de submdulos simples.
Definicin 6.1.1. Un A-mdulo M es semisimple si M es suma directa de submdulos simples. El anillo A es semisimple si A, considerado como A-mdulo a izquierda, es semisimple.
Ejemplos.
1. Todo mdulo simple es semisimple. En particular, el mdulo {0}
es semisimple.
2. Si k es un cuerpo, todo k-espacio vectorial es k-mdulo semisimple.
3. Si k es un cuerpo y A = k k (n-factores), entonces A es un
anillo semisimple.
4. Z no es un Z-mdulo semisimple pues los ideales de Z no son
sumandos directos de Z.
5. Un grupo abeliano G es simple si y slo si G
= Z p para algn
nmero primo p. G es semisimple si y slo si
G
=
( Ip )
Zp
p primo
189
(6.1)
190
6. Teoremas de estructura
F = {J I : T
Mi = {0}}.
i J
191
Zp
Z p2
Zp
/Y
/Y
se parte, M es inyectivo.
(f) (g) Esto es inmediato.
(g) (h) Sea I un ideal. Por hiptesis, I es inyectivo, as que la
sucesin exacta
0
A/I
192
6. Teoremas de estructura
A/I
193
y
0
a 1
0
0
a 0
b 0
0 0
.
1 0
1
|G|
g ( g1 m)
g G
1
|G|
1
|G|
g ( g1 s) =
g G
1
|G|
gg1 s
g G
s = |G| s = s.
|G|
g G
1
|G|
g ( g1 hm);
g G
=
=
1
|G|
1
|G|
g ( g1 hm) =
g G
g0 G
= h(m)
hg ( g
1 1
1
|G|
g0 (( g0 )1 hm)
g G
hm) =
1
h
|G|
g0 G
g ( g
m)
194
6. Teoremas de estructura
Mr i ( Di ) .
i =1
{ Li,j : 1 i N, 1 j ri }
tales que
L
Lri
A
= iN=1 j=
1 Li,j
Li,j = L 0 0 sii i = i0 .
ij
Escribamos Ai =
anillos
A
op
Lr j
j =1
= Hom A ( A, A)
= Hom A (
N
M
Ai ,
i =1
N
M
N
M
Aj )
j =1
Hom A ( Ai , A j ).
i,j=1
N
M
Hom A ( Ai , Ai ).
(6.2)
i =1
ri
M
j,j0 =1
Lri
j =1
Li,j ,
195
196
6. Teoremas de estructura
d
f
dX
para todo f k[ X ].
Es fcil ver que [ p, q] = 1 (verificarlo!). Usando esto, se puede
ver que { pi q j : i, j N0 } es una base de A1 (k) como k-espacio vectorial. Si P A1 (k ) se escribe de la forma P = in=0 f i (q) pi , en donde
cada f i es un polinomio en q y f n 6= 0, diremos que el grado de P
es n y que el polinomio f n k[q] es el coeficiente principal de P.
Dejamos como ejercicio verificar que:
Si P A1 (k ) es un elemento de grado n con coeficiente principal f n , entonces [ P, q] es un elemento de grado n 1 y su
coeficiente principal es n f n .
Si f k[q], entonces [ p, f ] = f 0 .
Usando estas dos afirmaciones, es fcil ver que A1 (k) no tiene ideales bilteros propios. En efecto, supongamos que I es un ideal biltero no nulo de A1 (k).
Sea P0 I un elemento no nulo arbitrario y sea g el grado de P0 .
Definamos inductivamente Pi+1 = [ Pi , q] para cada i N0 . Entonces
es fcil ver, usando la primera afirmacin, que Pg es un elemento
no nulo de I k[q]. Escribamos Q0 = Pg y sea d el grado de Q0
en k[q]. Definamos Qi+1 = [ p, Qi ] para cada i N0 . Usando ahora la
segunda afirmacin, vemos que Qd es un elemento no nulo de I k.
Como es inversible, vemos que I = A1 (k).
6.2
Comenzaremos recordando algunas definiciones generales y daremos algunas propiedades bsicas de los dominios principales que
se utilizarn luego.
Definicin 6.2.1. Sea A un dominio ntegro. Diremos que A es eucldeo si existe una funcin d : A {0} N0 tal que
si r, s A {0}, d(r ) d(rs);
si a, b A y b 6= 0, existen q, r A tales que a = bq + r con
r = 0 d (r ) < d ( b ).
198
6. Teoremas de estructura
200
6. Teoremas de estructura
Muestre que si un conjunto de elementos de A posee un mximo comn divisor, ste esta unvocamente determinado a menos
de multiplicacin por unidades de A. Adems, muestre que todo
conjuntofinito de elementos de un dominio de factorizacin nica
posee un mximo comn divisor.
Si A es un dominio de factorizacin nica y f A[ X ], decimos
que f es primitivo si el mximo comun divisor de los coeficientes
de f es 1.
Lema 6.2.4. (Lema de Gauss) Sea A un dominio de factorizacin nica
y f , g A[ X ]. Si f y g son primitivos, entonces f g es primitivo.
Demostracin. Por el absurdo, supongamos que f g no es primitivo y
sea p A un elemento primo de A que divide a todos los coeficientes de f g. Consideremos la proyeccin cannica : A A/h pi
sobre el cociente A/h pi y notemos tambin : A[ X ] ( A/h pi)[ X ]
a la extesin de a los anillos de polinomios.
Como p es primo, A/h pi es un dominio ntegro, as que en anillo
( A/h pi)[ X ] tambin es un domnio ntegro. La eleccin de p implica
que ( f ) ( g) = ( f g) = 0, as que ( f ) = 0 o ( g) = 0. Pero esto
es imposible, porque ambas posibilidades contradicen la hiptesis
hecha sobre f y g.
Teorema 6.2.5. Si A es un dominio de factorizacin nica, entonces A[ X ]
tambin lo es.
Demostracin. Sea f A[ X ] {0}. Sean c A y g A[ X ] tales que
f = cg y g es primitivo.
Sea F el cuerpo de fracciones de A. Como F [ X ] es un dominio de
factorizacin nica y g A[ X ] F [ X ], existe una factorizacin
g = ba h1 hk ,
con a, b A, b 6= 0 y h1 , . . . , hk F [ X ] polinomios irreducibles.
Sin prdida de generalidad, a menos de cambiar a y b, podemos
suponer que para todo i {1, . . . , k}, el polinomio hi tiene sus coeficientes en A y es primitivo. En ese caso, cada hi es un elemento
irreducible de A[ X ].
Como es bg = ah1 hk y como el polinomio h1 hk es primitivo por el lema de Gauss, vemos que existe u U ( A) tal que a = ub.
201
Luego g = uh1 hk y, en definitiva, f = uch1 hk . Factorizando ahora a c como producto de irreducibles de A, obtenemosuna
factorizacin de f como producto de irreducibles de A[ X ].
La unicidad de la factorizacin obtenida sigue de la unicidad de
la factorizacin en F [ X ] y de la unicidad de la factorizacin de c
en A.
Ejemplo. El anillo Z[ x ] es un dominio de factorizacin unica y no
es un dominio de ideales principales: por ejemplo, el ideal h2, X i no
es principal. De la misma forma, si k es un cuerpo, k[ X1 , . . . , Xn ] es
un dominio de factorizacin nica que es de ideales principales slo
cuando n = 1.
6.3
Hemos visto en la seccin de mdulos libres que si M es un mdulo finitamente generado sobre un dominio de ideales principales
A, entonces M
= t( M) Ar para un r N0 unvocamente determinado. El objetivo de esta seccin es describir completamente los
mdulos sobre un dominio principal que son finitamente generados
y de torsin.
Lema 6.3.1. Sea A un dominio de ideales principales. Sea L un A-mdulo
libre y sea M L un submdulo no nulo. Entonces existen z L no nulo,
un submdulo S de L y c A tales que
L = hzi S;
T
M = hczi (S M ); y
si f : L A es un morfismo de A-mdulos tal que f (z) = 1,
entonces es f ( M) = hci.
Demostracin. Sea { x j : j J } una base para L y sea { f j : j J } la
base dual. Consideremos el conjunto
202
6. Teoremas de estructura
Ker(h)
/ Im( h )
203
204
6. Teoremas de estructura
h ei i
M
= L s i =1
= L/ Ker( p)
=
i =1 h d i e i i
r
M
A/hdi i.
i =1
r
M
A/hdi i,
i = m +1
A/hdi i.
1 i n
d i 6 =0
r M
r
M
i =1 j =1
A/h pi i i.
205
n
A/h pi i i
=
i =1
r
M
nr
A/h pi i i.
i =1
j =1
o, equivalentemente,
n
M
i =1
m
M
j =1
206
6. Teoremas de estructura
(m : Ii ) = { a A : aIi m}
y sea
i : (m : Ii ) Hom A ( A/Ii , A/m)
a 7 ( f a : x 7 ax )
Es un ejercicio sencillo ver que i es un epimorfismo con ncleo m
y que por lo tanto hay un isomorfismo
Hom A ( A/Ii , A/m)
= (m : Ii )/m.
En definitiva, tenemos que
n
M
(m : Ii )/m
=
m
M
(m : Jj )/m.
j =1
i =1
( A/m)
=
n
m
M
(m : Jj )/m.
j =1
c A/Ii
=
n
M
c A/Ji .
i =1
4. Ejercicios
207
A/( Ii : cA)
=
i = i I +1
n
M
A/( Ji : cA).
i = i J +1
0
0 0 0
1
0 0 0
0 1
0 0
.. ..
.
..
. . .
1
0 0
.. . . . 0
0 0 1
En efecto, esto se consigue calculando en k [ X ]/h( X )n i la matriz
del endomorfismo multiplicar por X en la base
{1, ( X ), ( X )2 , . . . , ( X )n1 }.
6.4
Ejercicios
Anillos semisimples
6.4.1. Sea A un anillo.
208
6. Teoremas de estructura
4. Ejercicios
209
y Mn ( A B ) = Mn ( A ) Mn ( B ).
(b) Si A es un anillo semisimple y n N, entonces Mn ( A) es semisimple.
(c) Sea A un anillo y sea n N. Sea P el conjunto de vectores fila de
n componentes en A y sea Q el conjunto de vectores columna de
n componentes en A. Entonces P es un A-Mn ( A)-bimdulo y
Q es un Mn ( A)-A-bimdulo con acciones de Mn ( A) inducidas
por el producto matricial. Ms an, hay un isomorfismo Q A
P
= Mn ( A) de Mn ( A)-bimdulos y un isomorfismo P Mn ( A)
Q
= A de A-bimdulos.
Como consecuencia de esto, si M es un A-mdulo izquierdo, entonces
P Mn ( A ) ( Q A M )
= M.
(d) Si M es un A-B-bimdulo y N es un B-mdulo izquierdo proyectivo, entonces M B N es un A-mdulo proyectivo.
(e) Sea A un anillo. Si existe n N tal que Mn ( A) es semisimple,
entonces el anillo A mismo es semisimple.
210
6. Teoremas de estructura
g Gn
( g)( g1 ) = , .
4. Ejercicios
211
(c) Si G n , sea e =
G n ,
1
n
e2 = e ,
e e = 1,
cuando 6= ,
e = 1.
G n
X p 1 = ( X 1) p ( X p )
l
i =0
212
6. Teoremas de estructura
Adems, se tiene que
dimQ Ml = pl pl 1 ; y
L
QG l
= l 1 ( Mi ) M l .
p
l =0
i,l
Supongamos que n es impar y que n = p1m1 prmr es la factorizacin de n como producto de potencias de primos distintos.
Entonces Gn
= G pm1 G prmr .
1
Si M es un QGn -mdulo simple, entonces existen l1 , . . . , lr
N tales que li mi si i {1, . . . , r } y
M
= M p1 ,m1 ,l1 M pr ,mr ,lr .
Aqu M p,m,l es el nico QG pm -mdulo simple de dimensin
p l p l 1 .
lgebras de grupo
6.4.19. Muestre que si k {Q, R, C}, entonces kS3
= k k M2 (k).
6.4.20. Encuentre la descomposicin de Wedderburn para kD4 con
k {Q, R, C} si D4 = hs, t : s2 = t4 = 1, sts = t1 i.
4. Ejercicios
213
RQ = R R R R HR ,
y
CQ
= C C C C M2 (C).
Aqu HR es el anillo de los cuaterniones reales y HQ es el anlogo
definido sobre Q.
Dominios principales
6.4.22. Mostrar que Z[ 10] y Z[ 10] no son dominios de factorizacin nica. Encontrar ideales no principales en estos anillos.
(b) Factorizar a 16 +11 2 como producto de elementos irreducibles del anillo Z[ 2].
214
6. Teoremas de estructura
4. Ejercicios
215
(V, )
= k[ x ]/h pi. Si escribimos a p = q1 1 . . . qs s con los qi irredu
cibles y sin repeticiones, considerar ai = qi i . Ver que se est en las
condiciones del teorema chino del resto.(Sugerencia: usar argumentos de divisibilidad) Concluir a partir del teorema chino del resto
que existe una base de V en la que se escribe en n bloques, cada uno de ellos correspondiene a un k[ x ] submdulo isomorfo a
k [ x ] / h a i i.
3
3
6.4.33.
Sea T : Q
Q la transformacin lineal definida por la
1 2 6
matriz 1 0 3 considerar a Q3 como Q[ x ]-mdulo a travs de T,
1 1 4
Formas de Jordan
6.4.37. Hallar todos los C[ x ]-mdulos M tales que dimC ( M) 3.
Decir cules de ellos son cclicos, indescomponibles, simples, suma
216
6. Teoremas de estructura
Captulo 7
Producto tensorial
7.1
Sea A un anillo y sean M y N un A-mdulo a derecha y a isquierda, respectivamente. Si P es un grupo abeliano, diremos que
una funcin : M N P es bilineal A-balanceada si
es lineal en la primera variable: para todo m, m0 M, n N
(m + m0 , n) = (m, n) + (m0 , n).
es lineal en la segunda variable: para todo m M, n, n0 N,
(m, n + n0 ) = (m, n) + (m, n0 ).
es A-balanceada: para todo a A, m M y n N,
(ma, n) = (m, an).
Escribimos Bil A ( M, N; P) al conjunto de todas las aplicaciones bilineales A-balanceadas M N P.
Ejemplos.
1. Si M = N = P = A, el producto : ( a, b) A A 7 ab A es
bilineal A-balanceado
2. Si M = A1n es el A-mdulo de vectores fila y N = An1 es el
A-mdulo de vectores columna, es bilineal A-balanceada la aplica217
218
7. Producto tensorial
(( a1 , . . . , an ), (b1 , . . . , bn )) =
a i bi .
i =1
Z
X
fg
es bilineal y C ( X )-balanceada.
4. Si N es un A-mdulo a izquierda y M = N = hom A ( N, A),
: ( f , n) N N 7 f (m) A.
5. Como subejemplo del anterior, sea k un anillo cualquiera y sean
N = k [ X ] y M = kN0 . Entonces la aplicacin : M N k, dada
gr ( p)
deg( p)
i xi , es bilineal y A-
El objetivo de construir el producto tensorial M A N es encontrar un objeto de tipo universal que sea equivalente tener una funcin : M N P bilineal A-balanceada que una funcin lineal
e : M A N P, es decir, se busca un grupo abeliano M A N tal
que
Bil A ( M N, P)
= HomZ ( M A N, P)
de manera natural. Nos proponemos entonces mostrar que tal objeto existe y que es nico salvo isomorfismos de grupos abelianos.
Proposicin 7.1.1. Sea A un anillo. Sea M un A-mdulo a derecha y
N un A-mdulo a izquierda. Entonces existe un grupo abeliano T y una
funcin : M N T con las siguientes propiedades:
(a) es bilineal y A-balanceada.
(b) Si P es un grupo abeliano cualquiera y : M N P es una
funcin bilineal A-balanceada, entonces existe un nico morfismo
e : T P tal que =
e , es decir, se completa el
de grupos
219
;P
e w w
ww
MN
T0
220
7. Producto tensorial
/
w ; D P
w
h www
i
ww
w
ww
F
e
MN
F/K
MN
/
w; ; T
0
e
e ww w
MN
w
w w
ww w IdT
221
(m + m0 ) n = m n + m0 n,
m (n + n0 ) = m n + m n0 ,
ma n = m an.
Notemos, adems, que no todo elemento de M A N es necesariamente de la forma m n para algn m M y n N sino que, en
general, un una combinacin lineal finita de ellos con coeficientes
en Z. Los elementos de M A N de la forma m n son los tensores
elementales.
Finalmente, es importante tener en cuenta que la escritura de
un elemento de M A N en trminos de tensores elementales no es
necesariamente nica; por ejemplo x 0 y + x y = ( x + x 0 ) y.
Observacin. Para todo x M, x 0 = 0. De la misma forma,
0 y = 0 para todo y N. Veremos incluso que puede suceder que
x y = 0 sin que ni x ni y sean cero. As, puede ser que M A N sea
el grupo trivial cero sin que M ni N lo sean: por ejemplo, si M = Zn
y N = Q/Z, entonces M Z N = 0, como veremos ms adelante.
Otro ejemplo se obtiene tomando un anillo A en el que existe
un elemento x A con x2 = 0 sin que x sea cero: en ese caso, si
M = N = A, es claro que x x = 1x x = 1 x2 = 1 0 = 0 en
M A N.
Ejemplos.
1. Es Zn Z Z
= Zn , va la aplicacin x y 7 xy, que tiene inversa
x 7 x 1. Notemos que la buena definicin de esta aplicacin se
sigue de la propiedad universal del producto tensorial aplicada a la
funcin bilineal Z-balanceada ( x, y) Zn Z xy Zn .
2. Zn Z Q = 0, porque Zn Z Q est generado por elementos de la
forma x ba con x, a, b Z, b 6= 0, pero
x
a
a
a
a
= xn
= xn
= 0
= 0.
b
nb
nb
nb
222
7. Producto tensorial
223
M
.
hm g(m) : m M, g G i
224
7. Producto tensorial
N = N como grupos abelianos y ambos miembros derechos en estos isomorfismos son A-mdulos.
Proposicin 7.1.4. Sean A, B, C tres anillos y A MB y B NC dos bimdulos. Entonces M B N es naturalmente un A-C-bimdulo.
Demostracin. La estructura de A-C-bimdulo queda determinada
por la frmula
a (m n) c = ( am) (nc),
extendiendo por Z-linealidad a M B N. Es claro que esto est bien
definido porque, una vez fijados a A y c C, la aplicacin
(m, n) M N ( am) (nc) M B N es bilineal B-balanceada.
Puede verse sin dificultad que la funcin
A M B N C M B N
( a, m n, c) 7 ( am) (nc)
da a M A N una estructura de A-C-bimdulo.
Por otro lado, si f : M M0 es un morfismo de A-mdulos
derechos y g : N N 0 un morfismo de A-mdulos izquierdos, la
aplicacin
M N M0 A N 0
(m, n) 7 f (m) g(n)
es bilineal y A-balanceada, as que determina un nico morfismo de
grupos abelianos M A N M0 A N 0 , que notamos f g, caracterizado por la identidad
2. Funtorialidad de
225
Ejemplos.
1. Si M es un A-mdulo a derecha, entonces M A A
= M en tanto Z-A-bimdulos. De la misma forma A A N
= N como A-Zbimdulos cuando N es un A-mdulo a izquierda.
2. Si M es un A-mdulo a derecha y N un A mdulo a izquierda
y consideramos a M como un Z ( A)-A-bimdulo y a N como un
A-Z ( A)-bimdulo, entonces M A N es un Z ( A)-bimdulo y el
isomorfismo M A N
= N Aop M es un isomorfismo de Z ( A)bimdulos. De la misma forma, M Z ( A) N
= N Z ( A) M como
Z ( A)-bimdulos.
3. El morfismo de grupos F : V k W Homk (V, W ) descripto en
el ejemplo anterior a la proposicin es una transformacin k-lineal.
4. Dado un anillo A cualquiera y un par de nmeros naturales r,
s, consideremos el conjunto Mrs ( A) = Ars con la suma usual de
matrices.
La multiplicacin de matrices hace de este grupo abeliano un
Mr ( A)-mdulo a izquierda y un Ms ( A)-mdulo a derecha. En particular, An1 es un Mn ( A)-A-bimdulo y A1n es un A-Mn ( A)-bimdulo, y se tienen los siguientes isomorfismos:
A n 1 A A 1 n
= Ann como Mn ( A)-Mn ( A)-bimdulo.
1
n
n
A
Mn ( A ) A 1
= A como A-A-bimdulo.
n
r
En general, A
Mr ( A ) A r s
= Ans como Mn ( A)-Ms ( A)bimdulo.
5. Si A es un anillo conmutativo, L un A-mdulo libre finitamente
generado y M es un A-mdulo cualquiera, entonces hay un isomorfismo L A M
= Hom A ( L, M).
7.2
Funtorialidad de
() A M : C Mod A C ModB
X 7 X A M
f 7 f Id M
A MB ,
se pueden definir
226
7. Producto tensorial
y
M B () : B ModC A ModC
Z 7 M B Z
g 7 Id M g
Ejemplos.
1. Si M = A, el funtor A A () es isomorfo al funtor identidad,
es decir, para todo A-mdulo X, A A X
= X como A-mdulo a izquierda. Cuando X es un A-B-bimdulo, el isomorfismo precedente
es tambin isomorfismo de A-B-bimdulos.
2. Si A es un anillo conmutativo y S es un subconjunto multiplicativo de A, entonces AS es isomorfo al funtor localizacin, es
decir, para todo A-mdulo M, hay un isomorfismo de AS -mdulos
AS A M
= MS
a
am
m 7
s
s
con inverso
am
s
1
s
am.
3. Si V es un R-espacio vectorial, podemos considerar su complexificacin: V i V, que tiene una estructura de C-espacio vectorial
para la que si a + bi C y v + iw V i V,
2. Funtorialidad de
227
Id f
/Z
Z Z4
Z2
Z2
N2
N3
Id f
M A N2
Id g
M A N3
228
7. Producto tensorial
si x 0 N2 es un elemento tal que g( x 0 ) = x (recordar que g es epie est bien definida: si x 00 es otro elemento
morfismo). La aplicacin
de N2 tal que g( x 00 ) = x, entonces x 0 x 00 Ker( g) = Im( f ), y esto
nos dice que existe y N1 tal que x 0 x 00 = f (y). Luego
m x 00 = m x 00 + m f (y) = m x 00 + m ( x 0 x 00 ) = m x 0 .
e es bilineal
Ahora que sabemos que est bien definida, es claro que
y A-balanceada, as que define un morfismo de grupos abelianos
: M A N3
M A N2
Im(Id f )
3. Funtorialidad de
229
N2
N3
M2
M3
Im( f ) A M2 + N2 A Im(h)
N2 A M2
gk
N3 A M3
es exacta.
Demostracin. Esto puede probarse como la proposicin anterior.
Dejamos los detalles como ejercicio. En particular, queda como ejercicio ver la definicin del morfismo del enunciado.
Observacin. Supongamos que la sucesin de A-mdulos a izquierda
N1
N2
N3
M A N1
M A N2
M A N3
A A N2
A A N3
230
7.3
7. Producto tensorial
Teorema 7.3.1. Sean A, B y C tres anillos y A XB , B YC y A ZC tres bimdulos. Hay un isomorfismo de C-mdulos a derecha
Hom A ( X B Y, Z )
= HomB (Y, Hom A ( X, Z ))
y un isomorfismo de A-mdulos a izquierda
HomC ( X B Y, Z )
= HomB ( X, HomC (Y, Z ))
Demostracin. la demostracin del teorema es sencilla, pero larga,
con una cantidad considerable de verificaciones de carcter elemental. Daremos entonces las definiciones de los morfismos relevantes
en el primer isomorfismo y dejaremos tanto las verificaciones como
las definiciones del segundo isomorfismo como ejercicio.
Sea g : X B Y Z un morfismo de A-mdulos. Para cada
y Y, la aplicacin x 7 g( x y) es un morfismo de A-mdulos de
X en Z as que poemos definir una una aplicacin
: Hom A ( X B Y, Z ) HomB (Y, Hom A ( X, Z ))
g 7 ( x 7 g( x ))
donde, g( x )) indica el morfismo y 7 g( x y).
Recprocamente, dado un morfismo f : Y Hom A ( X, Z ) de
B-mdulos, es claro que el elemento f (y)( x ) Z depende linealmente tanto de y como de x, as que hay una funcin bilineal
f 0 : ( x, y) X Y 7 f (y)( x ) Z.
Como f (by)( x ) = f (y)( xb) si x X, y Y y b B, la aplicacin
f 0 resulta B-balanceada y, por lo tanto, define un nico morfismo de
grupos ( f ) : X B Y Z. Dejamos al lector la verificacin de que,
de esta forma, obtenemos un morfismo de grupos abelianos
: HomB (Y, Hom A ( X, Z )) Hom A ( X B Y, Z )
f 7 (( x y) 7 f (y)( x ))
Finalmente, hay que mostrar que y son uno el inverso del otro
y que, adems, son C-lineales a derecha.
231
= Hom A ( M A L, A)
= ( M A L) .
A partir del teorema de adjuncin, es facil obtener una demostracin de la asociatividad del producto tensorial:
Corolario 7.3.2. Sean A, B, C, D cuatro anillos y A MB , B NC , C PD tres
bimdulos. Entonces hay un isomorfismo de A-D-bimdulos
( M B N ) C P
= M B ( N C P ).
Demostracin. Necesitaremos usar el siguiente hecho, cuya prueba
dejamos al lector:
si X e Y son A-D-bimdulos tales que para todo
A-mdulo Z, hay un isomorfismo natural
Hom A ( X, Z )
= Hom A (Y, Z )
(7.1)
= HomC ( P, Hom A ( M B N, Z ))
= HomB ( N C P, Hom A ( M, Z ))
= Hom A ( M B ( N C P), Z )
Esto junto con (7.1) prueba el corolario.
A continuacin, estudiaremos el comportamiento del producto
tensorial con respecto a la suma directa.
Proposicin 7.3.3. Sea { Mi }i I una familia de A-mdulos a izquierda y
B X A un B-A-bimdulo. Entonces existe un isomorfismo de B-mdulos
M M
Mi
( X A Mi ) .
X A
=
i I
i I
232
7. Producto tensorial
Mi , X )
=
Hom A ( Mi , X )
i I
i I
f 7 ( f | Mi ) i I
donde f | Mi denota f ji : Mi X, es una biyeccin.
Utilizando ahora la adjuncin del producto tensorial, tenemos
los siguientes isomorfismos:
HomB ( X A (i I Mi ), Z )
M
Mi , HomB ( X, Z ))
= Hom A (
i I
= Hom A ( Mi , HomB ( X, Z ))
i I
= HomB ( X A Mi , Z )
i I
M
i I
Mi ) , Z )
HomB (X A Mi , Z)
i I
4. Mdulos Playos
233
7.4
Mdulos Playos
/Y
es una sucesin exacta de A-mdulos a izquierda y M es un Amdulo a derecha, entonces la correspondiente sucesin
/
M A X
M A Y
/0
M A Z
/Y
P A X
P A Y
P A Z
234
7. Producto tensorial
P A X
P A Y
P A Z
/ L A X
/ L A Y
/ L A Z
/0
0 / ( P A X ) O ( Q A X ) / ( P A Y ) O ( Q A Y ) / ( P A Z ) O ( Q A Z ) / 0
P A X
IdP f
/ P A Y
IdP g
/ P A Z
/0
5. Ejercicios
235
7.5
Ejercicios
Productos tensoriales
7.5.1. Muestre que Q Z Q
= Q.
7.5.2. Sea A un anillo y M A y A M A-mdulos. Muestre que M A N
es un End A ( M)-End A ( N )-bimdulo.
7.5.3. Sean A y B anillos y M A ,
hay un isomorfismo natural
A NB
M A ( N B P)
= ( M A N ) B P.
7.5.4. Sea A un anillo conmutativo, a A un ideal y M un Amdulo. Muestre que hay un isomorfismo natural
A/a A M
= M/aM.
236
7. Producto tensorial
(i)
(ii)
(iii)
(iv)
M0
M00
5. Ejercicios
237
7.5.15. Sea N un A-mdulo tal que la aplicacin del ejercicio anterior N A N End A ( N ) es un isomorfismo, demostrar entonces
que N es proyectivo de tipo finito.
Sugerencia. Explotar el hecho de que la identidad de N est en la imagen.
238
7. Producto tensorial
5. Ejercicios
239
240
7. Producto tensorial
S A ( M ) = A Sk (V )
y
A ( M)
= A k (V ).
Productos de torsin
7.5.30. Sean M y N grupos abelianos. Consideremos el conjunto
G ( M, N ) = {(m, k, n) M Z N : km = 0, kn = 0}.
5. Ejercicios
241
( f 0 g 0 ) ( f g ) = ( f 0 f ) ( g 0 g ).
(ii) Si f , f 0 : M M0 y g, g0 : N N 0 son morfismos de
grupos abelianos, entonces
( f + f 0) g = f g + f 0 g
y
f ( g + g0 ) = f g + f g0 .
(iii) Si M y N son grupos abelianos, es Id M Id N = Id M N .
(d) Si f : M M0 y g : N N 0 son isomorfismos, entonces el
morfismo f g : M N M0 N 0 es un isomorfismo.
(e) Si M, M0 , N y N 0 son grupos abelianos, entonces hay isomorfismos naturales
( M M0 ) N
= ( M N ) ( M0 N )
242
7. Producto tensorial
y
M (N N0)
= ( M N ) M ( M N 0 ).
(f)
Sea
0
M0
M00
una sucesin exacta de grupos abelianos y sea N un grupo abeliano. Entonces hay una sucesin exacta
0
M0 N
/
f Id N
M0 N
MN
f Id N
gId N
MN
M00 N
gId N
M00 N
/
/
Captulo 8
Teoremas de Morita
8.1
Equivalencias de categoras
En este captulo estudiaremos las respuestas a la siguiente pregunta: Cundo dos anillos A y B son tales que las categoras de Amdulos y de B-mdulos son equivalentes?
Esta informacin resulta muy til ya que muchas de las propiedades de un anillo no dependen de l sino de la categora de mdulos asociada. Por ejemplo dos anillos A y B cuyas categoras de
mdulos sean equivalentes verificarn Z ( A)
=
= Z ( B) y A/[ A, A]
B/[ B, B].
Los teoremas 8.2.4 y 8.2.5 responden completamente a la pregunta. Ambos fueron demostrados por Morita en los aos 60, es
por esta razn que los teoremas similares demostrados posteriormente en otros contextos llevan el nombre de teorema tipo Morita.
Comenzaremos discutiendo una situacin genrica:
Sean A y B dos anillos, y supongamos que se tienen dos bimdulos A PB y B Q A . Estos inducen dos funtores
() A P : Mod A ModB
() B Q : ModB Mod A
donde Mod A (resp. ModB ) denota la categora de A-mdulos (resp.
B-mdulos) a derecha. Estos dos funtores son siempre exactos a derecha y preservan sumas directas, pero en general no son equiva243
244
8. Teoremas de Morita
ModB ModB
X 7 X B ( Q A P)
Q = B (isomorfismo de B-bimdulos) y Q B P
= A (isomorfismo
de A-bimdulos), entonces M A ( P B Q)
= M A A
= M para
todo A-mdulo M y X B Q A P = X B B = X para todo Bmdulo X. Esto dice que uno puede ir de una categora a la otra
sin perder informacin. Notar de cualquier manera que la composicin de () A P con () B Q no es el funtor identidad, sino
naturalmente isomorfo a la identidad (ver definicin 9.3.2).
Ejemplo. Sea A un anillo cualquiera, n N y B = Mn ( A). La multiplicacin usual de matrices da una estructura de A-B-bimdulo a
P := A1n y de B-A-bimdulo a Q := An1 . Llamamos {e1 , . . . , en }
a la base cannica de P como A-mdulo a izquierda y { f 1 , . . . , f n }
a la base cannica de Q como A-mdulo a derecha. Demuestre entonces que las aplicaciones determinadas por
P Mn ( A ) Q A
ei f j 7 ij
Q A P Mn ( A )
f i e j 7 eij
IdC y F G
Id
,
donde
significa
isomorfismo
natural.
Los
= D
=
funtores F y G se llamarn equivalencias.
Las propiedades categricas conservadas por equivalencias pueden ser entendidas (o mejor dicho deducidas) en trminos de adjunciones, por lo que demostramos el siguiente Lema:
1. Equivalencias de categoras
245
246
8. Teoremas de Morita
1. Equivalencias de categoras
247
que
0 HomB ( F ( T ), X ) HomB ( F ( N ), X ) HomB ( F ( M ), X )
es una sucesin exacta de grupos abelianos para todo B-mdulo X.
Concluimos entonces a partir del lema anterior a 5.4.2 que
F( M) F( N ) F(T ) 0
es una sucesin exacta de B-mdulos. La exactitud a izquierda de G
es dual.
Observacin. El enunciado anterior sigue siendo vlido para funtores adjuntos entre categoras aditivas.
Corolario 8.1.6. Sea F : A Mod B Mod una equivalencia, entonces F
es un funtor exacto.
Ejemplo. Sean A PB , B Q A dos bimdulos tales que P B Q
= A
248
8. Teoremas de Morita
2. Teoremas de Morita
249
8.2
Teoremas de Morita
250
8. Teoremas de Morita
respuesta es no, por un simple argumento de dimensin y divisibilidad: la dimensin sobre k de Mn ( A) es 2.n2 y la de Mm ( B) es 5.m2 ,
y nunca puede ser cierta la igualdad 2.n2 = 5.m2 (n, m N) pues en
la factorizacin de 2.n2 , el primo 2 aparece una cantidad impar de
veces, y en 5.m2 aparece una cantidad par. Observamos que k k es
un anillo tal que existen proyectivos de tipo finito que no son libres,
un ejemplo es k k2 , cuyo anillo de endomorfismos es justamente
B = k M2 (k )
= Endkk (k k2 )
= Endk (k) Endk (k2 )
Como ejemplo fundamental recordemos que si A y B son tales
que existen bimdulos A PB y B Q A que verifican P B Q
= A y Q A
2. Teoremas de Morita
251
252
8. Teoremas de Morita
= () B P
= () A Q
= Hom A ( B Q A , )
= HomB ( A PB , )
() A ( Q) A Hom A ( B Q A , )
() B ( P) B HomB ( A PB , )
Estas transformaciones naturales son isomorfismos naturales siempre que Q sea A-proyectivo de tipo finito y P sea B-proyectivo de
tipo finito. Este es el caso que nos concierne pues las equivalencias
preservan objetos proyectivos y finitamente generados y P y Q son
imgenes por equivalencias de A y B que son trivialmente proyectivos finitamente generados.
Notar que por la observacin anterior sabemos que ( Q) A
=P
2. Teoremas de Morita
253
Z ( A)
= Hom A A ( A, A)
= HomB B ( Q A A A P, Q A A A P)
= HomB B ( Q A P, Q A P)
= HomB B ( B, B)
= Z ( B)
y todos estos isomorfismos son de anillos.
254
8. Teoremas de Morita
= ( P B Q ) Ae ( P B Q )
= ( Q A P ) Be ( Q A P )
= B Be B
= B/[ B, B]
8.3
Contextos
3. Contextos
255
Comenzamos comentando el caso en que A M B. Por el teorema 8.2.5 sabemos que existen bimdulos A PB y B Q A que inducen
(a travs del producto tensorial) la equivalencia entre las categoras
de A-mdulos y de B-mdulos. Recordamos tambin que el anillo
A
= End A ( A) se identifica con EndB ( F ( A)) = EndB ( P) y que Q se
puede tomar como P B . Tenemos entonces dos aplicaciones naturales:
v : P B Q EndB ( P) definida por p 7 ( x 7 p.( x )),
la evaluacin u : Q A P B definida por p 7 ( p).
Entre estos dos morfismos se verifican las siguientes propiedades
de compatibilidad:
Para todo , en P , p en P, .v( p ) = u( p).. En
efecto:
256
8. Teoremas de Morita
1A =
v ( p i q i ).
i =1
s( a) =
a.( pi qi ).
i =1
s(v( p q)) = v( p q) pi qi =
i =1
r
= p u ( q pi ) qi =
i =1
p.u(q pi ) qi
i =1
r
p q.v( pi qi )
i =1
=( p q) v( pi qi ) = p q
i =1
v(s( a)) =
i =1
i =1
v(a.pi qi ) = a. v( pi qi ) = a
3. Contextos
257
8.3.1
258
8. Teoremas de Morita
Ejemplos.
1. Sea A un anillo cualquiera y G Autanillos ( A), entonces claramente G acta en A por automorfismos de anillos.
2. Si A = C, G = Z2 acta en C por conjugacin.
3. Sea X un conjunto y G X X una accin de G sobre X. Sea
k un anillo conmutativo y consideramos A = k X = Func( X, k), el
conjunto de funciones de X en k con la estructura de anillo heredada
de k punto a punto. Entonces G acta sobre A a travs de la frmula
GA A
( g, f ) 7 x 7 f ( g1 ( x ))
El lector podr verificar sin dificultad que sta es una accin por
automorfismos de anillos.
Ejercicio. Sea G un grupo que acta por automorfismos de anillos
en un anillo A, entonces AG = { a A / g( a) = a g G } es un
subanillo de A.
Damos ahora la definicin del producto cruzado:
Consideramos A[ G ] con su estructura aditiva habitual pero con
una estructura multiplicativa diferente. Si a, a0 A, g, g0 G se
define
3. Contextos
259
( ag).x = ag( x ).
El lector podr verificar que esta definicin cumple con los axiomas
de accin. Hacemos notar que si b AG , entonces ag( x ).b = ag( xb).
Esta ltima igualdad dice que las acciones de A o G y AG son compatibles, por lo tanto P es un A o G-AG -bimdulo.
Consideramos a Q = A de manera obvia como un AG -mdulo
a izquierda, y definimos
x.( ag) = g1 ( xa),
donde a, x A y g G. Definimos ahora dos morfismos:
: P AG Q A o G
( a b) =
ag(b) g (a b)
: Q AoG P AG
g G
g( a.b)
g G
xag(y) g =
g G
g G
g(h1 ( xa).y)
g.h1 ( xa.h(y))
g0 ( xah(y))
g G
g G
g G
= ( x ( ah).y)
260
8. Teoremas de Morita
yg(z) g
x(y z) = x
g G
g1 ( xyg(z))
g1 ( xy)z
g G
g G
!
g1 ( xy)
g G
= ( x y)z
Por otro lado
( x y)z =
!
xg(y) g
g G
xg(y) g(z)
xg(yz)
g G
g G
=x
!
g(yz)
g G
= x (y z)
4. Ejercicios
261
Definicin 8.3.4. Sean A un anillo y G un grupo que acta por automorfismos de anillos en A. Diremos que la accin de G sobre A es
Galois si existen elementos a1 , . . . , as , b1 , . . . , bs A tales que
(
s
1 si g = 1G ,
ai .g(bi ) = 0 si g 6= 1 .
G
i =1
Si la accin de un grupo G sobre un anillo A es Galois y a1 , . . . , as ,
b1 , . . . , bs son los elementos de la definicin de Galois, entonces
!
s
( a i bi ) =
i =1
i =1 g G
a i g ( bi ) g =
a i g ( bi )
g G
g=1
i =1
8.4
Ejercicios
262
8. Teoremas de Morita
8.4.2. Sea F : C D un funtor entre dos categoras C y D. Supongamos que F admite un funtor adjunto a derecha que llamaremos G.
Demostrar que si G 0 es otro funtor adjunto a derecha de F entonces
G
= G 0 , es decir G ( X )
= G 0 ( X ) para todo objeto X de la categora
D, y ese isomorfismo es natural (sugerencia: demostrar primero que
el ejercicio es equivalente a probar que existe un isomorfismo natural HomC ( M, G ( X ))
= HomC ( M, G 0 ( X )) para todo objeto X de D
y M de C.
8.4.3. Sea F : A Mod B Mod un funtor que admite un adjunto a derecha G : B Mod A Mod. Demostrar que existe un B-A-bimdulo
X tal que G
= HomB ( X, ) y que F
= X A , adems la clase de
isomorfismo (como bimdulo) de X queda unvocamente determinada.
8.4.4. Probar que si A M B y A0 M B0 entonces A A0 M B B0
y que A Z A0 M B Z B0 .
8.4.5. Sean (n1 , . . . , nr ) y (m1 , . . . , mr ) dos r-uplas de nmeros naturales y k un anillo cualquiera, Es Mn1 (k) Mn2 (k ) Mnr (k)
equivalente Morita a Mm1 (k) Mm2 (k) Mmr (k )? Supongamos que k es un cuerpo, qu dimensin tiene el centro de estas dos
lgebras?
8.4.6. Sea
de matrices
triangulares superiores de 2 2,
A el anillo
a b
, a, b, c k donde k es un cuerpo, Es A equivai.e. A =
0 c
lente Morita a k o a k k?
8.4.7. Sea G un grupo finito que acta en un anillo A.
1. (Maschke) Probar que si |G1 | A y f : M N es un epimorfismo de A o G-mdulos que se parte como morfismo de Amdulos, entonces f se parte como morfismo de A o G-mdulos. En particular, si A es un anillo semisimple y | G | inversible
en A, entonces A o G es semisimple.
2. Probar que si A es noetheriano entonces A o G es noetheriano.
3. Concluir que si | G | A y la accin es Galois, entonces A semisimple (resp. noetheriano) implica AG semisimple (resp. noetheriano).
4. Ejercicios
263
A AG M G
1 M
A AG ( A AoG M )
A o G AoG M
264
8. Teoremas de Morita
Captulo 9
Categoras: algunas
definiciones y construcciones
universales
9.1
Categoras
9.1.1
Daremos, en esta seccin, la definicin de categora, y presentaremos varios ejemplos ilustrando la definicin.
Definicin 9.1.1. Definir una categora C es dar los siguientes datos:
Una clase (no necesariamente un conjunto) de objetos, que se
denotar Obj(C).
Para cada par de objetos X e Y de C , un conjunto de flechas
de X en Y, que se denotar HomC ( X, Y ) (o a veces [ X, Y ], o
[ X, Y ]C , o C( X, Y ), o MorC [ X, Y ]).
Estos satisfacen los siguientes axiomas:
C1: Si X, X 0 , Y, Y 0 son objetos de C y o bien X 6= X 0 o bien Y 6= Y 0 ,
entonces HomC ( X, Y ) 6= HomC ( X 0 , Y 0 ).
265
266
9. Categoras
C2: Para cada terna de objetos X, Y, Z de C est definida una funcin que llamaremos composicin
HomC (Y, Z ) HomC ( X, Y ) HomC ( X, Z )
( f , g) 7 f g
que es asociativa (en el sentido obvio).
C3: Para cualquier objeto X, existe un elemento de HomC ( X, X )
que es un elemento neutro (tanto a derecha como a izquierda)
con respecto a la composicin de morfismos que salen de, o
que llegan a X. Tal morfismo (se puede ver que es nico) se
denota IdX .
Damos a continuacin la notacin para categoras usuales, sealando primero los objetos, y luego las flechas:
Ejemplos.
Sets Conjuntos y funciones.
(k un cuerpo), los k-espacios vectoriales y las transformaciones k-lineales.
k Vect
Z Mod
A
1. Categoras
267
{} si i j,
si i y j no estn relacionados.
donde {} denota a un conjunto con un nico elemento. La transitividad de la relacin hace que la composicin est bien definida,
y el hecho de que siempre i i asegura la existencia del morfismo
identidad.
Si M es un monoide con elemento neutro, entonces la categora
con un nico objeto {} y cuyas flechas estn definidas de la forma
Hom({}, {}) = M resulta efectivamente una categora, definiendo la composicin de funciones como el producto en el monoide.
9.1.2
268
9. Categoras
un anillo fijo sucede lo mismo. Llamamos la atencin sin embargo a que an cuando se tenga una categora en donde los objetos
sean conjuntos provistos de alguna otra estructura adicional, y las
flechas sean un subconjunto del conjunto funciones entre los objetos, la nocin de isomorfismo no tiene por qu coincidir con la de
biyeccin. Presentamos los siguientes dos ejemplos.
En la categora de espacios topolgicos, un isomorfismo es un
homoeomorfismo, es decir, una funcin continua f : X Y biyectiva con inversa f 1 : Y X tambin continua.
Un ejemplo de biyeccin que no es un homeomorfismo es considerar un mismo conjunto, pero definir dos topologas diferentes en
l, una contenida en la otra, digamos ( X, ) y ( X, 0 ) en donde todo abierto de 0 pertenece a , pero con estrictamente mayor que
0 . Entonces la funcin identidad ( X, ) ( X, 0 ) es continua, pero
su inversa, que es de nuevo la funcin identidad, en este caso vista
como funcin de ( X, 0 ) en ( X, ) no es continua. Observamos que
esta funcin identidad, en realidad es la funcin identidad de X,
pero no la identidad de ( X, ).
Otro ejemplo es el caso de la categora cuyos objetos son los elementos de un conjunto ordenado y cuyos morfismos son las funciones crecientes. Esta categora se llamar un poset. Si ( X, ) es un
conjunto ordenado con una relacin de orden no trivial (es decir,
tal que existen por lo menos dos elementos distintos x e y tales que
x y), definimos sobre X otra relacin de orden, que est dada
por x x, x X, y si x 6= y, entonces x no est relacionado con y;
llamemos 0 a esta nueva relacin. Si consideramos la funcin identidad de X, como morfismo ( X, 0 ) ( X, ), es una funcin (notar
que como la relacin 0 es trivial, cualquier funcin con dominio en
X es creciente) y biyectiva, pero ( X, 0 ) 6
= ( X, ).
Sea C M la categora con un nico objeto {}, y Hom({}, {}) =
M donde M es un monoide con elemento identidad, entonces M es
un grupo si y slo si todo morfismo es un isomorfismo.
Adems de la nocin de isomorfismo, hay muchas otras definiciones que se pueden hacer en el contexto genrico de una categora.
La clave de estas definiciones es encontar una caracterizacin, en
trminos de diagramas de flechas, de la propiedad que uno quiere
generalizar, es decir, de una nocin que uno conoce en una categora
y desea contar con esa construccin en alguna otra categora. Cualquier definicin hecha con diagramas con flechas puede ser enun-
1. Categoras
269
270
9. Categoras
2. Lmites y Colmites
271
9.2
9.2.1
Lmites y Colmites
Productos
272
9. Categoras
diagrama:
x; XO
f 1 xxx
x
p1
x
xx
xx ! f
_ _ _ XY
FF
FF
FF
p2
F
f 2 FFF#
i /
X
X
> Oi
> Oi
}
pi }}
i }}}
}} i }}}} pi
}} p
}
X 0 _ _ _/ X _ _ _/ X 0
2. Lmites y Colmites
273
v:
p vvv
v v
vv vv
vv vv
vvvvvv IdX
i
Xi
i I
i I
f 7 { pi f }i I
es una biyeccin para todo Z Obj(C).
Demostracin. que la funcin natural de la proposicin sea suryectiva es precisamente la parte de existencia de la definicin de producto, la parte de unicidad corresponde a que la funcin entre sea
inyectiva.
274
9. Categoras
Ejemplos.
1. En la categoras de conjuntos, mdulos sobre un anillo, anillos,
grupos (conmutativos o no), el producto categrico es el producto cartesiano, pero sto no tiene por qu ser siempre as. Consideremos, dado un cuerpo k, la categora de k-espacios vectoriales
Z-graduados, donde los objetos son espacios vectoriales provistos
de una descomposicin V = nZ Vn , y los morfismos son transformaciones lineales que respetan la graduacin, es decir, dados
L
L
V = nZ Vn y W = nZ Wn dos espacios vectoriales graduados,
HomC (V, W ) = { f : V W k-lineales tales que f (Vn ) Wn n
Z}. Respetar la graduacin es estable por composicin, y el morfismo identidad obviamente respeta la graduacin, por lo tanto los
espacios vectoriales graduados junto con los morfismos graduados
forman una categora. Se puede probar fcilmente (verificarlo!) que
el producto en esta categora existe, y se calcula coordenada a coordenada, es decir, si {V i }i I es una familia de espacios vectoriales
graduados, entonces el objeto nZ (i I Vni ) es el producto categrico.
Si definimos k[n] como el espacio vectorial graduado que en grado n tiene a k y cero en los dems grados, entonces el producto
categrico de {k[n]}nZ es un espacio vectorial graduado con un espacio vectorial de dimensin uno en cada grado, es decir es que es
isomorfo a k(Z) . Si en cambio olvidamos la graduacin, el producto
en la categora de espacios vectoriales (o en la categora de conjuntos) de los k[n] es kZ , que contiene estrictamente a k(Z) .
2. Otro ejemplo en donde el producto no se calcula como el producto cartesiano es el de la categora en donde los objetos forman
un conjunto ordenado, y en donde existe una (nica) flecha i j si
y slo si i j. Si (k i, k j) es un producto, esto significa, por
un lado que k i y que k j, adems la condicin de la propiedad
universal afirma que si existen flechas k0 i y k0 j, entonces
existe una nica flecha k0 k haciendo conmutar el correspondiente diagrama. Traduciendo existe una flecha por es menor o igual
que, la propiedad universal se traduce en dado un k0 i y k0 j,
entonces k0 k; en otras palabras, el producto de i y j no es otra cosa
que el nfimo entre i y j, que nada tiene que ver con productos cartesianos. Este ejemplo muestra adems que los productos categricos
no necesariamente existen.
2. Lmites y Colmites
9.2.2
275
Coproductos
~
ji
/X
~
~
~ !f
i I
es una biyeccin.
Demostracin. Se deja como ejercicio.
Ejemplos.
1. En la categora de conjuntos, y en la categora de espacios topolgicos, el coproducto es la unin disjunta.
2. En la categora de mdulos sobre un anillo, el coproducto es la
suma directa.
276
9. Categoras
9.2.3
2. Lmites y Colmites
277
278
9. Categoras
! ej
XO
/Y
? j
?
2. Lmites y Colmites
279
correspondiente es:
X
/Y
/C
j
! ej
9.2.4
Egalizadores y coegalizadores
Si consideramos intuitivamente los ncleos como los objetos formados por elementos que verifican una igualdad, y los concleos
como cocientes, resulta natural generalizar estas construcciones a
otras categoras en donde la nocin de cero no exista pero si exista
una nocin de ecuacin o igualdad, as como tambin a categoras
en donde exista la nocin de cociente por una relacin de equivalencia.
Definicin 9.2.8. Sean f , g : X Y dos morfismos en una categora cualquiera C . Llamaremos un egalizador de f y g a un objeto
E provisto de un morfismo i : E X tal que f i = g i, que
sea universal con respecto a esa propiedad. Ms precisamente, si
280
9. Categoras
XO
/
/Y
? h
!e
h ?
Ejercicios.
1. Si dos morfismos f , g : X Y admiten egalizador, ste es nico
a menos de isomorfismo.
2. Si la categora admite objeto cero y f : X Y, entonces Ker( f )
coincide con el egalizador de los morfismos f , 0 : X Y.
La nocin de coegalizador es la dual:
Definicin 9.2.9. Sean f , g : X Y dos morfismos en una categora
cualquiera C . Llamaremos un coegalizador de f y g a un objeto C
provisto de un morfismo p : Y C tal que p f = p g y que
sea universal con respecto a esa propiedad. Ms precisamente, si
h : Y Z es un morfismo tal que p f = p g, entonces existe un
nico morfismo e
h : C Z tal que h = e
hp
f
/Y
h
/C
!e
h
Ejercicios.
1. Si dos morfismos f , g : X Y admiten coegalizador, ste es
nico a menos de isomorfismo.
2. Si la categora admite objeto cero y f : X Y, entonces Coker( f )
coincide con el coegalizador de los morfismos f , 0 : X Y.
3. Si f , g : X Y son dos morfismos en la categora de conjuntos,
entonces el egalizador de f y g consiste en el cociente de Y por la
relacin de equivalencia y y0 x X tal que o bien
y = f ( x ) e y0 = g( x ), o bien y = g( x ) e y0 = f ( x ).
2. Lmites y Colmites
281
9.2.5
La nocin de coproducto se utiliza frecuentemente para construir un objeto a partir de otros dos, pero puede ocurrir que un objeto quede determinado por un par de subobjetos sin ser necesariamente su coproducto. Ilustrando este hecho, podemos considerar
un mdulo M generado por dos submdulos M1 y M2 , tales que
M1 M2 6= {0}, y por lo tanto M 6= M1 M2 , o bien un conjunto
X que sea la unin de dos subconjuntos Y y Z, donde esta unin no
sea necesariamente disjunta.
En el caso de los conjuntos, si se desea definir una funcin con
dominio el conjunto X = Y Z, es claro que basta definirla por
un lado en Y y por otro lado en Z, pero como puede haber puntos
en comn, las funciones definidas por separado deben coincidir en
Z Y.
En el caso de mdulos la situacin es similar, si se tienen definidos morfismos f 1 : M1 N y f 2 : M2 N, y M = M1 + M2 ,
la condicin para que f est definida en M se puede deducir de la
siguiente manera:
Como M = M1 + M2 , las inclusiones M1 , M y M2 , M
definen un nico morfismo M1 M2 M que es un epimorfismo.
Por lo tanto M es un cociente de M1 M2 . Si un par (m1 , m2 )
M1 M2 es tal que m1 + m2 = 0 en M, o lo que es lo mismo m1 =
m2 , como m1 M1 y m2 M2 se sigue que m1 y m2 son elementos
de M1 M2 , luego Ker( M1 M2 M ) = {(m, m) : m M1
M2 }. Si f 1 f 2 : M1 M2 N, la condicin para que esta funcin
pase al cociente es que se anule en el ncleo, es decir que ( f 1
f 2 )(m, m) = 0 m M1 M2 f 1 (m) + f 2 (m) = 0 m
M1 M2 , o lo que es equivalente, si y slo si f 1 y f 2 coinciden donde
coinciden sus dominios.
Esta nocin de construir un objeto a travs de dos partes, que
pueden tener relaciones entre ellas, es la que se formaliza categricamente a travs de la definicin de push-out:
282
9. Categoras
/Y
Z
Un objeto T, junto con dos morfismos i : Y T y j : Z T se llama
un push-out de f y g en C si verifica las siguientes dos condiciones: 1)
i f = j g, y 2) es universal con respecto a esa propiedad, es decir,
dado un diagrama conmutativo de flechas llenas como el siguiente,
siempre puede completarse de manera nica y conmutativa con la
flecha punteada:
X
/Y
//
/
i //
//
j
Z OOOO / T @ ///
O
OOO @ //
OO @ /
OOOO @ /
O'
T0
X
El push-out de un diagrama
/Y
se denotar Z X Y.
Z
Ejercicios.
1. Sea X un conjunto, Y y Z dos subconjuntos de X. Demuestre que
YZ /
Z /
Y
es un cuadrado push-out.
/YZ
2. Lmites y Colmites
283
N
g
5. Ver que en la categora de mdulos, un diagrama
es un
/
0
T
cuadrado push-out si y slo si la siguiente sucesin es exacta
/
00 @ OOO
00 @ OOOO
OOO
00 @
p O'
00
/Y
0 T
00
00 q
f
0
g
/X
Z
Y
El pull-back de un diagrama
Z
se denotar Z X Y.
284
9. Categoras
Ejercicios.
1. Sea C una categora que admite productos y egalizadores, entonces el pull-back de dos morfismos f : Y X y g : Z X se calcula
como el egalizador de f pY : Y Z X y f p Z : Y Z X.
2. Describir el pull-back en la categora de conjuntos y en la de mdulos.
3. Describa el pull-back en la categora de espacios topolgicos.
T
/Y
4. Sea
un cuadrado conmutativo en una categora C . Ver
/
Z
X
que es un cuadrado push-out (respectivamente pull-back) si y slo
si para todo objeto W en C , aplicando HomC (, W ) (respectivamente HomC (W, ) ) queda un cuadrado pull-back en la categora de
conjuntos.
5. Sea f : X Y un morfismo en una categora cualquiera. Probar
X
que f es un monomorfismo si y slo si el diagrama
Id
Id /
f
/Y
es un
pull-back.
6. Enunciar y demostrar la versin dual del ejercicio anterior, con
epimorfismos y push-outs.
9.2.6
Lmites
2. Lmites y Colmites
285
/ Xj
@@
@@
f i j
@
f ik @@
Xk @
Xi
A un conjunto de datos con esas propiedades se lo llamar un sistema proyectivo. Notemos que si elegimos una familia de funciones
entre varios conjuntos, esta familia siempre est parcialmente ordenada diciendo que una funcin f es menor o igual que otra funcin
g si y slo si son componibles, es decir, si el codominio de f coincide con el dominio de g, luego, tratndose de datos que contienen
una familia de funciones, resulta natural indexarlos por un conjunto
parcialmente ordenado.
Lo que se busca es agregarle un supremo al conjunto parcialmente ordenado I, lo cual significara agregar un conjunto Xi0 en
donde, para todo i I estn definidas funciones f i : Xi0 Xi (i.e.
que i0 i i I), y que el conjunto I {i0 } siga siendo un sistema compatible, es decir, que para cada i j, los diagramas que se
agregan
Xi 0
fj
/ Xj
AA
AA
AA
f i j
f i AA
Xi
286
9. Categoras
/ Xj
?
~
~
~~
f
!g
~~~~ g j i j
/X
X0
XO
gi
fj
/ Xj
AA
AA
AA
f i j
f i AA
Xi
Xi
2. Lmites y Colmites
287
X2
X3
4. Los coegalizadores pueden calcularse a partir de dos lmites consecutivos, de hecho, a partir de dos pull-backs consecutivos. En
efecto, sean f , g : X Y y consideremos el pull-back
/
X Y X
X
/Y
288
9. Categoras
En la categora de conjuntos X Y X = {( x, x 0 ) X X/ f ( x ) =
g( x 0 )}, pero como queremos definir el subconjunto formado por
{ x X / f ( x ) = g( x )}, una manera es considerar la interseccin
de X Y X con la diagonal {( x, x ) / x X }, es decir, la imagen de
X en X X que se define a travs del diagrama:
X
xxx O
Id xxxxxxx
x
xxxx
xxxxx
X F_FFF_ _/ X X
FFFFF
FFFF
FF
Id FFFFF
XX
coeficientes en k.
7. Sea I un conjunto parcialmente ordenado que tiene mximo, es
decir tal que existe i0 I tal que i0 es comparable con todo elemento
de I y adems i0 i i I. Demostrar que si { f i j : X j Xi } es un
sistema proyectivo cualquiera, entonces su lmite existe y coincide
con Xi0 .
2. Lmites y Colmites
289
8. En la categora de conjuntos, si { Xi }i I es una familia de subconjuntos de X, ordenada por el orden inverso a la inclusin, y
se consideran como morfismos tambin las inclusiones, entonces
lim Xi = i I Xi .
I
9.2.7
Colmites
{( f i j ) : HomC ( X j , Y ) HomC ( Xi , Y )}
290
9. Categoras
es un sistema proyectivo. Un objeto X es un lmite directo de { Xi }i I
si y slo si HomC ( X, Y ) es el lmite inverso (en la categora de conjuntos) de {HomC ( Xi , Y )}i I para todo objeto Y.
9.3
9.3.1
Funtores
Definicin y ejemplos
3. Funtores
291
Ejemplos.
1. O : G Sets, dado un grupo G, O( G ) es el conjunto G, y si
f : G G 0 es un morfismo de grupos, O( f ) es simplemente f ,
vista como funcin.
2. O : A Mod Sets, dado un A-mdulo M, O( M) es el conjunto
subyacente M, si f : M N es una aplicacin A-lineal entre M y
N, O( f ) = f .
3. Se pueden definir de la misma manera, funtores olvido de la
categora Top en Sets, o de Top0 en Top (olvidando el punto de base), de la categora A Mod en Ab, tomando un A-mdulo y considerando solamente la estructura subyacente de grupo abeliano.
4. Un ejemplo menos trivial es el funtor abelianizacin Ab : G
Ab, definido por
G 7 G/[ G, G ]
f 7 f
Notar que si f : G G 0 es un morfismo de grupos, entonces
f ([ G, G ]) [ f ( G ), f ( G )]. Es por eso que la aplicacin de grupos
abelianos f : G/[ G, G ] G 0 /[ G 0 , G 0 ] est bien definida. Queda
como ejercicio demostrar la funtorialidad de Ab (es decir ver que
f g = f g y que IdG = IdG/[G,G] ).
Un ejemplo de construccin que no es funtorial es la asignacin,
de G en Ab dada por G 7 Z ( G ) (Z ( G ) = el centro de G). Por qu
no es funtorial?
Ejemplos.
1. Si X es un objeto fijo en una categora C , entonces se tienen dos
funtores en la categora de conjuntos:
HomC ( X, ) : C Sets (covariante)
Y 7 HomC ( X, Y )
( f : Y Z ) 7 ( f : HomC ( X, Y ) HomC ( X, Z ))
donde, si : X Y, f () : X Z est definido por f .
HomC (, X ) : C Sets (contravariante)
Y 7 HomC (Y, X )
( f : Y Z ) 7 ( f : HomC ( Z, X ) HomC (Y, X ))
292
9. Categoras
donde, si : Z X, f () : Y X est definido por f .
A Mod
dada
3. De Sets en Top pueden definirse dos funtores extremos, usando la topologa discreta: X 7 ( X, P ( X )), o la indiscreta: X 7
( X, {, X }).
4. De Sets a G o A Mod se puede definir el funtor libre, es decir
L( X ) = el grupo libre generado por el conjunto X, o A(X ) , el Amdulo libre generado por X. Como definir un morfismo con dominio L( X ) (resp. A(X ) ) equivale a definir una funcin de conjuntos
sobre X con dominio en otro grupo (resp. en otro A-mdulo), dada
una funcin X Y queda unvocamente determinada una flecha
de grupos de L( X ) L(Y ) (resp. flecha A-lineal de A(X ) A(Y ) ).
9.3.2
Transformaciones naturales
F2 ( X )
F1 ( f )
F1 (Y )
Y
F2 ( f )
F2 (Y )
es conmutativo en D .
Si los funtores F1 , F2 son contravariantes, se dir que : F1 F2
es una transformacin natural si para todo morfismo f : X Y el
3. Funtores
293
F1 ( f )
F1 (Y )
Y
F2 ( X ) o
F2 ( f )
F2 (Y )
/W
iW
/ W
294
9. Categoras
4. Sean A un anillo y A Z A un A-bimdulo isomorfo a A como Abimdulo, llamemos u : Z A ese isomorfismo. Entonces
M : Z A M M
z m 7 u(z).m
define un isomorfismo natural entre el funtor Z A () y el funtor
identidad.
5. Consideremos la categora de anillos con unidad y la categora de
grupos. Est definido el funtor U () y para cada entero positivo n
fijo el funtor GL(n, ), que asocian respectivamente, dado un anillo
A, el grupo de unidades de A, y las matrices inversibles de n por n
con coeficientes en A. Demuestre la funtorialidad de estas construcciones, y muestre a su vez que la funcin determinante define una
transformacin natural entre GL(n, ) y U ().
6. Se consideran los funtores
sq : Sets Sets
E 7 E E
y
HomSets (2, ) : Sets Sets
E 7 HomSets (2, E)
donde 2 denota al conjunto de dos elementos {0, 1}. Probar que estos funtores son naturalmente isomorfos.
9.3.3
3. Funtores
295
Ejemplos.
1. Sean A XB un A-B-bimdulo, F = X B () y G = Hom A ( X, ).
Entonces el isomorfismo
Hom A ( X B Y, Z )
= HomB (Y, Hom A ( X, Z ))
nos est diciendo que F es adjunto a izquierda de G.
2. Sean A un anillo e I un conjunto, Entonces el mdulo A( I ) es Alibre y tiene una base que est en biyeccin con I. La propiedad de
la base nos dice que para definir un morfismo A-lineal con dominio
en A( I ) y codominio en otro A-mdulo M, basta definir una funcin
(de conjuntos) entre I y M. Llamemos O : A-mod Sets al funtor
olvido, que a todo A-mdulo M le asigna el conjunto subyacente
M. Entonces se tiene que, identificando el conjunto I con la base
cannica de A( I ) , la restriccin de A( I ) en I establece una biyeccin
natural
Hom A ( A( I ) , M )
= HomSets ( I, O( M)).
3. Sea A un anillo conmutativo y S A un subconjunto multiplicativo de A. Sea O : AS -mod A-mod el funtor que a todo AS mdulo N le asigna el mismo N pero considerado como A-mdulo,
con la estructura definida a partir del morfismo cannico de anillos
A AS . Se puede verificar como ejercicio que la propiedad universal de la localizacin se traduce en la adjuncin Hom AS ( MS , N )
=
Hom A ( M, O( N )).
Ejercicios.
1. Dado un conjunto X, sea P ( X ) la categora cuyos objetos son los
subconjuntos de X, y las flechas son las inclusiones. Fijamos dos
conjuntos A y B y f : A B una funcin. Sea f : P ( A) P ( B)
el funtor imagen y f : P ( B) P ( A) el funtor imagen inversa.
Demuestre que f es adjunto a izquierda de f .
2. Sean V un k-espacio vectorial, A una k-lgebra, T (V ) el lgebra
tensorial, O el funtor olvido de k-lgebras en k-espacios vectoriales,
entonces
HomkAlg ( T (V ), A)
= Homk (V, A)
296
9. Categoras
3. Sean V un k-espacio vectorial, A una k-lgebra, S(V ) el lgebra simtrica, O el funtor olvido de k-lgebras conmutativas en kespacios vectoriales, entonces
HomkAlgC (S(V ), A)
= Homk (V, A)
4. Sean G un grupo, A un anillo, U ( A) el grupo de unidades de A,
entonces
HomG ( G, U ( A))
= HomAn (Z[ G ], A)
5. Sean G un grupo, A una k-lgebra, U ( A) el grupo de unidades
de A, entonces
HomG ( G, U ( A))
= HomkAlg (k[ G ], A)
6. Sea X un conjunto cualquiera, denotemos F ( X ) al grupo libre
generado por X, luego la propiedad universal del grupo libre se lee
como:
HomG ( F ( X ), G )
= HomSets ( X, O( G ))
La propiedad fundamental de los funtores adjuntos est dada
por el siguiente teorema:
Teorema 9.3.4. Sea G : C D un funtor que admite un adjunto a derecha F : D C , entonces F preserva lmites. En particular preserva productos, push-outs, egalizadores, monomorfismos, objetos finales, y si existe
objeto cero preserva cero y concleos. Dualmente G preserva colmites, en
particular preserva coproductos, pull-backs, coegalizadores, epimorfismos,
objetos iniciales, y si existe objeto cero preserva cero y ncleos.
Demostracin. Sea I un conjunto parcialmente ordenado y sea { f i j :
X j Xi } un sistema proyectivo en D que admite lmite ( X, pi :
X Xi ), queremos ver entonces que tambin el sistema proyectivo { F ( f i j ) : F ( X j ) F ( Xi )} admite lmite, y que ste coincide
con ( F ( X ), F ( pi ) : F ( X ) F ( Xi )). Para sto, recordemos que X es
lmite de los Xi si y slo si la funcin natural
HomD (Y, X ) lim HomD (Y, Xi )
I
3. Funtores
297
= lim HomD ( G (Y ), Xi )
I
M
f
}{
/N
{
F( I )
es decir, dada una f HomC ( M, F ( I )) se quiere saber si se extiende a N, o sea si existe fe : N F ( I ) tal que f = fe g. La manera
298
9. Categoras
HomD ( G ( N ), I )
G ( g)
HomC ( M, F ( I ))
HomD ( G ( M ), I )
Captulo 10
Bibliografa
[F. W. Anderson K. R. Fuller] Rings and categories of modules,
Springer - Verlag 1973.
[M. Auslander I. Reiten S. O. Smal] Representation theory of Artin algebras. Cambridge University Press 1995.
[N. Bourbaki] lments de mathmatique. Algbre. Chap. II, III y VIII
(Hermann 1970), Chap. X (Masson 1980).
[J. Dieudonn] Sur les groupes classiques. Troisime edition, Hermann, 1967.
[C. Faith] Algebra II. Ring theory. Springer 1976.
[S. Lang] Algebra. Second edition, Addison Wesley 1984.
[S. Mac Lane] Categories for the working mathematician. Springer
1971.
[B. Mitchell] Theory of categories. Academic Press 1966.
[H. Weyl] The classical groups. Princeton University Press 1946.
299
300
10. Bibliografa
ndice
k-lgebra, 62
rbita, 27, 30
de anillos, 70
de grupos, 15
de mdulos, 109
Accin
Coegalizador, 280
de un grupo sobre un conjunto, Cogenerador, 177
23
Colmite, 289, 296
Accion
Concleo, 113, 278
transitiva, 28
Conmutador, 12
Anillo, 60
Contexto Morita, 255
ntegro, 62
Coproducto, 275, 296
cociente, 70
Dominio
conmutativo, 60
ntegro, 62
de divisin, 61
de factorizacin nica (dfu), 199,
de grupo, 63, 65
200
hereditario, 165
de ideales principales (dip), 154,
hiperhereditario, 153
198, 199, 203
producto de, 75
eucldeo, 197, 198
simple, 69
subanillo, 62
Egalizador, 279
Artiniano, 192, 195, 196
Epimorfismo
anillo, 137
categrico, 270
mdulo, 137
de anillos, 66, 271
de grupos, 13
base, 147
Equivalencia
Bimdulo, 102
de categoras, 244, 247, 261
Cclico
Estabilizador, 2730
mdulo, 112, 116
Exponente, 10
vector, 112
Extensin de escalares, 226
Categora, 106, 243, 265
Funtor, 247, 290
categora, 247
aditivo, 250
centralizador, 29
adjunto, 245, 246, 250, 262, 294,
Centro, 12, 25
296, 297
Cociente
301
302
contravariante, 290
covariante, 290
exacto, 246, 247
libre, 292
olvido, 291, 298
Galois, 261
Generador
de un grupo, 22
de un mdulo, 116
mdulo generador, 178
Grupo, 5
abeliano, 5
cclico, 22
centro, 12
cociente, 16
conmutador, 12
de isotropa, 28
derivado, 12
invariante, 11
normal, 11
normalizador, 12
simtrico, 6
subgrupo, 9
subgrupos conjugados, 11
teorema de Lagrange, 20
teoremas de isomorfismo, 18
Hereditario, 165
Hiperhereditario, 153
Ideal
a derecha, 68
a izquierda, 67
biltero, 67
generado, 70
maximal, 70
principal, 70
Propiedad universal, 71
Independencia lineal, 146
Indice, 20
Inyectivo
grupo abeliano, 174
303
submdulo, 103
submdulo generado, 104
submdulo maximal, 104
teoremas de isomorfismo, 111
Matrices, 61, 68, 69, 102
Monoide, 7
Monomorfismo
categrico, 269
de grupos, 13
Morfismo, 265
de anillos, 64
de grupos, 13
de mdulos, 106
Morita
contexto, 254
equivalencia, 249
Galois, 261
teorema, 251, 252
Multiplicativamente cerrado, 77
Ncleo
categrico, 278
de anillos, 66, 67, 70
de grupos, 13
de mdulos, 107
Noetheriano, 192
anillo, 132
mdulo, 129
Normalizador, 12, 29
Objeto final, 276
Objeto inicial, 276
Orbita, 28
Orden
de un grupo, 5, 20
Playo, 235
Polinomio, 200
minimal, 112
Polinomios
de Laurent, 198
Producto, 271, 296
cruzado, 258
de anillos, 75
directo, 116
directo de grupos, 7
tensorial, 230, 295
Producto tensorial, 220
Proyectivo
mdulo, 162
objeto, 297
Pull-back, 283, 296
Push-out, 281, 296
Radical, 195
Rango, 154
Representacin
conjuntista, 24
lineal, 100
Retraccin, 115
Schur
lema de, 194
Seccin, 115
Semisimple, 188, 191
Sistema inductivo, 289
Soporte, 63
Submdulo, 103
Sucesin exacta, 108, 117, 128
escindida, 118
Suma directa, 116, 275
Tensor elemental, 221
Teorema
de Baer, 173
de ecuacin de clases, 30
de estructura sobre un dip, 203
de Fermat, 21
de Hilbert, 133
de isomorfismo (anillos), 72
de isomorfismo (mdulos), 111
de isomorfismo para grupos, 18
de Kaplansky, 165
de Lagrange, 20
de Maschke, 193
de Wedderburn, 194
304
Torsin, 114, 292
Transformacin natural, 292