Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Topicos de Algebra PDF
Topicos de Algebra PDF
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
ANILLOS Y SUS CATEGORAS DE
REPRESENTACIONES
Andrea Solotar
Marco Farinati
Mariano Surez Alvarez
Departamento de Matemtica
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
Ciudad Universitaria, Pabelln 1, (1428) Buenos Aires
Argentina
1 Grupos 5
1.1 Definicin y ejemplos . . . . . . . . . . . . . . . . . . . 5
1.2 Monoides . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Subgrupos. Subgrupos normales . . . . . . . . . . . . 9
1.4 Morfismos y cocientes . . . . . . . . . . . . . . . . . . 12
1.5 Teoremas de isomorfismo . . . . . . . . . . . . . . . . 18
1.6 El teorema de Lagrange . . . . . . . . . . . . . . . . . 20
1.7 Grupos cclicos . . . . . . . . . . . . . . . . . . . . . . 22
1.8 Accin de un grupo sobre un conjunto . . . . . . . . . 23
1.9 Orbitas, grupos de isotropa y ecuacin de clases . . . 27
1.10 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2 Anillos 59
2.1 Definiciones y ejemplos . . . . . . . . . . . . . . . . . 59
2.2 Morfismos . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.3 Ideales bilteros . . . . . . . . . . . . . . . . . . . . . . 67
2.4 Cocientes . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.5 Producto de anillos . . . . . . . . . . . . . . . . . . . . 75
2.6 Localizacin . . . . . . . . . . . . . . . . . . . . . . . . 76
2.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3 Mdulos 99
3.1 Primeras definiciones y ejemplos . . . . . . . . . . . . 99
3.2 Submdulos maximales . . . . . . . . . . . . . . . . . 104
3.3 Morfismos . . . . . . . . . . . . . . . . . . . . . . . . . 106
3.4 Cocientes . . . . . . . . . . . . . . . . . . . . . . . . . . 109
3.5 Mdulos cclicos . . . . . . . . . . . . . . . . . . . . . . 116
3.6 Suma y producto . . . . . . . . . . . . . . . . . . . . . 116
3.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 118
v
vi
9 Categoras 265
9.1 Categoras . . . . . . . . . . . . . . . . . . . . . . . . . 265
9.2 Lmites y Colmites . . . . . . . . . . . . . . . . . . . . 271
9.3 Funtores . . . . . . . . . . . . . . . . . . . . . . . . . . 290
vii
10 Bibliografa 299
viii
Introduccin
1
2
Andrea Solotar
Buenos Aires, 30 de julio de 2007.
4
Captulo 1
Grupos
( g1 g2 ) g3 = g1 ( g2 g3 ) .
e g = g e = g.
g g0 = g0 g = e.
5
6 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 in-
versos 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 com-
posicin 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 fi-
las 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 con-
juntos Z, Q, R, C (los nmeros enteros, racionales, reales y comple-
jos) 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 produc-
to (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 7
1.2 Monoides
La estructura de monoide es una generalizacin de la estructura
de grupo, en donde no se pide la existencia de inverso y, segn el
contexto, a veces se supone la existencia de elemento neutro y a
veces no. Damos pues la definicin de monoide:
Definicin 1.2.1. Un monoide ( M, ) es un conjunto M provisto de
una operacin : M M M que es asociativa, es decir, para la
cual m (n l ) = (m n) l para toda terna de elementos m, n, l M.
Si adems existe e M tal que e m = m e para todo m M,
entonces M se dir un monoide con elemento neutro.
8 1. Grupos
( x1 , . . . , x n ) ( x 0 1 , . . . , x 0 m ) = ( x1 , . . . , x n , x 0 1 , . . . , x 0 m ) X n + m .
3. Subgrupos. Subgrupos normales 9
Ejemplos.
1. Si n N, sea Gn = {w C : wn = 1}. Entonces ( Gn , ) es un
subgrupo de (C {0}, ).
2. Si n N, el conjunto nZ = {nk / k Z} de los mltiplos de n es
un subgrupo de los enteros (Z, +).
3. Si G = Z6 = {0, 1, , 5}, entonces H1 = {0, 2, 4} y H2 = {0, 3}
son subgrupos de G.
4. Si ( G, ) es un grupo, G y {e} son siempre subgrupos. Si p es un
nmero primo y G = Z p se ver fcilmente luego que estos dos
subgrupos triviales son los nicos subgrupos que tiene Z p .
10 1. Grupos
xHx 1 = { xhx 1 : h H }
Observaciones.
1. Sea { Hi }i I una familia de subgrupos de un grupo G. Entonces
T
i I Hi es tambin un subgrupo
T
de G. Si adems todos los Hi son
invariantes en G, entonces i I Hi es invariante.
xHx 1 es
T
2. Si H es un subgrupo de un grupo G, mostrar que xG
un subgrupo invariante.
12 1. Grupos
3. Si S es un subconjunto de G, sea
NS = { x G : xSx 1 = S}.
ZG = { x G : xg = gx para tdo g G }.
[ x, y] = xyx 1 y1 .
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 sub-
grupo 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, cu-
yo 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 mor-
fismo 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.
2ik
6. Sea f : Gn Zn dado por f (e n ) = k. Entonces f es un isomor-
fismo de grupos.
( x 0 ) 1 x = h 1 , ( y 0 ) 1 y = h 2 ,
o, equivalentemente,
x = x 0 h1 , y = y 0 h2 .
f ( xy) = xy = x y = f ( x ) f (y)
Ker( f ) = {x G : f ( x ) = eG0 }
= {x G : x = e}
= {x G : x H e}
= {x G : x H}
= H
x R/Z 7 e2ix S1
4. Morfismos y cocientes 17
f
G / G0
y<
y
H y
y f
G/H
f 1 ( x ) = f 1 ( ( x )) = f ( x ) = f 2 ( ( x )) = f 2 ( x ),
as que f 1 = f 2 .
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, enton-
ces f tambin lo es, y si H = Ker( f ) entonces f es un monomorfis-
mo.
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 epimor-
fismo, 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
?
L
G
H
/ G/H
v:
v
K v
v H
v
G/K
El morfismo H induce un isomorfismo
G/K
= G/H.
H/K
Demostracin. El morfismo H es claramente sobreyectivo, pues H
lo es, y el ncleo de H es la imagen de H por K en G/K, es decir,
Im( H ) = H/K. Aaplicando ahora el primer teorema de isomorfis-
G/K
mo a H se tiene que H/K = G/H.
x = {y G : x H y}
= { 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 equivalen-
cia 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
ap a (mod p).
Demostracin. Los puntos (a), (b), (c) y (g) son evidentes. Como
| a|
| f ( a)| = .
| Ker( f |hai )|
Observaciones.
1. Un grupo cclico no tiene necesariamente un nico generador.
Por ejemplo, G = Z5 es un grupo cclico y
( g g 0 ) x = g ( g 0 x ).
eG x = x.
g = ( g, ) : x X 7 gx X
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 fun-
cin : 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 ).
Ejemplos.
1. Sea n N, G = Gn , y X = R2 . Identificamos a X con C. Defini-
mos una accin de G sobre X poniendo
Gn C C
(, z) 7 (z)
Sn Rn Rn
(, ( x1 , ..., xn )) 7 ( x(1) , ...x(n) )
g : G G
h 7 ghg1
Ejemplos.
1. Sea G = G5 actuando en R2 = C por rotaciones. Si z = 0 entonces
Oz = {0}. Si, en cambio, z 6= 0, entonces Oz contiene 5 elementos,
que son los vrtices del pentgono regular con centro en el origen y
que tiene a z como uno de sus vrtices.
2. Consideremos Z2 actuando en S1 va la accin tal que
0( x ) = x,
1( x ) = x.
Ejemplos.
1. Un grupo G acta por conjugacin sobre el conjunto de subgru-
pos 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 con-
mutan 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 multi-
plicativo 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 bi-
yectivas 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 (h-
galo!). 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
Luego
k
| G | = |Z ( G )| + ( G : Z ( ai ))
i =1
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?
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
i j = k, j k = i, k i = j,
j i = k, k j = i, i k = j,
i i = j j = k k = 1,
il
j @ k
( f g)( x ) = f ( x ) g( x ), f , g G X , x X.
Mostrar que G X es un grupo. Cundo es abeliano?
(b) Sea x0 X y sea Hx0 = { f G X : f ( x0 ) = 1}. Mostrar que
Hx0 es un subgrupo de G. Es normal?
34 1. Grupos
G
= Zp Zp .
| {z }
n veces
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
T
H H H es
un subgrupo de G.
10. Ejercicios 35
AB = { ab : a A, b B}.
y en GL2 (Z3 ).
1.10.29. Calcular el orden de SL2 (Z3 ). Sugerencia: para hacer cuen-
tas, escribir a Z3 como {0, 1, 1}). Describir el centro y encontrar las
clases de conjugacin.
1.10.30. Sea G un grupo y S y T subconjuntos de G tales que S T.
Entonces:
(a) C(S) C( T );
(b) C(C(S)) S; y
(c) C(C(C(S))) = C(s).
1.10.31. Sea G un grupo y g G. Entonces:
(a) g C( g);
(b) C(C( g)) = Z (C( g));
(c) C( g) C(h) sii h Z (C( g)); y
(d) C( g) C(h) sii Z (C( g)) Z (C(h)).
1.10.32. Sean G un grupo y H y K subgrupos de G.
(a) Si alguno de H o K es normal en G entonces HK es un sub-
grupo.
(b) Si los dos son normales, entonces HK = KH y se trata de un
subgrupo normal de G.
1.10.33. Sea G un grupo y N un subgrupo normal de G. Mostrar
que [ N, G ] N.
1.10.34.
El objetivo de este ejercicio es dar un ejemplo de que la nor-
malidad de subgrupos no es transitiva.
10. Ejercicios 39
( G ) =
\
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
( x1 , . . . , x n ) = ( x i x j ) Z[ x1 , . . . , x n ]
1 i < j n
( x (1) , . . . , x ( n ) )
( ) = .
( x1 , . . . , x n )
n!
|cl( g)| =
3( n 3) !
n!
|cl(( g))| = .
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
Productos
1.10.72. Sean U y V dos grupos y f : U W y g : V W homo-
morfismos de grupos. Entonces la aplicacin
N
/ N o G
/ G
incl can / /
N / K K/N
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.
Si no hay ambigedad sobre X, escribimos simplemente .
(a) Si G acta transitivamente sobre X, es muestre que
1
|G| ( g) = 1.
g G
1
|G| ( 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.
n 1
|GLn (k)| = ( q n q i ).
i =0
1 n 1 n
|SLn (k)| =
q 1 i =0
( q q i ).
( g, hH ) G X 7 ghH X.
0 ( x, y, z) = ( x, y, z),
1 ( x, y, z) = (y, z, x ),
2 ( x, y, z) = (z, x, y)
Teoremas de Sylow
1.10.85. Sea p un nmero primo. Un grupo abeliano finito de expo-
nente 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
(b) Determinar todos los grupos A tales que Aut( A) acta de ma-
nera 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 .
g r = gr, g G, r R.
GR / R
IdG
GX / X
( a, b) ( a0 , b0 ) = ( aa0 , b + ab0 ), .
AGL(1, K ) K K
dada por
( a, b) x = ax + b
N 0 = { g G : para cada x X, gx 6= x }
Aqu j H = {hjh1 : h H }.
(i) Es I 2 \ {1} = N 0 y N es un subgrupo normal abeliano de G. De
hecho, si H I = , se tiene que I = N 0 . Ms precisamente,
existe un nmero primo p tal que N = Zp Zp, y p = 2
sii H I = .
(j) Si T es un subgrupo normal de G con Z ( T ) 6= 1, entonces es
G = Z ( T ) o H.
(k) G = N o H con respecto a la accin por conjugacin de H
sobre N.
(l) Fijemos x1 X 0 . Definimos una aplicacin : N 0 H de la
siguiente manera: si n N 0 , entonces nx0 X 0 porque n no
deja fijo ningn elemento de X, as que como la accin de H
sobre X 0 es simplemente transitiva, existe exactamente un ele-
mento (n) H tal que (n) x1 = nx0 . Mostrar que es una
biyeccin.
(m) Fijemos x1 X 0 . Definimos en X dos operaciones y + en X
de la siguiente manera.
Sean x, y X. Si x = x0 , ponemos x y = x0 . Si x 6= x0 , exis-
te exactamente un elemento h H tal que hx1 = x, y ponemos
x y = hy. Por otro lado, sabemos que existe exactamente un
elemento n N tal que nx0 = x; ponemos x + y = ny.
Mostrar que ( X, +) es un grupo abeliano isomorfo a N y
que ( X 0 , ) es un grupo isomorfo a H.
(n) Mostrar que si H es abeliano, entonces ( X, +, ) es un cuerpo K
y que G = AGL(1, K ).
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 mane-
ra, empezando por Z0 = 1: sea i N0 y supongamos que ha hemos
10. Ejercicios 57
Zi+1 = 1 Z ( G/Zi ) .
Zi+1 /Zi
= Z ( G/Zi ).
muestre que todo Aut( G ) induce un automorfismo Aut( G/Zi ) tal que
conmuta
G / / G/Zi
G / / G/Zi
Anillos
59
60 2. Anillos
representaciones.
( ab)c = a(bc).
1a = a1 = a
para todo a A.
Distributividad. Si a, b, c A, es
a(b + c) = ab + ac
( a + b)c = ac + bc.
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 unvoca-
mente 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 ope-
raciones 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 de-
finidas en el ejemplo anterior, vemos que C (Rn ) y C (Rn ) tambin
son anillos, as como sus respectivas variantes tomando subconjun-
tos adecuados de Rn .
4. Considerando los ejemplos Q, R, C con las operaciones habitua-
les, 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?).
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 en-
contrarse un cuerpo K del cual A resulte un subanillo. Como ejem-
plo 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 cons-
truir un anillo llamado anillo de grupo de G, al que notaremos k[ G ].
Los elementos de k [ G ] son combinaciones lineales finitas con coefi-
cientes 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 for-
man 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 tam-
bin 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 distribu-
tivo con respecto a la suma:
g g g g = ( g h ) gh = gh h g.
1 )
g G g G h,g G g G h G
64 2. Anillos
2.2 Morfismos
En un anillo existen una estructura de grupo abeliano y una mul-
tiplicacin. Del mismo modo en que en el caso de los grupos nos
interesaban particularmente las funciones que respetaban la estruc-
tura de grupo, dentro de la clase de funciones entre anillos que sean
morfismos de grupos abelianos, nos interesarn aquellas que tam-
bin respeten la estructura multiplicativa.
Definicin 2.2.1. Sean ( A, + A , A ) y ( B, + B , B ) dos anillos. Un mor-
fismo 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 fun-
cin inversa resulta tambin morfismo de anillos.
2. Morfismos 65
Ejemplos.
1. Las inclusiones Z , Q , R , C , H son morfismos inyecti-
vos 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
k [ f h ] = k [ f ] k [ h ].
1 A = Id A (1 A ) = g( f (1 A )) = g(1B ),
1 = f (1) = f ( xx 1 ) = f ( x ) f ( x 1 ).
f ( ax ) = f ( a) f ( x ) = f ( a)0 = 0
y
f ( xa) = f ( x ) f ( a) = 0 f ( x ) = 0,
hbi = {ba : a A}
Observaciones.
1. Si I es un ideal de A y 1 A I entonces I = A. La misma con-
clusin se obtiene si suponemos slamente que existe un elemento
a I que es una unidad.
Un anillo A siempre tiene al menos dos ideales bilteros: (i) {0},
que corresponde a Ker(Id A : A A) y (ii) A, que no es un ncleo
a menos que incluyamos anillos con 1 = 0. Sin embargo, puede
suceder que stos sean los nicos: por ejemplo, si A es un cuerpo o
un anillo de divisin. Diremos en ese caso que A es un anillo simple.
Es fcil ver que un anillo conmutativo simple es un cuerpo, pero
en el caso no conmutativo hay anillos simples que no son de divi-
sin. Por ejemplo, si k es un cuerpo, en anillo de matrices Mn (k ) es
un anillo simple.
2. Si f : A B es un isomorfismo de anillos, entonces los ideales
bilteros de A estn en correspondencia 1-1 con los ideales bilteros
de B.
Si A es un anillo e I A es un idealbiltero, entonces Mn ( I ) es
un ideal biltero de Mn ( A) y, de hecho, todos los ideales bilteros
de Mn ( A) se obtienen de esta forma.
Sin embargo, A y Mn ( A), si n > 1, raramente son isomorfos
como anillos (d un ejemplo en el que s resulten isomorfos!). De
cualquier manera, los anillos A y Mn ( A) comparten muchas otras
propiedades: este hecho ser tratado en el Captulo de Teoremas de
Morita.
3. Si I y J son ideales de A, el conjunto
n
I J = { xi yi : xi I, yi J }
i =1
I + J = { x + y : x I, y J }
es un ideal de A.
5. Si I, J1 , y J2 son ideales de A, entonces I ( J1 + J2 ) = I J1 + I J2 .
70 2. Anillos
2.4 Cocientes
Vimos que todo ncleo de un morfismo de anillos es un ideal
biltero. En esta seccin veremos que, como en el caso de grupos,
dado un ideal biltero I de un anillo A, siempre existe un anillo B
y un morfismo f : A B tal que I = Ker( f ). La construccin es
similar al caso de grupos: se trata de definir una relacin de equi-
valencia entre los elementos de A de manera tal que el conjunto
cociente admita una estructura de anillo.
Fijemos entonces un anillo A y un ideal biltero I de A.
Decimos entonces que dos elementos a y a0 de A estn relacio-
nados si a a0 I. Es fcil ver que esto es una relacin de equi-
valencia. Sea A/I el conjunto de clases de equivalencia. Si a A,
escribimos a a la clase de a en A/I.
Como I es un subgrupo (normal) del grupo aditivo ( A, +), el
cociente A/I es un grupo abeliano y : A A/I es un morfis-
mo de grupos. La estructura de grupo sobre A/I est definida de
manera que
a + a0 = a + a0 .
4. Cocientes 71
a a0 := aa0
Para ver que as obtenemos una estructura de anillo sobre A/I, hay
que ver que:
la multiplicacin est bien definida en el cociente, esto es, que
si a = b y a0 = b0 , entonces aa0 = bb0 ;
( A/I, +, ) es un anillo con unidad y 1 6= 0 si I 6= A;
: A A/I es un morfismo de anillos con Ker( ) = I.
Una vez vista la buena definicin, el hecho de que ( A/I, +, ) es un
anillo con unidad es obvio. Tambin es obvio que es un morfismo
de anillos, ya que la multiplicacin en A/I est definida de la ni-
ca posible para la cual es multiplicativa. Finalmente, vemos que
Ker( ) = I, viendo slo las estructuras de grupos. Veamos entonces
la buena definicin:
Sean a, a0 , b, b0 A tales que a = b y a0 = b0 . Llamando x = a b
e y = a0 b0 , tenemos que la condicin a = b es equivalente a la
condicin x I, y lo mismo vale para y. Cuando calculamos el
producto aa0 a partir de b y b0 tenemos:
f
A /B
{=
{
{
{ f
A/I
A/ Ker( f )
= Im( f ).
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 n
ak X k 7 ak i k .
k =0 k =0
k [ G ]/h(1 h) : h H i
= k[ G/H ].
/ e3 / e4
e1 A
AA
AA
AA
e2
kQ = k.e1 k e2 k e3 k e4 k k k k .
ei2 = ei , si i = 1, . . . , 4;
ei e j = 0, si i 6= j;
e2 = e1 = ,
e3 = e1 = ,
e4 = e3 = ,
= ,
9. Sea Q el grafo
e1 / e2
2.6 Localizacin
En esta seccin analizaremos la construccin de Q a partir de Z
agregando los inversos multiplicativos de los enteros no nulos.
Veremos generalizaciones de esta construccin y la interpretacin
geomtrica que se le puede dar en ciertos ejemplos, que motiva el
nombre de localizacin.
Cuando se trabaja con nmeros enteros, hay operaciones que no
se pueden realizar, como invertir elementos que no sean ni 1 ni 1.
Por ejemplo, una ecuacin de la forma ax = b, con a 6= 0, no siempre
se puede resolver, porque no podemos pasar a dividiendo. Si uno
mira esa ecuacin en Q no tiene ningn problema, la resuelve, y
la solucin es un nmero racional. Lo que se realiz al pasar de Z
a Q es invertir todos los elementos no nulos de Z. Adems, Q es de
alguna manera un anillo minimal con la propiedad de contener a Z
y a los inversos de los nmeros no nulos. Ms precisamente (o ms
categricamente):
m
= f ( m ) f ( n ) 1 .
f n
6. Localizacin 77
AS = {( a, s) A A : a A, s S}/ ,
AS = { f /g : f , g A, g( x0 ) 6= 0}/ .
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 po-
siblemente 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 izquier-
da 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
( f + g)( x ) = f ( x ) + g( x ), x X
( f g)( x ) = f ( x ) g( x ), x X
f (n)
f = ns
.
n N
|{ g G : f ( g) 6= 0}| < .
(s + t)( g) = s( g) + t( g)
f = g g
g G
i2 = j2 = k2 = 1,
ij = ji = k, jk = kj = i, ki = ik = j.
uv = v u.
84 2. Anillos
u u = N (u)1, u H.
Adems, si u, v H, entonces N (uv) = N (u) N (v).
(f) Muestre que si u H es tal que N (u) 6= 0, entonces u es inver-
sible en H.
(g) Muestre que H(R) es un lgebra de divisin pero que H(C) no
lo es.
2.7.15. Algebras de caminos.
(a) Un carcaj Q es una 4-upla ( Q0 , Q1 , s, t) en la que:
Q0 y Q1 son conjuntos. Los elementos de Q0 son los vrtices
de Q y los de Q1 las flechas.
s y t son funciones Q1 Q0 . Si Q1 es una flecha,
decimos que s() es el origen de y que t() es su final.
Por ejemplo, obtenemos un carcaj si ponemos Q = ( Q0 , Q1 , s, t)
con Q0 = {1, 2, 3, 4}, Q1 = {, , , , , } y s y t estn dados
por la tabla siguiente:
s 1 2 2 2 3 3
t 2 3 3 4 3 1
/ y
1
/ 2 / 3
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
u= a .
P( Q)
(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 endomorfis-
mos 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
df
p( f ) = , y q( f ) = X f
dX
y sea A = C[ p, q] el menor subanillo de EndC (C[ X ]) que contiene
a C, a p y a q. Llamamos a A el lgebra de Weyl.
(a) A es una C-lgebra de dimensin infinita.
(b) En A es pq qp = 1.
(c) El conjunto { pi q j : i, j N0 } es una base de A como C-espacio
vectorial.
(d) Describa el centro de A.
(e) Muestre que A no posee divisores de cero.
(f) Describa el conjunto de unidades de A.
2.7.18. El lgebra de funciones en el plano cuntico. Sea q C \ 0 y su-
pongamos que q no es una raz de la unidad. Sea V = { f : N0 C}
el C-espacio vectorial de todas las funciones de N0 en C. Conside-
ramos dos elementos x, y EndC (V ) definidos de la siguiente ma-
nera: si f V y n N0 , entonces x ( f ), y( f ) : N0 C son tales
que
x ( f ) (n) = qn f (n)
y
y ( f ) ( n ) = f ( n + 1).
qn 1
(n)q = .
q1
( n ) q ! = (1) q (2) q ( n ) q .
Finalmente, si n N0 y 0 k n, ponemos
(n)q !
n
= .
k q (k )q !(n k )q !
Muestre que:
(i) Si 0 k n, es
n n
= .
k q nk q
(ii) Si 0 k n, entonces
n1 k n1 n1 nk n 1
n
= +q = +q .
k q k1 q k q k q k1 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
( x + y) =
n
x k ynk .
0 k n
k q
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.
D + = {d D : di = id}
D = {d D : di = id}
de D. Muestre que D = D + D .
7. Ejercicios 89
s : d D 7 dx D + .
n = ( 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
qn 1
|cl( a)| = .
qr ( a ) 1
(h) Sean a1 , . . . , al representantes de las clases de conjugacin no
triviales de D . Entonces la ecuacin de clases para D es:
l
qn 1
qn 1 = q 1 + r ( a) 1
.
i =1 q
y vemos que n (q) | (q 1).
7. Ejercicios 91
(i) En particular,
q 1 |n (q)| = | q |.
n
( I : J ) = { a A : aJ I }
1 /2 / / n1 / n
A BC
a 7 (ea, e0 a)
A e1 C e2 C e3 C
a 7 (e1 a, e2 a, e3 a)
ab p = a p b p.
Localizacin
En estos ejercicios los anillos son conmutativos.
2.7.47. Sea A un anillo y sea S A un subconjunto multiplicati-
vamente cerrado de unidades de A. Entonces AS = A.
2.7.48. Sea A un anillo y sea S A un subconjunto multiplicativa-
mente 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
r /
C(R) C(
:
U)
can
r
C(R)S
Mdulos
: A EndZ ( M)
a 7 a
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 es-
tructura es tal que, si n > 0, n (m) = m + m + + m, con n su-
mandos.
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 ]. Ha-
bitualmente, 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 iz-
quierda. 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 A-
mdulo 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).
1. Primeras definiciones y ejemplos 101
( 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. Sabe-
mos 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.
G3 = {1, , 2 } C
N = {( x, y, z) R3 : x + y + z = 0}
N1 + N2 = { x + y : x N1 , y N2 }
a1 x1 + a n x n
S = { a1 x1 + an xn : a1 , . . . , an A, x1 , . . . , xn X }
g x = g( x ).
Entonces k(X )
= kn resulta un k[Zn ]-mdulo extendiendo lineal-
mente 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
Dado un anillo A, podemos construir una categora que tiene
como objectos a los A-mdulos y como morfismos a las funcio-
nes entre A-mdulos que respetan la estructura de A-mdulos. Ms
precisamente,
Ejemplos.
1. Para todo A-mdulo M, la aplicacin identidad Id M : M M
es un morfismo de A-mdulos. Por otro lado, si f : M N y
3. Morfismos 107
P v = P(t)(v), P k[ X ], v V.
f n +2 f n +1 fn f n 1
... / Mn +1 / Mn / Mn 1 / ...
Observaciones.
1. La sucesin
f
0 / M / N
f
M / N / 0
f g
0 / M / N / T / 0
3.4 Cocientes
Si k es un cuerpo, V un espacio vectorial V y S es un subespacio
de V, siempre existe otro subespacio T V tal que V = S T. Por
otro lado, si A es un anillo arbitrario y M es un A-mdulo, no es
cierto que todo submdulo S M siempre posea un complemento:
por ejemplo, podemos tomar A = M = Z y S = 2Z.
En el caso de espacios vectoriales, como V = S T, podemos
construir un proyector p : V V tal que Im( p) = T, Ker( p) = S y
p| T = IdT . As, aplicando p uno olvida a los elementos de S, iden-
tificando dos elementos de V que difieran entre si por un elemento
de S.
En el caso de mdulos, este ltimo punto de vista de identifi-
car elementos que difieran en un resto de un submdulo S pue-
de ser llevado a cabo: uno encontrar una aplicacin sobreyectiva
: M T cuyo ncleo sea exactamente S. El mdulo T se lla-
mar el cociente de M por S, y en general no habr una manera de
identificarlo con un submdulo de M.
110 3. Mdulos
Ejemplos.
1. Si tomamos A = Z, la nocin de cociente de Z-mdulos coincide
con la nocin de cociente de grupos abelianos.
2. Sea A = Z = M y S = 2Z. Entonces M/S = Z2 , que no es
isomorfo a ningn submdulo de M.
3. Si V es un espacio vectorial y V = S T, entonces V/S
= T.
4. Si M = A = k[ X ] y S = h X ai = {( X a) p : p k [ X ]},
entonces eva : P k [ X ] 7 P( a) k es un morfismo sobreyectivo,
de manera que k [ X ]/h x ai
= k. La accin de k[ X ] sobre k en este
caso est dada por P = P( a) para cada P k [ X ] y cada k.
Como todo objeto cociente, M/S queda caracterizado por una
propiedad universal:
Proposicin 3.4.2. Dados un A-mdulo M y un submdulo S, el par
( M/S, S : M M/S) tiene las siguientes dos propiedades:
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 ma-
nera nica con la flecha punteada:
f
M / N
<
f y y
S y
y
M/S
M
= Im( f ).
Ker( f )
M/T
= M/S.
S/T
S+T T
= .
S ST
Demostracin. La cuenta es idntica al caso de grupos. Dejamos al
lector la verificacin de que todos los morfismos que aparecen son
A-lineales.
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
: P k[ X ] 7 P(t)v0 V.
1 ( ( T )) = h T, Si = T + S
Ejercicio. Si
f g
0 / M / N / T / 0
Ejemplos.
1. Si n N, Zn es de torsin como Z-mdulo pero sin torsin como
Zn -mdulo.
2. Todo k-espacio vectorial es sin torsin sobre k.
3. Si A es un dominio ntegro y M es un A-mdulo, M/t( M) es sin
torsin.
Si A es un dominio ntegro y M es un A-mdulo, hay una suce-
sin exacta de A-mdulos:
/ i / / /
0 t( M) M M/t( M) 0
( f | S ) 1
/ /
W S V
Se puede ver sin dificultad que f s = IdW .
Definicin 3.4.7. Sea f : M N un morfismo de A-mdulos.
f es una seccin si existe un morfismo g : N M tal que
g f = Id M .
f es una retraccin si existe un morfismo g : N M tal que
f g = Id N .
f g
0 / M / N / T / 0
j
0 / M / MT
/ T /0
3.7 Ejercicios
Mdulos y morfismos
3.7.1. Sea A un anillo, n 1 y M Mm,n ( A). Muestre que la multi-
plicacin matricial da un morfismo de A-mdulos
f : x An 7 Mx Am .
7. Ejercicios 119
Z ( A) hom A ( M, N ) hom A ( M, N )
poniendo
(b f c)(m) = f (mb)c, b B, c C, m M.
a b = ( a)b
( a, m) A M ( a)m M
: f homB ( M, N ) 7 ( f ) hom A ( ( M ), ( N ))
( g f ) = ( g ) ( f ).
: homB ( M, N ) hom A ( ( M ), ( N ))
f P : h hom A ( M0 , P) 7 h f hom A ( M, P)
f P : h hom A ( P, M) 7 f h hom A ( P, M0 ).
f P gP = ( g f )P
gP f P = ( g f )P .
f g
0 / M0 / M / M00
f N gN
0 / hom A ( N, M0 ) / hom A ( N, M) / hom A ( N, M00 )
f g
0 / M0 / M / M00 / 0
f N gN
/ hom A ( N, M0 ) / hom / hom A ( N, M00 ) /
0 A ( N, M ) 0
X v = f ( v ), v V.
Localizacin de mdulos
3.7.19. Localizacin de mdulos. Sea A un anillo, S A un subcon-
junto central multiplicativamente cerrado y sea M un A-mdulo a
izquierda.
124 3. Mdulos
f
M / N
jM jN
fS
MS / NS
f g
0 / M0 / M / M00 / 0
7. Ejercicios 125
127
128 4. Condiciones de cadena sobre mdulos y anillos
f g
0 / M1 / M2 / M3 / 0
s r s
y = y 0 + ai yi = bi f ( x i ) + a i y i
i =1 i =1 i =1
h f ( x1 ), . . . , f ( xr ), y1 , . . . , y s i.
N1 N2 Nk Nk+1 . . .
S
de submdulos de M. Como la cadena es creciente, N = kN Nk
es un submdulo de M, que es finitamente generado, porque M es
noetheriano. Sean x1 , . . . , xn N tales que
[
h x1 , . . . , x n i = N = Nk .
k N
f g
0 / M0 / M / M00 / 0
f g
0 / f 1 ( N ) / N / Im( g| N ) /0
h e1 i h e1 , e2 i h e1 , e2 , e3 i
Ejemplos.
1. Z y, si k es un cuerpo, k[ X ] son anillos noetherianos porque son
dominios de ideales principales.
2. El anillo con numerables indeterminadas k [ X1 , . . . , Xn , . . . ] es un
anillo que no es noetheriano. Como es ntegro, se lo puede conside-
rar como subanillo de su cuerpo de fracciones, que es trivialmente
noetheriano. Vemos as que un subanillos de un anillo noetheriano
no tiene por qu ser noetheriano.
3. El anillo A M2 (R) formado por las matrices triangulares su-
periores tales que a12 Q es anillo noetheriano a izquierda pero no
a derecha.
Si A es un anillo noetheriano a izquierda y M un A-mdulo, po-
demos afirmar que M es noetheriano? Como mnimo, M debera ser
finitamente generado, as que no todo A-mdulo ser noetheriano.
Pero como demostraremos ahora, esa es la nica obstruccin:
Proposicin 4.1.7. Sea A un anillo noetheriano a izquierda. Si M es un
A-mdulo de tipo finito, entonces M es noetheriano.
Demostracin. Como M es de tipo finito, existe n N y un epimor-
fismo An M. Luego basta mostrar que An es un A-mdulo noe-
theriano. Esto sigue inmediatamente de la observacin hecha arriba
de que una suma de mdulos noetherianos es noetheriana.
Proposicin 4.1.8. Sea : A B un morfismo sobreyectivo de anillos.
Si A es noetheriano, entonces B es noetheriano.
Demostracin. Consideremos a B como A-mdulo va . Como A es
noetheriano y es un morfismo sobreyectivo de A-mdulos, vemos
que B es un A-mdulo noetheriano.
Ahora bien, un B-submdulo de-B es, en este caso, lo mismo
que un A-submdulo de B, as que como toda cadena creciente de
2. El teorema de Hilbert 133
Observaciones.
1. Si A es un anillo noetheriano a izquierda y S Z ( A) es un
subconjunto multiplicativamente cerrado, entonces AS es un anillo
noetheriano a izquierda: en efecto, los ideales de AS estn en corres-
pondencia con los ideales de A que no contienen a ningn elemento
de S y esa correspondencia preserva la inclusin.
Si M es un A-mdulo noetheriano, es MS un AS -mdulo noe-
theriano?
2. Sea A un anillo y J A un ideal biltero. Si A es un anillo noe-
theriano a izquierda, entonces A/J es un anillo noetheriano a iz-
quierda.
J 0 = h p1 , . . . , pr i A[X ] + M,
tenemos que mostrar que J J 0 . Ahora bien, los ai son los coeficien-
tes principales de los polinomios pi , cuyos grados son todos meno-
res o iguales que g, as que el polinomio pe = X gm ri=1 i pi es un
elemento de J que tiene tiene a a como coeficiente principal. Clara-
mente, pe h p1 , . . . , pr i A[X ] . Sea p0 = p pe. Es p0 J y deg( p0 ) < g,
de manera que la hiptesis inductiva nos dice este p0 J 0 . Entonces
p = pe + p0 h p1 , . . . , pr i A[X ] + J 0 = J 0 .
A[ X1 , . . . , Xn ] = ( A[ X1 , . . . , Xn1 ])[ Xn ],
es un epimorfismo.
f (zk ) = f (zik ) = mk .
i I
Ejemplos.
1. Z p
= G p es un Z-mdulo artiniano. Para verlo, observamos
que sus nicos submdulos son {1}, G p y los ( G pn )nN y que estos
forman una cadena. Como todos salvo G p son finitos, toda cadena
descendente de submdulos se estaciona.
2. Si k es un cuerpo y V un k-espacio vectorial, entonces V es arti-
niano si y slo si es de dimensin finita.
3. Sea A un anillo que contiene un cuerpo k y M un A-mdulo. Cla-
ramente podemos ver a M como un k-espacio vectorial. Si M es de
dimensin finita sobre k, entonces M es artiniano como A-mdulo.
A continuacin enunciamos algunas propiedades de los mdu-
los artinianos cuyas demostraciones omitimos ya que son anlogas
al caso noetheriano.
Proposicin 4.3.5. Si A es un anillo artiniano a iquierda y M es un A-
mdulo finitamente generado, entonces M es un A-mdulo artiniano.
Proposicin 4.3.6. Sea
0 / L / M / N / 0
una sucesin exacta corta de A-mdulos. Entonces M es artiniano si y slo
si L y N lo son.
140 4. Condiciones de cadena sobre mdulos y anillos
4.4 Ejercicios
4.4.1. Un A-mdulo es finitamente generado si es isomorfo a un
cociente de An para algn n N-
4.4.2. Si
0 / M0 / M / M00 / 0
Xa = ( a) X, a A.
Escribimos A[ X; ] al anillo correspondiente.
(b) Si es inyectivo y A es un dominio, entonces A[ X; ] es un
dominio.
(c) Si es inyectivo y A es un anillo de divisin, entonces A[ X; ]
es un dominio de ideales principales.
(d) Si es automorfismo y A es noetheriano a izquierda (derecha),
entonces A[ X; ] es noetheriano a izquierda (derecha).
4. Ejercicios 143
Xa = ( a) X + ( a), a A.
145
146 5. Mdulos libres, proyectivos e inyectivos
Ejemplos.
1. Si M = A, el conjunto {1} es linealmente independiente. Si a A
es un divisor de cero, entonces { a} no es linealmente independiente.
2. Sea A = M2 (k) y M = { 00 yx M2 (k )}. M es un A-mdulo
a izquierda y el conjunto { 00 10 } es un sistema de generadores mi-
Ejemplos.
1. Si k es un cuerpo, todo k-espacio vectorial es libre.
2. Si A es un anillo, entonces A es un A-mdulo libre. Una base, es
por ejemplo, el conjunto {1}.
3. Q no es un Z-mdulo libre, ya que todo par de elementos es li-
nealmente dependiente: si Q fuera un Z-mdulo libre, la base ten-
dra a lo sumo un elemento y Q sera un Z-mdulo cclico. Pero
entonces sera isomorfo a Z o a Zn como Z-mdulo.
4. Sea V un k-espacio vectorial de dimensin finita y t : V V
una transformacin lineal. El par (V, t) es un k[ x ]-mdulo que no es
libre, ya que todo elemento es de torsin: si p = mt , entonces pv = 0
para todo v V.
Observaciones.
1. Un cociente de un A-mdulo libre M no tiene por qu ser libre:
por ejemplo el grupo abeliano Zn = Z/nZ no es Z-libre.
2. Un submdulo de un A-mdulo libre no es necesariamente libre.
Por ejemplo, si un A-mdulo libre contiene un elemento de torsin,
entonces el submdulo generado por ese elemento no es libre.
Como ejemplo concreto, podemos tomar M = A =M2 (Z), que
es A-libre con base { 10 01 } y, sin embargo, N = { ba 00 : a, b Z}
es un submdulo de torsin de M, que por lo tanto no puede tener
una base como A-mdulo.
148 5. Mdulos libres, proyectivos e inyectivos
f ( a e ) = a f (e ) = a f ( jX ()) = a f ( ).
X X X X
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, mostran-
do que todo A-mdulo libre es isomorfo a un mdulo del tipo A( I ) ,
para algn conjunto I.
f a i ei = f a i x i = a i f ( x i ) = a i ei ,
i I i I i I i I
Demostracin. Sea
E = {E 0 : E0 M, E E0 X y E0 es linealmente independiente},
M
z
h z
e
z h
|z f
M1 / M2
M
z
h z
e
z h
|z f
M1 / M2 / 0
Para cualquier epimorfismo f : M1 M2 entre dos A-mdulos arbi-
trarios y para cualquier morfismo h : M M2 , existe un morfismo
h : M M1 (no necesariamente nico) tal que f e
e h = h.
Demostracin. Sea { xi }i I una base de M. Como f es un epimorfis-
mo, 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
por linealidad. Como f (h( xi )) = f (mi ) = h( xi ), entonces f e
e h = h,
ya que ambos morfismos coinciden en una base.
Observamos que la propiedad de que todo epimorfismo que tie-
ne 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
/ i / / /
0 S M M/S 0
se parte. Pero como M/S es libre, : M M/S es una retraccin,
es decir, hay un morfismo s : M/S M tal que s = Id M /S.
Por lo tanto i es una seccin y S es un sumando directo de M con
proyector asociado p = Id M s .
Supongamos que A es un anillo tal que todo submdulo de un
A-mdulo libre es libre. En particular, todo ideal de A es libre. A
continuacin probaremos que esta afirmacin sobre los ideales de
A, que en principio parece ms dbil, resulta sin embargo equiva-
lente a la primera:
Teorema 5.2.11. Sea A un anillo. Las siguientes afirmaciones son equi-
valentes:
2. El A-mdulo libre generado por un conjunto X 153
S Fi
Im()
=
S Fi
H = { j I : existe x S F j con x Ci }.
L
/ i I
Corolario 5.2.12. Sea A un dip, es decir, un dominio ntegro tal que todo
ideal es principal. Entonces todo submdulo de un mdulo libre es libre.
En particular, esto dir que todo mdulo proyectivo es libre.
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 5. Mdulos libres, proyectivos e inyectivos
En particular, k[ x ]
= kJxK.
Sea ahora A MB un A-B-bimdulo fijo y consideremos el funtor
tal que
Hom A ( A MB , ) : A ModC B ModC
A NC 7 Hom A ( M, N )
(i) ( f f 0 ) = f f 0 .
(ii) (Id N ) = IdHom A ( M,N ) .
(iii) ( f + f 0 ) = f + f 0 .
(iv) f (b.g) = b. f ( g) (b B).
(v) f ( g.c) = f ( g).c (c C).
Notemos que 0 = 0. Esto se sigue, por ejemplo, de la buena
relacin del funtor () con la suma: como 0 = (0 + 0) = 0 + 0 ,
resulta que 0 debe ser el elemento neutro en el Hom.
Ejemplos.
1. Si M = A, Hom A ( A, ) es naturalmente isomorfo al funtor iden-
tidad, va el isomorfismo
Hom A ( M, N ) 7 (1) N.
2. Si M = A( I ) , es
= Hom A ( A, N ) I
Hom A ( M, N ) = Hom A ( A( I ) , N ) = NI.
3. Si A = B = C = Z y M = Zn , HomZ (Zn , N )
= { x N : nx = 0}
es el subgrupo de N formado por los elementos de n-torsin.
4. Si A = B = C = k, k un cuerpo, y V y W dos k-espacios vecto-
riales, M = V k W, entonces Homk (V k W, ) es naturalmente
isomorfo al funtor Homk (V, Homk (W, )).
5. Como caso particular del anterior, sean V = k [ G ] y W = k[ H ]
donde G y H son dos grupos. Entonces
Homk (k [ G H ], )
= Homk (k[ G ], Homk (k[ H ], )).
g f = ( g f ) = 0 = 0,
asi que slo falta ver que f es un inyectivo y que Ker( g ) Im( f ).
Dejamos esto al lector.
Este resultado admite la siguiente recproca:
f g
0 / Hom A ( R, M) / Hom A ( R, N ) / Hom A ( R, T )
g f
0 / Hom A ( T, R) / Hom A ( N, R) / Hom A ( M, R)
f g
0 / M / N / T
f g
0 / Hom A ( A, M) / Hom A ( A, N ) / Hom A ( A, T )
0 / Hom A ( T, N/ Im( f )) /
Observaciones.
1. Vimos en la seccin anterior que todo A-mdulo libre es proyec-
tivo.
2. Un cociente de un mdulos proyectivos no es necesariamente
proyectivo. Por ejemplo, Z/nZ
= Zn .
3. Los submdulos de proyectivos no son necesariamente proyecti-
vos. 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 proyec-
tivas: sean A = M = Z y S = {2n : n N0 } consideremos la
proyeccin cannica : Z Z3 . Es HomZ (ZS , Z)= 0 pero el mor-
fismo
n
n
ZS 7 (n2n ) Z3
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 su-
mando directo de un proyectivo es proyectivo.
5. Mdulos proyectivos 163
0 / X /Y / M / 0
se parte.
(c) M es sumando directo de un A-mdulo libre.
0 / X /Y / M / 0
Tenemos un diagrama
p
Y `@ / M / 0
@
@ id
id @
M
/ Ker( ) / / /
0 A( I ) M 0
f i
i I Hom A ( Mi , X ) / i I Hom A ( Mi , Y )
Luego la flecha f de arriba es un epimorfismo si y slo si la flecha
f i de abajo lo es y f i es un epimorfismo si y slo si todas las f i
lo son. Esto prueba la primera parte.
Para ver la segunda, sea P = i I Mi , i0 U y consideremos
Q = {(mi )i I Mi : mi0 = 0}.
i I
Observaciones.
1. Si A es un dominio ntegro y principal, entonces A es hiperhere-
ditario.
2. Si A es un anillo conmutativo e hiperhereditario, entonces A es
un dominio principal. En efecto, sea I un ideal de A. Dos elemen-
tos 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 hiperhe-
reditario.
4. En el caso particular en que A = Z, vemos que todo subgrupo de
un grupo abeliano libre es libre.
M / MK / K
es no nula. Llamemos p a esta composicin y consideremos la suce-
sin exacta corta de A-mdulos
0 / Ker( p) / M / p( M) / 0
Hom A ( M, K ) 6= 0 MK 6= 0
M/t( M) 6= 0 M 6= t( M).
0 / t( M) / M / M/t( M ) / 0
f g
X /Y / Z / 0
la sucesin
g f
0 / Hom A ( Z, M) / Hom A (Y, M) / Hom A ( X, M)
170 5. Mdulos libres, proyectivos e inyectivos
Z2 Z2 Z2
Esta sucesin no puede ser extendida por cero a la derecha mante-
niendo la exactitud porque, en caso contrario, la dimensin como
Z2 -espacio vectorial del objeto del medio sera la suma de las di-
mensiones de los objetos de las puntas. En efecto, podemos explici-
tar 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 hu-
bieramos 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) trans-
forma monomorfismos en epimorfismos, si y slo si dado el siguien-
te diagrama de flechas llenas de A-mdulos se lo puede completar
(de manera no necesariamente nica) con la flecha punteada de ma-
nera tal que el diagrama completo sea conmutativo:
/Y i /Z
0
~
~
h ~
~~ h
e
M
8. Mdulos inyectivos 171
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:
0 / Z / Q
6
id
Z
f
0 / XA /Y
AA i X BB Y
AA S BB iS
AA BB
A BB
fS
XS /
n YS
g
} n
gS }
n n
} n n ge
vn~} n S
K
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 locali-
zacin. 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 con-
sideramos XS , YS y K, el diagrama est en la categora de K-espacios
172 5. Mdulos libres, proyectivos e inyectivos
f i
i I Hom A (Y, Mi ) / i I Hom A ( X, Mi )
La flecha f es un epimorfismo si y slo si la flecha f i lo es. Y f i
es un epimorfismo si y slo si todas las f i lo son. Esto demuestra la
primera afirmacin.
L
Supongamos, por otro lado, que M = i I Mi es inyectivo y
sea i0 I. Entonces M = i I {i0 } Mi Mi0 . La primera parte
L
0 / J /A
~
f ~
~
~ f
M
g
0 / X /Y
~
f ~~
~~ f
M
(Y 0 , f 0 ) (Y 00 , f 00 ) Y 0 Y 00 y f 00 |Y0 = f 0 .
f 1 ( x ) = ( a ) + f 0 ( y0 )
174 5. Mdulos libres, proyectivos e inyectivos
( 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.
0 / I / Z
h
G
8. Mdulos inyectivos 175
0 /Z n /
Z
hg
hg
G
h g (nm) = h g (m) = mg
0 / hmi /M
|
|
| f
}| m
Dm
8. Mdulos inyectivos 177
f : x M 7 ( f m ( x ))m M{0} Dm
m M{0}
M
= Hom A ( A, M) , HomZ ( A, M) , HomZ ( A, D ).
0 / M / X /Y / 0
se parte.
Adems, cualquiera de las dos afirmaciones implica que M es un sumando
directo de un cogenerador.
0 / M /X
}
}
Id M }
~}
M
Sabemos que existe una flecha punteada que hace conmutar el dia-
grama, porque M es inyectivo. Esto nos dice que la sucesin
0 / M / X /Y / 0
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 / M / I / Coker( f ) / 0
9. Ejercicios 179
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.
0 / X0 / X / X 00 / 0
0 0
P0 y P00 son proyectivos y la fila es exacta, entonces puede com-
pletarse al siguiente diagrama de filas exactas, con P tambin
proyectivo:
0 / P0 / P / P00 / 0
0 / X0 / X / X 00 / 0
0 0 0
(b) Mostrar que si en el diagrama de A-mdulos
IO 0 I 00O
0 / XO 0 / X / XO 00 / 0
0 0
9. Ejercicios 183
0 / I0 / IO / I 00 / 0
O O
0 / XO 0 / XO / XO 00 / 0
0 0 0
5.9.35. Resoluciones proyectivas. Sea A un anillo.
(a) Para cada A-mdulo M existe un diagrama
/ Pp / Pp1 / / P1 / P0 / M / 0
/ Pp / Pp1 / / P1 / P0 / M / 0
y
/ Qp / Q p 1 / / Q1 / Q0 / N / 0
/ Pp / Pp1 / / P1 / P0 / M / 0
fp f p 1 f1 f0 f
/ Qp / Q p 1 / / Q1 / Q0 / N / 0
0 / M0 / M / M00 / 0
f0 f f 00
0 / N0 / N / N 00 / 0
M1 / M2 / M3 / M4 / M5
1 2 3 4 5
N1 / N2 / N3 / N4 / N5
izquierdos
0 0 0
0 / M0 / M / M00 / 0
0 / N0 / N / N 00 / 0
0 / P0 / P / P00 / 0
0 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
187
188 6. Teoremas de estructura
0 / I / A / A/I / 0
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 direc-
ta de submdulos simples. El anillo A es semisimple si A, considera-
do 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 semi-
simple.
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
( Ip )
G
M
= Zp
p primo
0 / Zp / Z p2 / Zp / 0
0 / X /Y / Z / 0
Como Z es proyectivo, esta sucesin se parte.
(e) (f) Sea M un A-mdulo. Como la hiptesis implica que
toda sucesin exacta de la forma
0 / M / X /Y / 0
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 / I / A / A/I / 0
192 6. Teoremas de estructura
0 / I / A / A/I / 0
Como A/I es proyectivo, esta sucesin se parte. Luego I es un su-
mando directo.
Proposicin 6.1.5. Si A es semisimple, entonces A es anillo artiniano y
noetheriano a izquierda.
Demostracin. Para ver que es noetheriano, basta ver que todo ideal
es finitamente generado. Pero como todo ideal es un sumando di-
recto, todo ideal es isomorfo a un cociente de A, que es cclico y
entonces finitamente generado.
Para ver que A es artiniano consideremos una cadena descen-
dente de ideales
I1 I2 I3
Sea i N. Como Ii es un submdulo de A, es semisimple, as que el
submdulo Ii+1 Ii es un sumando directo, esto es, existe un ideal
Ci A tal que Ii = Ci Ii+1 .
Consideremos ahora la cadena creciente de ideales
C1 (C1 C2 ) (C1 C2 C3 )
Como A es noetheriano, esta cadena se estaciona, as que existe n0
N tal que Cn = 0 para todo n n0 . Esto es, In = In+1 si n n0 .
Luego la cadena descendente original de ideales se estaciona.
y
0 0 a 0 0 0
= .
a 1 0 b 0 1 0
Usando esto, es fcil ver que m genera a I1 .
Si, en cambio, es a = 0, debe ser necesariamente b 6= 0. Dejamos
como ejercicio ver que en este caso m tambin genera a I1 .
Concluimos as que M2 ( D ) es semisimple. De la misma forma
puede verse que Mn ( D ) es semisimple para cualquier n N.
Teorema 6.1.6. (Teorema de Maschke) Sea G un grupo finito y sea k un
cuerpo en el que | G | es inversible. Entonces k [ G ] es un anillo semisimple.
Demostracin. Sea M un k[ G ]-mdulo y S M un submdulo. Mos-
tremos que S es un sumando directo. Para eso, alcanza con mos-
trar que existe un morfismo de k [ G ]-mdulos : M S tal que
|S = IdS .
Como k es un cuerpo, existe ciertamente una transformacin
k-lineal : M S tal que |S = IdS . Definamos : M S
poniendo
(m) = 1
|G| g ( g1 m)
g G
s = |G| s = s.
1 |G|
= |G|
g G
{ Li,j : 1 i N, 1 j ri }
tales que
A
Lri
= iN=1 j=
L
1 Li,j
Li,j = L 0 0 sii i = i0 .
ij
Lr j
Escribamos Ai = j =1 Li,j . Hay una cadena de isomorfismos de
anillos
N N
op
= Hom A ( A, A)
M M
A = Hom A ( Ai , Aj )
i =1 j =1
N
M
= Hom A ( Ai , A j ).
i,j=1
Hom A ( Ai , Ai )
= Mr i ( Di )
como anillo. Esto y (6.2) prueba el teorema.
Corolario 6.1.8. Sea A un anillo semisimple sin ideales bilteros propios.
Entonces A es isomorfo a un anillo de matrices con coeficientes en un anillo
de divisin.
Corolario 6.1.9. Sea A un anillo. Entonces A es semisimple a izquierda
si y slo si es semisimple a derecha.
Demostracin. Esto es claro en vista del Teorema de Wedderburn
y notando que la trasposicin de matrices da un isomorfismo de
anillos Mn ( D )op
= Mn ( Dop ) y que un anillo D es de division si y
slo si Dop es de divisin.
Ejercicios.
1. Descomponer a R[Z2 ], R[Z3 ] y C[Z3 ] como producto de anillos de
matrices sobre lgebras de divisin, como en el Teorema de Wedder-
burn. Sugerencia: encontrar mdulos simples sobre los respectivos
anillos. Antes de hacer cuentas, sabiendo que las nicas lgebras de
dimensin finita sobre R son R, C y H, cuales son las posibilidades?
2. Si A es un anillo, rad( A) es la interseccin de todos los idea-
les a izquierda maximales de A. Mostrar que si A es semisimple,
rad( A) = 0.
A = I + J = I + ( B + M) J I + B + J 0 = I + J 0 ,
q( f ) = X f
2. Anillos eucldeos, principales y de factorizacin nica 197
y
d
p( f ) = 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 vecto-
rial. 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 prin-
cipal 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 idea-
les bilteros propios. En efecto, supongamos que I es un ideal bil-
tero 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).
a, b A, ab h pi = a h pi b h pi.
b, c A, q = bc = b U ( A) c U ( A).
g = ba h1 hk ,
( M ) h d i h c i.
0 / Ker(h) / L / Im( h ) / 0
Observaciones.
1. La recproca de este corolarioes cierta para cualquier anillo.
2. Con las notaciones del teorema de estructura, se tiene que
M
t( M) = A/hdi i.
1 i n
d i 6 =0
o, equivalentemente,
n m
Hom A ( A/Ii , A/m)
M M
= Hom A ( A/Jj , A/m).
i =1 j =1
206 6. Teoremas de estructura
(m : Ii ) = { a A : aIi m}
y sea
0 0 0 0
1 0 0 0
0 0
0 1
.. .. .. .
0 0
1 . . .
.
.. . . . 0
0 0 1
{1, ( X ), ( X )2 , . . . , ( X )n1 }.
6.4 Ejercicios
Anillos semisimples
6.4.1. Sea A un anillo.
208 6. Teoremas de estructura
P Mn ( A ) ( Q A M )
= M.
( g)( g1 ) = , .
g Gn
4. Ejercicios 211
(c) Si G n , sea e = 1
n gGn ( g1 ) g CGn . Entonces si ,
G n ,
e2 = e ,
e e = 1, cuando 6= ,
y
e = 1.
G n
i =0
i
y cada uno de los factores p ( X p ) con 0 i < l es irreducible
en Q[ X ].
(c) Sea p un nmero primo impar. Sea l 1 y sea M un QG pl -
mdulo simple. Si dimQ M < pl pl 1 , entonces existe k < l y
un QG pk -mdulo simple N tal que M ( N ).
= k,l
(d) Sea p un nmero primo impar. Notemos M0 al nico QG1 -
mdulo simple. Entonces, para todo l 1 existe, a menos de
isomorfismo, un nico QG pl -mdulo simple Ml tal que
dimQ Ml pl pl 1 .
212 6. Teoremas de estructura
QG pl
= Q Q( 1 ) Q( l ).
M
= M p1 ,m1 ,l1 M pr ,mr ,lr .
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
QQ
= Q Q Q Q HQ ,
RQ = R R R R HR ,
y
CQ
= C C C C M2 (C).
Dominios principales
6.4.22. Mostrar que Z[ 10] y Z[ 10] no son dominios de factori-
zacin nica. Encontrar ideales no principales en estos anillos.
6.4.23. (a) Mostrar que Z[ d] es euclideano si d {2, 2, 3}.
(b) Factorizar a 16 +11 2 como producto de elementos irreduci-
bles del anillo Z[ 2].
(c) Un nmero primo p Z es irreducible en Z[ 2] sii 2 es un
cuadrado en Z p . D ejemplos de factorizaciones en Z[ 2] de
nmeros primos de Z.
6.4.24. Sea p N un nmero primo, p = ( p) el ideal primo corres-
pondiente y sea Zp la localizacin de Z en p. Describir todos sus
ideales. Mostrar que Zp es un dominio de ideales principales con
un nico ideal maximal y encontrar un conjunto completo de ele-
mentos primos no asociados dos a dos.
6.4.25. Sea A un dominio de ideales principales y sea M un A-
mdulo finitamente generado. Mostrar que
(a) M es de torsin sii hom A ( M, A) = 0; y
(b) M es indescomponible sii o bien M = A o bien existe p A
irreducible y n N tal es que M = A/( pn ).
Qu puede decir cuando M no es finitamente generado?
6.4.26. Sea p N un nmero primo. Encuentre todos los grupos
abelianos de orden p2 , p3 , p4 y p5 .
214 6. Teoremas de estructura
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
Producto tensorial
217
218 7. Producto tensorial
n
(( a1 , . . . , an ), (b1 , . . . , bn )) = a i bi .
i =1
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)
por (( an )nN0 , p) = i=1 ai i si p = i=0 i xi , es bilineal y A-
balanceada.
que
Bil A ( M N, P)
= HomZ ( M A N, P)
MN /
;P
e w w
w
ww
T
MN
/T
www
ww
0 www
w
{ w
T0
e i =
= e .
/
MN ww; T
ew ww
0 ww w
w{w e0
T 0
/
MN w; ; T
e ww w
0
w
e
w w
ww w IdT
T
(m + m0 ) n = m n + m0 n,
m (n + n0 ) = m n + m n0 ,
ma n = m an.
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
a a a a
x = xn = xn = 0 = 0.
b nb nb nb
3. Con esencialmente la misma demostracin que el ejemplo 1, se
puede ver que M A A = M, como grupos abelianos, va la apli-
cacin que proviene de (m, a) M A 7 ma M. La aplicacin
222 7. Producto tensorial
M A N = N Aop M
m n 7 n m
Ejemplos.
1. Sea G un grupo y M un G-mdulo a izquierda. Consideremos a
Z como G-mdulo a derecha trivial, de manera que n g = n para
todo n Z y g G. Entonces
M
Z Z[ G ] M
= .
hm g(m) : m M, g G i
2. Sean V y W dos k-espacios vectoriales. La funcin
V W Homk (V, W )
(, w) 7 ()w,
donde ()w denota la aplicacin v V 7 (v)w W, es bili-
neal y k-balanceada y por lo tanto induce un morfismo de grupos
abelianos F : V k W Homk (V, W ). La imagen de w es
()w, una transformacin lineal cuya imagen tiene dimensin 1
({w} es una base de la imagen). Esto nos dice dos cosas: en primer
lugar, que la imagen de F consiste en las transformaciones lineales
cuya imagen es un subespacio de W de dimensin finita y, por lo
tanto, si V y W tienen dimensin infinita entonces F no puede ser
suryectiva. Por otro lado, vemos nuevamente que no todo elemen-
to de V k W es un tensor elemental, pues es claro que no toda
transformacin lineal de V en W tiene imagen de dimensin 1.
224 7. Producto tensorial
a (m n) c = ( am) (nc),
A M B N C M B N
( a, m n, c) 7 ( am) (nc)
M N M0 A N 0
(m, n) 7 f (m) g(n)
Ejemplos.
1. Si M es un A-mdulo a derecha, entonces M A A
= M en tan-
to Z-A-bimdulos. De la misma forma A A N = N como A-Z-
bimdulos 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 parti-
cular, An1 es un Mn ( A)-A-bimdulo y A1n es un A-Mn ( A)-bim-
dulo, y se tienen los siguientes isomorfismos:
A n 1 A A 1 n = Ann como Mn ( A)-Mn ( A)-bimdulo.
A 1 n Mn ( A ) A 1
n
= A como A-A-bimdulo.
En general, A n r 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 isomor-
fismo L A M = Hom A ( L, M).
7.2 Funtorialidad de
Dados anillos A, B y C y un bimdulo A MB , se pueden definir
dos funtores asociados a M:
() A M : C Mod A C ModB
X 7 X A M
f 7 f Id M
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 iz-
quierda. 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 multipli-
cativo 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
am 1
con inverso s 7 s am.
3. Si V es un R-espacio vectorial, podemos considerar su comple-
xificacin: V i V, que tiene una estructura de C-espacio vectorial
para la que si a + bi C y v + iw V i V,
( a + bi )(v + iw) = av bw + i (bv + aw).
Por otro lado, C es un C-R-bimdulo y est entonces definido el
funtor C R (), que es isomorfo a la complexificacin:
C R V = V iV
( a + bi ) v 7 av + ibv
Ms generalmente, todo morfismo de anillos f : A B provee a
B de una estructura de A-mdulo, tanto a izquierda como a derecha,
definiendo por ejemplo la accin a izquierda de manera que
a b = f ( a)b.
Esto nos permite considerar los funtores B A () : A Mod B Mod
y () A B : Mod A ModB . Estos funtores se denominan functo-
res de extensin de escalares. Si M es un A-mdulo, B A M se llama
el B-mdulo extendido o inducido.
2. Funtorialidad de 227
Id f
Z2 Z Z2 /Z Z Z4
2
g
Z2 / Z2
f g
N1 / N2 / N3 / 0
Id f Id g
M A N1 / M A N2 / M A N3 / 0
es exacta.
228 7. Producto tensorial
Ker(Id g) Im(Id f ).
e : M N3 M A N2 / Im(Id f ) poniendo
y definamos
e(m, x ) = m x 0
m x 00 = m x 00 + m f (y) = m x 00 + m ( x 0 x 00 ) = m x 0 .
M A N2
: M A N3
Im(Id f )
A A N1 / A A N2 / A A N3 / 0
es exacta. Como sabemos que A A Ni = Ni como A-mdulos a
izquierda y que bajo esta identificacin Id f se corresponde con f
(y anlogamente para g), vemos que la sucesin original es exacta.
Hay otra manera de demostrar estas propiedades de exactitud,
aprovechando la relacin de adjuncin entre el funtor de producto
tensorial y el Hom, de la que nos ocuparemos en la prxima seccin.
Esta propiedad tiene adems la ventaja de que con ella podemos ver
rpidamente la relacin del funtor con otras operaciones como la
suma directa.
230 7. Producto tensorial
Hom A ( X B Y, Z )
= HomB (Y, Hom A ( X, Z ))
HomC ( X B Y, Z )
= HomB ( X, HomC (Y, Z ))
f 0 : ( x, y) X Y 7 f (y)( x ) Z.
Finalmente, hay que mostrar que y son uno el inverso del otro
y que, adems, son C-lineales a derecha.
3. Adjuncin entre y Hom 231
Mi , X ) Hom A ( Mi , X )
M
Hom A ( =
i I i I
f 7 ( f | Mi ) i I
HomB ( X A (i I Mi ), Z )
M
= Hom A ( Mi , HomB ( X, Z ))
i I
= Hom A ( Mi , HomB ( X, Z ))
i I
= HomB ( X A Mi , Z )
i I
HomB (X A Mi , Z)
M
HomB ( X A ( Mi ) , Z )
i I i I
0 / X /Y / Z / 0
M A X / M A Y / M A Z /0
f g
0 / X /Y / Z / 0
0 / P A X / P A Y / P A Z / 0
es exacta.
234 7. Producto tensorial
0 / P A X / P A Y / P A Z / 0
0 / 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
IdP f IdP g
P A X / P A Y / P A Z /0
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 , A NB y B P mdulos. Muestre que
hay un isomorfismo natural
M A ( N B P)
= ( M A N ) B P.
A/a A M
= M/aM.
236 7. Producto tensorial
: Hom A ( P, U ) B N Hom A ( P, U B N )
( f n)( p) = f ( p) n
a b a0 b = ( aa0 ) (bb0 ).
A[ X ]
= k[ X ] k A,
Mn ( A )
= Mn (k) k A,
y
Mnm ( A)
= Mn ( A ) k Mm ( A ).
7.5.20. Algebra tensorial, simtrica y exterior. Sea k un anillo conmuta-
tivo y sea V un k-mdulo simtrico. Sea T (V ) = n0 V n , convi-
niendo que V 0 = k y V (n+1) = V n V. Se trata claramente de
un k-mdulo, que resulta una k-lgebra, llamada k-lgebra tensorial
de V, con la multiplicacin dada por la yuxtaposicin.
Sea IS el ideal biltero generado por los elementos de la forma
v w w v, con v, w V, y sea I el ideal biltero generado
por los elementos de la forma v w + w v. Definimos S(V ) =
T (V )/IS y (V ) = T (V )/I . Llamamos a S(V ) el lgebra simtrica
y a (V ) el lgebra exterior. Denotaremos v1 vk a la clase mdulo
IS de v1 vk y v1 vk a su clase mdulo I .
5. Ejercicios 239
Homk (V, A)
= Homkalg ( T (V ), A).
Homk (V, A)
= Homkalg (S(V ), A).
n ( f ) = det( f ) Idn (V ) .
S (V W )
= S ( V ) k S (W )
TA ( M ) = A Tk (V ),
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
Definimos M N = L( M, N )/G ( M, N ).
(a) Si M N no posee elementos de orden finito, M N = 0
(b) Hay un isomorfismo M N = N M.
(c) Dados f : M M y g : N N 0 son morfismos de grupos
0
( 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 .
( M M0 ) N
= ( M N ) ( M0 N )
242 7. Producto tensorial
y
M (N N0)
= ( M N ) M ( M N 0 ).
(f) Sea
f g
0 / M0 / M / M00 / 0
f Id N gId N
0 / M0 N / MN / M00 N
/
f Id N gId N
/ M0 N / MN / M00 N / 0
Teoremas de Morita
() A P : Mod A ModB
() B Q : ModB Mod A
243
244 8. Teoremas de Morita
P Mn ( A ) Q A Q A P Mn ( A )
ei f j 7 ij f i e j 7 eij
= HomB ( F ( M), F ( G ( X ))
Hom A ( M, G ( X )) = HomB ( F ( M), X )
= Hom A ( G ( F ( M)), G ( X ))
HomB ( F ( M), X ) = Hom A ( M, G ( X ))
MNT0
que
F( M) F( N ) F(T ) 0
F (. f .) = F () F ( f ) F ().
F( M)
= HomB ( B, F ( M))
= Hom A ( G ( B), M)
Llamando Q a G ( B) queda casi demostrado el primer isomorfismo
del teorema, pues slo falta ver que Q es un B-A-bimdulo y que
los isomorfismos anteriores son de B-A-bimdulos.
Considerando a B como B-mdulo a derecha, tenemos el isomor-
fismo de anillos B
= EndB ( BB , BB ) (notar que de haber considerado
mdulos a izquierda tendramos EndB ( B B, B B) = Bop ). Adems G
induce un isomorfismo de anillos EndB ( B) = End A ( G ( B)). Como
G ( B) es claramente un EndB ( G ( B))-A-bimdulo, entonces es un B-
A-bimdulo. La A-linealidad de los isomorfismos antes menciona-
dos es consecuencia del Lema 8.2.3.
El otro isomorfismo de funtores es completamente anlogo, si X
es un B-mdulo:
G(X )
= Hom A ( A, G ( X ))
= HomB ( F ( A), X )
252 8. Teoremas de Morita
Z ( A)
= Z ( B) (isomorfismo de anillos).
A/[ A, A]
= B/[ B, B] (isomorfismo de grupos abelianos).
Demostracin.
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)
8.3 Contextos
En esta seccin veremos la nocin de contexto de Morita, que
junto al teorema 8.3.2 facilitan enormemente la tarea de verificacin
en casos concretos de que dos anillos sean equivalentes Morita.
3. Contextos 255
v( p ) p0 = p( p0 ) = p.u( p0 )
v( p q).p0 = p.u(q p0 )
u(q p).q0 = q.v( p q0 ),
para todo p, p0 P, q, q0 Q.
Ejemplos.
1. Sea R un anillo cualquiera y e R tal que e = e2 . Consideremos
el anillo e.R.e. Es claro que P = e.R es un e.R.e-R-bimdulo y que
Q = R.e es un R-e.R.e-bimdulo. La multiplicacin de R induce
morfismos de bimdulos
u : R.e e.R.e e.R R
v : e.R R R.e e.R.e
3. Contextos 257
GA A
( g, a) 7 g( a)
Ejemplos.
1. Sea A un anillo cualquiera y G Autanillos ( A), entonces clara-
mente 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.
= g.h1 ( xa.h(y))
g G
=
0
g0 ( xah(y))
g G
= ( x ( ah).y)
260 8. Teoremas de Morita
= g1 ( xyg(z))
g G
= g1 ( xy)z
g G
!
= g1 ( xy) z
g G
= ( x y)z
= xg(y) g(z)
g G
= xg(yz)
g G
!
=x g(yz)
g G
= x (y z)
Ejemplos.
1. Sea k un anillo tal que 1/2 k y A = k [ x ]. Sea G = Z2 que
acta en A a travs de x 7 x. Ver que AG = k [ x2 ], pero la accin
no es Galois. Demuestre que G acta (con la misma frmula) en
A0 := k[ x, x 1 ], y en ese caso la accin es Galois.
2. Considerar A = k[ x, y] y G = Z2 actuando por permutacin (i.e.
y 7 x y x 7 y). Probar que AG = k[s, t] donde s = x + y y t = x.y y
que la accin no es Galois. Sea := x y, ver que G acta en A[1 ]
(el localizado de A en las potencias de ) y que la accin de G es
Galois en A[1 ].
8.4 Ejercicios
8.4.1. Sea F : A Mod B Mod un funtor cualquiera. Ver que:
1. F preserva productos finitos si y slo si F preserva sumas fini-
tas.
2. Si F preserva sumas finitas (o productos finitos), entonces F es
aditivo (i.e. si F ( f + g) = F ( f ) + F ( g) para todo par de morfis-
mos A-lineales f , g).
262 8. Teoremas de Morita
A el anillo
8.4.6. Sea de matrices
triangulares superiores de 2 2,
a b
i.e. A = , a, b, c k donde k es un cuerpo, Es A equiva-
0 c
lente Morita a k o a k k?
M G = {m M / g(m) = m m M}
es un AG -mdulo.
2. Si consideramos a A como un objeto de AG Mod AoG , entonces
ver que A AoG M = MG .
3. La accin de A en M induce un morfismo A AG M G M
de tal manera que el siguiente diagrama (salvo eventualmente
multiplicacin por | G |) es conmutativo:
A AG M G / M
1 M
A AG ( A AoG M ) / A o G AoG M
Categoras: algunas
definiciones y construcciones
universales
9.1 Categoras
En este captulo se tratarn nociones bsicas de categoras que
son necesarias a lo largo del curso, haciendo nfasis en los ejemplos
ms utilizados a tales fines.
265
266 9. Categoras
f : HomC ( Z, X ) HomC ( Z, Y )
h 7 f h
es inyectiva.
La nocin de monomorfismo categrico en la categora de m-
dulos coincide con la nocin de monomorfismo definida anterior-
mente. Como ejemplos extremos podemos comentar que todo iso-
morfismo es un monomorfismo (verificarlo!), y en categoras donde
el Hom sea o bien vaco o bien un conjunto unitario, todo morfismo
es un monomorfismo.
Dejamos como ejercicio verificar que en la categora de espacios
topolgicos y funciones continuas, los monomorfismos son las fun-
ciones continuas inyectivas. Sin embargo, como lo muestra el si-
guiente ejemplo, la nocin de monomorfismo categrico no tiene
por qu coincidir con la de inyectividad.
Ejemplo. Consideremos la categora formada por los grupos abe-
lianos divisibles y los homomorfismos de grupos. La proyeccin al
270 9. Categoras
1. f es un epimorfismo.
2. Para todo objeto Z, la funcin de conjuntos
es inyectiva.
3. f HomC ( X, Y ) = HomC op (Y, X ) es un monomorfismo en C op .
Ejemplos.
1. En la categora cuyos objetos son los espacios mtricos y cuyos
morfismos son las funciones continuas, aquellas funciones conti-
nuas con imagen densa son epimorfismos categricos. Este ejemplo
muestra a su vez que la nocin de isomorfismo no tiene por qu
coincidir con la de un morfismo que sea simultneamente mono y
epi.
2. En la categora de anillos unitarios, la incusin Z Q es un
epimorfismo categrico (otro ejemplo en donde epi no significa
suryectividad).
3. Si consideramos el ejemplo de categora en donde la coleccin
de sus objetos forma un conjunto ordenado, y entre un objeto i y
otro j hay un (nico) morfismo si y slo si i j, como los conjun-
tos Hom({i }, { j}) son o bien vacos o bien unitarios, entonces todo
morfismo es un epimorfismo. Notar que esta es una categora en
donde todo morfismo es a la vez monomorfismo y epimorfismo sin
necesidad de que todo morfismo sea isomorfismo. Para qu rela-
ciones de orden todo morfismo es un isomorfismo?
9.2.1 Productos
Si X e Y son dos conjuntos, el producto cartesiano X Y es el
conjunto de pares {( x, y) / x X, y Y }. Se observa que toda
funcin de un conjunto Z en X Y queda determinada de ma-
nera nica por una funcin de Z en X y otra de Z en Y pues si
f : Z X Y, dado z Z, f (z) X Y, luego es de la forma
f (z) = ( f 1 (z), f 2 (z)). La funcin f 1 se consigue componiendo f con
la proyeccin p1 : X Y X, (( x, y) 7 x), anlogamente f 2 com-
poniendo f con la proyeccin p2 : X Y Y. Dicho en forma de
272 9. Categoras
diagrama:
x; XO
f 1 xxx
x
x p1
xx
xx ! f
Z _ _ _ XY
FF
FF
FF
F p2
f 2 FFF#
Y
Es decir, dadas f 1 : Z X y f 2 : Z Y, existe una nica funcin
f : Z X Y tal que f i = pi f , i = 1, 2.
Esto ltimo permite generalizar la nocin de producto carte-
siano a una categora C , obtenindose:
Definicin 9.2.1. Dada una familia { Xi }i I de objetos de una cate-
gora C , se define un producto directo i I Xi como un objeto de C
con las siguientes dos propiedades:
j I, existe un morfismo p j : i I Xi X j .
(Propiedad universal) Si Z Obj(C) y para todo j I se tie-
ne dado un morfismo f j : Z X j , entonces existe un nico
morfismo f : Z i I Xi tal que f i = pi f para todo i I.
Ejemplos.
1. En la categoras de conjuntos, mdulos sobre un anillo, anillos,
grupos (conmutativos o no), el producto categrico es el produc-
to cartesiano, pero sto no tiene por qu ser siempre as. Consi-
deremos, 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 trans-
formaciones 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 mor-
fismo 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 coor-
denada, es decir, si {V i }i I es una familia de espacios vectoriales
graduados, entonces el objeto nZ (i I Vni ) es el producto categ-
rico.
Si definimos k[n] como el espacio vectorial graduado que en gra-
do 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 es-
pacio 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 conjun-
tos) de los k[n] es kZ , que contiene estrictamente a k(Z) .
2. Otro ejemplo en donde el producto no se calcula como el pro-
ducto 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 correspondien-
te 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 carte-
sianos. Este ejemplo muestra adems que los productos categricos
no necesariamente existen.
2. Lmites y Colmites 275
9.2.2 Coproductos
Definicin 9.2.3. Sea { ji : Xi X }i I una familia de morfismos en
una categora C indexada por un conjunto I. Diremos que X (junto
con los morfismos ji ) es el coproducto de los Xi si y slo si la familia
{ ji : X Xi }i I es un producto en la categora C op , se denotar
X : = i I Xi .
X es el coproducto de los Xi .
Para cualquier objeto Y de C y cualquier familia de morfismos f i :
Xi Y, existe un nico morfismo f : X Y tal que f ji = f i
ji
Xi /X
~
fi ~
~ !f
~
Y
es una biyeccin.
Ejemplos.
1. En la categora de conjuntos, y en la categora de espacios topo-
lgicos, el coproducto es la unin disjunta.
2. En la categora de mdulos sobre un anillo, el coproducto es la
suma directa.
276 9. Categoras
Ejemplos.
1. En la categora de conjuntos y de espacios topolgicos un con-
junto unitario es un objeto final.
2. En la categora de espacios topolgicos con punto de base, el par
({ x0 }, x0 ) es un objeto final.
3. En la categora de mdulos sobre un anillo, el mdulo {0} es
un objeto final. El grupo {eG } es un objeto final en la categora de
grupos.
4. En la categora de anillos con uno el conjunto {0} es un objeto
final (en el anillo {0}, 1 = 0).
5. En la categora en donde los objetos forman un conjunto ordena-
do y existe una (nica) flecha i j si y slo si i j, la nocin de
objeto final coincide con la de mximo.
Notamos que a veces el objeto inicial coincide con el objeto fi-
nal, y otras veces no. Una categora se dice que tiene objeto cero en
caso de que tenga objeto inicial, objeto final, y que stos coincidan.
Las categoras de mdulos sobre algn anillo, as como la categora
de grupos y la categora de conjuntos (o espacios topolgicos) con
punto de base tienen objeto 0, no as la de conjuntos o de espacios
topolgicos, ni la de anillos. En una categora con objeto cero se pue-
de definir la nocin de ncleo y dualmente de concleo. Observar
que la nocin de objeto cero es autodual, es decir, C tiene objeto 0 si
y slo si C op tiene objeto cero, y el cero de C sirve como cero de C op .
Observacin. Sea C una categora con objeto cero, entonces, dado
un par de objetos X e Y, el conjunto HomC ( X, Y ) nunca es vaco
278 9. Categoras
X0Y
f i = 0.
Si j : Z X es un morfismo tal que f j = 0, entonces existe
un nico morfismo ej : Z K tal que i ej = j. En forma de
diagrama:
i f
K _? / XO /Y
?
? j
! ej ?
Z
p f = 0.
Si j : Y Z es un morfismo tal que j f = 0, entonces existe
un nico morfismo ej : C Z tal que ej p = j. El diagrama
2. Lmites y Colmites 279
correspondiente es:
f p
X /Y /C
j
! ej
Z
f
i /
E _? / XO /Y
? g
? h
h ?
!e
Z
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:
f
/ p
X /C
/Y
g
h
!e
h
Z
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
f g
0 / M / N / T / 0
Y
f
g
Z / X
T 00 @OOOO
00 @ OOO
00 @ OOOO
00 @ OOO
00 p O'
/Y
0 T
00
00 q f
0
g
Z /X
Y
El pull-back de un diagrama g
f se denotar Z X Y.
Z / X
284 9. Categoras
Ejercicios.
1. Sea C una categora que admite productos y egalizadores, enton-
ces 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 m-
dulos.
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 ) (respectivamen-
te HomC (W, ) ) queda un cuadrado pull-back en la categora de
conjuntos.
5. Sea f : X Y un morfismo en una categora cualquiera. Probar
Id /
X X
que f es un monomorfismo si y slo si el diagrama Id
f f es un
X /Y
pull-back.
6. Enunciar y demostrar la versin dual del ejercicio anterior, con
epimorfismos y push-outs.
9.2.6 Lmites
Daremos en esta seccin la definicin de lmite (o lmite inverso,
o lmite proyectivo) y la de colmite (o lmite directo, o lmite induc-
tivo). Estas son nociones categricas. En categoras concretas, como
la categora de conjuntos o de mdulos sobre un anillo, la parte de
los datos que corresponde a los objetos puede interpretarse como las
piezas con las que se construye el objeto lmite, y las flechas como
las relaciones que se le imponen. La nocin de lmite inverso gene-
raliza la de producto, egalizador, y objeto final, la nocin de colmite
es la nocin dual a la de lmite, y como es de esperar generaliza la
nocin de coproducto, coegalizador y objeto inicial.
Para fijar ideas, comenzamos con la construccin del lmite en la
categora de conjuntos.
2. Lmites y Colmites 285
f jk
Xk @ / Xj
@@
@@
@ f i j
f ik @@
Xi
fj
Xi 0 / Xj
AA
AA
AA f i j
f i AA
Xi
fj
XO / Xj
~?
~
~~
~~~~ g j i j
!g f
X0 /X
gi i
fj
Xi 0 / Xj
AA
AA
AA f i j
f i AA
Xi
lim Xi , i I X
i
i / Xi
I
Ejemplos.
1. Consideremos un diagrama
X1
f
g
X2 / X3
X Y X / X
g
f
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
X
Llamemos : X X X al morfismo definido anteriormente
(que tiene sentido en cualquier categora). Demostrar entonces que
el egalizador de f y g es el pull-back del diagrama
X Y X
/
X XX
Se deja como ejercicio descubrir cul es la flecha natural
XX XX
Y
9.2.7 Colmites
La nocin dual a la de lmite es la de colmite.
si i j, f j f i j = f i .
Si Y es un objeto cualquiera, y gi : Xi Y es una familia de
morfismos que satisface que g j f i j = gi para todo i j,
entonces existe un nico morfismo g : X Y tal que gi =
g fi .
{( f i j ) : HomC ( X j , Y ) HomC ( Xi , Y )}
290 9. Categoras
9.3 Funtores
9.3.1 Definicin y ejemplos
Una vez definido el concepto de categora, en donde se tienen
en cuenta simultneamente la nocin de objeto y la de morfismo, el
concepto de funtor resulta natural, pues es un morfismo de una
categora en otra:
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 ba-
se), de la categora A Mod en Ab, tomando un A-mdulo y conside-
rando 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
F1 ( f )
F1 ( X ) / F1 (Y )
X Y
F2 ( f )
F2 ( X ) / F2 (Y )
es conmutativo en D .
F1 ( f )
F1 ( X ) o F1 (Y )
X Y
F2 ( f )
F2 ( X ) o F2 (Y )
f
V /W
iV iW
f
V / W
X,Y,Z : Hom A ( X B Y, Z )
= HomB (Y, Hom A ( X, Z ))
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 ))
Hom A ( A( I ) , M )
= HomSets ( I, O( M)).
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
HomkAlgC (S(V ), A)
= Homk (V, A)
HomG ( G, U ( A))
= HomAn (Z[ G ], A)
HomG ( G, U ( A))
= HomkAlg (k[ G ], A)
HomG ( F ( X ), G )
= HomSets ( X, O( G ))
HomC (C, F ( X ))
= HomD ( G (C ), X )
= lim HomD ( G (Y ), Xi )
I
= lim HomC (Y, F ( Xi ))
I
G ( g)
HomD ( G ( N ), I ) / HomD ( G ( M ), I )
Bibliografa
299
300 10. Bibliografa
ndice
k-lgebra, 62 de anillos, 70
rbita, 27, 30 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
conmutativo, 60 Dominio
de divisin, 61 ntegro, 62
de grupo, 63, 65 de factorizacin nica (dfu), 199,
hereditario, 165 200
hiperhereditario, 153 de ideales principales (dip), 154,
producto de, 75 198, 199, 203
simple, 69 eucldeo, 197, 198
subanillo, 62
Artiniano, 192, 195, 196 Egalizador, 279
anillo, 137 Epimorfismo
mdulo, 137 categrico, 270
de anillos, 66, 271
base, 147 de grupos, 13
Bimdulo, 102 Equivalencia
de categoras, 244, 247, 261
Cclico Estabilizador, 2730
mdulo, 112, 116 Exponente, 10
vector, 112 Extensin de escalares, 226
Categora, 106, 243, 265
categora, 247 Funtor, 247, 290
centralizador, 29 aditivo, 250
Centro, 12, 25 adjunto, 245, 246, 250, 262, 294,
Cociente 296, 297
301
302