Documentos de Académico
Documentos de Profesional
Documentos de Cultura
net/publication/365129117
CITATIONS READS
0 57
1 author:
Ricardo Toledano
Universidad Nacional del Litoral
24 PUBLICATIONS 111 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Ricardo Toledano on 05 November 2022.
Ricardo Toledano
Departamento de Matemática
Las presentes notas representan los temas teóricos dados en la materia Álgebra
II, correspondiente al primer año del ciclo superior de la Licenciatura en Matemática
Aplicada (Plan 2018). Se definen las estructuras básicas de grupo, anillo, módulos y
se da una breve introducción a la Teorı́a de Categorı́as. La mayorı́a de los resultados
expuestos se demuestran completamente. Algunos de ellos son dejados como ejercicios
y se pueden ver las demostraciones (al menos las ideas) en los siguientes libros clásicos
sobre estructuras algebraicas:
1
más fácil razonar con él) e imaginemos que este cuadrado esta anclado al plano
solamente en el centro de manera que podemos girarlo.
Tenemos una pregunta para hacernos: ¿cuáles son las rotaciones que dejan
invariante (es decir, coincide con la posición orginal) a esta figura? (no es
una pregunta artificial, pues respuestas a este tipo de preguntas con diver-
sas figuras geométricas pueden ser de interés para fı́scos y quı́micos cuando
estudian estructuras moleculares)
Por ejemplo, una rotación de π/2 radianes (tanto en sentido horario como
antihorario) lo deja invariante pero una de π/4 radianes no.
Para entender lo que está ocurriendo con las rotaciones del cuadrado, eti-
quetamos los vértices del cuadrado:
2 1
3 4
2
De esta manera podemos representar una rotación de π/2 radianes en sen-
tido antihorario como
1 2 3 4
σ= ,
2 3 4 1
lo que significa que el vértice 1 fue al lugar del vértice 2, el 2 al lugar del 3,
etc.
2 1 1 4
3 4 2 3
Notar que toda rotación antihoraria que deje invariante al cuadrado que se
considere a partir de 2π radianes corresponde a una y solamente una del
cuadro anterior. Por ejemplo, una rotación de 2π radianes coincide con la
rotación identidad I.
Podemos definir una operación con este conjunto de cuatro rotaciones. Por
3
ejemplo al escribir σγ signfica que primero se hace una rotación de π radianes
y luego una de π/2 radianes. De esta manera vemos que
σγ = δ,
Ejercicio. ¿Es cierto que toda rotación en sentido horario que deje invariante
al cuadrado se puede expresar en función de las antihorarias?
4
invariantes al cuadrado dan como resultado rotaciones antihorarias que dejan
invariante al cuadrado.
y 2 = x3 + ax + b,
Se define una operación entre los puntos en la curva. Dados dos puntos P
y Q en la curva, definimos su “suma”
S = P ⊕ Q,
5
donde S es un punto en la curva que se obtiene de la siguiente manera: se
traza la recta que pasa por P y Q. Esta recta corta a la curva en un punto R
y luego se traza un lı́nea vertical que pasa por R. El punto S de intersección
de esta recta con la curva se define como la “suma” de P y Q.
Se puede demostrar que esta operación entre los puntos de una curva elı́ptica
tiene propiedades muy parecidas, por ejemplo, a la suma usual entre números
enteros, matrices, vectores y la multiplicación entre rotaciones del cuadrado
que lo deja invariante.
Por ejemplo, se puede demostrar que P ⊕ Q = Q ⊕ P (conmutatividad
de la “suma”) y que P1 ⊕ (P2 ⊕ P3) = (P1 ⊕ P2) ⊕ P3 (asociatividad de la
“suma”).
6
Los ejemplos anteriores son un pequeña muestra de la importancia de la
estructura de grupo no solamente en la Matemática sino también en sus
usos en la Fı́sica, Quı́mica, seguridad informática, etc.
7
Grupos
1 Definiciones y propiedades básicas
a ∗ b = e = b ∗ a.
2
Aquı́ el elemento neutro es la matriz nula de n × n y el inverso de cada matriz
A es la matriz −A formada con los opuestos aditivos de cada elemento de A.
3
2 Algunas propiedades
El cardinal del conjunto G (puede ser finito ó infinito) se denotará como |G|.
Un grupo G se dice que es finito si G tiene una cantidad finita de elementos.
En sı́mbolos G es finito si |G| < ∞.
4
• Ejemplo ejercitado. Sea S un conjunto no vacı́o. Definimos
A(S) = {f : S → S : f es biyectiva},
5
A partir de ahora, omitiremos el sı́mbolo ∗ de la operación binaria, es decir,
en lugar de escribir a ∗ b, escribiremos simplemente ab. Tambien en lugar de
escribir (G, ∗) escribiremos solamente G, salvo en casos en donde sea necesario
explicitar la operación binaria en G.
ab = aa−1 = e y ba = a−1a = e.
y
(ab)(b−1a−1) = (a(bb−1))a−1 = (ae)a−1 = aa−1 = e,
ii) Si ba = ca entonces b = c.
a−1(ab) = a−1(ac).
7
Grupos
1 Subgrupos
1
Atención: en el contexto abstracto hablaremos de producto en G pero
en los ejemplos concretos, este producto en G puede ser, por ejemplo,
una suma usual, una multiplicación usual, una composición de funciones,
etc.
2
producto de G entonces e = aa−1 ∈ H. Luego existe un elemento neutro en
H (y vemos también que es el mismo de G).
Finalmente cada elemento a ∈ H tiene su inverso a−1 ∈ H por hipótesis.
e
a−1a−1a−1 · · · a−1 (n veces) si n < 0
Es sencillo verificar que se cumplen las reglas usuales de los exponentes que
son válidas en el contexto de los números reales: anam = an+m y (an)m = anm.
S = {ai : i ∈ N}.
3
Sea k = |S|. Entonces en el conjunto {a, a2, . . . , ak , ak+1} tiene que haber
al menos dos elementos iguales, es decir, ai = aj para 1 ≤ i < j ≤ k + 1
(caso contrario, al ser todos distintos entre sı́ el conjunto S tendrı́a más de k
elementos, una contradicción). Luego
aj−i = e.
4
2 Algunos subgrupos con nombre y apellido
Vemos que (a) 6= ∅ pues e = a0 ∈ (a). Tenemos que (a) es cerrado con
respecto al producto en G pues anam = an+m y también que dado an se tiene
que (an)−1 = a−n ∈ (a). Luego por Lema 3, (a) es subgrupo de G.
El subgrupo (a) se denomina subgrupo cı́clico de G generado por a ∈ G.
Un grupo G se dice que es cı́clico si existe a ∈ G tal que G = (a). Por
ejemplo, (Z, +) = (1), por lo tanto (Z, +) es un grupo cı́clico.
C(a) = {b ∈ G : ab = ba}.
((b−1a)b)b−1 = ab−1.
ab−1 = b−1a,
con lo cual b−1 ∈ C(a). Por Lema 3 concluı́mos que C(a) es un subgrupo de
G.
El subgrupo C(a) de G se denomina centralizador de a en G.
Notar que G es abeliano si y sólo si C(a) = G para todo a ∈ G.
6
entonces
a−1b = (b−1a)−1.
lo cual nos dice que a−1 ∈ Z(G). Por lo tanto Z(G) es un subgrupo de G
por Lema 3.
El subgrupo Z(G) recibe el nombre de centro de G.
xy = (a−1h1a)(a−1h2a)
= (a−1h1)(aa−1)(h2a)
= (a−1h1)e(h2a)
= a−1(h1h2)a ∈ a−1Ha.
7
Finalmente, sea x = a−1ha ∈ a−1Ha. Entonces
Como h−1 ∈ H, se concluye que x−1 ∈ a−1Ha. Luego, por Lema 13, el
subconjunto a−1Ha de G es un subgrupo de G.
Los subgrupos de G de la forma a−1Ha con a ∈ G se denominan subgrupos
conjugados de G.
8
3 Un teorema importante de Lagrange
En esta sección daremos una demostración de uno de los resultados más im-
portantes en la teorı́a de los grupos finitos que es debido a Lagrange. Este
resultado establece que si G es un grupo finito y H es un subgrupo de G
entonces |H| divide |G|.
9
Veamos ahora dos ejemplos importantes de relaciones de equivalencia en
un grupo G.
y ası́ vemos que h1h2 = ac−1. Esto nos dice que ac−1 ∈ H y, por lo tanto,
a ∼ c.
Notar que la relación de congruencia en Z es un caso particular de este
ejemplo pues nZ es subgrupo de Z (comprobarlo!) y decir que a ≡ b
mod n es equivalente a decir que a − b ∈ nZ.
[x] = {y ∈ X : y ∼ x}.
11
es decir, existe un subconjunto no vacı́o I de X tal que
2) X = ∪x∈I [x].
a ∼ b si y sólo si ab−1 ∈ H,
Ha = {ha : h ∈ H}.
12
Estamos ahora en condiciones de enunciar y demostrar el siguiente teorema
de Lagrange:
a ∼ b si y sólo si ab−1 ∈ H.
Veamos ahora que |H| = |Ha| para cualquier a ∈ G. Para ver esta igualdad
de cardinales, tenemos que hallar una biyección entre los conjuntos H y Ha.
Definimos la función
f : H → Ha
14
4 Algunas consecuencias del Teorema de Lagrange
Teorema 7. Sea G un grupo finito. Entonces o(a) divide a |G| para todo
a ∈ G.
15
Demostración. Sea a ∈ G y sea n = o(a). Veamos que el subgrupo cı́clico
(a) generado por a tiene n elementos. Más precisamente, veamos que
Notar que los elementos del conjunto {a, a2, . . . , an−1, an = e} son todos
distintos, pues si ai = aj para i < j ≤ n, entonces aj−i = e y j − i < n
contradiciendo que n es el orden de a.
Por otro lado, si i > n entonces i = mn + r (por el algoritmo de la división
en Z) donde 0 ≤ r < n. Luego
16
Todos los resultados anteriores se pueden demostrar también con co-
clases a izquierda, es decir conjuntos de la forma aH donde H es sub-
grupo de G. En este caso el conjunto cociente G/H es el conjunto de las
coclases a izquierda y se tiene que aH = bH cuando b−1a ∈ H. En los
ejercicios de 2.4 del libro de Herstein se demuestra que, cuando G es un
grupo finito, hay tantas coclases a derecha como a izquierda, con lo cual,
por ejemplo, el ı́ndice (G : H) = |G/H| es el mismo independientemente
de qué tipo de coclases se considere.
ap−1 ≡ 1 mod p,
18
Antes de continuar hay que demostrar que estas operaciones están bien defini-
das, es decir, que no dependen del representante elegido de la clase de equiv-
alencia. Por ejemplo, si c ∼ a y d ∼ b entonces [a] = [c] y [b] = [d] y ası́
tendrı́amos dos maneras de definir la suma: o bien [a+b] o bien [c+d]. Probar
la buena definición es mostrar que el resultado es el mismo sin importar el
representante que se elige. En el caso de la suma, hay que demostrar que si
entonces [a + b] = [c + d].
Supongamos entonces que [a] = [c] y [b] = [d]. Esto quiere decir que
existen enteros k y k 0 tales que kn = a − c y k 0n = b − d. Luego (k + k 0)n =
a + b − (c + d). Esto signfica que [a + b] = [c + d] y ası́ queda demostrada la
buena definición de la suma en Zn.
Demostrar ahora que el producto en Zn está bien definido. Luego demostrar
que Zn con la suma de clases en un grupo y que con el producto de clases no
lo es (considerar la clase nula [0]).
Restringiéndonos a un subconjunto de Zn, podemos definir una estructura
de grupo con el producto. Definimos
En pocas palabras, Un está formado por las clases de equivalencia cuyos repre-
sentantes son coprimos con n. Nuevamente, antes de continuar, hay que
comprobar que Un está bien definido, es decir, si [i] = [j] y m.c.d(i, n) = 1
19
entonces m.c.d(j, n) = 1 (comprobarlo!).
Demostrar luego que Un con el producto de clases en un grupo de orden
ϕ(n) (al grupo (Un, ·) se lo denomina grupo de unidades de Zn).
Deducir de este resultado el Teorema de Euler mencionado al principio de
este ejercicio.
20
Grupos
1 Homomorfismos de grupos
Vimos en las clases pasadas varios ejemplos de grupos formados con elemen-
tos de distinta naturaleza: números, residuos módulo n, vectores, matrices,
funciones, etc.
Sucede a veces que, a pesar de tener dos grupos cuyos elementos son de
naturaleza muy diferente, a nivel de estructura de grupo se observa que son
similares. Nace aquı́ la necesidad de comparar diferentes grupos para poder
discernir entre aquellos que son similares entre sı́ y aquellos que no.
• monomorfismo si φ es inyectiva,
• epimorfismo si φ es sobreyectiva,
• isomorfismo si φ es biyectiva.
Tenemos ahora todo listo para establecer formalmente qué significa que
dos grupos sean similares, en el sentido que son estructuralmete iguales sin
importar la naturaleza de sus elementos.
2
Dos grupos G y G0 se dicen que son isomorfos si existe un isomorfismo
de G en G0. Es usual escribir G ' G0 para decir que G y G0 son isomorfos.
Por ejemplo, los grupos (R>0, ·) y (R, +) son isomorfos pues φ(x) = ln(x)
es un homomorfismo biyectivo de R>0 en R. También podrı́amos haber con-
siderado la función inversa φ−1(x) = ex que es un isomorfismo de R en R>0.
3
2 Algunas propiedades de los homomorfismos
4
Teorema 10. Sea φ : G → G0 un homomorfismo de grupos. Entonces la
imagen φ(G) es un subgrupo de G0.
5
3 Un teorema importante de Cayley
φ : G → A(G),
φ(ab) = Tab,
6
es decir que
Tab = Ta ◦ Tb,
a = ae = Ta(e) = Tb(e) = be = b,
7
4 El núcleo de un homomorfismo
(la abreviatura Ker viene de la palabra inglesa kernel que significa núcleo).
ii) a−1Ker φ a ⊂ Ker φ para todo a ∈ G (es decir, los subgrupos conjugados
de Ker φ son subgrupos de Ker φ).
a−1Ker φ a ⊂ Ker φ.
Luego ab−1 ∈ Ker φ = {e} y ası́ ab−1 = e, con lo cual a = b. Esto nos dice
que φ es inyectiva.
10
5 Subgrupos normales
Vimos en ii) del Teorema 12 una propiedad muy importante del subgrupo
Ker φ: todos sus subgrupos conjugados son subgrupos de sı́ mismo. Esta
propiedad da lugar a una nueva clase de subgrupos que jugará un papel desta-
cado en la Teorı́a de Grupos.
11
Demostración. Una implicación es inmediata. Supongamos entonces que H
en normal en G. Tenemos que a−1Ha ⊂ H para todo a ∈ G. Veamos que
H ⊂ a−1Ha para todo a ∈ G: sea h ∈ H. Entonces
h = (a−1a)h(a−1a) = a−1(aha−1)a.
h = a−1h0a ∈ a−1Ha,
12
Atención: la igualdad aH = Ha significa que para cada elemento
ah ∈ aH existe h0 ∈ H tal que ah = h0a (y recı́procamente) y no
necesariamente h0 = h.
• La parte ii) del Lema 12 nos dice que para cualquier par de grupos G y G0
y cualquier homomorfismo φ : G → G0 se tiene que Ker φ es un subgrupo
normal de G. (Más adelante veremos que la recı́proca de esta propiedad
también es válida, es decir, que todo subgrupo normal de un grupo dado es
el núcleo de algún homomorfismo de grupos).
para todo a ∈ G.
13
Grupos
1 Grupos cociente
Hemos visto en una clase anterior que, en el caso de Zn, se definió una adición
de clases residuales transformando Zn es un grupo.
HaHb = H(ab).
ha = ec = c y h0b = ed = d.
H(cd) = H(ab).
2
Teorema 16. Sea G un grupo con elemento neutro e y sea H subgrupo
normal de G. El conjunto cociente G/H con el producto de coclases a
derecha es un grupo. El grupo G/H de denomina grupo cociente o
también grupo factor.
para todo a ∈ G.
Existencia de inverso: sea Ha ∈ G/H, entonces Ha−1 ∈ G/H y
3
Vemos que Zn no es otra cosa que el grupo cociente Z/nZ con la adición
de coclases. En este caso, por ser la operación en Z la suma de enteros,
las coclases a derecha se escriben como nZ + m para m ∈ Z. En gen-
eral, cuando en un grupo G la operación binaria se representa por una
adición, las coclases a derecha suelen escribirse como H + a en lugar de
Ha
4
Demostración. Definimos la función π : G → G/H como π(a) = Ha para
todo a ∈ G. Claramente π es un homomorfismo de grupos pues
5
2 Un teorema de Cauchy sobre grupos finitos
6
3 Teoremas de isomorfismo
Antes de continuar, tenemos que verificar que φ̃ está bien definida (es decir,
que su valor no depende del representante elegido de la coclase): si Ha = Hb
entonces, ab−1 ∈ H. Como H = Ker φ tenemos que
φ̃ ◦ π = φ.
π φ̃
G/Ker φ
Utilizando las fórmulas de adición del seno y coseno, es sencillo verificar (ha-
cerlo!) que φ define un homomorfismo de grupos, es decir que φ(x + y) =
φ(x)φ(y).
Por definición, φ es sobreyectiva, con lo cual φ es un epimorfismo. Calcu-
lamos ahora Ker φ: x ∈ Ker φ si y sólo si φ(x) = 1. Por lo tanto x ∈ Ker φ
si y sólo si cos(2πx) = 1 y sen(2πx) = 0 y esto es equivalente a que x es un
entero. Luego
Ker φ = Z.
• Una (de las tantas) aplicación interesante del Primer Teorema de Isomor-
fismo es que nos permite ver, de manera sencilla, que los grupos cı́clicos no
son otra cosa que (Z, +) o bien (Z/nZ, +) para algún n ∈ N. Para ver esto,
sea G un grupo cı́clico (de orden finito o infinito) con elemento neutro e y sea
9
a ∈ G un generador de G. Definimos
φ : Z → G,
como φ(i) = ai. Dado que G = (a) y que ai+j = aiaj , es inmediato comprobar
que φ es un epimorfismo de grupos. Por el Primer Teorema de Isomorfismo
tenemos que
G ' Z/Ker φ.
Ker φ = {i ∈ Z : ai = e} = {i ∈ Z : n | i} = nZ,
con lo cual
G ' Z/Ker φ = Z/nZ.
10
Teorema 21. Sea G un grupo y sea H un subgrupo de G. Si N es un
subgrupo normal de G entonces
1) HN = {hn : h ∈ H y n ∈ N } es subgrupo de G.
2) N es subgrupo normal de HN .
3) H ∩ N es subgrupo normal de H.
11
Demostración. Sea e0 el neutro de G0 y sea H un subgrupo de G que contiene
a K = Ker φ. Tenemos que la preimagen de φ(H) por φ es
φ−1(φ(H)) = H.
H̃ = φ−1(φ(H̃)) = φ−1(φ(H)) = H,
contradiciendo que H̃ 6= H.
Recı́procamente, sea H 0 un subgrupo de G0. Veamos que la preimagen
12
en G.
Sea a ∈ φ−1(H 0). Luego φ(a−1) = φ(a)−1 ∈ H 0 pues φ(a) ∈ H 0. Luego
a−1 ∈ φ−1(H 0).
Por lo tanto, φ−1(H 0) es subgrupo de G y, además, K ⊂ φ−1(H 0) pues
φ(a) = e0 ∈ H 0 para todo a ∈ K.
Como φ(φ−1(H 0)) = H 0 (por ser φ sobreyectiva) todo subgrupo de G0 es
de la forma φ(H) para algún subgrupo H de G.
13
Además si φ : G → G0 es un epimorfismo de grupos y H 0 es subgrupo
normal de G0 entonces φ−1(H 0) es normal en G (comprobarlo!)
14
4 La propiedad universal de los grupos cociente
Veremos en esta sección que los grupos cociente puede ser definidos de una
manera indirecta, es decir, sin explicitar sus elementos ni la operación binaria
entre ellos.
15
Supongamos ahora que, dados un grupo G y H subgrupo normal de G
π̃ : G → G̃,
φ
G G0
π̃ ψ
G̃
conmuta.
ψ : G̃ → G/H
16
tal que ψ ◦ π̃ = π.
Tenemos ası́ el diagrama conmutativo
π
G G/H
π̃ ψ
G̃
π
π̃˜
G/H
π = ψ ◦ π̃ = ψ ◦ (π̃˜ ◦ π) = (ψ ◦ π̃˜ ) ◦ π.
Entonces tenemos que ψ ◦ π̃˜ = IdG/H (la función identidad en G/H) pues
17
y esto nos dice que π̃˜ ◦ ψ = IdG̃ pues si x ∈ G̃, por ser π̃ sobreyectiva, existe
a ∈ G tal que x = π̃(a) y ası́
Por lo tanto ψ y π̃˜ son inversas una de la otra y esto implica que ambas son
isomorfismos y queda demostrada nuestra afirmación de que G/H ' G̃.
Vemos que la propiedad universal en ii) nos permite definir el grupo co-
ciente G/H sin hacer mención a las coclases ni a la operación entre ellas:
es el grupo G̃ que cumple i) y ii) anteriores.
18
Grupos
1 Acción de un grupo sobre un conjunto
Es usual escribir a · s en lugar de ϕ(a, s). Con esta notación las condi-
ciones de acción de G sobre S se escriben como
i) (ab) · s = a · (b · s)) para todo a, b ∈ G y todo s ∈ S.
h · g = hgh−1,
1
para todo h ∈ H y par todo g ∈ G. Es sencillo verificar que tenemos una
acción de H sobre G:
σa : S → S,
2
(Notar que ϕ(a) es un elemento de A(S) y, por lo tanto, ϕ(a) es una
función de S en S para cada a ∈ G).
φ(ab) = σab,
pero
3
IS (s) = s para todo s ∈ S). Luego
e · s = ϕ(e)(s) = IS (s) = s,
para todo s ∈ S.
Finalmente
4
2 Órbitas y grupos de isotropı́a
Os = {a · s : a ∈ G}.
5
e · s = s donde e es el neutro de G. Supongamos que s ∼ s0, entonces existe
a ∈ G tal que s0 = a · s. Luego a−1 · s0 = s con lo cual s0 ∼ s. Finalmente si
s ∼ s0 y s0 ∼ s00 entonces existen a, b ∈ G tales que s0 = a · s y s00 = b · s0.
Luego (ba) · s = b · (a · s) = b · s0 = s00 con lo cual s ∼ s00.
Esto nos dice que, dadas dos órbitas Os y Os0 , se tiene que
Os = Os0 ,
o, en caso contrario
Os ∩ Os0 = ∅.
Ası́ como interesa conocer todas las posiciones que visita un vértice de una
figura bajo la acción de rotaciones y reflexiones, también interesa saber qué
rotaciones y reflexiones dejan fijo a un vértice dado de la figura. Esta situación
motiva la siguiente definición.
6
Teorema 26. Sea G un grupo que actúa sobre un conjunto no vacı́o S y
sea s ∈ S. Entonces el conjunto
Gs = {a ∈ G : a · s = s},
es un subgrupo de G.
(ab) · s = a · (b · s) = a · s = s,
a−1 · s = a−1 · (a · s) = s,
Cuando G es un grupo finito hay una importante relación entre los cardi-
nales de una órbita Os y del estabilizador Gs. Recordemos que, en el caso
de coclases a izquierda con respecto a un subgrupo H de G, se tiene que
aH = bH cuando b−1a ∈ H y que el cardinal del cociente G/H (como con-
junto de coclases a izquierda) es el ı́ndice (G : H) = |G|/|H| que se obtuvo
trabajando con coclases a derecha (ver los ejercicios 5 y 11 de 2.4 del libro de
Herstein y recordar que lo que aquı́ llamamos coclase a derecha, en el libro de
Herstein en castellano se llama coclase a izquierda (una aparente atribución
7
que se tomó el traductor.))
8
3 La ecuación de clases
Teorema 28. Sea G un grupo finito y supongamos que G actúa sobre sı́
mismo por conjugación, es decir tenemos la acción de G sobre G definida
como
a · g = aga−1,
i=1
donde Cgi ∩ Cgj = ∅ si i 6= j. Notemos que hay órbitas unitarias (es decir, con
9
un solo elemento) pues si g ∈ Z(G) entonces
Cg = {a · g : a ∈ G} = {aga−1 : a ∈ G} = {g}.
10
4 Algunos teoremas clásicos sobre grupos finitos
11
Demostración. Por ser G un grupo finito, vimos en el teorema anterior que
existen elementos g1, . . . , gn ∈ G tales que
k
|G| = |Z(G)| + |Cgi |.
X
i=1
/ Cgi en realidad
para cada 1 ≤ i ≤ k. Luego |Cgi | ≤ |G|, pero como e ∈
tenemos que
1 < |Cgi | < |G|,
para cada 1 ≤ i ≤ k.
Por otro lado |G| = pm para algún entero positivo m. Por lo tanto, por
Teorema 27 y la desigualdad anterior
|Cgi | = pni ,
i=1
12
con lo cual p divide a |Z(G)| y ası́ |Z(G)| ≥ p.
π : G → G/(a),
π −1(H 0) = π −1(π(H)) = H,
14
En la demostración del Teorema 32 se exhibe una técnica para tener
en cuenta: se pasa de un grupo G a un grupo cociente G/H en donde
vale una cierta propiedad y se deduce tal propiedad en G utilizando la
proyección natural.
H2 = a−1H1a.
15
Grupos
1 Producto directo de grupos
Hemos visto en los ejercicios de la Práctica 1 que a partir de dos grupos (G1, ∗)
y (G2, •) podemos formar un nuevo grupo con el producto cartesiano G1 ×G2,
definiendo una operación binaria ⊗ entre pares ordenados como
G ' G1 × G2 × · · · × Gn.
1
Cuando un grupo G se puede expresar de la forma G1 × G2 × · · · × Gn,
diremos que G es producto directo externo de los grupos Gi.
Por otra parte hemos visto en la Práctica 2 que también hay un producto
de subgrupos H1 y H2 de un grupo G
H1H2 y H1 × H2 .
2
Teorema 34. Sean G1 y G2 grupos y sea G = G1 × G2 el grupo producto
directo de G1 y G2. Entonces
1) si G1 y G2 son finitos, entonces G es finito y, además, |G| = |G1||G2|.
x = x1 x2 .
con lo cual (a, b) es orden finito. Sea n = o(a, b), luego n | m y ası́ n ≤ m.
Pero
an = e1 y bn = e2,
con lo cual o(a) | n y o(b) | n. Esto nos dice, por ser m el menor múltiplo de
o(a) y o(b), que n = m.
3
Veamos ahora 3). Definimos los conjuntos
Luego
4
existen únicos xi ∈ Hi para i = 1, . . . , n tales que x = x1x2 · · · xn.
G̃1G̃2 = G1 × G2.
ab = ba,
HK ' H × K.
7
2 El Teorema fundamental de los grupos abelianos finitamente
generados
Vimos lo que significa que un grupo G sea cı́clico: existe a ∈ G tal que
G = (a) y decimos que G es generado por a. Podemos generalizar esta
noción tomando un conjunto no vacı́o S ⊂ G (finito o infinito) y considerar el
conjunto (S) de todos los posibles productos (repetidos o no) con elementos
de S y sus inversos, es decir
i
(S) = {ai11 ai22 · · · akk : k ∈ Z , cada ai ∈ S y cada ij = ±1}.
8
Además, si S ⊂ G es finito entonces hSi = (S) (Obviamente, comprobarlo!).
9
Este resultado nos permite, por ejemplo, calcular la cantidad de grupos
abelianos finitos de un orden dado, pues si G es abeliano finito de orden n,
entonces
k
n = |G| = |Zn1 × Zn2 × · · · × Znk | = ni.
Y
i=1
Antes de continuar para ver cómo se lleva a cabo tal cálculo, podemos ver el
caso particular n = pm donde p es primo: cada ni tiene que ser de la forma
pri y ası́ la ecuación anterior queda
k
m
p = pri = pr1+···+rk ,
Y
i=1
3 = 3 + 0, 3 = 2 + 1, 3 = 1 + 1 + 1.
10
Demostración. Supongamos que m y n son coprimos. Dado x ∈ Z escribimos
como [x] a la clase de x en Zmn y como [x]m (resp. [x]n) a la clase de x
en Zm (resp. Zn). Teniendo en cuenta esta notación, definimos la función
φ : Zmn → Zm × Zn como
Recordemos, antes de seguir, que estos conjuntos Zn son grupos con respecto
a la adición de clases, con lo cual escribir [x]k significa sumar esta clase k
veces, es decir se tiene que [x]k es k[x] y esto es lo mismo que [kx].
Veamos que φ está bien definida: si [x] = [y] en Zmn entonces x ≡ y
mod mn, luego existe k ∈ Z tal que x = y + kmn y ası́
Pero [x]m = [0]m y [x]n = [0]n si y sólo si existen enteros a y b tales que
x = am y x = bn. Luego am = bn y esto nos dice que n | am. Por ser m y
n coprimos, debemos tener que n | a. Entonces x = am = kmn, con lo cual
[x] = [kmn] = [0] en Zmn. Por lo tanto
Ker φ = {[0]},
11
lo que nos dice que φ es inyectiva. Consideremos ahora ([x]m, [y]n) ∈ Zm ×Zn.
Por ser m y n coprimos, el Teorema Chino del Resto de la Teorı́a Elemental
de Números nos dice que existe un entero z tal que
mn
m.c.m(m, n) = .
m.c.d(m, n)
Por ser Zmn isomorfo a Zm × Zn, para todo elemento [x] ∈ Zmn se debe tener
también que
[0] = [x]d = [dx].
Pero, por ejemplo, [1] 6= [0] en Zmn y por lo anterior debemos tener que
12
[d] = [1]d = [0] en Zmn. Luego mn | d, lo cual es imposible por ser d < mn.
Por lo tanto, m y n tienen que ser coprimos si Zmn ' Zm × Zn.
El siguiente resultado es consecuencia directa del Lema 38 y el Principio de
Inducción y queda como ejercicio.
m
n= pki i ,
Y
i=1
Con todo esto se puede demostrar la siguiente versión del Teorema funda-
mental de los grupos abelianos finitamente generados para el caso de grupos
abelianos finitos:
donde s1 + s2 + · · · + sj = s y s1 ≥ s2 ≥ · · · ≥ sj .
13
Por ejemplo, veamos que hay (salvo isomorfismos) dos grupos abelianos de
orden 20. Tenemos que 20 = 5 · 22, luego por la parte 1) del Teorema 38,
existen dos grupos cı́clicos H1 de orden 5 y H1 de orden 4 tales que
G ' H1 × H2 .
Vemos que en este tipo de cálculo aparece repetidamente la frase salvo iso-
morfismos. Esto se debe a que uno puede elegir el orden de aparición de
los factores Zn que intervienen, pero cualquier elección produce un grupo
isomorfo a otra posible elección. Por ejemplo, podrı́amos escribir
Z5 × Z2 × Z2 ' Z2 × Z5 × Z2.
14
En el caso de grupos abelianos es usual utilizar la notación aditiva en lugar
de la multiplicativa, es decir, en lugar de escribir ab escribimos a + b. Si G
es un grupo abeliano y H1 y H2 son subgrupos de G (y por ser G abeliano
son subgrupos normales) se tiene la suma de subgrupos
G = H1 ⊕ H2 ⊕ · · · ⊕ Hk ,
15
3 Grupos abelianos finitos y el recı́proco al Teorema de La-
grange
los grupos
Zpk1 , . . . , Zpkmm ,
1
H = {(0, a, b) : a, b ∈ Z2},
H = {(0, b) : b ∈ Z4},
17
es la siguiente:
1 2 ··· n
σ=
i1 i2 · · · in
(i1 i2 · · · ik )
(1234) y (4123)
18
permutación σ ∈ Sn, describe completamente y de manera unı́voca a σ. Por
ejemplo si escribimos σ ∈ S8 como
σ = (1357)(24),
significa que
1 2 3 4 5 6 7 8
σ=
3 4 5 2 7 6 1 8
y
τ (j) = j,
para todo j ∈
/ {i1, i2, . . . , ik }. De esta manera, hablaremos de ciclos de Sn.
Esta situación explica la frase producto de ciclos: cuando escribimos, por
ejemplo, σ = (1357)(24) en S8 estamos expresando σ como producto de los
ciclos (1357) y (24) de S8. El hecho que no importe el orden en que se
escriba el producto de ciclos disjuntos se encuentra formalmente expresado en
el Teorema 39 que enunciamos más abajo .
19
Dos ciclos (i1 i2 · · · ik ) y (j1 j2 · · · jm) de Sn se dicen que son disjuntos (o
ajenos) si
{i1, i2, . . . , ik } ∩ {j1, j2, . . . , jm} = ∅.
τ1 τ2 = τ2 τ 1 .
20
(1357)(24) ∈ S8 entonces vemos que
(1357) = (17)(15)(13),
pero también
(1357) = (13)(37)(35),
con lo cual
(17)(15)(13)(24) = σ = (13)(37)(35)(24).
21
Teorema 42. An es subgrupo normal de Sn de orden
n!
|An| = .
2
f (στ ) = 0 = 0 + 0 = 1 + 1 = f (σ) + f (τ ).
f (στ ) = 1 = 0 + 1 = 1 + 0 = f (σ) + f (τ ).
Consideramos ahora el grupo alternante A4 y sus subgrupos. Sabemos que
A4 es el subgrupo de permutaciones pares de S4 y es un grupo de orden 12.
Por lo tanto los posibles órdenes de los subgrupos de A4 son 1, 2, 3, 4, 6 y 12.
Veremos que no hay subgrupo de A4 de orden 6, lo que demuestra que
el recı́proco del Teorema de Lagrange es falso. Supongamos que H es un
subgrupo de orden 6 de G = A4. Por lo tanto el ı́ndice de H en G
(G : H) = |G|/|H| = 2,
g 2H = gH o g 2H = H.
23
y ası́ vemos que g 2 ∈ H. Notemos por un lado que todo ciclo (ijk) de S4 de
longitud 3 está en A4 pues todo ciclo de longitud 3 es par ya que
(ijk) = (ik)(ij).
Por otro lado (ijk) es una permutación de S4 de orden 3 (Teorema 39) con lo
cual
2 2
4
(ijk) = (ijk) = (ijk) ,
Vemos ası́ que |H| ≥ 8, contradiciendo que |H| = 6. Luego no hay subgrupo
de A4 de orden 6.
24
Grupos
1 Producto semidirecto de grupos
k · h = φ(k)(h)
1
para todo k ∈ K y todo h ∈ H, pues
(k1k2) · h = φ(k1k2)(h)
= (φ(k1) ◦ φ(k2)) (h)
= φ(k1)(φ(k2)(h))
= φ(k1)(k2 · h)
= k1 · (k2 · h),
y si eK es el neutro de K entonces
eK · h = φ(eK )(h) = h.
φ(k)(h) = khk −1
2
Notar que como φ : K → Aut(H) entonces
φ(k)(eH ) = eH ,
k · eH = eH ,
para todo k ∈ K.
H oφ K.
Además
1) H̃ = {(h, eK ) : h ∈ H} y K̃ = {(eH , k) : k ∈ K} son subgrupos de
H oφ K tales que
H ' H̃ y K ' K̃.
2) H̃ ∩ K̃ = {(eH , eK )}.
3) H oφ K = H̃ K̃.
4) H̃ / H oφ K.
y si (h, eK ) ∈ H̃ entonces
f : H → H̃,
4
Finalmente demostramos 4): por un lado tenemos que
Luego
−1 −1
(h, k)H̃(h, k) = (h, eK ) (eH , k)H̃(eH , k) (h, eK )−1
⊂ (h, eK )H̃(h, eK )−1 ⊂ H̃,
H oφ K = H × K ?
5
Teorema 44. Sean H y K dos grupos y sea φ : K → Aut(H) un
homomorfismo de grupos. Las siguientes afirmaciones son equivalentes:
1) La función identidad Id : H oφ K → H × K es un homomorfismo de
grupos.
φ(k) = IdH
para todo k ∈ K.
3) K̃ / H oφ K.
con lo cual h1(k1 · h2) = h1h2. Luego k1 · h2 = h2. Como los elementos son
arbitrarios, esto nos dice que k · h = h para todo k ∈ K y todo h ∈ H. Pero
esto equivale a tener que φ(k)(h) = h para todo k ∈ K y todo h ∈ H, con
6
lo cual
φ(k) = IdH ,
para todo k ∈ K.
2) ⇒ 3). Por hipótesis tenemos que k · h = h para todo k ∈ K y todo
h ∈ H. Escribimos h̃ = (h, eK ) ∈ H̃ y k̃ = (eH , k) ∈ K̃. Entonces
g = h̃k̃.
g k̃1g −1 = k̃(h̃k˜1h̃−1)k̃ −1
= k̃ k˜1k̃ ∈ K̃,
K̃ / H oφ K.
7
h̃ y k̃ se define como
[h̃, k̃] = h̃−1k̃ −1h̃k̃.
h̃k̃ = k̃ h̃.
(h, k) = h̃k̃ = k̃ h̃
= (eH , k)(h, ek ) = (eH (k · h), k) = (k · h, k),
8
El Teorema 44 muestra, en particular, que la noción de producto semi-
directo es una generalización del producto directo. Notar que el producto
directo es un concepto simétrico, en el sentido que H × K ' K × H pero
el producto semi-directo no lo es en general.
9
φ(k1k2)(h) = (k1k2)h(k1k2)−1
= k1 k2hk2−1 k1−1
= k1φ(k2)(h)k1−1 = φ(k1) (φ(k2)(h))
= (φ(k1) ◦ φ(k2)) (h),
f : HK → H oφ K,
f ((h1k1)(h2k2)) = f (h1(k1h2k1−1)k1k2)
= f (h1h3k1k2) = (h1h3, k1k2)
= (h1(k1h2k1−1), k1k2)
= (h1(k1 · h2), k1k2) = (h1, k1)(h2, k2) = f (h1k1)f (h2k2).
10
Notar que en el Teorema 45 se consigue un resultado similar al del Teorema
36 relajando la hipótesis de que ambos subgrupos de G sean normales en
G.
11
Demostración. Escribimos Zp = {[0], [1], . . . , [p − 1]}. Dado que p es primo,
todo entero 1 ≤ m ≤ p − 1 es coprimo con p, con lo cual
Como f ([1]) 6= [0], pues f es inyectiva y f ([0]) = [0], lo anterior nos dice que
f queda determinado por el valor de f ([1]). Definimos ası́ una función
ϕ : Aut(Zp) → U(Zp),
como ϕ(f ) = f ([1]). Esta función es inyectiva pues si ϕ(f ) = ϕ(g) entonces
f ([1]) = g([1]). Luego, dado [k] ∈ Zp, se tiene que
g([1]) = [k].
12
Luego
ϕ(f ◦ g) = (f ◦ g)([1])
= f (g([1])) = f ([k]) = kf ([1]) = [k]f ([1])
= f ([1])g([1]) = ϕ(f )ϕ(g).
Sea G un grupo de orden pq. Si p = q entonces G es de orden p2 y ya
vimos que esto implica que G es abeliano. Por el Teorema Fundamental de
los Grupos Abelianos Finitos sabemos que
K ' Zp y H ' Zq .
Nq ≡ 1 mod q y Nq | pq.
13
positivo n tal que
p = 1 + nq ≥ 1 + q,
gHg −1 = H,
G = HK.
Np ≡ 1 mod p y Np | pq.
i) H / G,
ii) K / G y
14
iii) H ∩ K = {e}.
15
K ' Zp y como H ' Zq entonces
φ η
µ
K Zp
17
Anillos
1 Definiciones y ejemplos
En varios ejemplos de grupos que hemos visto en las clases pasadas hay dos
operaciones entre los elementos del grupo y que satisfacen ciertas “reglas de
convivencia”.
1
iii) a ∗ (b ⊕ c) = (a ∗ b) ⊕ (a ∗ c) y (a ⊕ b) ∗ c = (a ∗ c) ⊕ (b ∗ c) para todo
a, b y c ∈ R.
También se puede definir una estructura más general de anillo sin pedir la
propiedad asociativa ii). Es esos casos se habla de anillos no asociativos.
Si se cumple que
sin hacer mención al sı́mbolo · del producto (a menos que sea necesario).
En caso de existir una unidad en el anillo (R, +, ·), el mismo será denotado
como 1, con lo cual tendremos que a1 = a = 1a para todo a ∈ R.
A lo largo de todas estas notas siempre asumiremos que 1 6= 0 para evitar
la mención de situaciones patológicas en varios de los resultados que vere-
mos.
3
Finalmente, a menos que sea necesario, hablaremos de un anillo R sin men-
cionar la terna (R, +, ·).
4
• En general, si R es un anillo con unidad, un elemento a ∈ R se dice que
es inversible si existe b ∈ R tal que ab = 1 = ba. Tal elemento b ∈ R
es el inverso de a en R y se lo denotará como a−1. El conjunto U (R) de
los elementos inversibles de R se denomina grupo de unidades de R,
pues U (R) es un grupo con el producto de R (comprobarlo!). Por ejemplo
U (Zn) = {[i] : mcd(i, n) = 1}.
Notar que si R es un anillo con división entonces U (R) = R∗, donde R∗
denota al conjunto de los elementos no nulos de R.
np−1 ≡ 1 mod p,
lo que en términos de clases se expresa como [np−1] = [1] en Zp. Por lo tanto
• Los cuaterniones sobre R de Hamilton son los elementos del conjunto H(R)
conformado por todas las combinaciones lineales con coeficientes reales del 1
y los sı́mbolos i, j y k, es decir
H(R) = {a + bi + cj + dk : a, b, c, d ∈ R}.
y el producto como
donde
a00 = aa0 − bb0 − cc0 − dd0
b00 = ab0 + ba0 + cd0 − dc0
c00 = ac0 − bd0 + ca0 + db0
d00 = ad0 + bc0 − cb0 + da0
Se llega a estas fórmulas distribuyendo y usando las reglas entre los sı́mbolos i,
j y k del Ejercicio 4 de la Práctica 1 (comprobarlo, pero hay que ser pacientes!).
La unidad es el cuaternión 1, es decir, el cuaternión 1 + 0i + 0j + 0k.
a b c d r
(a + bi + cj + dk) − i − j − k = = 1,
r r r r r
y que
a b c d r
− i − j − k (a + bi + cj + dk) = = 1,
r r r r r
con lo cual vemos que todo cuartenión no nulo tiene un inverso que es tambı́en
un cuaternión. Por lo tanto H(R) es un anillo con división no conmutativo.
Rp = {m/n : p - n} ∪ {0}.
ii) ab ∈ S.
9
2 Algunas propiedades básicas de los anillos
3) (−a)(−b) = ab.
con lo cual, por las leyes cancelativas en el grupo (G, +) nos queda que
0 = a0 y 0 = 0a.
Recordemos la notación para grupos que vimos en las clases anteriores: es-
cribir an significa hacer n veces el producto aa · · · a de a con sı́ mismo. En
el caso de un anillo, si estamos con el grupo abeliano usamos la notación
aditiva para la operación del grupo, ası́ que en lugar de escribir an escribi-
mos na y significa sumar n veces a si n > 0, es decir
na = a
|
+ a +{z· · · + a}
n veces si n > 0
11
• En el caso de números reales estamos acostumbrados a escribir
(a + b)2 = (a + b)(a + b)
= a(a + b) + b(a + b)
= a2 + ab + ba + b2.
Una situación curiosa que surge en los anillos con unidad es que la conmu-
tatividad de la suma se deduce de las otras propiedades de anillo.
12
y por otro lado también tenemos que
Luego
a + a + b + b = a + b + a + b,
a2 = a, b2 = b, y (a + b)2 = a + b.
Luego
a + b = (a + b)2 = a2 + ab + ba + b2 = a + ab + ba + b,
13
lo cual implica que ab + ba = 0. Entonces
y también
0 = 0a = (ab + ba)a = aba + ba2 = aba + ba.
14
3 Homomorfismos de anillos, ideales y anillos cociente
15
Teorema 5. Sea φ : R → R0 un homomorfismo de anillos. Entonces la
imagen φ(R) es un subanillo de R0.
y también
Ker φ a = {ba : b ∈ Ker φ} ⊂ Ker φ,
para todo a ∈ R.
Demostración. Para ver que Ker φ es subanillo de R solo queda ver que
Ker φ es cerrado por el producto y eso es consecuencia directa de ver que
a Ker φ ⊂ Ker φ para todo a ∈ R.
Sean a ∈ R y b ∈ Ker φ, entonces, recordando 1) del Lema 2, tenemos que
Las propiedades a Ker φ ⊂ Ker φ y Ker φ a ⊂ Ker φ que valen para todo
a ∈ R, son claves para el concepto de anillo cociente y motivan la siguiente
definición.
i) I es subgrupo aditivo de R.
Todos los ideales que consideraremos en este curso (salvo contadas excep-
ciones) se asumirán biláteros y hablaremos simplemente de ideales dejando
de lado la palabra bilátero.
Como [x] = [0] si y sólo si n | x, vemos que Ker φ = nZ, con lo cual nZ es
un ideal de Z.
(A) = I.
\
I∈JA
18
subconjunto finito de R, digamos A = {a1, . . . , an}, el ideal de R generado
por A suele escribirse como (a1, . . . , an) y en este caso es sencillo verificar
(hacerlo!) que
n
(a1, . . . , an) = { riairi0 : ri, ri0 ∈ R, i = 1, . . . , n}.
X
i=1
Veamos ahora que con los ideales de un anillo R podemos definir una es-
tructura de anillo cociente. Sea I un ideal de R. Al ser (R, +) un grupo
abeliano, tenemos que I es subgrupo normal de R (como grupo aditivos) y,
por lo tanto, tenemos el grupo cociente R/I que es abeliano (comprobarlo!).
Recordar que en el caso de grupos denotados aditivamente, las coclases (los
elementos de R/I) a derecha o izquierda se denotan como I + a o como a + I,
para a ∈ R. Pero por ser (R, +) abeliano las coclases a derecha e izquierda
son las mismas.
19
tos de R/I, es decir
R/I = {a + I : a ∈ R}.
(a + I) + (b + I) = a + b + I,
(a + I)(b + I) = ab + I.
π : R → R/I,
Ker π = {a ∈ R : a + I = I},
21
Anillos
1 Teoremas de isomorfismo de anillos
• monomorfismo si φ es inyectiva,
• epimorfismo si φ es sobreyectiva, y un
• isomorfismo si φ es biyectiva.
1
Teorema 8 (Primer teorema de isomorfismo). Sea φ : R → R0 un
homomorfismo de anillos. Entonces
S + I = {s + a : s ∈ S, a ∈ I},
2
Teorema 11 (Tercer teorema de isomorfismo). Sea R un anillo y
sean I y J ideales de R tales que I ⊂ J. Luego I es ideal de J, el cociente
J/I es ideal de R/I y, además
como anillos.
3
Tenemos que
y también
R/I ' R,
como anillos.
4
2 Ideales primos e ideales maximales
ab ∈ I entonces a ∈ I o bien b ∈ I.
• Por ejemplo, los ideales de Z de la forma pZ, con p número primo, son
ideales primos, pues pZ 6= Z y si ab ∈ pZ entonces p | ab, con lo cual p | a o
p | b. Esto nos dice que a ∈ pZ o b ∈ pZ.
5
dice que n | k o n | m. Pero esto es un absurdo pues k < n y m < n. Por lo
tanto n tiene que ser un número primo.
(a + I)(b + I) = I,
ab + I = I,
0 = φ(ab) = φ(a)φ(b),
7
El conjunto de los ideales primos de un anillo conmutativo R recibe el
nombre de espectro de R y es usualmente denotado como Spec(R). En
general no es una tarea sencilla (a veces muy difı́cil) determinar el espectro
de un anillo. En el caso de Z hemos visto que
• Veamos que los ideales maximales del anillo Z son exactamente los ideales
pZ donde p es un número primo. Sea n > 1 un entero. Si n no es primo
entonces existen enteros k ≥ 2 y m ≥ 2 tales que n = km. Luego, por
ejemplo, nZ ⊂ kZ pues si un entero es múltiplo de n también es múltiplo de
k. Por lo tanto, si el ideal nZ es maximal, entonces n tiene que ser primo
(caso contrario el ideal nZ estarı́a contenido en el ideal kZ, que es un ideal
no trivial de Z). Recı́procamente, sea p es primo y sea n un entero positivo
tal que pZ ⊂ nZ (recordar que todos los ideales de Z son de la forma nZ).
Luego n | p con lo cual n = p o n = 1. Entonces nZ es el ideal pZ o el ideal
trivial Z. Por lo tanto pZ es ideal maximal de Z.
8
Vemos que en el caso del anillo Z los ideales maximales y los ideales primos
son los mismos. Esto no se da en general (veremos luego que todo ideal
maximal es primo, pero no recı́procamente) pero en los anillos denomina-
dos dominios de Dedekind ambas clases coinciden. Justamente el anillo Z
es un ejemplo de dominio de Dedekind.
9
Teorema 14. Sea R un anillo conmutativo con unidad y sea I un ideal de
R. Entonces I es ideal maximal de R si y sólo si el anillo cociente R/I es un
cuerpo.
(a + I)(1 + I) = a 1 + I = a + I.
π : R → R/I,
10
natural
π : R → R/I,
Los Teoremas 13 y 14 nos dicen que todo ideal maximal es primo, pues un
cuerpo es, en particular, un dominio de integridad. Como no todo dominio
de integridad es un cuerpo, hay ideales primos que no son maximales. Ve-
remos un ejemplo de esta situación cuando veamos el caso del anillo de
polinomios con coeficientes enteros.
• En el ejemplo del anillo R de las funciones reales definidas en [0, 1], vimos
que el ideal I = {f ∈ R : f (1/2) = 0} es un ideal primo. Pero I también es
maximal por Teorema 14, pues R/I ' R y R es un cuerpo.
11
nominado anillo de enteros gaussianos
Z[i] = {a + bi : a, b ∈ Z}.
M ⊂ J ⊂ Z[i].
c2 ≡ 1 mod 3 o d2 ≡ 1 mod 3.
12
congruencias se pueden sumar y multiplicar término a término con el mismo
módulo). Caso contrario, uno de ellos (y sólo uno) es divisible por 3. Luego
c2 ≡ 0 mod 3 o d2 ≡ 0 mod 3 (pero no ambas). Cualquiera sea el caso,
tendremos que c2 + d2 ≡ 1 mod 3. Entonces las posibilidades son que c2 +
d2 ≡ 2 mod 3 o que c2 + d2 ≡ 1 mod 3. Esto implica que c2 + d2 no es
divisible por 3. Si escribimos t = c2 + d2 tenemos que 3 - t y también que
t = c2 + d2 = (c + di)(c − di),
a + bi + M,
13
coclases son distintas entre si:
M 1+M 2+M
i+M 1+i+M 2+i+M
2i + M 1 + 2i + M 2 + 2i + M
Veamos ahora que cualquier otra coclase es igual a una de estas nueve que
figuran en el cuadro. Sea a + bi un entero gaussiano. Como
y también
M, 1 + M, 2 + M, i + M, 1 + i + M, 2 + i + M, 2i + M, 1 + 2i + M, 2 + 2i + M,
lo que muestra que Z[i]/M es un cuerpo finito con nueve elementos. Este
ejemplo muestra también que hay cuerpos finitos que no son de la forma pZ
con p primo.
14
3 La propiedad universal del anillo cociente
Tal como vimos para el caso de grupos, el anillo cociente R/I satisface la
siguiente propiedad universal, lo que permite dar una definición alternativa de
anillo cociente sin dar la construcción explı́cita con coclases. La demostración
queda como tarea para el final teórico.
π : R → R/I,
φ
R R0
π φ̃
R/I
15
4 Cuerpo de fracciones. Localización
con lo cual las clases de equivalencia 1/2, 2/4, 3/6, 5/10, etc son todas iguales
entre sı́.
Sea RR∗ el conjunto de todas las fracciones a/b con a ∈ R y b ∈ R∗.
Veamos ahora que podemos definir una suma y un producto con estas frac-
ciones, imitando el caso de los números racionales.
Veamos que está bien definida, es decir, que no depende de los representantes
17
elegidos en cada clase de equivalencia: si a/b = ã/b̃ y c/d = c̃/d˜ entonces
= (ãb)dd˜ + (dc̃)bb̃
= bd(ãd˜ + c̃b̃),
Nuevamente hay que verificar la buena definición: si a/b = ã/b̃ y c/d = c̃/d˜
18
˜ es decir que
entonces hay que comprobar (ac)/(bd) = (ãb̃)/(c̃d),
˜ = (bd)(ãc̃).
(ac)(b̃d)
˜ = (ab̃)(cd)
ac(b̃d) ˜ = (bã)(dc̃) = (bd)(ãc̃),
con lo cual hemos demostrado que el resultado del producto (a/b) (c/d) no
depende del representante elegido.
Por otro lado la fracción 1/1 se escribirá directamente como 1 (otro ejemplo
de “abuso de notación”) y vemos que
19
y de igual manera se ve que (a/b) 1 = a/b, con lo cual la fracción 1/1 es
elemento neutro para el producto en RR∗ .
Sucede que mucho más es cierto: RR∗ con estas operaciones es un cuerpo y
lo enunciamos en el siguiente teorema, cuya demostración (algo tediosa pero
bastante directa) queda como ejercicio.
φ : R → RR ∗ ,
y también
φ(ab) = (ab)/1 = (a/1)(b/1) = φ(a)φ(b),
S = R \ I = {r ∈ R : r ∈
/ I}.
22
5 Operaciones con ideales
i=1
23
con lo cual I + J ⊂ L para todo ideal L de R que contiene a I y a J.
Veamos 2). Sean a ∈ I y b ∈ J entonces ab ∈ I (por ser I ideal) y también
ab ∈ J (por ser J ideal), es decir, ab ∈ I ∩ J. Luego si a1, . . . , an ∈ I y
b1, . . . , bn ∈ J entonces
n
aibi ∈ I ∩ J,
X
i=1
con lo cual IJ ⊂ I ∩ J.
nZ + mZ = dZ,
24
y con las operaciones
25
Anillos
1 Anillos de polinomios
donde a0, a1, a2, . . . , an son elementos de R (los coeficientes del polinomio).
En los cursos de Cálculo este tipo de expresiones son consideradas como fun-
ciones de una variable real x y solemos llamarlas funciones polinomiales.
En estos casos R = R y ası́ tenemos, por ejemplo, las funciones lineales
f (x) = ax + b, la funciones cuadráticas f (x) = ax2 + bx + c, etc.
S = {xi : i ∈ N ∪ {0}},
n, si n = max{i : ai 6= 0}.
deg(f ) = 0, si an = · · · = a1 = 0 y a0 6= 0.
∞, si an = · · · = a1 = a0 = 0.
Asumiremos que para todo entero n vale que ∞ > n también que ∞ + n =
2
∞ = n + ∞.
El polinomio nulo de R[x] es aquel que tiene todos sus coeficientes nulos
y se lo denota con 0, es decir, 0 = 0 + 0x + · · · + 0xn para todo n ∈ N.
f + g = c0 + c1 x + · · · + ck xk ,
donde ci = ai + bi para i = 0, 1, . . . , k.
donde
i
ci = ai−j bj , para i = 0, 1, . . . , n + m.
X
j=0
3
Es decir
c 0 = a0 b0 ,
c 1 = a1 b0 + a0 b1 ,
c2 = a2b0 + a1b1 + a0b2,
c3 = a3b0 + a2b1 + a1b2 + a0b3,
...
cn+m = anbm
Este producto de polinomios no es otra cosa que la manera usual en que
multiplicamos polinomios en los cursos de Cálculo, distribuyendo y sacando
factor común a las potencias iguales de la variable x. Por ejemplo, para
calcular (a0 + a1x)(b0 + b1x) de la manera “usual” harı́amos
4
de f y g respectivamente. Por ser R un dominio de integridad, anbm 6= 0 pues
an 6= 0 y bn 6= 0. Luego anbm es el coeficiente principal de f g, lo que implica
que f g tiene, al menos, un coeficiente no nulo, es decir f g 6= 0.
Veamos ahora alguna propiedades del grado que serán de utilidad en todo
lo que sigue.
Lema 19. Sean f y g dos polinomios sobre R.
1) Si f y g son no nulos entonces deg(f g) = deg(f ) + deg(g).
max{n, m} ≤ n + m,
Recordemos que en los cursos de Cálculo es posible dividir entre polinomios,
logrando un cociente y un resto (y hay varios procedimientos para lograr tal
división). En el contexto abstracto del anillo F [x] de polinomios sobre un
cuerpo F , también podemos dividir polinomios y el resultado se conoce como
algoritmo de la división en F [x].
f = qg + r,
6
Podemos suponer entonces que deg(f ) ≥ deg(g). Procedemos por in-
ducción sobre el grado de f .
Si deg(f ) = 0 entonces deg(g) = 0 pues g 6= 0. Luego f = a y g = b donde
a, b ∈ F son no nulos. Entonces
f = a = (ab−1)b = (ab−1)g,
g = b 0 + b1 x + · · · + bm x m ,
anb−1
m x
n−m
g = anb−1
m b0 x
n−m
+ anb−1
m b1 x
n−m+1
+ · · · + an xn .
7
F tales que
h = q1g + r,
donde r = 0 o, en caso contrario, deg(r) < deg(g). Esto quiere decir que
f − anb−1
m x
n−m
g = q1g + r,
con lo cual
f = (anb−1
m x
n−m
+ q1)g + r.
Si hacemos q = (anb−1
m x
n−m
+ q1) tenemos que q y r son polinomios sobre F
tales que
f = qg + r,
qg + r = q̃g + r̃,
8
pero, por otro lado, si ambos r y r̃ son no nulos
9
Teorema 21. Sea F un cuerpo. Entonces F [x] es un dominio de ideales
principales.
10
y qg elementos de I
r = f − qg ∈ I,
f = qg,
lo que nos dice que I ⊂ (g). Luego I = (g), es decir, I es ideal principal.
11
Si g y h son mónicos y generan a I, ambos son del mismo menor grado
positivo posible. Como (g) = I = (h) uno es múltiplo del otro, es decir,
existen polinomios r y s sobre F tales que g = rh y h = sg. Como g
y h tienen el mismo grado, necesariamente r y s son constantes pues, por
ejemplo, deg(g) = deg(r) + deg(h) = deg(r) + deg(g), y ası́ deg(r) = 0 (lo
mismo se deduce para s). Luego, por ser g y h mónicos, debemos tener que
r = 1 (y también que s = 1), con lo cual g = h.
2) Si h | f y h | g entonces h | d.
I = {rf + sg : r, s ∈ F [x]}.
rf + sg y r̃f + s̃g,
13
dos elementos de I. Entonces
También
Dos polinomios f y g sobre R se dice que son coprimos si mcd(f, g) = 1.
14
Utilizando el Teorema 22, no es difı́cil demostrar el siguiente resultado que
queda como ejercicio.
15
con lo cual ac + ba−1 = 0 y bc = −2. Entonces b = −a2c y ası́ (ac)2 = 2.
√
Esto es una contradicción pues ac ∈ Q pero 2 es irracional. Si embargo,
x2 − 2 es reducible sobre R pues
√ √
x2 − 2 = (x + 2)(x − 2),
√ √
y ambos polinomios x + 2 y x− 2 son polinomios sobre R y no son
constantes.
16
Teorema 24. Sea F un cuerpo y sea f un polinomio sobre F de grado
positivo. Entonces f es irreducible sobre F si y sólo si el ideal (f ) es maximal.
17
decir hr es constante y, por lo tanto, hr = 1. Esto nos dice que 1 ∈ (h) con
lo cual (h) = F [x], una contradicción. Luego f es irreducible sobre F .
como φ(n + (x)) = n. Veamos que está bien definida: sean n y m enteros
tales que n + (x) = m + (x). Luego n − m ∈ (x). Como n − m ∈ Z, la única
manera de que la constante n − m sea múltiplo del polinomio lineal x es que
n − m = 0. Luego
18
con lo cual φ es un homomorfismo de anillos. Veamos que φ es biyectiva: por
definición φ es sobreyectiva. Si φ(n + (x)) = φ(m + (x)) entonces n = m,
luego n + (x) = m + (x) y ası́ vemos que φ es inyectiva. Por lo tanto φ es un
isomorfismo de anillos, con lo cual
Z[x]/(x) ' Z,
f = a0 + a1 x + · · · + an xn ,
19
como f (α) y se define como
f = q(x − α) + r,
20
donde r = 0 o, caso contrario, deg(r) < deg(x − α) = 1, es decir deg(r) = 0.
Si r 6= 0, entonces ocurre la segunda condición deg(r) = 0, con lo cual r es
un polinomio constante no nulo, es decir, r = a para algún a ∈ F no nulo.
Por otro lado, evaluando la igualdad de arriba en α, nos queda que
0 = f (α) = q(α)(α − α) + a = 0 + a = a,
f (α) = (α − α)h(α) = 0,
es decir, α es raiz de f .
Claramente vemos que si f tiene una raiz α ∈ F entonces f no es irreducible
sobre F pues vimos que existe h ∈ F [x] tal que f = (x − α)h y, por hipótesis,
deg(f ) ≥ 2 con lo cual
21
El recı́proco de la segunda parte del Teorema 24 es falso, es decir, si un
polinomio f sobre un cuerpo F es reducible sobre F , no necesariamente
tiene una raiz en F . Por ejemplo, el polinomio x4 + 3x2 + 2 ∈ R[x] es
reducible sobre R pues
pero no tiene raı́ces en R, pues sus raı́ces no son números reales (sus raı́ces
√
son ±i y ±i 2 donde i es la unidad imaginaria de C).
n
f = apn1 1 · · · pk k .
22
En otras palabras, todo polinomio no constante sobre F es irreducible sobre
F o, en caso contrario, es producto de potencias de polinomios mónicos
irreducibles. Tal factorización de f en irreducibles es única salvo el orden de
los factores.
Finalizamos estas notas diciendo que una parte de esta teorı́a de polino-
mios sobre un cuerpo F es válida en el contexto más general de los anillos
euclideanos.
a = qb + r,
23
Módulos
1 Definiciones y ejemplos
¿Qué operaciones elementales podemos hacer con vectores que den como
resultado un vector? Podemos sumar y restar vectores
~v ~v − w
~ ~v + w
~
w
~
~v
αw
~
α(β ~v ) = (αβ)~v y 1 ~v = ~v .
α(~v + w)
~ = α~v + αw,
~
y
(α + β)~v = α~v + β~v .
2
a componente
1) (rs)a = r(sa),
2) (r + s)a = ra + sa,
3) r(a + b) = ra + rb.
4) 1 a = a para todo a ∈ M .
4
A menos que sea necesario aclarar, siempre trataremos con R-módulos a
izquierda y, por lo tanto, omitiremos la frase “a izquierda” y hablaremos
simplemente de R-módulos. Todos los resultados obtenidos se pueden
trasladar al caso de R-módulos a derecha. También llamaremos escalares
a los elementos del anillo R, en consonancia con el lenguaje utilizado en el
caso de espacios vectoriales.
5
módulo. En este caso la acción lineal de R sobre Mn(R) es componente a
componente, es decir
a11 a12 · · · a1n
αa11 αa12 · · · αa1n
a21 a22 · · · a2n αa21 αa22 · · · αa2n
α =
... ... ... ... ... ...
an1 an2 · · · ann αan1 αan2 · · · αann
ar = ra
6
para todo a ∈ R y todo r ∈ R, es sencillo verificar (hacerlo!) que M es
también un R-módulo a derecha. Luego M es un R-R-bimódulo.
7
2 Propiedades básicas
2) 0a = 0 para todo a ∈ M .
• Los conjuntos {0} y M son submódulos del R-módulo M y son los submódulos
triviales del módulo M .
9
Tenemos que Ann(N ) es un ideal a izquierda de R pues 0 ∈ Ann(N ), con
lo cual Ann(N ) 6= ∅. Además Ann(N ) es un subgrupo aditivo de R pues si
r, r0 ∈ Ann(N ) entonces para todo a ∈ N
N1 ∩ · · · ∩ Nk ,
es un submódulo de M (hacerlo!).
i=1
10
para i = 1, . . . , k tales que
k k
a= ni y b = n0i,
X X
i=1 i=1
luego
k k
a + rb = ni + r n0i
X X
i=1 i=1
k k
= ni + rn0i
X X
i=1 i=1
k
= (ni + rn0i).
X
i=1
i=1
i=1
es un submódulo de M : ha1, . . . , ak i =
6 ∅ pues 0 ∈ ha1, . . . , ak i. Sean a,
b ∈ ha1, . . . , ak i y r ∈ R, entonces existen escalares ri y ri0 ∈ R con 1 ≤ i ≤ k
tales que
k k
a= riai y b = ri0 ai.
X X
i=1 i=1
Luego
k k k
a + rb = riai + (rri0 )ai = (ri + rri0 )ai ∈ ha1, . . . , ak i,
X X X
11
con lo cual, por Lema 2, vemos que ha1, . . . , ak i es un submódulo de M .
Ra = {ra : r ∈ R},
Rn = Re1 + · · · + Ren,
12
e1, . . . , en se denomina base canónica de Rn. Tambien el espacio vectorial
Pn(R) sobre R de los polinomios en R[x] de grado a lo sumo n, es un espacio
vectorial de dimensión finita y en este caso tenemos que
Pn(R) = R + Rx + · · · + Rxn.
i=1
Puede ocurrir que un R-módulo sea finitamente generado pero tenga submó-
dulos que no lo son, a diferencia de los espacios vectoriales en donde subespa-
cios de un espacio vectorial de dimensión finita son subespacios de dimensión
finita. Por ejemplo, sea R el anillo de polinomios sobre un cuerpo F en
infinitas variables x1, x2, . . . , xn, . . ., es decir
R = ∪∞
k=1 F [x1 , . . . , xk ].
14
3 Homomorfismos de módulos
f (a + b) = f (a) + f (b),
(rf )(a + b) = r(f (a) + f (b)) = rf (a) + rf (b) = (rf )(a) + (rf )(b),
(rf )(r0a) = rf (r0a) = r(r0f (a)) = (rr0)f (a) = (r0r)f (a) = r0(rf )(a),
para todo a ∈ M , con lo cual rf ∈ HomR (M, M 0). La acción es lineal pues
si r, r0 ∈ R y f ∈ HomR (M, M 0) entonces (rr0)f = r(r0f ) ya que si a ∈ M
vemos que
y también
(r(f + g))(a) = r(f (a) + g(a)) = rf (a) + rg(a) = (rf )(a) + (rg)(a),
r(f + g) = rf + rg.
((r + r0)f )(a) = (r + r0)f (a) = rf (a) + r0f (a) = (rf )(a) + (r0f )(a),
16
para todo a ∈ M . Por lo tanto HomR (M, M 0) es un R-módulo si R es
conmutativo.
• monomorfismo si f es inyectiva,
• epimorfismo si f es sobreyectiva,
• isomorfismo si f es biyectiva,
• endomorfismo si M 0 = M , y
• automorfismo si M 0 = M y f es biyectiva.
Puede ocurrir que dos anillos R y R0 no sean isomorfos como anillos pero
sı́ lo sean como S-módulos para algún submódulo S de R y R0. Por ejemplo
los anillos
Z[i] = {a + bi : a, b ∈ Z},
√
donde i = −1, y
√ √
Z[ 2] = {a + b 2 : a, b ∈ Z},
no pueden ser isomorfos como anillos pues en Z[i] hay una cantidad finita de
√
unidades (comprobarlo!) mientras que en Z[ 2] hay infinitas unidades, pues
17
√ √
(1 + 2) es inversible en Z[ 2] para todo n ∈ N ya que
n
√ √ √ 2
(1 + 2)(−1 + 2) = 2 − 1 = 1,
√ n √ n
con lo cual 1 + 2
−1 + 2 = 1n = 1 para todo n ∈ N.
√
No obstante Z[i] y Z[ 2] son isomorfos como Z-módulos: pues las funciones
√
f : Z × Z → Z[ 2] definida como
√
f (a, b) = a + b 2,
g(a, b) = a + bi,
es un isomorfismo de Z-módulos.
f (M ) = {f (a) : a ∈ M }.
18
y M 0 respectivamente.
2) Ker f es un submódulo de M .
3) f (M ) es un submódulo de M 0.
5) Si f es un epimorfismo la correspondencia
N 7→ f (N ),
19
Teorema 4. Sea f : M → M 0 un homomorfismo de R-módulos. Las
siguientes afirmaciones son equivalentes
i) f es un monomorfismo.
lo que nos dice que g(a) − h(a) ∈ Ker f para todo a ∈ T . Por hipótesis y
Teorema 3 Ker f = {0}, por lo tanto g(a) = f (a) para todo a ∈ T y esto
quiere decir que g = h.
Vemos que ii) implica iii) pues si se toma h = 0 (la función nula) en ii)
tenemos que f ◦ 0 = 0 pues (f ◦ 0)(a) = f (0(a)) = f (0) = 0 para todo a ∈ T ,
con lo cual f ◦ g = 0 y esto implica (por hipótesis) que g = h = 0.
Finalmente veamos que iii) implica ii). Consideramos T = Ker f y g : T →
M como la función identidad, es decir, g(a) = a para todo a ∈ T . Claramente
g es un homomorfismo de R-módulos pues g(a + b) = a + b = g(a) + g(b) para
todo a, b ∈ T y si r ∈ R, entonces g(ra) = ra = rg(a) para todo a ∈ T .
20
Como T = Ker f tenemos que
21
4 Producto y suma directa de módulos
N1 ⊕ · · · ⊕ Nk ,
22
Teorema 5. Sean N1, . . . , Nk submódulos de un R-módulo M . Las
siguientes afirmaciones son equivalentes.
1) La función f : M1 × · · · × Mk → N1 + · · · + Nk definida como
f (a1, . . . , ak ) = a1 + · · · + ak ,
es un isomorfismo de R-módulos.
a = a1 + · · · + ak ,
con ai ∈ Ni para 1 ≤ i ≤ k.
Vemos ası́ que, tal como ocurre con los grupos, el producto directo externo y
la suma directa de N1, . . . , Nk submódulos de un R-módulo M representan
R-módulos isomorfos y, por lo tanto, la distinción entre ellos es esencialmente
una cuestión notacional. Tal como mencionamos al principio de esta sección,
por ser M un grupo abeliano es más usual hablar de suma directa y escribir
M = M1 ⊕ · · · ⊕ Mk ,
23
Se puede considerar una familia arbitraria de submódulos y definir el pro-
ducto directo de ellos (también con grupos y anillos). En general veremos
que el producto directo no va coincidir necesariamente con la suma directa
de los mismos. Trataremos este tipo de situaciones con más detalle en las
notas sobre Teorı́a de Categorı́as.
24
Módulos
1 Módulos libres sobre un conjunto
a = r1a1 + · · · + rnan.
En este caso también se suele decir que M es libre sobre A ⊂ M . Notar que
el subconjunto A de M no es necesariamente finito.
1
subconjunto A de Z2 × Z2. Primero notemos que si
pero también
(1, 1) = 3(1, 0) + 5(0, 1),
como R-módulos.
donde para cada a ∈ M los elementos r1, . . . , rn son los únicos escalares tales
que
a = r1a1 + · · · + rnan.
Luego
a + b = (r1 + r10 )a1 + · · · + (rn + rn0 )an,
3
y por la unicidad de los escalares, esta es la única manera de expresar a + b
como combinación lineal de a1, . . . , an sobre R. Luego
ra = (rr1)a1 + · · · + (rrn)an,
4
Un R-módulo M se dice que es de rango n si n es el único entero positivo
tal que M ' Rn como R-módulos. En otras palabras, M es de rango n si
todo conjunto de generadores libres de M tiene cardinalidad n.
Esta definición luce a primera vista algo mal formulada pues no parece
posible que por un lado ocurra que M ' Rn y por otro que M ' Rm para
m 6= n. Sin embargo hay ejemplos de anillos R no conmutativos tales que,
como R-módulos, R ' Rn para todo n ∈ N, con lo cual módulos libres
sobre anillos no conmutativos no necesariamente tienen conjuntos de
generadores libres de la misma cardinalidad
Rn ' Rm ,
5
2 Módulos cociente
Veamos ahora que podemos definir una acción lineal de R sobre M/N .
Dado r ∈ R definimos
r(a + N ) = ra + N.
Antes de continuar tenemos que ver que esta acción está bien definida, es
decir, que no depende del representante elegido de la coclase. Sabemos que
a + N = b + N si y sólo si a − b ∈ N . Si a + N = b + N entonces a − b ∈ N
y por ser N submódulo de M tenemos que r(a − b) ∈ N . Ası́
ra − rb = r(a − b) ∈ N,
y también
8
3 Teoremas de isomorfismo de módulos
Por supuesto que todos los teoremas de isomorfismo que vimos para grupos
tienen su versión para módulos y se demuestran de manera muy similar, con el
adicional de comprobar la validez de los enunciados para la acción lineal. Por
lo tanto las demostraciones de los mismos quedan como tarea para el examen
final teórico.
M/Ker f ' f (M ),
como R-módulos.
como R-módulos.
9
Teorema 12. Sea M un R-módulo y sean S ⊂ N dos submódulos de M .
Entonces N/S es submódulo de M/S y
como R-módulos.
Coker f = M 0/f (M ).
10
4 Propiedad universal del módulo cociente
11
5 Sumandos directos y retracciones
M = N ⊕ S.
0
g f
M M M0
f ◦ g = IM 0
a = n + s y b = n0 + s0,
f (a + b) = n + n0 = f (a) + f (b).
f (ra) = rn = rf (a).
13
Por lo tanto f : M → N es un homomorfismo de R-módulos. Además si
n ∈ N entonces n = n + 0 y esta expresión es única como suma de elementos
de N y S, entonces f (n) = n para todo n ∈ N . Todo esto nos dice que N es
un retracto de M .
Recı́procamente, supongamos que N es un retracto de M . Entonces existe
un homomorfismo f : M → N de R-módulos tal que f (n) = n para todo
n ∈ N . Si S = Ker f tenemos que S es un submódulo de M . Si a ∈ N ∩ S
entonces
f (a) = a y f (a) = 0,
a = (a − b) + b,
14
Este tipo de problemas ha sido una de las motivaciones que hay detrás del
desarrollo de una de las herramientas que forman parte del Álgebra ho-
mológica: la homologı́a y la cohomologı́a de módulos. La teorı́a de ho-
mologı́a (y su dual, la cohomologı́a) se construye a partir del estudio de las
denominadas sucesiones exactas de módulos. Al final de estas notas vere-
mos algo de sucesiones exactas de módulos y su relación con el problema de
hallar sumandos directos de un R-módulo.
15
6 Complejos y sucesiones exactas de módulos
f i−1 f i f
i+1 f
i+2
· · · −→ Mi −→ Mi+1 −→ Mi+2 −→ ···
para todo i ≥ 1.
16
Si tenemos el diagrama
0 −→ M,
M −→ 0,
f
0 −→ M −→ M 0,
f
0 −→ M −→ M 0 −→ 0,
17
es equivalente a decir que f es un isomorfismo de R-módulos y, por lo tanto,
es equivalente a decir que M ' M 0 como R-módulos.
0 −→ M −→ M 0 −→ M 00 −→ 0,
0 −→ M −→ E −→ M 0 −→ 0,
sea exacta?
18
Teorema 17. Sean M , M 0 y M 00 tres R-módulos.
1) Si la sucesión
f h
0 −→ M −→ M 0 −→ M 00 −→ 0,
es exacta entonces
como R-módulos.
ι φ
0 −→ M 0/M −→ M 00/M −→ M 00/M 0 −→ 0,
19
homomorfismo de R-módulos:
y si r ∈ R entonces
Veamos ahora que ι(M 0/M ) = Ker φ. Tenemos que ι(M 0/M ) = M 0/M y,
por otro lado
Vemos que la parte 1) del Teorema 16 es el Primer Teorema de Isomorfismo
mientras que la parte 2) es el Tercer Teorema de Isomorfismo (¿por qué?).
20
7 Complejos de R-módulos en el Cálculo multivariable
∂F ∂F
= f1 y = f2 ?
∂x ∂y
Como las derivadas parciales mixtas coinciden con estas hipótesis, vemos
que la existencia de tal función F implica que
∂f1 ∂ 2F ∂ 2F ∂f2
= = = .
∂y ∂y∂x ∂x∂y ∂x
Tenemos ası́ una manera de responder a esta pregunta (con otra pregunta!):
∂f1 ∂f2
= ,
∂y ∂x
−y x
f (x, y) = 2 , ,
x + y 2 x2 + y 2
21
∂f2/∂x en U pero no existe función suave F : U → R tal que
∂F −y ∂F x
= 2 y = 2 .
∂x x + y2 ∂y x + y2
22
definida como
∂f ∂f
grad(f ) = , ,
∂x ∂y
y rot : C ∞(U, R2) → C ∞(U, R) definida como
∂f1 ∂f2
rot(f ) = − ,
∂y ∂x
Im(grad) ⊂ Ker(rot),
Decir que esta sucesión es exacta quiere decir que Im(grad) = Ker(rot) y esto
es equivalente a que el R-módulo cociente
Ker(rot)/Im(grad),
sea trivial.
Notar que Ker(rot) consiste de todas la funciones suaves en U que satisfacen
la condición del Problema 2. Por lo tanto, decir que el R-módulo cociente
Ker(rot)/Im(grad) sea trivial nos dice que dada f = (f1, f2) ∈ C ∞(U, R2)
que satisface la condición del Problema 2, existe F ∈ C ∞(U, R) tal que
grad(F ) = f,
23
es decir que
∂F ∂F
, = f = (f1, f2),
∂x ∂y
con lo cual
∂F ∂F
= f1 y = f2 .
∂x ∂y
Vemos ası́ que el Problema 1 tiene solución en un abierto U ⊂ R2 para
funciones f ∈ C ∞(U, R2) que satisfagan la condición del Problema 2 si el
R-módulo cociente Ker(rot)/Im(grad) es trivial.
Es usual escribir
H 1(U ) = Ker(rot)/Im(grad).
H 1(U ) ' Rk ,
24
define como
H 0(U ) = Ker(grad).
ι grad rot
0 R C ∞(U, R) C ∞(U, R2) C ∞(U, R)
25
8 Sucesiones exactas y complementos
ι p
0 −→ N −→ M −→ M 0 −→ 0,
Con este concepto de sucesión exacta corta que se parte podemos enun-
ciar una condición equivalente (comparar con el Teorema 15) para que un
submódulo de un R-módulo sea un sumando directo.
a = ι(a) = b − q(p(b)),
y por otro lado, como N = ι(N ) = Ker p, vemos que p(a) = 0. Entonces
c = 0 y ası́
a = q(c) = q(0) = 0,
M = N ⊕ S,
27
Categorı́as
1 Definiciones y ejemplos
1
existe una única función h : C → A × B
C
f g
h
πA πB
A A×B B
tal que f = πA ◦ h y g = πB ◦ h.
Esto permite definir, salvo biyecciones, al producto A × B sin necesidad de
mencionar los elementos de A × B: el producto cartesiano de A y B se puede
definir como el único triple (D, π1, π2) donde π1 : D → A y π2 : D → B
son funciones, tal que para todo otro triple (C, f, g) donde f : C → A y
g : C → B son funciones, existe una única función h : C → D
C
f g
h
π1 π2
A D B
2
mismos desde un punto de vista global y estructural. Desde hace algunos
años esta teorı́a se viene aplicando en disciplinas fuera de la Matemática tales
como Programación, Computación, Fı́sica Cuántica, Neurociencia, Teorı́a del
Lenguaje, Bases de Datos, etc. Todo esto ha dado lugar a una rama bastante
nueva de la Matemática que lleva el nombre de Teorı́a de Categorı́as Aplicada.
3
3) Para cada terna de objetos A, B y C de C hay una función
C3. Para cada par de objetos A y B existe un morfismo 1A ∈ HomC (A, A) tal
que para todo par de morfismos f ∈ HomC (A, B) y g ∈ HomC (B, A) se
tiene que f 1A = f y 1A g = g. Tal morfismo 1A se denomina morfismo
identidad de A en A.
f
f : A → B, o A → B.
4
No obstante, en muchos de los casos que vamos a tratar, los morfismos serán
funciones.
f
A B
g
gf
g
h
C
• Los conjuntos forman una categorı́a denotada como Set. Los objetos son
conjuntos y los morfismos entre objetos son funciones.
• Los grupos forman una categorı́a denotada como Grp. Los objetos son
grupos y los morfismos son homomorfismos de grupos.
5
• Los grupos abelianos forman una categorı́a denotada como Ab. Los objetos
son grupos abelianos y los morfismos son homomorfismos de grupos.
• Los anillos forman una categorı́a denotada como Ring. Los objetos son
anillos y los morfismos son homomorfismos de anillos.
∅
si s ⊀ t
HomS(s, t) =
{∗} si s ≺ t
7
se define
HomC op (A, B) = HomC (B, A),
HomC1×C2 ((A, B), (C, D)) = HomC1 (A, C) × HomC2 (B, D).
8
• Un objeto A de una categorı́a C se dice que es inicial si para cada objeto
B de C hay un solo morfismo en HomC (A, B). En otras palabras, A es objeto
inicial de C si para cada objeto B de C hay una sola flecha f : A → B).
Vemos que si A es un objeto inicial de C entonces HomC (A, A) = {1A}.
Esto muestra que si A y A0 son objetos iniciales de C entonces A ' A0. Más
aún, el isomorfismo entre A y A0 es el único morfismo en HomC (A, A0): por
ser A y A0 objetos iniciales hay únicos morfismos f : A → A0 y g : A0 → A.
Luego
9
2 Tipos de morfismos
gf = 1A y f g = 1B .
f g = f h entonces h = g.
gf = hf entonces h = g.
Lema 1. Sea C una categorı́a y sean f ∈ HomC (A, B) y g ∈ HomC (B, C).
1) Si f y g son monomorfismos (resp. epimorfismos) entonces la
composición gf ∈ HomC (A, C) es un monomorfismo (resp. epimorfismo).
11
f g
A B C
h, h0
D
Si (gf )h = (gf )h0 entonces g(f h) = g(f h0). Por ser g un monomorfismo
podemos cancelar a izquierda y nos queda que f h = f h0. Pero ahora, por ser
f un monomorfismo podemos volver a cancelar a izquierda y obtenemos que
h = h0. Por lo tanto gf es un monomorfismo.
Veamos 2). Supongamos que la composición gf ∈ HomC (A, C) es un
monomorfismo. Sean D un objeto de C y h, h0 ∈ HomC (D, A) tales que
f h = f h0. Por ser tanto f h como f h0 morfismos de D en B, podemos
componer con g. Entonces g(f h) = g(f h0) con lo cual (gf )h = (gf )h0 y,
por ser gf un monomorfismo, podemos cancelar a izquierda y nos queda que
h = h0. Por lo tanto f es un monomorfismo.
Finalmente 3) es consecuencia directa de la definición de monomorfismo.
m
= f (a) − g(a) = f (2mb) − g(2mb) = 2m(f (b) − g(b)),
n
con lo cual
1
= f (b) − g(b).
2n
Como 1/2n ∈
/ Z tenemos que
1
π(f (b)) − π(g(b)) = π(f (b) − g(b)) = π(1/2n) = + Z 6= Z.
2n
13
demostrado (por el contrarecı́proco) que si π ◦ f = π ◦ g entonces f = g. Por
lo tanto π es un monomorfismo en la categorı́a de los grupos divisibles.
• Queda como ejercicio mostrar que en la categorı́a de los anillos con unidad los
conceptos de epimorfismo categórico y homomorfismo de anillos sobreyectivo
no coinciden. Más precisamente hay epimorfismos categóricos que no son
epimorfismos en el sentido de homomorfismos de anillos sobreyectivos.
14
3 Productos y coproductos
p1 ◦ h = f1 y p2 ◦ h = f2,
A
f1
p1
h
C A×B
p2
f2
B
15
(finita o infinita) de objetos de una categorı́a dada. Para entender mejor la
definición comenzamos definiendo el producto de dos objetos en una categorı́a.
A1
f1
p1
f
B A
p2
f2
A2
16
Demostración. Considerando la terna (A, p1, p2) y haciendo B = A0 y fi = qi
para i = 1, 2 en el diagrama anterior, tenemos que existe un único morfismo
f de A0 en A tal que
p1 f = q 1 y p 2 f = q 2 .
q 1 h = p1 y q 2 h = p2 .
Por lo tanto
pi(f h) = qih = pi y qi(hf ) = pif = qi,
para i = 1, 2.
Por otro lado, al considerar el diagrama anterior con la terna (A, p1, p2), si
hacemos B = A y fi = pi para i = 1, 2 vemos que existe un único morfismo
g de A en A tal que
pi g = pi ,
f h = 1A.
17
Un argumento similar (comprobarlo!) muestra que
hf = 1A0 .
Definimos ahora el producto de una colección arbitraria de objetos de una
categorı́a. Sea C una categorı́a, I un conjunto de ı́ndices y {Ai}i∈I una
colección de objetos de C. El producto directo o simplemente el pro-
ducto de los objetos de la colección {Ai}i∈I es un objeto A de C junto a una
colección de morfismos pi : A → Ai para cada i ∈ I que satisfacen la siguiente
propiedad universal: para cada objeto B de C y cada colección de morfismos
{fi}i∈I tal que fi ∈ HomC (B, Ai) se tiene que el siguiente diagrama
f
B A
pi
fi
Ai
i∈I
19
tal que f (i) ∈ Ai define la n-upla (f (1), . . . , f (n)). Por lo tanto el caso
usual de un producto cartesiano de una cantidad finita de conjuntos puede
verse como un caso particular de la definición de producto cartesiano de una
colección de conjuntos {Ai}i∈I . No es difı́cil verificar (hacerlo!) que en la
categorı́a Set el producto cartesiano Ai es el producto categórico de los
Q
i∈I
conjuntos Ai.
• En los casos de las categorı́as Grp, Ring y R-Mod, si se tiene una colección
de, por ejemplo, grupos {Ai}i∈I , se define una operación de grupo en el pro-
ducto cartesiano Ai de los grupos “coordenada a coordenada”, es decir si
Q
i∈I
20
producto de dos objetos a1 ∈ S y 2 ∈ S existe en S es un elemento a ∈ S
junto a dos morfismos p1 = a → a1 y p2 = a → a2. Por lo tanto a ≺ a1 y
a ≺ a2. Por la propiedad universal, si b ∈ es un objeto junto a dos morfismos
f1 = b → a1 y f2 = b → a2, lo que equivale a que b ≺ a1 y b ≺ a2, entonces
existes un único morfismo f = b → a que hace conmutativo el diagrama
f
b a
pi
fi
ai
Ai ,
Y
i∈I
gi
Ai B
g
ji
conmuta para cada i ∈ I, es decir gji = gi. Notar que el diagrama del
coproducto se obtiene revirtiendo el sentido de las flechas en el diagrama
que representa a un producto.
22
Similar al caso de producto, es usual referirse al coproducto de una colección
de objetos {Ai}i∈I de una categorı́a como el par ordenado
23
que oficie de coproducto de una colección de objetos dados en la categorı́a. En
los casos de las categorı́as Set y R-Mod no resulta muy complicado hacerlo
como veremos a continuación.
definido como
Ai = {(x, i) : x ∈ Ai, i ∈ I}.
G
i∈I
i∈I
g: Ai → B,
G
i∈I
como g(x, j) = gj (x) para todo (x, j) ∈ Ai. Tenemos que, por definición
F
i∈I
gπj = gj ,
24
gj
Aj B
πj g
Ai
F
i∈I
i∈I
(rα)(i) = rα(i),
i∈I i∈I
25
Para cada k ∈ I tenemos la función
jk : Ak → ⊕i∈I Ai,
definida como
a si i = k,
jk (a)(i) =
0 si i 6= k.
gk
Ak B
g
jk
Ai
L
i∈I
26
conmute para todo k ∈ I . Esto nos induce primero a definir g(jk (a)) = gk (a)
para todo a ∈ Ak . Veamos ahora cómo definir g en todo el R-módulo ⊕i∈I Ai.
Si α ∈ ⊕i∈I Ai entonces α(i) 6= 0 para una cantidad finita de ı́ndices i ∈ I,
digamos {i1, . . . , in}. Tenemos ası́ que
as = α(is) ∈ Ais ,
para s = 1, . . . , n. Luego
as si i = is,
jis (as)(i) =
0 si i 6= is,
s=1
Esto nos permite “extender a g por linealidad” a todo ⊕i∈I Ai, es decir, defini-
mos
n n
g(α) = g(jis (as)) = gis (as).
X X
s=1 i=1
g(jk (a)+jk (b)) = g(jk (a+b)) = gj (a+b) = gj (a)+gj (b) = g(jk (a))+g(jk (b)),
y si r ∈ R entonces
27
Por lo tanto g es un morfismo de ⊕i∈I Ai en B y cumple, por definición, que
gjk = gk para todo k ∈ I (es decir que el diagrama anterior conmuta para
todo k ∈ I) y claramente g es única.
28
Categorı́as
1 Núcleo y conúcleo categóricos
• Sea C una categorı́a con objeto 0. Vemos que para cada par de objetos A y
B de C hay únicos morfismos
f0 : A → 0 y g0 : 0 → B.
Por lo tanto tenemos un único morfismo g0f0 ∈ HomC (A, B) con esta propiedad:
se factoriza a través del objeto 0 de C. Tal morfismo se denotará como 0AB o
simplemente como 0, lo que es un abuso de notación, pero el contexto dejará
en claro si con 0 se hace referencia al objeto cero o al morfismo cero.
2
Sea f : A → B un morfismo de una categorı́a C. Un morfismo g : K → A
es el núcleo de f si
K 0KB
g
f
A B
g f
K A B
h̃ h
D
f
A B
g
0AC
C
f g
A B C
h
h̃
D
4
• En la categorı́a ModR el conúcleo categórico de un homomorfismo f :
M → M 0 de R-módulos es la proyección natural π : M 0 → M 0/f (M ). Por
lo tanto Coker f = M 0/f (M ) tal como se define en la teorı́a de módulos.
En el caso de la categorı́a Grp el conúcleo categórico del homomorfismo de
grupos φ : G → G0 es la proyección natural π : G0 → G0/N (φ(G)) donde
N (φ(G)) es el normalizador del subgrupo imagen f (G) en G0. Por lo tanto
Coker φ = G0/N (φ(G)). Todas estas afirmaciones quedan como ejercicios de
la práctica.
5
2 Egalizadores y coegalizadores
C0
h e0
e
C A B
f, g
6
Demostración. Tenemos que ver que para el morfismo e : C → A vale la
propiedad cancelativa a izquierda. Sean p y q dos morfismos de D en C tales
que ep = eq. Luego los pares (D, ep) y (D, eq) son egalizadores de f y g,
pues
f (ep) = (f e)p = (ge)p = g(ep),
eh = ep,
C0
e0
e
C A B
f, g
e0 = eh = (e0h0)h = e0(h0h).
7
Esta igualdad se puede reescribir como e01C 0 = e0(h0h). Como e0 es un
monomorfismo podemos decir que
1C 0 = h0h.
uf = ug,
f, g u
A B C
u0 h
C0
8
es conmutativo. Por comodidad en la notación nos referiremos al coegalizador
como un par (C, u).
9
3 Pullbacks (productos fibrados) y pushouts (cuadrados carte-
sianos)
q
P A2
p g
f
A1 A
P0
q0
h
P A2
q
p0
p g
f
A1 A
11
P0
pi = pj
i, j
P A1
p
pi
p f
f
A1 A
X f
h S
Y g
(X ×S Y, π),
12
donde X ×S Y = {(x, y) ∈ X × Y : f (x) = g(y)} y π : X ×S Y → S es la
función definida como π(x, y) = f (x). Veamos que (X ×S Y, π) junto a las
funciones p1 : X ×S Y → X y p2 : X ×S Y → Y definidas como
p1(x, y) = x y p2(x, y) = y,
p2
(X ×S Y, π) (Y, g)
p1 g
f
(X, f ) (S, iS )
13
• Por ejemplo, si S es un conjunto unitario, digamos S = {s}, entonces toda
función de un conjunto X en S es constantemente igual a s y ası́
14
g
A A2
f q
p
A1 T
f q
q0
p
A1 T
h
p0
T0
• Tal como en el caso del pullback, se demuestra que (si existe) el pushout
de dos morfismos f : A → A1 y g : A → A2 es único salvo isomorfismo
(comprobarlo!). En caso de existir el pushout de f y g es usualmente denotado
como A1 A A2 .
a
15
función h : A ∪ B → C que extiende a f y g cuando f = g en A ∩ B:
f (x) si x ∈ A
h(x) =
g(x) si x ∈ B
i2
A∩B B
i1 iB
iA
A A∪B
g
A A2
f q
p
A1 A1 ⊕ A2
se da solamente para los elementos de Ker(f ) ∩ Ker(g). Esto nos dice que
la suma directa A1 ⊕ A2 es un objeto muy “grande” para oficiar de pushout.
Esta obstrucción se soluciona pasando a un R-módulo cociente: el conjunto
g
A A2
f q
p
A1 T = (A1 ⊕ A2)/S
17
Tenemos que para cada a ∈ A
Como (f (a), 0) − (0, g(a)) = (f (a), −g(a)) ∈ S, entonces p(f (a)) = q(g(a))
para todo a ∈ A, es decir p ◦ f = q ◦ g.
Supongamos que T 0 es un R-módulo junto a dos homomorfismos de R-
módulos p0 : A1 → T 0 y q 0 : A2 → T 0 tales que p0 ◦ f = q 0 ◦ g. Definimos una
función
h : (A1 ⊕ A2)/S → T 0,
como h((a1, a2) + S) = p0(a1) + q 0(a2). Veamos que está bien definida: si
(a1, a2) + S = (b1, b2) + S entonces existe a ∈ A tal que a1 − b1 = f (a) y
a2 − b2 = −g(a). Luego
y también
q 0(b2) = q 0(a2 + g(a)) = q 0(a2) + q 0(g(a)),
con lo cual p0(b1) + q 0(b2) = p0(a1) + q 0(a2). Dado que p0 y q 0 son homo-
morfismos de R-módulos, es inmediato ver que h es un homomorfismo de
R-módulos. También tenemos que
para todo a1 ∈ A1, y de manera similar se ve que h(q(a2)) = q 0(a2) para todo
a2 ∈ A2. Por lo tanto p0 = h ◦ p y q 0 = h ◦ q. Finalmente veamos que h es
18
único: si h̃ : (A1 ⊕ A2)/S → T 0 es un homomorfismo de R-módulos tal que
h̃ ◦ p = p0 y h̃ ◦ q = q 0 entonces
con lo cual h̃ = h.
19
Categorı́as
1 Funtores
ii) Una función tal que a cada par de objetos A y B de C1 asigna a cada
morfismo f : A → B un morfismo F (f ) : F A → F B en C2 con estas
propiedades:
F (gf ) = F (g)F (f ),
en C2 y
1
La condición ii) a) nos dice que si se tiene un diagrama conmutativo en C1
f B
A g
h C
F (f ) FB
FA F (g)
F (h) F C
F (gf ) = F (f )F (g),
f B
A g
h C
2
F (f ) FB
FA F (g)
F (h) F C
3
que f g = 1B y gf = 1A. Luego si F es un funtor de C en C˜ entonces
F (f )F (g) = F (f g) = F (1B ) = 1F B ,
y
F (g)F (f ) = F (gf ) = F (1A) = 1F A,
4
• El funtor abelianizador. Dado un grupo G el conmutador de G es el
subgrupo de G generado por todos los productos de la forma a−1b−1ab con
a, b ∈ G y es usual denotarlo como [G, G] o G0. Se demuestra (hacerlo!) que
[G, G] es un subgrupo normal de G y, además, [G, G] es el menor subgrupo
normal de G tal que G/[G, G] es abeliano (es decir, si H C G y G/H
es abeliano entonces [G, G0] < H). Utilizando el conmutador se define un
funtor F ab de Grp a Ab: si G es un grupo se define F abG = G/[G, G] y
si φ : G → G̃ es un homomorfismo de grupos entonces se demuestra que
φ([G, G]) es subgrupo de [G̃, G̃], con lo cual la función φ̃ : G/[G, G] →
G̃/[G̃, G̃] definida como φ̃([G, G]a) = [G̃, G̃]φ(a) es un homomorfismo de
grupos (demostrar todas estas afirmaciones!). Definiendo F ab(φ) = φ̃ tenemos
que F ab es un funtor de Grp en Ab que se denomina funtor abelianizador
(por obvias razones!).
5
que definir (f r)(m) = f (m)r, con lo cual HomR (M, R) será un R-módulo
a derecha y, por lo tanto, el funtor irı́a de la categorı́a de los R-módulos a
izquierda en la categorı́a de los R-módulos a la derecha). Definimos el funtor
D de R-Mod en R-Mod de la siguiente manera: si M es un R-módulo
entonces
DM = HomR (M, R).
φ
M N
g◦ g
φ
R
φ ψ
M N T
6
h ∈ HomR (T, R) entonces
D(ψ ◦ φ)(h) = h ◦ (ψ ◦ φ)
= (h ◦ ψ) ◦ φ
= D(φ)(h ◦ ψ)
= D(φ)(D(ψ)(h)) = D(φ) ◦ D(ψ) (h).
7
(comprobar que lo son!) los funtores contravariante HomR (−, T ) y covariante
HomR (T, −) de R-Mod en R-Mod, donde
φ
M N
g◦ g
φ
T
mientras que
T ψ◦
g g
M N
ψ
φ ψ
0 M N L 0
φ0 ψ0
0 HomR (T, M ) HomR (T, N ) HomR (T, L)
φ0 ψ0
0 HomR (T, M ) HomR (T, N ) HomR (T, L) 0
ψ∗ φ∗
0 HomR (L, T ) HomR (N, T ) HomR (M, T )
ψ∗ φ∗
0 HomR (L, T ) HomR (N, T ) HomR (M, T ) 0
9
2 Transformaciones naturales
ηA
FA GA
F (f ) G(f )
ηB
FB GB
10
φ∗
N∗ M∗
f◦ f
φ∗
R
ηM
M D2(M )
φ φ∗∗
ηN
N D2(N )
conmuta.
Escribiremos M ∗∗ en lugar de (M ∗)∗ = D2(M ). Dado m ∈ M se define
ηM (m) ∈ M ∗∗ como
ηM (m)(f ) = f (m),
11
y si r ∈ R entonces
ηM
M M ∗∗
φ φ∗∗
ηN
N N ∗∗
y si r ∈ R entonces
para todo f ∈ M ∗, con lo cual ηM (rm) = rηM (m) para todo r ∈ R. Veamos
ahora que φ∗∗ ◦ ηM = ηN ◦ φ. Para todo m ∈ M
12
ηM (m)
M∗ R
φ∗ ∗
◦φ
N ∗ ( m)
η M
φ
M N
ηN ηN
◦φ
N ∗∗
y ası́ vemos que φ∗∗ ◦ ηM = ηN ◦ φ. Todo esto nos dice que η es una trans-
formación natural entre el funtor indentidad 1ModR y el funtor doble dual D2
de R-Mod en R-Mod.
13
3 Equivalencia de categorı́as
Veremos ahora en qué sentido se puede definir que dos categorı́as son “esen-
cialmente” las mismas. Una idea bastante natural es definir una noción de
isomorfismo entre categorı́as teniendo en cuenta lo que hicimos para grupos,
anillos y módulos.
Dos categorı́as C1 y C2 se dice que son isomorfas si existen funtores F
de C1 en C2 y G de C2 y C1 tales que GF = 1C1 y F G = 1C2 . En este caso
escribiremos C1 ' C2.
14
El concepto más amplio de equivalencia de categorı́as ha demostrado ser
el correcto: dos categorı́as C1 y C2 se dice que son equivalentes si existen
funtores F de C1 en C2 y G de C2 y C1 tales que GF ' 1C1 y F G ' 1C2 , es decir,
GF es naturalmente isomorfo al funtor identidad 1C1 y F G es naturalmente
isomorfo al funtor identidad 1C2 . Cuando sea necesario enfatizar la noción
de equivalencia en términos de la existencia de funtores F y G naturalmente
isomorfos, diremos que el par de funtores (F, G) es una equivalencia entre C1
y C2 .
Veremos ahora un criterio para demostrar que dos categorı́as son equiva-
lentes (o no) en términos de ciertas propiedades de uno de los funtores que
determinarı́an la equivalencia. Un funtor F de C1 en C2 se dice que es con-
fiable (resp. total o completo) si para cada par de objetos A y B de C1
la función de HomC1 (A, B) en HomC2 (F A, F B) definida como f 7→ F (f )
es inyectiva (resp. sobreyectiva). Antes de pasar a enunciar y demostrar el
criterio de equivalencia de categorı́as, necesitamos el siguiente lema auxiliar.
F (f h) = F (f )F (h) = gg −1 = 1F B ,
ηA0 : A0 → (F G)A0,
ηA0 : A0 → F GA0,
es un isomorfismo.
Dado otro objeto B 0 de C2 tenemos otro isomorfismo
ηB 0 : B 0 → F GB 0.
17
ηA0
0
A F GA0
g (1)
ηB 0
B0 F GB 0
F (f ) = ηB 0 g ηA−10 .
18
que conmuta en los rectángulos “interiores”, es decir, F (G(g)) ηA0 = ηB 0 g y
F (G(h)) ηB 0 = ηC 0 h. Por lo tanto, el rectángulo “exterior” conmuta ya que
ηA0
0
A F GA0
hg F (G(hg))
0
ηC 0
C F GC 0
Pero también ηA0 1A0 ηA−10 = ηA0 ηA−10 = 1F GA0 = F (1GA0 ), entonces f = 1GA0 ,
con lo cual
G(1A0 ) = 1GA0 .
19
Por lo tanto G es un funtor de C2 en C1.
Veamos ahora que GF es naturalmente isomorfo al funtor identidad 1C1 y
también que F G es naturalmente isomorfo al funtor identidad 1C2 . Notemos
que la conmutatividad del diagrama (2) nos dice directamente que F G ' 1C2
pues los morfismos ηA0 y ηB 0 son isomorfismos.
Por otro lado, tal como vimos previo a la construcción del diagrama (1),
dado un objeto A de C1 y haciendo A0 = F A, hay un isomorfismo ηF A :
F A → F GF A. Por Lema 7, existe un único isomorfismo ηA : A → GF A tal
que F (ηA) = ηF A. Si f : A → B es un morfismo en C1, y haciendo A0 = F A
y B 0 = F B en el diagrama (2), tenemos el siguiente diagrama conmutativo
ηF A
FA F GF A
F (f ) F (G(F (f )))
ηF B
FB F GF B
F (ηA)
FA F GF A
F (f ) F (G(F (f )))
F (ηB )
FB F GF B
es decir
F G(F (f ))ηA = F (G(F (f )))F (ηA) = F (ηB )F (f ) = F (ηB f ).
20
Por ser F confiable tenemos que
G(F (f ))ηA = f ηB ,
Definimos una acción lineal a derecha de Mn(R) sobre M (n): dados un vector
(a1, . . . , an) ∈ M (n) y una matriz A = (rij )n×n ∈ Mn(R) tenemos el producto
usual de matrices
de Obj(Mod-R) en Obj(Mod-Mn(R)).
Sea f : M → N un homomorfismo de R-módulos a derecha. Definimos un
homomorfismo f n : M (n) → N (n) de Mn(R)-módulos de la siguiente manera
(verificarlo!):
f n(a1, . . . , an) = (f (a1), . . . , f (an)).
f 7→ F (f ) = f n,
22
para todo (a1, . . . , an) ∈ M (n), con lo cual
F (g ◦ f ) = (g ◦ f )n = g n ◦ f n = F (g) ◦ F (f ).
F (1M )(a1, . . . , an) = 1nM (a1, . . . , an) = (a1, . . . , an) = 1M (n) (a1, . . . , an),
para todo (a1, . . . , an) ∈ M (n). En particular f (a) = g(a) para todo a ∈ M ,
es decir, f = g. Por lo tanto F es confiable.
Sea h : M (n) → N (n) un homomorfismo de Mn(R)-módulos a derecha.
Es sencillo comprobar (hacerlo!) que existen n homomorfismos de grupos
abelianos hi : M (n) → N para 1 ≤ i ≤ n tales que h = (h1, . . . , hn), es decir
para todo (a1, . . . , an) ∈ M (n) y además, para cada matriz A = (aij )n×n ∈
Mn(R) se tiene que
con lo cual
n
hj ((a1, . . . , an)A) = bj = hi(a1, . . . , an)aij ,
X
i=1
para j = 1, . . . , n.
Para cada 1 ≤ k, l ≤ n definimos ahora las matrices Ekl = (eij ) ∈ Mn(R)
donde ekl = 1 mientras que eij = 0 para todo (i, j) 6= (k, l).
Sea E = E11. Entonces
Pn
donde bj = i=1 hi (a1 , . . . , an )eij para j = 1, . . . , n. Luego
24
f (a) = h1(a, 0, . . . , 0) y ası́
f (a + b) = h1(a + b, 0, . . . , 0)
= h1((a, 0, . . . , 0) + (0, b, . . . , 0))
= h1(a, 0, . . . , 0) + h1(0, b, . . . , 0)
= f (a) + f (b),
f (ar) = h1(ar, 0, . . . , 0)
= h1((a, 0, . . . , 0)E(r))
n
= hi(a, 0, . . . , 0)rei1
X
i=1
25
donde b1k = 1 y bij = 0 para todo 1 ≤ i, j ≤ n con (i, j) 6= (1, k). Notar que
Con lo cual
para todo (a1, a2, . . . , an) ∈ M (n). Esto nos dice que F (f ) = h y, por lo
tanto, F es total.
26
Finalmente, sea M̃ un Mn(R)-módulo a derecha. Tenemos que mostrar
que existe un R-módulo M a derecha tal que M̃ y F M = M (n) son Mn(R)-
módulos isomorfos. Vamos a utilizar las matrices diagonales D(r) de n × n
con componentes r ∈ R en la diagonal principal y ceros fuera de la diagonal
principal, es decir
r 0 0
0 r 0
D(r) =
0 0 r
xr = xD(r),
M = M̃ E = {xE : x ∈ M̃ }.
xE + (yE)r = xE + (yE)D(r)
= xE + y(ED(r))
= xE + y(D(r)E)
= xE + (yD(r))E
= (x + yD(r))E = zE ∈ M
ηM̃ : M̃ → F M = M (n),
como ηM̃ (x) = (xE11, xE21, . . . , xEn1). Tenemos que ηM̃ es un homomor-
fismo de Mn(R)-módulos a derecha pues si x, y ∈ M̃ entonces
28
y si A = (rij ) ∈ Mn(R)
Pn
donde bk = i=1 (xEi1 )rik para cada 1 ≤ k ≤ n. Pero
n
bk = (xEi1)rik
X
i=1
n
= (xEi1)D(rik )
X
i=1
n
= x(Ei1D(rik ))
X
i=1
n
=x (Ei1D(rik ))
X
i=1
y
Ei1D(rik ) = (cst)n×n,
con ci1 = rik y cst = 0 para todo (s, t) 6= (i, k), y ası́
n
(Ei1D(rik )) = AEk1,
X
i=1
29
para todo 1 ≤ k ≤ n. Por lo tanto cada bk = x(AEk1), lo que demuestra que
para todo x ∈ M̃ .
Finalmente veamos que ηM̃ es biyectiva: si
ηM̃ (x) = 0,
i=1
Entonces
n n
x = xIR = x Eii = xEii.
X X
i=1 i=1
y ası́ tenemos que Ker ηM̃ = {0}, lo que nos dice que ηM̃ es inyectiva.
Sea (x1E, x2E, . . . , xnE) ∈ M (n). Como E = E11 = E1iEi1 para cada
1 ≤ i ≤ n (comprobarlo!) entonces
30
que
E1j Ei1 = 0 si i 6= j.
Luego para i = 1, . . . , n,
n n
yiEi1 = (xiE1i)Ei1 = xi(E1iEi1) + xj (E1j Ei1) = xj (E1j Ei1),
X X
j=1 j=1
j6=i
con lo cual
n n n
yiEi1 = (xj E1j )Ei1 = ( xj E1j )Ei1 = ( yj )Ei1,
X X X
para i = 1, . . . , n.
Por lo tanto
31
y esto nos dice que ηM̃ es sobreyectiva. Luego
ηM̃ : M̃ → F M = M (n),