Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cristóbal Rivas
Estas notas han servido de guı́a de diversos cursos tanto de pregrado (eligiendo algunas
secciones) como de postgrado. Ésta es la versión del 6 de noviembre de 2022.
En la confección de estas notas nos hemos servido de muchı́simas entradas de
Wikipedia, Mathoverflow y Math stack Exchanges, asi como de incontables videos de
Youtube. Al mismo tiempo, hemos recolectado material de otros apuntes disponibles
como por ejemplo [G-R], [Löh] y [Luco] y de algunos libros como [Artin].
Índice
1. Grupos 3
1.1. Introducción a los grupos . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1. Definición abstracta y primeros ejemplos . . . . . . . . . . . . 3
1.1.2. Homomorfismos e isomorfismos . . . . . . . . . . . . . . . . . 6
1.1.3. El grupo simétrico y el grupo dihedral . . . . . . . . . . . . . 9
1.1.4. Clases laterales, subgrupos normales y grupos cocientes . . . . 14
1.1.5. Teoremas de isomorfismo . . . . . . . . . . . . . . . . . . . . . 19
1.2. Acciones de grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.2.1. La ecuacion de clase y grupos de orden pn . . . . . . . . . . . 26
1.3. Simplicidad de los grupos alternantes . . . . . . . . . . . . . . . . . . 28
1.3.1. El signo de una permutación . . . . . . . . . . . . . . . . . . . 28
1.3.2. Descomposición en ciclos y clases de conjugación en Sn . . . . . 29
1.3.3. Simplicidad de A5 . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.3.4. Simplicidad de An , para n ≥ 6. . . . . . . . . . . . . . . . . . 32
1.3.5. Simplicidad de A∞ . . . . . . . . . . . . . . . . . . . . . . . . 33
1.4. El grupo Aut(Z/nZ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.4.1. El protocolo de Diffie y Hellman. . . . . . . . . . . . . . . . . 39
1.5. Fabricando nuevos grupos . . . . . . . . . . . . . . . . . . . . . . . . 41
1.5.1. Producto semi-directo de grupos . . . . . . . . . . . . . . . . . 41
1.5.2. Producto en corona . . . . . . . . . . . . . . . . . . . . . . . . 44
1.6. Los teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.6.1. El caso de grupos Abelianos finitos . . . . . . . . . . . . . . . 45
1.6.2. Los teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . 47
1.6.3. Grupos de cardinalidad p · q . . . . . . . . . . . . . . . . . . . 49
1.6.4. Clasificación de grupos de orden 12 . . . . . . . . . . . . . . . 50
1.6.5. Simplicidad de A5 usando Sylow . . . . . . . . . . . . . . . . . 51
1
1.6.6. Grupos nilpotentes finitos . . . . . . . . . . . . . . . . . . . . 52
1.7. Introducción a la Teorı́a Geométrica de grupos . . . . . . . . . . . . . 53
1.7.1. Métrica de las palabras en grupos finitamente generados . . . 53
1.7.2. El grafo de Cayley . . . . . . . . . . . . . . . . . . . . . . . . 57
1.7.3. El grupo libre . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
1.7.4. El Lema del Ping-Pong . . . . . . . . . . . . . . . . . . . . . . 60
1.7.5. Presentaciones de grupo . . . . . . . . . . . . . . . . . . . . . 63
2. Anillos y Cuerpos 67
2.1. Introducción a Cuerpos y Anillos . . . . . . . . . . . . . . . . . . . . 67
2.1.1. Definiciones y Ejemplos . . . . . . . . . . . . . . . . . . . . . 67
2.1.2. Anillo de series formales y anillo de polinomios . . . . . . . . . 69
2.1.3. Ideales y anillos cocientes . . . . . . . . . . . . . . . . . . . . 70
2.1.4. Ideales maximales . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.2. El anillo de un grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.3. Dominios de Integridad . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.3.1. El cuerpo de fracciones de un dominio de integridad . . . . . . 77
2.3.2. El Teorema Chino de los Restos . . . . . . . . . . . . . . . . . 78
2.3.3. Factorización en Dominios de Integridad . . . . . . . . . . . . 80
2.3.4. Dominios Euclideanos . . . . . . . . . . . . . . . . . . . . . . 83
2.3.5. Un DIP que no es un DE . . . . . . . . . . . . . . . . . . . . . 87
2.4. Irreducibilidad de polinomios . . . . . . . . . . . . . . . . . . . . . . 89
2.4.1. El Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . 89
2.4.2. El criterio de irreducibilidad de Eisenstein . . . . . . . . . . . 90
2.4.3. A DFU ⇒ A[x] DFU . . . . . . . . . . . . . . . . . . . . . . . 92
2.5. Un resumen esquemático de ejemplos . . . . . . . . . . . . . . . . . . 93
2.6. Extensiones de cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.6.1. Números algebraicos . . . . . . . . . . . . . . . . . . . . . . . 93
2.6.2. El número de Liouville . . . . . . . . . . . . . . . . . . . . . . 97
2.6.3. Números constructibles con regla y compás . . . . . . . . . . . 99
2.6.4. El grupo de Galois de una extensión de cuerpos . . . . . . . . 103
3. Módulos 106
3.0.1. Módulos libres sobre anillos conmutativos . . . . . . . . . . . 108
3.0.2. Estructura de módulos libres sobre anillos de ideales principales 110
3.0.3. Estructura de módulos sobre anillos de ideales principales . . . 111
Referencias
[Artin] Michael Artin. Algebra. Prentice Hall (2010).
[G-R] David Grimm y Cristóbal Rivas. Apuntes de Algebra Abstracta. (2016).
[Löh] Clara Löh. Geometric group theory. Lecture Notes (2015).
[Luco] Giancarlo Lucchini. Apuntes de Estructuras Algebraicas (2021).
2
1. Grupos
1.1. Introducción a los grupos
1.1.1. Definición abstracta y primeros ejemplos
Una operación o regla de composición en un conjunto G es una función op :
G × G → G (en particular, para nosotros las operaciones son cerradas por definición).
En lo sucesivo, para x, y ∈ G, anotaremos op(x, y) simplemente como x + y o x · y o
simplemente xy dependiendo del contexto.
Observación 1.2. Note que un conjunto puede admitir varias reglas de composición,
dependiendo de lo cual será o no un grupo. Para hacer explı́cita esta dependencia
usualmente anotaremos (G, op).
Por ejemplo (Z, +) es un grupo, pero (Z, ·) no lo es (pues no tiene inversos), ni
tampoco lo es (Z, op(n, m) = 0) (pues no tiene neutro).
Ejercicio 1.3. Sea (G, ·) un grupo. Pruebe que el neutro es único, lo denotaremos por id.
Pruebe también que si x ∈ G entones existe un único y ∈ G tal que x · y = id. Al inverso
de x lo denotaremos por x−1 .
3
Ejercicio: pruebe que Zn := {z ∈ C | z n = 1} es un subgrupo de (S 1 , ·).
Note que todas estos grupos son grupos Abelianos o conmutativos, es decir ∀a, b.
se tiene a · b = b · a.
Ejemplo 1.7 (El grupo simétrico). Dado un conjunto X, denotaremos por Biy(X)
o SX al conjunto de biyecciones X → X. Notar que si f, g ∈ Biy(X) entonces
su composicion f ◦ g y su inversa f −1 también son biyecciones de X. De hecho,
(Biy(X), ◦) es un grupo puesto que la composición de funciones es asociativa y la
función identidad id : x 7→ x cumple que f ◦ id = id ◦ f = f para toda f ∈ Biy(X).
El grupo (Biy(X), ◦) se llama el grupo simétrico sobre X. Cuando X es un
conjunto de n elementos, SX usualmente se denota por Sn .
Ejercicio 1.8. 1. Pruebe que si n ≥ 3 entonces Sn no es Abeliano.
2. Sea X un conjunto infinito. Pruebe que Biy0 (X), el conjunto de biyecciones de so-
porte1 finito, es un subgrupo de (Biy(X), ◦).
3. Pruebe que el conjunto de GLn (R), el conjunto de matrices con entradas en R y con
determinante 6= 0, es un grupo bajo la multiplicación matricial.
Ejercicio 1.9. Sean (G, ∗1 ) y (H, ∗2 ) dos grupos cualesquiera. Demuestre que G × H =
{(g, h) | g ∈ G, h ∈ H} es un grupo bajo la operación
(g, h) ∗ (g 0 , h0 ) := (g ∗1 g 0 , h ∗2 h0 ).
hSi = {g ∈ G | ∃n ∈ N, ∃ s1 , . . . , sn ∈ S ∪ S −1 : g = s1 · . . . · sn },
a b c
a a·a a·b a·c
b b·a b·b b·c
c c·a c·b c·c
1
Recuerde que el soporte de una biyección f : X → X es el conjunto sop(f ) = {x ∈ X | f (x) 6= x}.
2
Note que una operación un grupo G está completamente determinada por su tabla de mutipli-
cación, puesto que su operación es la tabla de multiplicar.
4
Definición 1.12. Sea G un grupo y sea g ∈ G. Definimos las funciones multiplicar
por g por la izquierda y por derecha:
Lg : G → G , Lg : x 7→ gx,
Rg : G → G , Rg : x 7→ xg.
Note que en la tabla de mutiplicar de G, la imagen de Lg es precisamente la fila de g
y la imagen de Rg es precisamente la columna de g.
Teorema 1.14. Salvo cambio de nombre, existe un único grupo con tres elementos.
Demostración. Sea G = {a, b, c}. Lo que quiere decir este teorema es que hay una
única manera de rellenar la tabla de multiplicar de G.
En efecto, uno de los elementos de G necesariamente es la identidad, digamos
a = id, por lo que podemos al menos asegurar que la tabla de multiplicar se ve asi:
G id b c
id id b c
b b ?? ??
c c ?? ??
donde ?? indica que (aún) no sabemos que poner. Ahora, siguiendo la táctica del Su-
doku, notamos que solo hay una forma de completar esta tabla de modo que no hayan
filas ni columnas con letras repetidas (esto es, que Lb , Lc , Rb , Rc sean biyecciones):
G id b c
id id b c
b b c id
c c id b
Ejercicio 1.15. Demuestre que, salvo cambio de nombre, existe un único grupo con 5
elementos.
5
1.1.2. Homomorfismos e isomorfismos
Entre otras cosas, en esta sección formalizaremos que queremos decir con salvo
cambio de nombre en el Teorema 1.14. Primero introducimos la noción de homomor-
fismo, que es la clase de funciones que respeta la estructura de los grupos.
6
Sea λ ∈ R y Mλ : R → R la multiplicación por λ, es decir Mλ (x) = λx. Entonces
Mλ es un homomorfismo de (R, +) en si mismo pues
Mλ (a + b) = Mλ (a) + Mλ (b).
con x, y ∈ R.
1. Pruebe que C es un grupo bajo la suma de matrices y que (C, +) ' (C, +).
7
2. Pruebe que el conjunto de matrices en C con determinante 6= 0 es un grupo bajo la
multiplicación de matrices y que dicho grupo es isomorfo a (C∗ , ·).
8
El grupo de automorfismos de un grupo. Asi como el grupo dihedral apa-
rece como el grupo de simetrias de un objeto geométrico, suele suceder que grupos
interesantes aparecen como grupos de simetrias de otros grupos.
Si G es un grupo, denotamos por Aut(G) la colección de automorfismos de G.
Puesto que α es inyectiva podemos deducir que α−1 (f · g) = α−1 (f ) · α−1 (g).
Ejercicio 1.30. Pruebe que la aplicación C : G → Aut(G) definida por C(g) = Cg es un
homomorfismo.
4. Exhiba un isomorfismo entre Aut(Z) y Z2 (recuerde que Z2 = {1, −1} bajo multipli-
cación).
Ejercicio 1.32. Pruebe que Aut((Z2 , +)) es isomorfo a (GL2 (Z), ·), el grupo de matrices
2 × 2 con entradas en Z y determinante ±1, bajo multiplicación de matrices.
9
Una permutación σ ∈ Sn es un ciclo de largo k si existen elementos a1 , a2 , . . . , ak ∈
X tales que
σ(a1 ) = a2
σ(a2 ) = a3
..
.
σ(ak ) = a1
σ(1) = 3
σ(2) = 4
σ(3) = 2
σ(4) = 1
σ(5) = 5
La notación en ciclos tiene una pequeña ambigüedad, puesto que un ciclo no tiene
un inicio canónico. Por ejemplo el ciclo σ del Ejemplo 1.34 puede ser escrito también
como σ = (2, 4, 1, 3). Aún asi, la notación cı́clica resulta muy buena. Por ejemplo es
muy fácil componer dos ciclos. Por ejemplo
Teorema 1.38. Toda permutación de Sn puede ser escrita como producto de ciclos
disjuntos.
10
Demostración. Sea σ ∈ Sn y k ∈ X = {1, . . . , n}. La órbita de k bajo σ es el
conjunto Orbσ (k) = {k, σ(k), σ 2 (k), σ 3 (k), . . .}. Note que Orbσ (k) es un conjunto
finito de cardinalidad mayor o igual a 1. Si Orbσ (k) = {1, . . . , n}, entonces se tiene
que σ puede ser representado por el ciclo (k, σ(k), . . . , σ n (k)).
Por otro lado si Orbσ (k) es un subconjunto propio de {1, . . . , n}, digamos de
cardinalidad |Orbσ (k)| = ` < n, entonces σ induce una transposición σ̃ del conjunto
X \ Orbσ (k). Por el Ejercicio 1.37, (k, σ(k), . . . , σ ` (k)) y σ̃ conmutan, por lo que
podemos escribir
σ = (k, σ(k), . . . , σ ` (k)) ◦ σ̃.
Puesto que la cardinalidad de {1, . . . , n} \ Orbσ (k) es estrictamente menor que n,
podemos aplicar inducción a σ̃ y suponer que σ̃ se escribe como composición de ciclos
disjuntos τ1 ◦ . . . ◦ τ` , y por lo tanto σ tambien se escribe como composición de ciclos
disjuntos.
por lo que se se sigue que cualquier ciclo puede ser escrito como el producto de trans-
posiciones, y por tanto, gracias al Teorema 1.38, todo elemento de Sn se puede escribir
como producto de transposiciones. El siguiente teorema muestra que la escritura en
transposiciones sirve para fabricar un invariante del grupo simétrico.
Teorema 1.39. Si una permutación σ ∈ Sn puede ser expresada como el producto de
un número par de transposiciones, entonces cualquier otro producto de transposiciones
igual a σ debe también contener un número par de transposiciones.
A la luz del Teorema 1.39, diremos que una transformación σ ∈ Sn es par si ella se
escribe como una cantidad par de transposiciones e impar en otro caso. El siguiente
ejercicio muestra que el conjunto de transformaciones pares, el cual denotaremos por
An , forma un subgrupo de Sn .
Ejercicio 1.40. Muestre que el An es un subgrupo de Sn .
El paso crucial para demostrar el Teorema 1.39 es el siguiente lema.
Lema 1.41. Si la identidad id ∈ Sn se escribe como producto de r > 0 transposiciones
id = τ1 · · · τr ,
entonces r es par.
Demostración. Procederemos por inducción en r. Puesto que ninguna transposicón
es la identidad, necesariamente tenemos r > 1. Si r = 2 estamos listos. Supongamos
que r > 2. La idea será intentar mover la última transposicón hacia el comienzo
de la escritura de id hasta lograr una cancelación. Concretamente, consideremos el
11
producto de las dos últimas transposiciones, τr−1 τr . Necesariamente dicho producto
debe ser en uno de los casos siguientes:
(ab)(ab) = id
(bc)(ab) = (ac)(bc)
(cd)(ab) = (ab)(cd)
(ac)(ab) = (ab)(bc),
donde a, b, c, y d son distintos. La primera ecuación simplemente dice que una trans-
posición es su propia inversa. Si ocurre este caso, borre τr−1 τr del producto para
obtener
id = τ1 τ2 · · · τr−3 τr−2 .
Por inducción r − 2 es par; luego, r debe ser par.
En cada uno de los otros tres casos, podemos reemplazar τr−1 τr con el lado derecho
de la ecuación correspondiente para obtener un nuevo producto de r transposiciones
para la identidad. En este nuevo producto, la última aparición de a será en la penúlti-
ma transposición. Podemos continuar este proceso con τr−2 τr−1 para obtener ya sea
un producto de r − 2 transposiciones o un nuevo producto de r transposiciones donde
la última aparición de a es en τr−2 . Si la identidad es el producto de r − 2 transpo-
siciones, entonces nuevamente estamos listos, por la hipótesis de inducción; de otro
modo, repetiremos el procedimiento con τr−3 τr−2 , y ası́ sucesivamente.
En algún momento, tendremos dos transposiciones adyacentes iguales, que se can-
celarán, o bien a solamente estará presente en la primera transposición. Pero este
último caso no puede ocurrir, pues la identidad no fijarı́a a en esta situación. Por lo
tanto, la identidad debe ocurrir alguna cancelación en el proceso. Es decir, la iden-
tidad será el producto de r − 2 transposiciones y, nuevamente por la hipótesis de
inducción, estamos listos.
Demostración del Teorema 1.39: Supongamos que σ ∈ Sn admite dos escrituras como
producto de transposiciones:
σ = τ1 · · · τk = η1 · · · η` ,
id = τk · · · τ1 · η1 · · · η` ,
12
Figura 1: Rotaciones y reflexiones del triangulo.
D3 ' S 3 .
13
Un ejemplo más interesante de grupo dihedral es D4 , el conjunto de simetrias del
cuadrado P4 . En este caso, además de las rotaciones en 2π/4, 4π/4, 6π/4 y 8π/4 = Id,
tenemos las reflexiones que se muestran en la Figura 2.
El grupo D4 es mas interesante que D3 pues en este caso no es cierto que todo
elemento de S4 induzca una simetrı́a de P4 . Por ejemplo el ciclo (3, 4) ∈ S4 no preserva
la estructura del cuadrado, ver Figura 3.
1. Calcule la cardinalidad de Sn .
2. Calcule la cardinalidad de Dn .
~ + L = {w
w ~ + λ · ~v | λ ∈ R},
14
w
~ +L
w
~ L
El punto 1. es claro pues para todo g ∈ G vale que g ∈ gH. Para chequear el punto 2.,
notamos que si x ∈ gH ∩ f H entonces x = gh1 = f h2 , donde h1 y h2 son elementos
de H. De este modo se tiene que g = f h2 h−1
1 , y por lo tanto
gH = f h2 h−1
1 H = f H,
donde la última igualdad vale pues H es un subgrupo de G. Esto prueba que las clases
laterales a izquierda forman una partición de G (el caso de particiones a derecha es
análogo y queda para el lector).
Para terminar, hay que ver que dadas dos clases laterales gH y f H, siempre
podemos encontrar una biyección entre ellas. Esto se logra pues la multiplicación a
izquierda induce siempre una biyección de G. Concretamente consideramos
15
Figura 4: clases laterales de H en G y un conjunto R de representantes de clases.
16
Para calcular el ı́ndice de n0 Z en Z, y de paso encontrar un conjunto de representantes,
recordamos que por el algoritmo de la division podemos dividir a en n0 para encontrar
da ∈ Z y ra ∈ {0, 1, . . . , n0 − 1} tal que a = n0 da + ra . Puesto que n0 da ∈ n0 Z, esto
nos dice que a + n0 Z = ra + n0 Z, y por lo tanto encontramos que
a + n0 Z = b + n0 Z si y solo si ra − rb ∈ n0 Z.
1. H es normal en G.
17
2. H es invariante bajo conjugación. Es decir, para todo h ∈ H y todo g ∈ G, se
tiene que ghg −1 ∈ H.
gHg −1 = {ghg −1 | h ∈ H} = H.
op : (f H, gH) 7→ f gH
define una estructura de grupo en G/H. Para esto, lo primero y mas importante es
verificar que la operación está bien definida, es decir que ella depende únicamente de
las clases laterales f H y gH y no de su representantes f y g. Concretamente hay que
verificar que si g 0 H = gH y f 0 H = f H, entonces f gH = f 0 g 0 H.
Usando el Ejercicio 1.48 tenemos que g −1 g 0 y f −1 f 0 pertenecen a H y, como además
H es normal, también se tiene que f (f −1 f 0 )f −1 = f 0 f −1 ∈ H. En particular, el
producto g −1 g 0 f 0 f −1 ∈ H. Nuevamente usando la normalidad de H encontramos que
18
Enteros módulo n: Una de las instancias mas importantes de estructuras cocien-
tes es Z/nZ, el conjunto de los enteros módulo n. En lo que sigue de estas notas,
escribiremos simplemente [a]n para denotar la clase lateral a + nZ. Si el contexto es
claro, olvidaremos el subı́ndice n y escribiremos simplemente [a] = a + nZ.
Fijemos n ∈ N. Como Z es Abeliano, el subgrupo [0] = nZ es un subgrupo normal
y la Proposición 1.57 nos dice que la aplicación
[n] + [m] = [n + m]
define una estructura de grupo en Z/nZ. El neutro es [0] y el inverso de [a] es [−a].
Mas aún, en el Ejemplo 1.51 vimos que toda clase [a] admite un representante ra ∈
{0, 1, . . . , n − 1} y por lo tanto Z/nZ es un grupo de cardinalidad n.
Ejercicio 1.62. Pruebe que Z/nZ es isomorfo al grupo Zn = {z ∈ C | z n = 1} del Ejemplo
2.3.
Ejercicio 1.63. Muestre que en Z/15Z, el conjunto 5Z/15Z = {[0]15 , [5]15 , [10]15 } es un
subgrupo.
Concluimos esta sección haciendo notar que todo subgrupo normal es necesaria-
mente el núcleo de algún homomorfismo.
Observación 1.64. Dado K un subgrupo normal de G, podemos considerar la apli-
cación proyección: π : G → G/K definida por π(g) = gK. Es fácil ver que π es un
homomorfismo y que Ker(π) es precisamente el subgrupo K. En particular, hemos
probado que todo subgrupo normal es el núcleo de algún homomorfismo.
Ejercicio 1.65. Dados f, g ∈ G, denotamos por [f, g] = f gf −1 g −1 al conmutador de f y
g. Denotamos por [G, G] al subgrupo generado por los conmutadores [f, g] con f y g en G.
Demuestre que [G, G] es un subgrupo normal y que G/[G, G] es Abeliano.
19
ϕ es un homomorfismo:
{id}
20
Teorema 1.70. Si N C G y H ≤ G, entonces H/(H ∩ N ) ' (HN )/N .
Demostración: Definimos ϕ : H → HN/N por ϕ(h) = hN y verificamos que ϕ es
un homomorfismo sobreyectivo cuyo núcleo es H ∩ N .
En particular concluimos que H/(H ∩ N ) ' HN/N por el Corolario 1.67.
Teorema 1.71. Sean N y H subgrupos normales de G tal que N ⊆ H. Entonces
G/H ' (G/N )/(H/N ).
Demostración: Definimos ϕ : G/N → G/H por ϕ(gN ) = gH. Verificamos que ϕ
está bien definida (i.e ϕ(gN ) no depende del representante de clase) y que ϕ es un
homomorfismo sobreyectivo cuyo núcleo es H/N = {hN | h ∈ H}.
En particular, por el Corolario 1.67, concluimos que G/H ' (G/N )/(N/H).
Ejercicio 1.72. Complete las demostraciones de los Teoremas 1.70 y 1.71.
Bien, el Teorema 1.71 nos dice que G/N ' Z/10Z, por lo que podemos conluir que
N tiene 10 clases laterales en G.
Damos una segunda aplicación en forma de proposición.
Proposición 1.73. No existe un homomorfismo sobreyectivo de Z68 en Z12 .
Demostración: Buscando una contradicción, suponemos que si existe un homomor-
fismo sobreyectivo ϕ : Z68 → Z12 . En particular, por el Primer Teorema del Isomor-
fismo se tiene que Z68 /Ker(ϕ) ' Z12 y por lo tanto se tiene que
|Z68 |
= |Z12 |,
|Ker(ϕ)|
donde |X| denota la cardinalidad del conjunto X (vea la ecuación (1) previa al Teo-
rema 1.49). Pero esto implica que
68/12 = |Ker(ϕ)|,
21
Definición 1.74. Sea X un conjunto cualquiera y G un grupo. Una acción de G en
X, es una aplicación A : G × X → X, que satisface:
2. Para todo x ∈ X y para todo f, g ∈ G, vale que A(f g, x) = A(f, A(g, x)).
22
Demostración: Dada una acción G yA X, (g, x) 7→ g.x, y dado g ∈ G, definimos
φA (g) como la función de X a X dada por φA (g) : x 7→ g.x
Para empezar veamos que φA (g) es una biyección de X. Supongamos que φA (g)(x) =
g.x = g.y = φA (g)(y). Puesto que A es una acción podemos multiplicar la igualdad
precedente por g −1 para obtener que x = id.x = g −1 .(g.x) = g −1 .(g.y) = id.y = y.
Luego φA (g) es una inyección. Además ella es sobreyectiva pues φA (g)(g −1 .x) = x.
Luego φA (g) es una biyección de X. Podemos pensar entonces que φA : g 7→ φA (g) es
una función de G en Sym(X). Afirmamos que φA es un homomorfismo, es decir que
φA (f g) = φA (f ) ◦ φA (g). En efecto para todo x ∈ X vale que φA (f g)(x) := (f g).x =
f.(g.x) = φA (f )(φA (g)(x)). Hemos mostrado que toda acción de G en X induce un
homomorfismo de G en Sym(X).
Reciprocamente si φ : G → Sym(X) es un homomorfismo, entonces la aplicación
A : (g, x) 7→ φ(g)(x) cumple que A(id, x) = x para todo x ∈ X y A(f, A(g, x)) =
A(f g, x) para todo f, g ∈ G.
2. Muestre que la acción es libre si y solo si StabG (x) = {id} para todo x ∈ X.
Tr : R −→ R
x 7−→ x + r.
23
Notar que Tr ◦ Tr0 = Tr+r0 , de modo que, bajo composición, T = hTr | r ∈ Ri es
isomorfo a (R, +). El grupo T se conoce como el grupo de traslaciones de la recta. Si
fijamos r en R, la aplicación ψr : Z2 → R dada por
ψr (n, m) = n + mr ,
define un homomorfismo de (Z2 , +) a (R, +), lo que a su vez induce una acción de Z2
en la recta. Dicho homomorfismo será inyectivo si r es irracional y tendrá núcleo no
trivial en caso r ∈ Q.
A su vez, la acción inducida por ψr es libre (y por tanto también fiel) y minimal
(i.e todas sus órbitas son densas) si r ∈
/ Q. Por otro lado para r ∈ Q la acción no será
fiel (y por tanto tampoco libre) y todas sus órbitas serán discretas.
Ejercicio 1.83. Si X es un conjunto, denotamos por F(X, R) al conjunto de funciones de
X a R. Suponga que G es un grupo que actúa en X via x 7→ g.x. Para ϕ ∈ F(X, R) y g ∈ G
definimos la función g∗ ϕ : X → R por g∗ ϕ : x 7→ ϕ(g.x).
Note que por (la prueba de) la Proposición 1.77, se tiene que la aplicación
L : G → Sym(G) dado por L : g 7→ Lg , es un homomorfismo inyectivo. A este
homomorfismo se le conoce como la representación regular izquierda de G.
Ejercicio 1.85. Muestre que todo grupo finito G admite una imagen isomorfa dentro
de GLn (R), para algún n. (Ayuda: demuestre que Sn tiene una imagen isomorfa en
GLn (R).)
24
Acción por conjugación: Dado x ∈ G (pensado como punto del espacio) y
g ∈ G (pensado como elemento que actúa), definimos g.x = Cg (x) = gxg −1 .
Claramente id.x = x y (f g).x = f gxf −1 g −1 = g.(f.x), lo que dice que la conju-
gación induce una acción de G en si mismo. Dos elementos se dicen conjugados
si ellos estan en la misma órbita, y la clase de conjugación de x ∈ G es la
órbita de x bajo esta acción.
Si bien en general, esta acción puede no ser fiel (por ejemplo si G es un grupo
Abeliano, entonces esta acción es una acción trivial), veremos que de todas
maneras ella entrega muchı́sima información sobre G.
Ejercicio 1.86. Dado n, calcule el menor m talque hay homomorfismos inyectivos Zn → Sm
y Sn → Sm . Compare con el Teorema de Cayley.
Asi como un subgrupo H ≤ G induce una partición de G, se tiene que una acción
G y X induce una partición de X.
Proposición 1.87. Suponga que G actúa en un conjunto X. Entonces, las orbitas de
G en X forman una partición X. Mas aún, dado x ∈ X, existe una biyección entre
OrbG (x) y G/StabG (x). En particular si G es un grupo finito de cardinalidad |G|,
entonces |OrbG (x)| divide a |G|.
Demostración: Suponga G y X. Para x, y ∈ X anotamos x ∼ y si existe g ∈ G tal
que g.x = y. Note que ∼ es una relación de equivalencia: es refleja, pues id.x = x, es
simétrica, pues si g.x = y entonces g −1 .y = x y es transitiva, pues si g.y = y y f.y = z
entonces f g.x = z. Como la clase de equivalencia de x es precisamente la órbita de
x, concluimos que las órbitas forman una partición de X.
Para ver que existe una biyección entre OrbG (x) y G/StabG (x), notamos que
Esto conlleva que la aplicación ψ : Orbg (x) → G/StabG (x) dada por ψ(g.x) =
gStabG (x) sea una biyección bien definida. En particular, si G es un grupo finito
de cardinalidad |G|, entonces
25
podemos elegir libremente las p − 1 primeras entradas x1 , . . . , xp−1 y ajustamos la
ultima de modo que xp = (x1 . . . xp−1 )−1 . Esto nos dice que |X| = |G|p−1 .
Para probar el teorema, vamos a hacer actuar un grupo cı́clico de p elementos en
X. Para ello consideremos σ = (1, 2, . . . , p) ∈ Sp . Ciertamente hσi es un subgrupo
cı́clico de p elementos en Sp , y podemos hacerlo actuar en X vı́a σ k .(x1 , . . . , xp ) =
(xσk (1) , . . . , xσk (p) ).
Ahora, la Proposición 1.87 nos dice que las órbitas bajo la acción hσi forman una
partición de X, por lo que
X
|X| = |G|p−1 = |Orbhσi (x)|, (2)
órbitas
Pero esto es imposible pues el lado izquierdo de la igualdad es divisible por p, pero el
lado derecho no (pues es de la forma 1+ cosas divisibles por p). Esta contradicción
termina la demostración.
S3 = {id, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)}.
26
Ejercicio 1.91. Verifique que en S3 se tiene que C((1, 2)) = {(1, 2), (2, 3), (1, 3)} y C((1, 2, 3)) =
{(1, 2, 3), (1, 3, 2)}.
Ejercicio 1.92. Calcule la ecuación de clase de D4 , el grupo de simetrias del cuadrado.
Estudiar la ecuación de clase de un grupo entrega bastante información sobre
las posibles estructuras que el grupo puede admitir. Por ejemplo en la Sección 1.3
calcularemos la ecuación de clase de S5 y usaremos esto para probar la simplicidad
del grupo alternante A5 . El siguiente teorema muestra otro ejemplo donde la ecuación
de clase resulta útil.
Teorema 1.93. Si G es un grupo de cardinalidad p2 , con p un primo, entonces G es
Abeliano.
Para la prueba necesitamos un poco mas de lenguaje y un lema. Diremos que el
centro de un grupo G es el conjunto Z(G) = {g ∈ G | gh = hg ∀h ∈ G}. Si g ∈ G,
el centralizador de g es Centr(g) = {f ∈ G | f g = gf }.
Ejercicio 1.94. Pruebe que Centr(g) es un subgrupo de G y que Z(G) es un subgrupo
normal de G.
Lema 1.95. Todo grupo G de orden pn , con p un primo, tiene centro no trivial.
Demostración: Consideramos la ecuación de clase un grupo G de cardinalidad pn .
Por la Proposición 1.87 tenemos que la cardinalidad de una clase de conjugación
C ⊂ G, necesariamente divide a |G| = pn . De este modo, puesto que |C(id)| = 1, se
tiene que X
pn = |G| = 1 + |C(g)|.
clases de conjungación
Puesto |G| es divisible por p, concluimos que debe existir g 6= id tal que |C(g)| = 1.
Dicho g es un elemento central.
Demostración del Teorema 1.93: Suponemos |G| = p2 . Por el Lema 1.95 se tiene
que Z(G) es no trivial. Debemos demostrar que Z(G) = G.
En búsqueda de contradicción, suponemos que Z(G) no es todo G. Como la
cardinalidad de Z(G) divide a |G|, necesariamente tenemos que |Z(G)| = p. Sea
g ∈ G \ Z(G). Puesto que Centr(g) en es subgrupo estrictamente mas grande que
Z(G), pues contiene a g y a Z(G), concluimos que |Centr(g)| = p2 , lo que dice que g
conmuta con todo elemento de G, es decir g ∈ Z(G). Esto contradice nuestra elección
de g.
{id} = Gn ⊆ Gn−1 ⊆ . . . ⊆ G0 = G,
tal que para todo 1 ≤ i ≤ n se tiene que Gi es un subgrupo normal de Gi−1 y Gi−1 /Gi
es Abeliano.
Por ejemplo si G es Abeliano, la filtración {id} ⊆ G certifica que G es soluble.
Ejercicio 1.97. Muestre que todo grupo de orden pn es soluble.
27
Proposición 1.98. La clase de grupos solubles es cerrada bajo tomar subgrupos,
imagenes homomorficas y extensiones.
Dem: Chequeamos solamente la cerradura bajo extensiones. Supongamos que K C G
es soluble y G/K tambien es soluble, y sea π : G → G/K la proyeccion g 7→ gK.
Entonces
π([f, g]) = [f K, gK].
Luego π([G, G]) = π(h[f, g]i) = h[f K, gK]i = [H, H]. Luego, por induccion se prueba
que π(Gk ) = H k , por lo tanto se tiene que para algun k, Gk ⊆ K. Finalmente esto
implica que Gk+i ⊆ K i , lo que prueba que G es soluble.
P (xσ(1) , . . . , xσ(n) )
sgnn (σ) = .
P (x1 , . . . , xn )
28
En particular, sgn(σ) esta bien definido para toda permutación σ : Z → Z de
soporte finito.
Ejercicio 1.101. Calcule sgn((1, 2)), sgn((2, 3)) y sgn((1, 2, 3)).
La idea de la función signo es que detecta cuantas veces se da vuelta algún factor
en la pitatoria de P . El punto crucial, es que dicha cantidad es independiente de los
nombres que tengan los ı́ndices y por lo tanto se tiene
P (xσ(1) , . . . , xσ(n) ) P (xστ (1) , . . . , xστ (n) )
sgn(σ) = = ,
P (x1 , . . . , xn ) P (xτ (1) , . . . , xτ (n) )
para toda permutación τ ∈ Sn . Con esto, podemos mostrar que sgn es un homomor-
fismo:
P (xστ (1) , . . . , xστ (n) ) P (xτ (1) , . . . , xτ (n) )
sgn(στ ) = · = sgn(σ) · sgn(τ ).
P (xτ (1) , . . . , xτ (n) ) P (x1 , . . . , xn )
Hemos mostrado la
Proposición 1.102. sgn : Sn → Z2 es un homomorfismo de grupos (recuerde que
Z2 = {−1, 1} con la multiplicación usual).
Definimos An , el grupo alternante, como An = Ker(sgn : Sn → Z2 ).
Observación 1.103 (Criterio para el signo). Es fácil ver que el signo de una trans-
posición τ = (a, b) ∈ Sn es -1. Puesto que sgn es un homomorfismo, si τ1 , . . . , τ` son
transposiciones en Sn , el signo de su producto sgn(τ1 ◦ . . . ◦ τ` ) = (−1)` .
Ejercicio 1.104. Muestre que todo σ ∈ Sn se puede escribir como un producto de trans-
pociciones. Use esto para probar que el signo de un ciclo (α1 , . . . , αk ) es (−1)k−1 .
29
donde los ciclos (τ σi τ −1 ) son disjuntos dos a dos. Esto muestra una dirección de la
equivalencia.
Para ver la recı́proca supongamos que σ y σ 0 tienen el mismo tipo de descompo-
sición en ciclos. Digamos
σ = (a1 , a2 , a3 )(a4 , a5 )
σ 0 = (b1 , b2 , b3 )(b4 , b5 ).
Quisieramos tener una biyección η tal que η(ai ) = bi , pues de este modo tendrı́amos
que ηση −1 = σ 0 . Para definir η usamos el siguiente truco:
20 elementos de la forma (abc): 2 veces (3 entre 5), pues hay dos maneras de
orientar un trı́o {a, b, c}.
20 elementos de la forma (abc)(cd): 20= 2 veces (3 entre 5) pues una vez elegido
y orientado el trio {a, b, c} no quedan mas elecciones.
30
1.3.3. Simplicidad de A5 .
En esta sección analizamos la ecuación de clase de A5 para mostrar su sumplicidad.
Puesto que A5 es el núcleo de sgn : S5 → Z2 , se tiene que A5 es un subgrupo de ı́ndice
2 en S5 y por lo tanto |A5 | = 60. Para ver que A5 es simple calcularemos su ecuación
de clase y veremos que ella fuerza que los únicos subgrupos normales sean A5 e {id}.
La primera observación es que hay varias clases de connjugación de S5 que no
perteneces a A5 . Puesto que A5 solo contiene permutaciones pares, solo tenemos que
investigar las clases de conjugación de elementos (escritos en ciclos disjuntos) de la
forma
(abc), (ab)(cd), (abcde).
Para de analizar las otras dos clases de conjugación, precisamos del siguiente lema
general.
Lema 1.106. Sea G un grupo finito que actúa transitivamente en un conjunto finito
X, y suponga que N C G es un subgrupo normal de ı́ndice 2 cuya acción no es
transitiva. Entonces N parte a X en exactamente dos órbitas, ambas con la misma
cardinalidad.
Demostración: Sea g ∈
/ N . Como N es un subgrupo normal y de ı́ndice dos, se tiene
que
G = N ∪ gN = N ∪ N g.
Notar que para todo x ∈ X, g.x ∈ / OrbN (x), pues en si perteneciese, entonces
OrbN (x) = OrbG (x) lo que es contrario a nuestras hipótesis. Afirmamos que
y que ambas órbitas tienen la misma cardinalidad. Sea y ∈ X, digamos y = h.x para
algún h ∈ G. Si h ∈ N entonces y ∈ OrbN (x) y si h = ng, con n ∈ N , entonces
y ∈ OrbN (g.x). Listo.
Finalmente si denotamos por ϕ(g) la biyección de X inducida por la acción de g
(es decir ϕ(g)(x) = g.x), entonces ϕ(g)(n.x) = gn.x = n0 g.x ∈ OrbN (g.x). Lo que
muestra que ϕ(g) es una biyección entre OrbN (x) y OrbN (g.x).
Gracias al Lema 1.106 , se sigue que los elementos de la forma (ab)(cd) forman
una única clase de conjugación en A5 , puesto que 15 no es divisible por 2.
31
Los elementos de la forma (abcde) se dividen en dos clases de conjugación
en A5 . Por ejemplo (12345) no es conjugado a (21345) en A5 , puesto que si
τ (12345)τ −1 = (τ (1)τ (2)τ (3)τ (4)τ (5)) = (21345), entonces τ ∈ (1, 2)A5 . En
particular τ ∈/ A5 .
|A5 | = 60 = 1 + 20 + 15 + 12 + 12.
|G| = 60 = 1 + 20 + 15 + 12 + 12.
Entonces G es simple.
Demostración: La demostración tiene dos ingredientes. El primero es el Teorema de
Lagrange (Teorema 1.49), que dice que |N | tiene que dividir a |G| = 60 = 22 · 3 · 5. El
segundo ingrediente es que, por ser N un subgrupo normal de G, entonces las clases
de conjugación en G o bien estan totalmente contenidas en N o bien son disjuntas
de N , y por lo tanto |N | tiene que escribirse como suma de 1 (pues N contiene a la
identidad) mas 12 o 15 o 20 o una combinación de estos.
Es fácil ver que estas dos condiciones fuerzan que |N | sea igual a 1 o 60.
Ejercicio 1.108. Muestre que las permutaciones K4 = {id, (12)(34), (13)(24), (14)(23)} es
un subgrupo normal de A4 . Muestre además que K4 ' Z2 × Z2 .
32
Nuestra primera observación es que que podemos identificar An−1 con StabAn (n),
el estabilizador de n en An . De hecho, módulo un cambio de nombre, se tiene que
StabAn (i) ' An−1 para todo i ∈ {1, . . . , n} y por lo tanto StabAn (i) es un grupo
simple.
Ciertamente N ∩ StabAn (i) es normal en StabAn (i). Luego la hipótesis inductiva
nos dice que la intersección de N con StabAn (i) es o bien trivial o bien coincide con
StabAn (i). Esto último es fácil de descartar. En efecto si N contiene a StabAn (i) para
algún i, entonces N contiene a σStabAn (i)σ −1 = StabAn (σ(i)) para todo σ ∈ An .
Como n ≥ 6, es fácil ver que la acción de An en {1, . . . , n}, es transitiva, lo que
implica que N contiene a todos los estabilizadores, y en particular, N contiene a
todos los 3-ciclos. El Lema 1.109 dice entonces que N = An lo que es contrario a
nuestra suposición. Ası́, necesariamente tenemos que N ∩ StabAn (i) = {id} para todo
i.
Ejercicio 1.110. Sea n ≥ 3. Muestre que la acción de An en {1, . . . , n} es transitiva.
Supongamos que N es no trivial. Por el párrafo anterior, sabemos que todo σ ∈
N \ {id} mueve cada punto de {1, . . . , n}, es decir la acción de N es una acción libre.
Puesto que n ≥ 6, podemos elegir τ ∈ An tal que τ fija 1 y σ(1) y, ademas, τ no
conmuta con σ. En efecto si σ tiene una sola órbita, entonces σ es un ciclo de largo n.
En este caso podemos elegir τ = (abc) con a, b yc distintos de 1 y σ(1). En el caso que σ
tuviera mas de una órbita podemos elegir τ de modo que él no preserve las orbitas de σ
(ver Ejercicio 1.111). De este modo tenemos que τ στ −1 σ −1 es un elemento no trivial,
que pertenece a N , y que fija σ(1). Esto contradice que N intersecta trivialmente
los estabilizadores. Esta contradicción muestra que necesariamente N es el subgrupo
trivial. Es decir An es un grupo simple.
Ejercicio 1.111. Sea σ, τ ∈ Sn dos transformaciones que conmutan y sean x, y dos elemen-
tos de {1, . . . , n}. Muestre que x e y están en la misma órbita bajo σ (es decir, σ k (x) = y
para algún k) si y solo si τ (x) y τ (y) están en la misma órbita bajo σ.
1.3.5. Simplicidad de A∞
Hemos visto en §1.3.3 que los grupos alternantes An , n ≥ 5, son grupos simples.
En esta sección estudiaremos el grupo S∞ = Sym0 (Z), de permutaciones de soporte
finito de Z, y mostraremos que el grupo A∞ de permutaciones pares de Z es un grupo
simple e infinito. Este tipo de objetos simples infinitos son importantes pues nos dicen
que la teorı́a de grupos no es una teorı́a que pueda entenderse cabalmente mirando
solo sus representaciones finitas.
Para empezar notemos que si identificamos a S2n+1 con Sym({−n, . . . , n}), en-
tonces podemos escribir S∞ = Sym0 (Z) como la unión creciente de los S2n+1 . En
fórmula [
S∞ = S2n+1 .
n∈N
De ello se desprende que el signo de cada σ ∈ S∞ está bien definido, por lo que po-
demos definir A∞ = Ker(sgn : S∞ → {−1, 1}) el subgrupo de S∞ de permutaciones
pares. Ciertamente A∞ tiene ı́ndice 2 en S∞ por lo que A∞ es un grupo infinito.
33
En lo que sigue adaptaremos un argumento de Higman para probar el siguiente
teorema.
Teorema 1.112. A∞ es un grupo simple.
Observación 1.113. Note que en S∞ y en A∞ las clases de conjugación son infinitas,
por lo que no hay una ecuación de clase para aprovechar. Por ello la presente demos-
tración no usa esta herramienta. De hecho, la simplicidad de A∞ es independiente de
la simplicidad de An .
Antes de ir a la demostración necesitamos un poco de vocabulario.
Definición 1.114. Dado un grupo G y f, g ∈ G denotamos por [f, g] = f gf −1 g −1 al
conmutador de f y g. Denotamos por G(1) = [G, G] al subgrupo generado por los
conmutadores [f, g] con f y g en G. El subgrupo [G, G] se llama subgrupo derivado
o subgrupo conmutador.
Ejercicio 1.115. Demuestre que [G, G] es un subgrupo caracteristico de G, es decir, que
ϕ([G, G]) = [G, G] para todo ϕ ∈ Aut(G) (en particualr [G, G] es un subgrupo normal).
Ejercicio 1.116. Muestre que si N es un subgrupo normal de G y K es un subgrupo
caracteristico de N , entonces K es un subgrupo normal de G.
Ejercicio 1.117. Demuestre que G/[G, G] es un grupo Abeliano. Mas aún, muestre que si
G/N es un cociente Abeliano de G, entonces [G, G] ⊆ N .
Ejercicio 1.118. Demuestre que A∞ = [S∞ , S∞ ] (Ayuda: la contención [S∞ , S∞ ] ⊆ A∞
sigue del hecho que sgn es un homomorfismo, para la otra contención saque ideas de la
prueba del Lema 1.119).
El argumento principal en la demostración del Teorema 1.112 es el siguiente lema.
Lema 1.119. Sea N 6= {id} un subgrupo normal de S∞ . Entonces N contiene a
[S∞ , S∞ ].
Demostración: Sean a, b ∈ S∞ y n ∈ N \ {id}. Basta demostrar que [a, b] pertenece
al subgrupo normal generado por n (es decir, [a, b] se puede escribir como producto
de conjugados de n). Como es de esperar, la Proposición 1.105 será de gran utilidad.
Comenzamos por demostrar que N , por ser normal y no trivial, contiene elementos
que permutan ciclicamente intervalos (finitos pero) arbitrariamente largos de N. Para
ello descomponemos n ∈ N \ {id} en producto de ciclos disjuntos: n = σ1 . . . σk .
Usando la Proposición 1.105 (mas precisamente la ecuación (3) en su demostración),
podemos conjugar n por τ1 ∈ S∞ de modo que τ1 σ1 τ1−1 , . . . , τ1 σk−1 τ1−1 tengan soporte
en los enteros negativos, pero τ1 σk τ1−1 tenga soporte en los enteros positivos. De hecho,
podemos elegir τ1 de modo que τ1 σk τ1−1 = (1, 2, . . . , j) (algún j ≥ 2). Repetimos el
argumento con τ2 ∈ S∞ de modo que τ2 σ1 τ2−1 , . . . , τ2 σk−1 τ2−1 tengan soporte en los
enteros negativos, pero τ2 σk τ2−1 = (j, j +1, . . . , j +(j −1)). De este modo encontramos
que
34
donde β ∈ S∞ tiene soporte en los enteros negativos. Repitiendo este proceso cuantas
veces sea necesario, encontramos m ∈ N , un elemento que permuta ciclicamente un
intervalos arbitrariamente grande de N.
Con esto podemos escribir [a, b] como producto de conjugados de n ∈ N . Para
simplificar el argumento supondremos que los soportes de a y de b están contenidos en
los enteros positivos (el caso general queda de ejercicio). Digamos sop(a) ∪ sop(b) ⊆
{1, . . . , k}. Elegimos m ∈ N un elemento que permuta cı́clicamente el intervalo
{1, . . . , j} con j ≥ 2k + 1. En particular se tiene que mk (sop(a) ∪ sop(b)) es dis-
junto de sup(a) ∪ sop(b).
Ejercicio 1.120. Muestre que sop(mk am−k ) = mk (sop(a)).
Puesto que elementos de S∞ con soporte disjunto necesariamente conmutan, con-
cluimos que mk am−k conmuta con b y con a. En particular se tiene que
[[a, mk ], b] = amk a−1 m−k bmk am−k a−1 b−1 = aba−1 b−1 .
35
Comenzamos con la identidad de Meziriac para números enteros, también conocida
como de identidad de Bezout6 .
Definición 1.126. Dados a, b ∈ Z anotaremos MCM(a, b) su mı́nimo común
múltiplo, es decir al menor entero positivo que es multiplo de a y b. Anotaremos
por MCD(a, b) su máximo común divisor, es decir al mayor entero positivo que
divide a a y b. Decimos que a y b son coprimos, si MCD(a, b) = 1. Note que 0 no es
coprimo con nadie.
Ejercicio 1.127. Pruebe que MCD(a, b) = 1 si y solo si MCM(a, b) = ab. (Ayuda: use que
todo número se descompone de manera única como producto de primos.)
Proposición 1.128 (Meziriac). Para a, b ∈ N, coprimos, existe x, y ∈ Z tales que
1 = ax + by.
Demostración: Sea D = {ax + by | x, y ∈ Z}. Observe que D es un subconjunto de
Z con la propiedad que d ∈ D ⇔ −d ∈ D. Sea d0 = min{d ∈ D | d > 0}. Queremos
demostrar que d0 = 1.
Supongamos en búsqueda de contradicción que d0 > 1, digamos d0 = ax0 + by0 ,
para algún x0 e y0 en Z.
Sea ra el resto de dividir a por d0 , es decir a = d0 · ` + ra , con ` ∈ N y ra ∈
{0, 1, . . . , d0 − 1}. Puesto que ra = a − (ax0 + by0 )` = a(1 − x0 `) + b(−y0 `) se tiene
que ra es un elemento de D. Pero como 0 ≤ ra ≤ d0 − 1 y d0 es el menor elemento
positivo de D, concluimos que ra = 0.
Analogamente rb , el resto de dividir b en d0 , también cumple que rb = 0.
Hemos encontrado entonces que d0 divide tanto a a como a b, y como como estamos
suponiendo que d0 > 1, obtenemos que MCD(a, b) ≥ d0 > 1, contradiciendo que a y
b son coprimos.
Ejercicio 1.129. Adapte la prueba de la Proposición 1.128 para probar el siguiente enun-
ciado: Si a y b ∈ N son dos enteros cualesquiera, entonces existe x, y ∈ Z tal que ax + by =
MCD(a, b).
Definición 1.130. Para n ∈ N, definimos (Z/nZ)∗ = {[a] ∈ Z/nZ | a y n son coprimos}.7
Observación 1.131. Note que la definición precedente no depende del representante
de clase, es decir que si [a] = [a0 ] en Z/nZ, entonces a es coprimo con n si y solo si
a0 es comprimo con n. Para ello notamos que [a] = [a0 ] implica que a = a0 + `n para
algún ` ∈ Z, y por lo tanto si k es un divisor común de n y a0 entonces k también
divide a a.
En particular, para p primo se tiene que (Z/pZ)∗ = {[1], . . . , [p − 1]}.
Gracias al Teorema de Meziriac podemos probar que (Z/pZ)∗ admite una estruc-
tura natural de grupo.
Teorema 1.132. Sea n un entero. Entonces (Z/nZ)∗ es un grupo bajo el producto
36
Demostración: Lo primero a chequear es que si [a] y [b] son elementos de (Z/nZ)∗ ,
entonces [a · b] también. Para ello hay que chequear que si a y b son coprimos con n
entonces a·b tambien es coprimo con n. Esto sigue del hecho de que la descomposición
en factores primos de un entero es única y, por lo tanto, si los divisores primos de
n no aparecen en la descomosición de a ni de b entonces tampoco aparece en la
descomposión de a · b.
Luego chequeamos que la definición del producto [a] · [b] no depende de los repre-
sentantes a y b. Para ello notamos que si [a] = [a0 ] y [b] = [b0 ], entonces a = a0 + `n,
y b = b0 + kn. Luego,
Antes de proseguir tenemos varias observaciones. La primera es una observación
sobre lo enunciado del Teorema 1.132.
Observación 1.133. Si bien hemos probado que todo elemento de (Z/nZ)∗ tiene
un inverso multiplicativo, no hemos dado una receta para encontrar dicho inverso. De
hecho, para encontrarlo hemos usado el Teorema de Meziriac que es un teorema de
existencia.
Ejercicio 1.134. Encuentre el inverso de [5] en (Z/7Z)∗ , en (Z/11Z)∗ y en (Z/13Z)∗ .
La segunda es una observación sobre la prueba del Teorema 1.132.
Observación 1.135. La demostración de que la multiplicación no depende del re-
presentante de clase, concretamente la igualdad en (4), nos dice que la multiplicación
modular
[a] · [b] = [a · b]
está bien definida para todo [a], [b] ∈ Z/nZ, pudiendo, eso si, a veces no tener inverso.
En particular, podemos extender la multiplicación en (Z/pZ)∗ a todo Z/pZ sim-
plemente definiendo [0] · [a] = [0 · a] = [0]. De este modo se tiene que multiplicación
en Z/pZ distribuye sobre la suma de Z/pZ igual que en los números enteros usuales,
es decir
[a] · ([b] + [c]) = [a · (b + c)] = ([a] · [b]) + ([a] · [c]).
Esto hace que podamos calcular alegremente en Z/pZ como si de enteros se tratara.
¡La diferencia está en que ahora la multiplicación es invertible!
37
Automorfismos de Z/nZ: Dado un entero k ∈ Z definimos Mk : Z → Z por
Mk : n 7→ k · n, la multiplicación por k. Si bien en general Mk no es una biyección
de Z, cuando miramos esta multiplicación módulo un primo n, ella muchas veces se
vuelve una biyección.
Concretamente, dado [k] ∈ Z/nZ, definimos
la cual, como vimos en la Observación 1.135, está bien definida pues no depende del
representante de [k].
Proposición 1.136. Sea n un entero. Si k es coprimo con n, entonces M[k] es un
automorfismo de Z/nZ.
Demostración: Tenemos que ver que M[k] es un homomorfismo biyectivo. Para lo
primero notamos que
M[k] ([a] + [b]) = M[k] ([a + b]) = [k] · [a + b] = [k · a + k · b] = M[k] ([a]) + M[k] ([b]).
Para ver que M[k] es biyectiva cuando k es coprimo con n observamos primero que
M[k] es una función inyectiva. En efecto si [k] · [a] = [k] · [b] entonces [k · a] = [k · b]
y por lo tanto k · a = k · b + n` para algún ` ∈ Z. Esto nos dice que k(a − b) = n`.
Pero como k es coprimo con n, esto nos dice que los divisores primos de n son todos
divisores de (a − b), lo que a su vez equivale a decir que [a − b] = 0. Es decir que
[a] = [b].
Finalmente como el conjunto Z/pnZ es un conjunto finito, concluimos que toda
función inyectiva (por ejemplo M[k] ) es tambiés sobreyectiva.
La proposición anterior nos dice que si [k] ∈ (Z/nZ)∗ entonces M[k] ∈ Aut(Z/nZ).
Concluimos la caracrerización de los automorfismos de Z/nZ con
Proposición 1.137. Aut(Z/nZ) ' (Z/nZ)∗ .
Demostración: Sea M : (Z/nZ)∗ → Aut(Z/nZ) dada por M : [k] → M[k] . La
Proposición 1.136 nos dice que M es una función bien definida. Afirmamos que M es
en realidad un isomorfismo.
Para ver que M es un homomorfismo hay ver que M ([k] · [k 0 ]) := M[k]·[k0 ] =
M[k] ◦ M[k0 ] , donde ◦ denota la composición de funciones (que es la operación en
Aut(Z/nZ)). Esta igualdad se cumple pues, si a es un elemento cualquiera de Z/nZ,
entonces
M[k]·[k0 ] (a) = [(k · k 0 ) · a] = [k · (k 0 · a)] = M[k] (M[k0 ] (a)).
Luego M es un homomorfismo.
Para ver que M es inyectivo calculamos su núcleo: si M[k] = Id, donde Id : x 7→ x,
es el automorfismo identidad, entonces M[k] ([1]) = [k]·[1] = [1], y por lo tanto [k] = [1]
que es la identidad de (Z/nZ)∗ .
Finalmente debemos mostrar que M es un homomorfismo sobreyectivo, es decir
que todo automorfismo α ∈ Aut(Z/nZ) es, secretamente, la multiplicación por algún
38
[k] ∈ (Z/nZ)∗ . Para ello tomamos [k] := α([1]), con 0 ≤ k ≤ n − 1. Primero notamos
que si 0 ≤ a ≤ n − 1, entonces [a] = [1] + . . . + [1] a-veces y por lo tanto
Como [a] es arbitrario esto muestra que α = M[k] . Finalmente esto también dice que
k es coprimo con n pues en otro caso, podrı́amos elegir a entre 1 y n − 1 de modo que
k · a sea múltiplo de n. Pero esto dirı́a que [0] = M[k] ([a]) = α([a]), lo que no puede
ser si α es un automorfismo.
Del Teorema 1.132 podemos deducir dos corolarios históricamente importantes.
Para enunciarlos, recordemos que la función phi de Euler es la función φ : N → N
definida por φ(n) = |{m ∈ N | m ≤ n, M CD(m, n) = 1}|. Es decir φ(n) es la
cantidad de elementos menores a n que son coprimos con n.
Corolario 1.138 (Teorema de Euler). Sean a y n enteros coprimos. Entonces
Demostración: Basta notar que el Teorema 1.132 implica que (Z/nZ)∗ tiene cardi-
nalidad φ(n), y por lo tanto el corolario se sigue del Teorema de Lagrange (Teorema
1.49).
En el caso particular que n = p es un primo, se tiene que φ(p) = p − 1 y por lo
tanto encontramos lo siguiente.
Corolario 1.139 (Pequeno Teorema de Fermat). Sea p un primo y supongamos que
p no es un divisor de a. Entonces
39
Figura 7: Un ejemplo de cifrado de Cesar. (imagen sacada de Wikipedia)
Todos estos métodos de cifrado tienen una cosa en común: el interlocutor y re-
ceptor tiene que estar de acuerdo a priori en cual va a ser la regla de cifrado. A este
tipo de cifrado se les llama cifrados de Clave Privada. El problema con estos cifrados
es que una vez que suficiente información es interceptada, se pueden usar métodos
estadı́sticos para intentar adivinar el verdadero contenido de los mensajes.10
La novedad del protocolo de Diffie y Hellman es que permite crear reglas de
encriptación de manera rápida, segura, y sobre todo sin acordarlas de antemano.
Mas aún, el protocolo para crear la clave de encriptación sucede de forma pública y,
aún asi, solamente los interesados obtendrán el secreto que les permitirá encriptar y
desencriptar sus mensajes. Es por esto que estos tipos de cifrado se llaman de Clave
Pública.
La clave de este protocolo está en la solución al siguiente dilema: ¿Cómo pueden
dos personas obtener un secreto entre ellas, aún cuando ellas no compartan informa-
ción previa y, mas aún, toda su conversación este siendo escuchada por una tercera
persona?
En la práctica, este secreto S será un número (o una clase de números) que se
usará para encriptar futuros mensajes11 . La principal observación de Diffie y Hellman
es que en el grupo (Z/pZ)∗ es fácil tomar potencias, pero dificil encontrar raices y que
esto se puede explotar para fabricar secretos. El siguiente ejercicio intenta transmitir
esta disonancia.
Ejercicio 1.140. Sea G = (Z/11Z)∗ . Note que este grupo tiene 10 elementos.
1. Calcule la clase de [2n ] para n = 6, 8, 14, 42, 2021. (Ayuda: use que [2]10 = [1])
2. Escriba [7] y [9] como potencias de [2], digamos [7] = [2a ] y [9] = [2b ] con a, b ∈
{1, 2, . . . , 10}. Luego calcule [2a·b ] = [2a ]b = [2b ]a . ¿Puede encontrar a y b sin escribir
todas las potencias de 2?
El lector notará que cualquier elemento de (Z/11Z)∗ se puede escribir como po-
tencia de [2], y por lo tanto se tiene que (Z/pZ)∗ es cı́clico. Esto último es un hecho
general que usaremos para describir el protocolo y que demostraremos mas delante
en este texto cuando estudiemos teorı́a de cuerpos (ver Proposición 2.17).
10
Recomiendo ver la pelı́cula Codigo Enigma, que relata el afán (y logro) de los Británicos para
romper el cifrado de Enigma usado por los Alemanes.
11
Un ejemplo de juguete: podemos pensar que un mensaje es una sucesión de números (elegir
alguna biyección entre letras y números) y el número S se usa para multiplicar la sucesión.
40
Proposición 1.141. Si p es primo, entonces el grupo G = (Z/pZ)∗ es cı́clico.
EL PROTOCOLO:
41
Del mismo modo se tiene que el neutro de H o G es (idH , idG ) y el inverso de (h, g)
es (h, g)−1 = (αg−1 (h−1 ), g −1 ).
42
Demostración: Sea f ∈ Aut(N ) tal que f ◦ αh = βh ◦ f para todo h ∈ H. Definimos
ϕ : N oα H → N oβ H por
Puesto que f es un automorfismo se tiene que ϕ es una biyección, por lo que solo hay
que mostrar que ϕ es un homomorfismo. Para ello notamos que
0 1
Ejemplo 1.152. Sea A = ∈ GL2 (Z2 ). Claramente A3 = Id por lo que
1 1
podemos formar los grupo G1 = (Z2 × Z2 ) oA Z3 y G2 = (Z2 × Z2 ) oA2 Z3 .
Se sigue, tanto de la Proposición 1.150 como de la Proposición 1.151, que los
grupos G1 y G2 son isomorfos. En efecto, basta notar que A y A2 son conjugados
en GL2 (Z2 ) = Aut(Z2 × Z2 ) (por ejemplo por la transformación que permuta los
elementos de la base canónica), o que x 7→ x2 es un automorfismo de Z3 .
Concluimos la sección con con un ejercicio que muestra que un producto semidi-
recto bien puede ser secretamente un producto directo.
Ejercicio 1.153. Sea S3 el grupo simétrico, n = (1, 2) ∈ S3 una transposición y Cn ∈
Aut(S3 ) la conjugación por n. Muestre que S3 oCn Z2 ' S3 × Z2 .
43
1.5.2. Producto en corona
Dados G y H grupos, definimos H G como el conjunto de funciones de soporte
finito12 de f : G → H. Note que H G es un grupo bajo el producto L punto a punto
(f1 · f2 )(x) = f1 (x) · f2 (x). Mas aún, este grupo es isomorfo a g∈G H con el producto
coordenada a coordenada.
Ejercicio 1.154 (Representación de Koopman). Sean G y H grupos, y H G como arriba.
44
Figura 8: Representación por homeomorfismos de la recta del grupo Z o Z. En rojo el
homeomorfismo t : x 7→ x + 1. En azul el homeomorfismo s y en verde el su conjugado
t ◦ s ◦ t−1 .
45
El siguiente lema caracteriza el exponente de un grupo finito como el mı́nimo
múltiplo común (MCM) de los órdenes de los elementos.
Lema 1.158. Suponga que G es un grupo finito. Entonces Exp(G) = MCM{ord(g) |
g ∈ G}.
Demostración: Sea K = MCM{ord(g) | g ∈ G}. Claramente g K = id para todo
g ∈ G por lo que Exp(G) ≤ K por definición.
Para la recı́proca basta notar que para todo g ∈ G, Exp(G) es un múltiplo de
ord(g). En particular K ≤ Exp(G) por definición.
En lo que queda de esta sección G denotará un grupo Abeliano finito. Igual que
antes, la factorización prima de su cardinalidad será |G| = pα1 1 · · · pα` ` y la factorización
prima de su exponente será Exp(G) = pr11 · · · pr` ` con 1 ≤ ri ≤ αi . Dado d un entero
cualquier, denotamos por Ed al homomorfismo
Ed : G → G, g 7→ g d .
Al kernel de Ed lo denotamos Gd y a la imagen de Ed la denotamos por Ed (G). Note
que el Teorema de Cauchy implica que d es comprimo con |G| exactamente cuando
Gd = {id}. De especial importancia para nosotros es el caso d = pri i pues en este caso
el homomorfismo Ed descompone al grupo G es producto directo. Mas precisamente
tenemos
Lema 1.159. El primo pi no divide a |Epri i (G)|. Mas aún, G ' Gpri i × Epri i (G).
Demostración: Veamos primero que pi (1 ≤ i ≤ `) no divide a |Epri i (G)|. Suponga-
mos en búsqueda de contradicción que si lo divide. Luego, por elr teorema de Cauchy
i
(Teorema 1.88) existe g ∈ Epri i (G) tal que g pi = id. Pero g = hpi para algún h ∈ G.
En particular, ord(h) = pri i +1 , lo que no puede ser.
Ahora probamos que G ' Gpri i × Epri i (G). Para empezar notamos que el teorema
del isomorfismo (Teorema 1.66) tenemos que G/Gpri i ' Epri i (G). En particular |G| =
|Gpri i | · |Epri i (G)|. Por otra parte, como pi no divide a |Epri i (G)| se tiene que
46
Una consecuencia que nos será útil mas adelante es el siguiente corolario.
Corolario 1.163. Si G es un grupo Abeliano finito, entonces existe g ∈ G tal que
Exp(G) = ord(g).
Demostración: Supongamos Exp(G) = pr11 · · · pr` ` . Por el Teorema 1.162 tenemos
que G ' Gpr11 × . . . × Gpr` , donde cada Gpri i tiene exponente pri i .
`
Para empezar, afirmamos que existe gi ∈ Gpri i tal que ord(gi ) = pri i . En efecto por
el Lema 1.158 sabemos que existe h ∈ G tal que ord(h) = pri i · q con q coprimo con
pi . Esto implica que hq ∈ Gpiri tiene orden pri i .
Para terminar notamos que g = g1 · g2 · · · g` tiene orden Exp(G).
47
Como i < k, la parte izquierda es divisible por p. Mas aún, como Hi fija su propia
clase lateral se tiene que deben existir al menos p clases laterales que son fijas por Hi .
Pero que Hi fije una clase lateral gHi , quiere decir que
hgHi = gHi ∀h ∈ Hi ,
2. np divide a m,
Afirmamos que el unico p-Sylow fijo por P es P . En efecto, si Q ∈ Sylp (G) es fijo
por P , tenemos que P ≤ N ormG (Q). Pero Q es un subgrupo normal de N ormG (Q).
Pero, por otro lado, por el Teorema de Sylow II aplicado a N ormG (Q), tenemos que
48
P y Q son conjugados dentro de N ormG (Q), lo que contradice la normalidad de Q en
N ormG (Q). Esto prueba que Q = P . Concluimos entonces que |F ixSylp (G) (P )| = 1,
y por ende que np ≡ 1 (mod p).
Para probar 3), consideramos la accion por conjugación de G en Sypp (G). Pro el
Teorema de Sylow II, esta accion tiene una sola orbita. Luego tenemos que
G ' Zq oα Zp , (5)
donde α : Zp → Aut(Zq ) ' Z∗q . Vemos entonces, que para que la descomposicón en
(5) sea no-trivial, necesariamente se debe tener que p (la cardinalidad de Zp ) divida
a q − 1 (la cardinalidad de Z∗q ). En otras palabras, hemos probado la
Proposición 1.170. Si p < q son dos numeros primos tales que p no divide a q − 1,
entonces G ' Zq × Zp .
Claramente, en el caso en que p divide a q − 1, encontramos grupos no Abelianos.
Por ejemplo S3 . Concluimos nuestra clasificación analizando el caso en que p si divide
a q − 1. En este caso tenemos el
Teorema 1.171. Sean p < q primos tales que p divide a q − 1. Entonces, salvo
isomorfismo, existe un único grupo no Abeliano de cardinalidad p · q.
Para la prueba precisamos del siguiente resultado. En su prueba usamos la con-
vención que si h ∈ Z/nZ y k ∈ N, entonces k · h = h + . . . + h (k veces). También
denotaremos por k a la clase de k en Z/nZ.
Lema 1.172. Sean n, m enteros positivos tal que m divide a n. Entonces, en Z/nZ
hay un único subgrupo isomorfo a Z/mZ.
49
Demostración: Sea h0 = n/m ∈ Z y H ≤ Z/nZ un subgrupo isomorfo a Z/mZ.
Tomamos h ∈ Z tal que hhi = H. Notamos que m · h = 0, por lo que m · h = ` · n
para algún ` ∈ Z. Re-escribiendo encontramos que
n
h=`· = ` · h0 .
m
Esto muestra que h está en el grupo generado por h0 y por lo tanto H = hh0 i.
Prueba del Teorema 1.171: Puesto tanto Zp como Z∗q son grupos cı́clicos (ver Pro-
posición 1.141 o Proposición 2.17), el Lema 1.172 implica que hay un único subgrupo
imagen posible para α : Zp → Aut(Zq ) ' Z∗q . En particular se sigue que para todo
otro homomorfismo β : Zp → Aut(Zq ) no-trivial, existe f ∈ Aut(Zp ) tal que α◦f = β.
La Proposicón 1.151 culmina la prueba.
G ' Z4 × Z3 .
2. H2 ' Z2 ×Z2 : Para entender Aut(Z2 ×Z2 ), la observacion crucial es que Z2 ×Z2
es un espacio vectorial sobre Z2 y un automorfismo de Z2 × Z2 corresponde a
una transformación lineal de este.
Observamos que un automorfismo ϕ manda base en base. Luego si escribimos
Z2 × Z2 como hai × hbi entonces ϕ(a) puede ser a o b o a + b = (a, b) y ϕ(b)
puede ser cualquiera de los otros dos elementos no nulos de Z2 × Z2 . Luego
|Aut(Z2 × Z2 )| = 6. Es mas, el analisis anterior muestra que
Aut(Z2 × Z2 ) ' S3 .
G ' (Z2 × Z2 ) oα Z3
50
con α : Z3 → S3 homomorfismo no trivial. Como ejemplos concreto tenemos
Caso H3 C G: En este caso Aut(Z3 ) ' Z∗3 ' Z2 admite una imagen no trivia tanto
de Z4 como de Z2 × Z2 .
G ' Z3 o(2) Z4 .
1. Muestre que, para un grupo culaquiera de orden 60 se tiene que n3 ∈ {1, 4, 10}
y n5 ∈ {1, 6}. Muestre que para A5 se tiene que n3 = 10 y n5 = 6.
51
1. Suponga que 5 divide a |N |.
1. Caso |N | = 4.
{id} = Z0 C Z1 C . . . C Zn = G
tal que Gi C G y Gi /Gi−1 = Z(G/Gi−1 ). Se sigue de Lema 1.95 que todo p-grupo
finito es nilpotente. En este párrafo veremos que, escencialmente, los p-grupos finitos
son los únicos grupos nilpotentes finitos. Mas precisamente tenemos el
Teorema 1.175. Sea G un grupo finito. Las siguientes afirmaciones son equivalentes.
1. G es nilpotente.
52
El resto de esta sección está dedicada a dar la prueba de Teorema 1.175. Comen-
zamos mostrando que 1 ⇒ 2. Sea P un subgrupo de Sylow de G. Queremos mostrar
que P C G o, equivalentemente, que NG (P ) := {g ∈ G | gP g −1 = P } = G. Esto se
sigue de dos hechos, el primero completamente general.
Lema 1.176. Sea G un grupo finito y P un subgrupo de Sylow. Entonces NG (P ) =
NG (NG (P )).
Demostración: Sea P un p-Sylow de G. Si g ∈ NG (NG (P )), entonces gP g −1 es un
p-Sylow en NG (P ). Por otro lado como P C NG (P ), se sigue del Teorema de Sylow II
(Teorema 1.167) que P es el único p-Sylow de NG (P ). En particular gP g −1 = P . .
El segundo hecho es particular de los grupos nilpotentes.
Lema 1.177. Si G es un grupo nilpotente y H G, entonces H NG (H).
Demostración: En efecto si H ∩ Z(G) Z(G) = Z1 entonces NG (H) contiene a
todo Z(G) y por tanto es estrictamente mas grande que H. Del mismo modo si H
contiene a Zi pero no a Zi+1 entonces el normalizador de H contiene a todo Zi+1 . .
Claramente estos dos lemas muestarn que 1 ⇒ 2 del Teorema 1.175.
Ahora supongamos que todo p-Sylow de G es normal. En este caso se tiene que
G = P1 . . . Pn y que Pi ∩ Pj = {id}. En particular concluimos que G ' P1 × . . . × Pn
(vea Ejercicio 1.69). Esto muestra que 2 ⇒ 3 del Teorema 1.175.
Finalmente la implicación 3 ⇒ 1 se sigue del hecho que los p-grupos finitos son
nilpotentes y el siguiente
Lema 1.178. Si H y N son grupos nilpotentes, entonces H ×N tambien es nilpotente.
Demostración: Basta notar que, en general, Z(G1 × G2 ) = Z(G1 ) × Z(G2 ).
53
cumple la desigualdad triangular. Para ello primero notamos que para todo g, k ∈ G
se tiene que
|g · k|S ≤ |g|S + |k|S .
En particular, para todo g, h, k ∈ G se tiene que
dS (g, h) = |g −1 h|S = |g −1 kk −1 h|S ≤ |g −1 k|S + |k −1 h|S = dS (g, k) + dS (k, h).
Es decir dS es una distancia en G.
Finalmente notamos que esta distancia es invariante bajo multiplicación a izquier-
da pues dS (f g, f h) = |g −1 f −1 f h|S = dS (g, h).
La función dS se llama la métrica de las palabras de G respecto a S. Si el
generador S está claro del contexto, omitiremos el subı́ndice S.
Una observación importante es que la métrica de las palabras no es intrı́nseca
al grupo, pues métricas asociadas a distintos sistemas de generadores pueden no ser
iguales. Sin embargo, hay muchas propiedades geométricas que son persistentes bajo
cambio de sistema generador (finito), y son estas las propiedades que nos interesan
en la teorı́a geométrica de grupos. La razón es que métricas asociadas a distintos
sistemas finitos de generadores son Lipchitz equivalentes.
Proposición 1.180. Sean S y S 0 dos sistemas finitos de generadores simétricos.
Entonces existe C > 0 tal que para todo f, g ∈ G se tiene
1
dS (f, g) ≤ dS 0 (f, g) ≤ CdS (f, g). (6)
C
Demostración: Puesto que S 0 es un conjunto finito, existe C > 0 tal que podemos
escribir cada elemento de S 0 con a lo mas C elementos de S. Es decir |s0 |S ≤ C para
todo s0 ∈ S 0 .
Sea g ∈ G, digamos |g|S 0 = n, y sea g = u1 . . . un una escritura de largo mı́nimo
con ui ∈ S 0 . Puesto que podemos reemplazar cada ui en dicha palabra por a lo mas C
elementos de S, encontramos que g puede escribirse como una palabra en S de largo
≤ C · n. En particular |g|S ≤ C · n = C|g|S 0 . Puesto que g es arbitrario, esto muestra
que
1
dS (f, h) ≤ dS 0 (f, h)
C
para todo f, h ∈ G. La otra desigualdad se demuestra del mismo modo cambiando
los roles de S y S 0 y ajustando C de ser necesario.
Un lindo ejemplo de una propiedad geométrica que es invariante por cambio de
sistema generador es el tipo de crecimiento de un grupo finitamente generado. Para
definirlo, primero definimos la bola de radio r ∈ N y centro g ∈ G (respecto a S)
como
Br(G,S) (g) = {h ∈ G | dS (g, h) ≤ r}.
Observación 1.181. Si bien nuestra definición de distancia funciona en general, ella
es especialemente útil en el caso en que S sea un conjunto finito (y, en particular, que
G sea finitamente generado). En efecto, en este caso se tiene que
|Br(G,S) (g)| ≤ |S|r ,
54
y por lo tanto (G, dS ) es un espacio de geometrı́a localmente finita.
Definición 1.182 (Tipo de crecimiento). Sea (G, S) un grupo finitamente generado
(G,S)
y Bn = Bn (id) la bola en G de radio n y centro id. Decimos que (G, S) tiene
crecimiento polinomial si existe un polinomio p(x) tal que |Bn | ≤ p(n) para
todo n ∈ N.
En particular (G, S) también tiene crecimiento polinomial (de hecho del mismo gra-
0
do). Por otro lado si (G, S 0 ) tiene crecimiento exponencial, digamos λn ≤ |BnS |, con
λ > 1, entonces el lado izquierdo de (6) implica que
0
BnS ⊆ BCn
S
.
En particular, λn/C ≤ |BnS |, lo que implica que (G, S) también tiene crecimiento
exponencial.
Ejemplo 1.184. El grupo de los enteros Z con su sistema de generador S = {±1}
tiene crecimiento polinomial (de hecho lineal) pues la bola de radio n en este caso
tiene 2n + 1 elementos.
Ejercicio 1.185. Demuestre que el grupo Z2 generado por S = {±(1, 0), ±(0, 1)} tiene
crecimiento polinomial (de hecho cuadrático).
Ejemplo 1.186. Un lindo ejemplo de grupo de crecimiento exponencial es el grupo de
Baumslag y Solitar BS(1,2). El siguiente argumento es de fuerte sabor combinatorial.
Hay varias maneras de definir BS(1,2). La siguiente es una bien concreta. Sean a
y b los homeomorfismos de la recta dados por
a : x 7→ 2x , b : x 7→ x + 1.
Definimos el grupo BS(1,2) como el grupo generado por a y b dentro del grupo de
homeomorfismos de la recta. Vamos a mostrar que en una bola de radio 3n centrada
55
en el origen, hay mas de 2n elementos de BS(1,2). Esto basta para asegurar que su
crecimiento es exponencial, vea Ejercicio 1.187 abajo.
Comenzamos por notar que los generadores de BS(1,2) cumplen una linda relación,
a saber que
aba−1 = b2 : x 7→ x + 2.
n
Iterando la conjugación encontramos que para n ≥ 1, an ba−n = b2 : x 7→ x + 2n .
(Note que del mismo modo se verifica que
1
a−1 ba : x 7→ x + .
2
pero en este caso el elemento a−1 ba no es una potencia de b.)
Ahora, fijemos n ∈ N y miremos la bola de radio 3n en BS(1,2). Comenzamos por
notar que elemento
w = abab . . . aba−n ,
en el cual aparece a y b repetidos n veces, es un elemento de B3n . Pero considerando-
variaciones de w podemos hacer aparecer muchos mas elementos. Sea (i ) ∈ {0, 1}n ,
una sucesión de ceros y unos de largo n, y consideremos
2i i
P
=b .
son diferentes, y por lo tanto los elementos w(i ) y w(0i ) son elementos distintos de
BS(1,2).
Ejercicio 1.187. Decimos que una sucesión de números reales no negativos es subaditiva
si an+m ≤ an + am , para todo n, m ∈ N.
56
3. Demuestre que un grupo finitamente generado G tiene crecimiento exponencial si y
solo si
log(|Bn |)
lı́m > 0.
n→∞ n
4. Deduzca que el grupo de Baumslag y Solitar BS(1,2) tiene crecimiento exponencial.
Observación 1.188. La prueba de la Proposicón 1.180 dice que el grado de creci-
miento de un grupo con crecimiento polinomial es invariante bajo cambio de sistema
generador. En contrapartida, la prueba no asegura la√misma uniformidad para grupos
de crecimiento exponencial pues aparece el término C λ al cambiar de generadores. De
hecho, esto no es solo un problema de la prueba, pues Wilson en 2002 fabricó un grupo
de crecimiento exponencial cuyo crecimiento no puede ser acotado inferiormente de
manera uniforme por una exponencial al cambiar el sistema de generadores.
√
Observación 1.189. La función n 7→ 2 n crece mas rápido que cualquier polinomio
pero mas lento que cualquier exponencial. Es una función de crecimiento intermedio.
Entre Milnor y Wolf probaron que para grupos solubles hay una dicotomı́a: un grupo
soluble o bien crece exponencialmente o bien tiene crecimiento polinomial. Se atribuye
a Milnor el problema de existencia de grupos con crecimiento intermedio. El primer
grupo con dicho tipo de crecimiento fue constriudo por Grigorchuk en los años 80.
Figura 9: Una porción del grafo de Cayley de Z para los generadores {1} y {2, 3}
respectivamente. Imagen sacada de [Löh].
57
Figura 10: Una porción del grafo del grupo libre a dos generadores. Imagen sacada
de [Löh].
Ejercicio 1.192. Sea ΓF el grafo de Frutch definido en la figura 11. Muestre que Aut(ΓF )
es el grupo trivial.
13
Vea la página de Wikipedia Frutch Theorem.
58
1.7.3. El grupo libre
Construiremos el grupo libre a dos generadores F2 y quedara de ejercicio adaptar
el argumento al caso general.
Sea W (x, y) el conjunto de todas las palabras en x, y, x−1 e y −1 . La concatenación
de palabras, (u, v) 7→ u ∗ v, convierte a W (x, y) es un monoide donde el neutro es la
palabra vacı́a . Note que W (x, y) no tiene inversos.
Introducimos en W (x, y) una relación de equivalencia ∼ a modo de convertir
W (x, y)/ ∼ en un grupo. Lo haremos de modo que las clases de equivalencia sean lo
mas pequeñas posibles a fin de que W (x, y)/ ∼ tenga la propiedad de ser libre (ver
Teorema 1.196).
Decimos que dos palabras u y v estan relacionadas, y escribimos u ∼ v, si v se
puede obtener de u usando una cantidad finita de los siguientes cambios:
u ∼ v , u0 ∼ v 0 ⇒ u ∗ u0 ∼ v ∗ v 0 . (7)
Denotamos por ū, la clase de equivalencia de u. Tenemos
Proposición 1.193. W (x, y)/ ∼ es un grupo bajo la operación ūv̄ := u v. Denotare-
mos a este grupo por F2 = F (x, y), el grupo libre a dos generadores.
Dem: Se sigue de (7) que la operación en F2 no depende del representante y por lo
tanto está bien definida. La asociatividad sigue de la asociatividad de la concatena-
−1
ción. El neutro es ¯, y el inverso de a1 . . . an es a−1
n . . . a1 .
59
Teorema 1.196. Sea G un grupo y f : {x1 , x2 , . . .} → G una función cualquiera.
Entonces, existe un homomorfismo ϕ : F (x1 , x2 , . . .) → G que extiende a f en el
sentido de que
ϕ(xi ) = f (xi ) ∀xi .
En particular, todo grupo n-generable es un cociente de F (x1 , . . . , xn ).
Demostración: Primero vamos a definir ϕ en una palabra de W (x1 , x2 , . . .). Sea
w = w(x1 , . . . , xn ) ∈ W (x1 , x2 , . . .) una palabra cualquiera. Definimos ϕ(w) sim-
plemente como w(f (x), . . . , f (xn )), es decir, la misma palabra w pero en las letras
f (x)±1 , . . . , f (xn )±1 .
Notamos que si w ∼ w0 entonces ϕ(w) = ϕ(w0 ). En efecto w ∼ w0 implica que
puedo pasar de una a la otra mediante un numero finito de cambios 1 y/o 2 descritos
mas arriba. Luego basta probar que ϕ(w) = ϕ(w0 ) en el caso que un solo cambio me
lleva de w a w0 . Y esto es muy facil pues en cualquier grupo f (x)f (x)−1 representa
siempre el elemento trivial.
La observación previa nos dice que ϕ es constante en las clases de equivalencia de
∼ y por lo tanto esta bien definida en F (x1 , x2 , . . .) = W (x1 , x2 , . . .)/ ∼.
Finalmente para u = u(x1 , . . . , xn ) y v = v(x1 , . . . , xn ) elementos de F (x1 , x2 , . . .),
se tiene que
60
Figura 12: Una configuración de ping-pong para n = 2.
1. ai1 6= aik . En este caso notamos que si x ∈ Xi+k , entonces la condición de ping-
pong implica que w(x) ∈ Xi11 .
En ambos casos concluimos que w(x) 6= x, y por lo tanto que Fn ' ha1 , . . . , an i.
El Lema del ping-pong es sobre todo importante por su versatilidad. A continua-
ción vemos algunas de sus aplicaciones.
61
El grupo libre como grupo de matrices. Podemos usar el ping-pong en el
cı́rculo para mostrar que F2 puede ser representado fielmente dentro de SL2 (R).
Recordamos que la linea proyectiva RP 1 es R2 \ {(0, 0)}/ ∼ donde decimos que
~v ∼ ~u si existe λ ∈ R \ {0} tal que λ~v = ~u. Es bien sabido que RP 1 (con la topologı́a
del cociente) es homeomorfo a S 1 . De hecho, podemos pensar RP 1 como el circulo
unitario en R2 módulo la identificación antipodadal.
Mas aún, si g ∈ SL2 (R) es una matriz, entonces vale que ~v ∼ ~u si y solo si
g(~v ) ∼ g(~u). En particular, la acción lineal de SL2 (R) induce una acción en RP 1 . De
hecho, podemos probar que esta acción inducida es una acción por homeomorfismos
de RP 1 .
Ejercicio 1.201. Muestre que la acción inducida de SL2 (R) en RP 1 es una acción por
homeomorfismos.
Ejercicio 1.202. Suponga que g ∈ SL2 (R) es una matriz con dos valores propios distintos,
cada uno de norma 6= 1. Muestre que la acción de g en RP 1 ' S 1 es hiperbólica. Concluya
que SL2 (R) contiene (muchas) copias de F2 .
Ejercicio 1.203. Muestre que hf, gi ' F2 donde
1 2 1 0
f= , g= .
0 1 2 1
Un ping-pong intı́nseco. Como última aplicación del Lema del ping-pong veremos
que F2 contiene copias isomorfas de Fn para todo n ∈ N. Este resultado puede ser
interpretado como un caso particular de un teorema de Nielsen que dice que todo
subgrupo de un grupo libre es libre (posiblemente de distinto rango).
Teorema 1.204. F2 contiene una copia isomorfa de Fn para todo n ∈ N.
Demostración: Sea F2 = F2 (a, b) y n ≥ 2. Para demostrar el teorema exhibiremos
una configuración de ping-pong de n + 1 generadores.
Sea X el conjunto de palabras reducidas en a±1 , b±1 que identificamos con los
elementos de F2 (a, b). Si w ∈ X denotamos por wX al conjunto de palabras reducidas
que empiezan con w. Note que
X = aX ∪ a−1 X ∪ bX ∪ b−1 X ∪ {}
donde es la palabra vacı́a. Mas aún, esta descomposicón de X es una partición de
ping-pong para los genradores a, b de F2 pues, por ejemplo, se tiene que
a(X \ a−1 X) ⊆ aX.
Para encontrar un ping-pong de Fn+1 en X hacemos algo similar. Para i = 0, . . . , n,
hacemos u0 := b y ui := ai ba−i (i = 1, . . . n). Por un lado también notamos que
[
X \ {} = ai b±1 X.
−∞≤i≤∞
62
u−1 −1
i (X \ ai bX) ⊂ ai b X.
El modelo de las palabras. Al igual que con el grupo libre, damos una definición
alternativa (y equivalente) del grupo con presentación (8).
Comenzamos con W (a1 , a2 , . . .) el monoide libre en las letras a±1
i (i.e. todas las
palabras bajo concatenación). Introducimos siguiente relación: Decimos que u y v en
W (ai ) son equivalentes, y anotamos u ∼ v, si puedo pasar de u a v mediante una
cantidad finita de los siguientes movimientos:
1. Borrar o introducir a u (al principio, entre medio o al final) xx−1 , con x ∈ {a±1
i }.
Similar al caso del grupo libre, es fácil ver que ∼ es una relación refleja, simétrica y
transitiva. Anotamos la clase de equivalencia de u ∈ W (ai ) por ū.
Proposición 1.206. Γ := W (ai )/ ∼ es un grupo bajo la operación ūv̄ := u ∗ v. Mas
ún, Γ es isomorfo a G, el grupo con la presentación (8).
Demostración: Al igual que en el caso del libre, la clave para ver que Γ es un grupo,
es observar que
u ∼ v , u0 ∼ v 0 ⇒ u ∗ u0 ∼ v ∗ v 0 ,
63
y por lo tanto la operación en Γ está bien definida. El resto de los axiomas de grupo
son inmediatos y los dejamos al lector.
Ahora mostramos que Γ ' G := F/N (donde F = F (a1 , a2 , . . .)). Puesto que
F es libre, la aplicación natural ψ : F → Γ, con ψ : w 7→ w, es un homomorfismo
sobreyectivo (Teorema 1.196).
Para terminar notamos que cada relator ri de G vive en Ker(ψ), en particular
N ⊆ Ker(ψ). Por otro lado, si w ∈ Ker(ψ), entonces ψ(w) = w = . Concluimos que
existe un camino finito de cambios, consistentes en introducir o borrar ri o xx−1 , que
llevan de w a , digamos
= w0 ∼1 w1 ∼1 . . . ∼1 wn−1 ∼1 wn = w.
5. Z o Z ' ha, b | [ai ba−i , aj ba−j ] = 1i ' ha, bi | [bi , bj ] = 1, abi a−1 = bi+1 i (i, j ∈ Z).
64
Hay dos ideas muy útiles para ver que efectivamente los ejemplos ejemplos previos
efectivamente representan grupos isomorfos.
La primera, es que muchas veces (pero no siempre!) dada una presentación de
un grupo, es posible encontrar buenos representantes de clases de equivalencia. Por
ejemplo en el caso de ha, b | ab = bai es fácil ver que cualquier palabra en a±1 , b±1
es equivalente a una palabra de la forma an bm . A este conjunto de representatntes de
clase favorito se le llama formas normales. Note que las formas normales dependen
fuertemente de la presentación concreta de un grupo. Mas aún ellas no tienen porque
ser únicas.
La segunda idea, puede entenderse como la propiedad universal de un grupo dado
por una presentación. En efecto tenemos
Proposición 1.209. Sea G = hai | rj i y H un grupo cualquiera. Suponga que ψ :
{ai } → H es una función tal que rj (ψ(ai )) = idH ∀j. Entonces ψ se extiende a un
homomorfismo ψ : G → H.
Demostración: Sean G, H y ψ como en el enunciado. Por el Teorema 1.196 podemos
extender ψ a un homomorfismo ψe : F → H, donde F denota el grupo libre generado
por lo ai ’s.
Claramente, la hipótesis en ψ equivale a que ψ(r
e i ) = idH . En particular N :=
hhri ii, el grupo normal generado por los ri ’s, está contenido en Ker(ψ).
e Se sigue
entonces que ψe induce un homomorfismo ψ : F/N → H vı́a ψ(wN ) = ψ(w). e
Ejemplo 1.210. Con lo anterior es fácil ver que Z2 ' ha, b | ab = bai := G. En
efecto si ψ : a 7→ (1, 0) y ψ : b → (0, 1), por la proposición previa se sigue que ψ
se extiende a un homomorfismo de ψ : G → Z2 . Claramente este homomorfismo es
sobreyectivo y en las formas normales ψ : an bm 7→ (n, m). Finalmente notamos que
si ψ(an bm ) = (0, 0), entonces n = 0 = m por lo que la palabra es identidad de G. En
particular ψ es un isomorfismo.
65
.
66
2. Anillos y Cuerpos
2.1. Introducción a Cuerpos y Anillos
2.1.1. Definiciones y Ejemplos
Definición 2.1. Un conjunto A dotado de dos operaciones (cerradas) + y ∗, se llama
anillo si el triple (A, +, ∗) satisface:
Note que en este caso (A \ {0}, ∗) es un grupo. A los anillos de división que son
conmutativos se les llama cuerpos.
Finalmente si (A, +, ∗) es un anillo y a ∈ A, decimos que a es una unidad si
existe b ∈ A tal que 1 = a ∗ b = b ∗ a. Decimos que a es un divisor de cero (a
izquierda) si existe b ∈ A tal que 0 = a ∗ b.
Ejercicio 2.2. Pruebe que las siguientes afirmaciones valen en un anillo (A, +, ∗).
a) Para todo a ∈ A, a ∗ 0 = 0 = 0 ∗ a.
(Q, +, ·), (R, +, ·), (C, +, ·) (suma y producto usuales) son cuerpos.
Mn (R), las matrices n por n con coeficientes en R, con producto usual de ma-
trices y suma por coordenadas es un anillo.
67
R[x], los polinomios con coeficientes en R, es un anillo con su suma y multipli-
cación usual.
1. A[x], los polinomios con coeficientes en A, tiene una estructura natural de anillo.
2. Mn (A), matrices n por n con coeficientes en A, con producto matricial y suma por
coordenadas es un anillo.
68
Ejercicio 2.12. Verifique que si A es un anillo con unidad, entonces la aplicación
es una aplicación que separa suma y producto, pero que no envı́a la unidad de A a la unidad
de A × A.
Ejercicio 2.13. Suponga que ϕ : A → B es un homomorfismo de anillos.
y el producto !
X
(an )n∈N · (bn )n∈N = ai · b k .
i+k=n n∈N
(Comparar con anillo de F(X, R).) Note que el anillo A es isomorfo al subanillo
de A[[x]] dado por los elementos del la forma (a, 0, 0, . . .) con a ∈ A. Mas aún, si
definimos x = (0, 1, 0, . . . ) ∈ A[[x]], entonces el anillo generado por A y por X es
isomorfo a A[x], el anillo de polinomios con coeficientes en A.
Ejercicio 2.14. Muestre que las unidades de A[x], el anillo de polinomios con coeficientes
en A, se corresponde con A∗ , las unidades en A.
Ejercicio 2.15 (Propiedad universal de los polinomios). Sean A y S anillos conmutativos,
f : A → S un homomorfismo de anillos y s ∈ S. Muestre que existe un único homomorfismo
de anillos F : A[x] → S tal que F (a) = f (a), para a ∈ A, y F (x) = s.
Concluimos esta sección notando si k es un cuerpo, entonces no cualquier gru-
po Abeliano puede aparecer como grupo de unidades bajo la multiplicación. Para
empezar tenemos el
Ejercicio 2.16. Sea k un cuerpo y p(x) ∈ k[x] un polinomio. Muestre que a ∈ k es una
raiz de p(x) (i.e. p(a) = 0) si y solo si (x − a) divide a p(x) en k[x] (i.e. existe q(x) ∈ k[x]
tal que p(x) = (x − a) · q(x)). En particular, un polinomio p(x) ∈ k[x] de grado n tiene a
los sumo n raı́ces.
Con esto podemos mostrar la
Proposición 2.17. Sea k un cuerpo y G ≤ k ∗ un subgrupo del grupo multiplicativo
de k. Si G es finito, entonces G es cı́clico.
69
Demostración: Recuerde que el órden de un elemento g ∈ G, denotado ord(g), es el
menor entero j ≥ 1 tal que g j = 1. Recuerde también que el exponente de un grupo
G, denotado Exp(G), es el menor entero j tal que g j = 1 para todo g ∈ G. Finamente
recuerde por el Corolario 1.163, sabemos que en un grupo Abeliano finito G existe g
tal que Exp(G) = ord(g).
Luego, para probar que G es cı́clico basta demostrar que Exp(G) = |G|. Para ello
consideramos el polinomio p(x) = xExp(G) − 1. Claramente p(x) tiene grado Exp(G),
pero se anula en todo g ∈ G. Luego, el Ejercicio 2.16 implica que Exp(G) = |G|.
70
normal de A y por lo tanto la sume [a] + [b] := [a + b] convierte a A/I en un grupo
Abeliano.
Definimos la multiplicación en A/I por [a]·[b] = [a·b]. Note la propiedad absorbente
de los ideales hace que ésta operación está bien definida (vea Ejercicio 2.23) y que
[1] = [1A ] funciona como neutro de A/I. Mas aún, la asociatividad y la distrubucion
de · sobre + sigue de la asociatividad y distributividad en A. Luego A/I es un anillo.
Ejercicio 2.23. Sea A un anillo e I un ideal bilatero de A. Para a ∈ A, denotamos a + I,
la clase lateral de a módulo I, como [a]. Pruebe que la operación [a] · [b] = [a · b] no depende
del representante de clase.
Ejercicio 2.24. Demuestre que todo ideal bilatero de un anillo A es el nucleo de algún
homomorfismo. (Ayuda: considere la aplicación a 7→ [a] de A en A/I).
Ejercicio 2.25. Sea ϕ : A → B un homomorfismo de anillos. Muestre que Im(ϕ) es
isomorfa al anillo A/Ker(ϕ).
La siguiente observación caracteriza a los cuerpos como los anillo que solo admiten
ideales triviales.
Teorema 2.26. Un anillo no trivial A es un anillo de división si y solo si sus únicos
ideales a izquierda (equivalentemente, a derecha) son los triviales.
Dem: Sea I un ideal izquierdo de un cuerpo k que contiene un elemento a 6= 0. Luego
1 = a−1 a ∈ I, lo que implica que I = k. Esto muestra que en un cuerpo solo los únicos
ideales izquierdos son los triviales. La demostración para el caso de ideales derechos
es análoga.
Reciprocamente, suponga que A es un anillo no trivial cuyos únicos ideales iz-
quierdos son los ideales triviales {0} y A. Sea b ∈ A \ {0}. Queremos probar que b es
invertible. Para ello consideramos
71
2.1.4. Ideales maximales
Vamos a usar el Teorema 2.26 para ver que todo anillo admite un cociente que
es simple y en particular que todo anillo conmutativo admite un cociente que es un
cuerpo. Para ello precisamos de la siguiente noción.
Definición 2.29. Un ideal I de un anillo A se dice maximal (a izquierda, a derecha
o bilatero) si I 6= A y el único ideal (a izquierda, a derecha o bilatero) distinto de I
que contiene a I es A.
Ejemplo 2.30. Es fácil ver que un subgrupo de Z de la forma kZ = {k · n | n ∈ Z}
es un ideal dentro de Z. Mas aún, un breve cálculo nos muestra que kZ ⊇ `Z si y solo
si k divide a `.
Por otra parte, el Teorema de Meziriac (mas precisamente el Ejercicio 1.129)
nos dice que si I es un ideal en Z, y a, b ∈ I, entonces su máximo común divisor,
MCD(a, b), pertenece a I. Con esto podemos probar la siguiente proposición
Proposición 2.31. Todo ideal de Z es de la forma kZ para algún k ∈ N.
Demostración: Sea I un ideal. Claramente Z = 1Z, por lo que podemos asumir que
I es un ideal propio, es decir ni 1 ni −1 pertenecen a I. Sea d > 0 el elemento positivo
de I mas pequeno. Queremos demostrar que dZ = I. Para ello tomamos a ∈ I otro
elemento positivo cualquiera. Si d divide a a entonces claramente a ∈ dZ. Si d no
divide a a, entonces, como observamos mas arriba, MCD(d, a) ∈ I. Pero en este caso
0 < MCD(d, a) < d, lo que contradice la elección de d.
En particular, los ideales maximales de Z son aquellos de la forma pZ con p un
número primo.
Figura 13: Una porción de la familia de ideales en Z. La flechas denotan contención. Imagen
sacada de Wikipedia.
72
Demostración: Sea I un anillo maximal de A. Por la Proposición 2.22 tenemos que
A/I es un anillo. Afirmamos que los únicos ideales de A/I son los triviales. Para
verificar esto usaremos la proyección
π : A → A/I, a 7→ a + I
es un homomorfimos de anillos.
En efecto si J˜ es un ideal no trivial de A/I, entonces π −1 (J) = {a ∈ A | a+I ∈ J}
˜
es un ideal de A que contiene a I (vea Ejercicio 2.19), pero que es distinto de I y de
A. Esto niega la maximalidad de I.
Ejercicio 2.33. Pruebe la recı́proca del teorema anterior, a saber que si A/I es un cuerpo
(no trivial), entonces I es un ideal maximal.
Ahora probamos que los anillos (conmutativos o no) siempre admiten ideales ma-
ximales.
Teorema 2.34. Todo ideal a izquierda I 6= A de un anillo A esta contenido en un
ideal maximal a izquierda de A.
Para la demostración, precisamos del Axioma de Elección. Usaremos, eso si, una
formulación equivalente de este axioma que se conoce bajo el nombre de El Lema de
Zörn. La prueba de la equivalencia entre este lema y el Axioma de Elección excede
el alcance de estas notas, pero puede ser encontrada en cualquier libro de teorı́a de
conjuntos.
Para enunciar el Lema de Zörn necesitamos un poco de vocabulario: Un orden
parcial en un conjunto X es una relación que para todo x, y, z ∈ X cumple lo
siguiente:
1. x x,
2. x y e y z implica x z,
3. x y e y x implica x = y.
73
Un ejemplo mas sutil donde se aplica este lema es el Teorema 2.34.
Demostración del Teorema 2.34: Sea I un ideal propio de un anillo A. Denotare-
mos por X al conjunto de todos los ideales propios de A que contienen a I. Dotamos
a X del orden parcial inducido por la inclusión. Claramente un elemento maximal de
X es un ideal maximal de A que contiene a I. Luego, basta con que chequeemos que
toda cadena en X admite una cota superior. S
Sea C ⊆ X una cadena. Es claro que J∈C J es un ideal de A que contieneS aI
(la unión creciente de ideales es un ideal).
S Solo queda por chequear
S que J∈C J no
es todo A. Para ello notamos que si J∈C J = A, entonces 1 ∈ J∈C J, luego, existe
J ∈ C tal que 1 ∈ J. Pero ya vimos que esto implica que J = A, lo que contradice
que J es un ideal propio de A.
Ejercicio 2.36. Muestre que todo anillo contiene un ideal bilatero maximal.
Ejercicio 2.37. Sea X un conjunto cualquiera y F(X, R) el conjunto de todas las funciones
de X a R. Vimos en el Ejemplo 2.3 que F(X, R) es un anillo. Sea Y ⊆ X.
α + β : g 7→ α(g) + β(g),
X X
α∗β :g →
7 α(g1 ) ∗ β(g2 ) = α(gg2−1 ) ∗ β(g2 ).
g1 g2 =g g2 ∈G
Veamos que esto define un anillo. Para α ∈ A[G], denotamos su soporte por
sop(α).
74
(A[G], +) es un grupo (fácil). Su neutro es la función constante 0.
Observe G vive dentro de A[G] via g 7→ δg , y A vive dentro de A[G] via a 7→ a∗δid .
Ejercicio 2.38. Pruebe que A[x, x−1 ] ' A[Z]
g ≤ h ⇒ f g ≤ f h, ∀f, g, h ∈ G.
Claramente, si id < g entonces g < g 2 , por los que obtenemos que id < g < g 2 .
Del mismo modo se encuentra que id < g implica id < g n para todo n ∈ N. Es decir,
los grupos ordenables a izquierda no tienen torsión.
Teorema 2.40. Si G es un grupo ordenable y k es un cuerpo, entonces k[G] no tiene
divisores de cero.
Demostración: La observación crucial es que si G es un grupo ordenable a izquierda,
entonces G tiene la propiedad del producto único (PPU). Esto por definición
quiere decir que para todo par de conjuntos finitos {gi }, {hj } ⊆ G, hay al menos un
producto de la forma gi0 hj0 que se escribe de manera única como un g ∈ {gi } seguido
de un h ∈ {hj }.
Paso 1: Si G tiene la PPU, entonces k[G] no tiene divisores de cero.
En efecto, sean α, β ∈ k[G] \ {0} y sean {gi } = sop(α) y {hj } = sop(β). Como
ambos son conjuntos finitos existe f = gi0 hj0 que se escribe de manera única como
alguien del soporte de α seguido de alguien del soporte de β. En particular, el elemento
α ∗ β cumple que
X
(α ∗ β)(f ) := α(f1 )β(f2 ) = α(gi0 )β(hj0 ) 6= 0k .
f1 f2 =f
75
Paso 2: Grupos ordenables a izquierda tienen la PPU.
Sean {gi } y {hj } dos subconjuntos finitos de un grupo ordenado (G, ≤). Definimos
f = máx≤ {gi hj }. Afirmamos que f se escribe de una única manera como un g seguido
de un h.
En efecto, sean g, g 0 ∈ {gi } y h, h0 ∈ {hj } tal que f = gh = g 0 h0 . Si h < h0 entonces
gh < gh0 , lo que contradice la maximalidad de f . Concluimos entonces que h = h0 .
Pero entonces si g 6= g 0 se sigue que gh 6= g 0 h0 , lo que nuevamente nos lleva a concluir
que g = g 0 . Es decir, f se escribe de manera única.
ab = ac ⇒ b = c.
76
Definición 2.45. Si A es un anillo con unidad, definimos la caracterı́stica de A
como el menor entero positivo n tal que 0 = n ∗ 1. Si tal entero no existe decimos que
la caracterı́stica de A es cero.
Por ejemplo Z tiene caracterı́stica 0 y Z/nZ tiene caracterı́stica n. Notar que si
A tiene caracterı́stica n, entonces para todo a ∈ A se tienen que n ∗ a = a + . . . + a =
a · (1 + . . . + 1) = a · 0 = 0.
Proposición 2.46. Si A es un dominio de integridad, entonces la caracterı́stica de
A es 0 o bien un número primo.
Demostración: Supongamos que A es un dominio de integridad de caracterı́stica
n 6= 0. Si n no es primo, entonces n = p · q con 1 < p < n y 1 < q < n.
Ahora, es facil verificar que 0 = n ∗ 1 = (p ∗ 1) · (q ∗ 1). Luego, como A no tiene
divisores de cero, se tiene que o bien p ∗ 1 o q ∗ 1 debe de ser 0, lo que contradice la
elección de n. Esto muestra que la caracterı́stica debe de ser un número primo.
77
[e, f ] · ([a, b] + [c, d]) = [e, f ] · [ad + cb, bd]
= [ead + ecb, f bd]
= [f ead + f ecb, f 2 bd]
= [ea, bf ] + [ec, f d]
= [e, f ] · [a, b] + [e, f ] · [c, d]
ϕ([a, b] + [c, d]) = ϕ([ad + bc, bd]) = (ad + bc)(bd)−1 = ab−1 + cd−1 .
Ejemplo 2.52. Ciertamente, el cuerpo de fracciones de Z es Q. Por otro lado el cuerpo
de fracciones de Q[x], los polinomios con coeficientes en Q, es Q(x), el conjunto de
expresiones racionales p(x)/q(x) con p(x) ∈ Q[x] y q(x) ∈ Q[x] \ {0}.
Puesto que en un cuerpo de caracterı́stica 0, el anillo generado por 1 es isomorfo
a Z, encontramos el siguiente corolario.
Corolario 2.53. Si k es un cuerpo de caracterı́stica 0, entonces k contiene un sub-
cuerpo isomorfo a Q.
78
Teorema 2.54 (Teorema chino de los restos). Sea A un dominio de integridad y
I1 , . . . , In ideales que son coprimos a pares. Entonces se tiene que
ei = 1 (mod Ii ) y ei = 0 (mod Ij ), ∀j 6= i.
1 = xj + yj con xj ∈ I1 , yj ∈ Ij .
Puesto que Q ' Q[x]/I cuando I es un ideal generado por un polinomio de grado 1,
concluimos que Q[x]/(x2 − d) ' Q × Q, que no es siquiera un dominio de integridad.
79
2.3.3. Factorización en Dominios de Integridad
Si (A, +, ·) es un Dominio de Integridad, denotamos por A∗ al subconjunto de
elementos invertibles o unidades de A. Note que A∗ es un grupo bajo la multiplicación
(pero no bajo la suma). Dados a, b ∈ A, decimos que a divide a b si existe c ∈ A
tal que b = ac. En tal caso anotamos a | b. Note que dado a ∈ A, los divisores de a
contiene siempre a las unidades A∗ y a a · A∗ , los elementos asociados a a, pues basta
escribir a = (ae)e−1 . Estos son los divisores triviales de a.
Definición 2.58. Sea A un anillo Dominio de Integridad y sea a ∈ A \ A∗ .
1. Decimos que a es irreducible si [ a = bc ] ⇒ [ b o c ∈ A∗ ].
Esto es, nadie no trivial divide a a.
Decimos que a es reducible en otro caso (note que las unidades no son redu-
cibles ni irreducibles)
2. Decimos que a es primo si a divide a bc implica a divide a b o a c.
Esto es, a es persistente bajo descomposiciones.
Observación 2.59. En Z la noción de primo e irreducible coinciden. Usualmente
decimos que p ∈ Z es primo si satisface el punto 1 de la definición de arriba. El hecho
que p tambien cumple la definición 2 de arriba se debe a que en Z, la descomposición
en factores primos es única salvo reordenamiento y multiplicación por ±1.
Ejercicio 2.60. Sea A un Dominio de Integridad. Dado a ∈ A, denotamos por (a) := {ab |
b ∈ A} el ideal generado por a ∈ A.
1. Muestre que (a) ⊆ (b) si y solo si b divide a a.
2. Muestre que (a) = (b) si y solo si a y b son asociados.
3. Muestre que si a es primo en A, entonces A/(a) no tiene divisores de 0.
4. Suponga que en A todo ideal es principal. Muestre que a es irreducible en A si y solo
si (a) es un ideal maximal.
La siguiente proposición dice que en un Dominio de Integridad los elementos
primos necesariamente son irreducibles.
Proposición 2.61. En general todo primo es irreducible.
Demostración: Sea A un Dominio de Integridad y supongamos que a ∈ A es pri-
mo. Para chequear que a es irreducible, suponemos que a = bc y notamos que por
primidad, a divide a b o a c. Digamos a divide a c. Luego
a = bc = b(da),
y como hay cancelación se tiene que 1 = bd, es decir b es invertible.
Si bien en la mayorı́a de los ejemplos que veremos se tendrá que todo elemento
se puede descomponer en irreducibles, en muchos de estos ejemplos la descompisicón
en irreducibles no es única. Esto equivale a decir que en estos ejemplos no todos los
irreducibles son primos. El siguiente es un caso concreto de esta situación.
80
√ √
Ejemplo
√ 2.62. Sea Z[ −5] = {a + b −5 | a, b ∈ Z} el sub anillo de C generado por
1 y −5. En este tipo de anillos disponemos
√ de la norma como número complejo de
un elemento, N (a + bi) = |a + bi| = a + b2 , y sabemos que ella es multiplicativa,
2
es decir
N (zw) = N (z)N (w).
√
Por otra parte, nuestro anillo Z[ √ −5] es un subconjunto discreto de C y por lo tanto
la norma alcanza√un mı́nimo en Z[ −5]\{0}, que en este caso es 1. √ En particular, las
unidades de Z[ −5] son los elementos de norma 1, es decir Z[ −5]∗ =√{1, −1}.
Si seguimos inspeccionando lo valores √ que la norma puede tomar en Z[ −5] en-
contramos√ que despues de 1 aparece √ 2, 5, y cosas mas grandes. En particular (note
que 2 ≤ 5) se tiene que si z ∈ Z[ −5] tiene una descomposición
√ no trivial, entonces
N (z)√≥ 4. Asi, √por ejemplo, 2 y 3 son√irreducibles en Z[ −5] como también lo son
1 + −5 y 1 − −5 (pues su norma 6 es menor que 4).
Pero √ √
6 = 2 · 3 = (1 + −5)(1 − −5),
√
lo que nos dice que la descomposicón en irreducibles no es única y por lo tanto Z[ −5]
es un anillo donde los irreducibles no son primos.
Definición 2.63. Decimos que un dominio de integridad A es un Dominio de
Factorizacion Unica (DFU), si para todo a ∈ A\(A∗ ∪{0}) existe una factorización
de a en irreducibles y esta factorización es única modulo unidades en el sentido que
si
a = f1 . . . fk , y a = e1 . . . e` ,
con fi , ei irreducibles, entonces ` = k, y modulo reordenamiento fi = δi ei , con δi ∈ A∗ .
Proposición 2.64. En un DFU todo irreducible es primo.
Dem: En efecto, suponga que a es irreducible y que a divide a bc, es decir existe v
tal que av = bc. Queremos probar que a divide a b o a c.
Factorizamos va = bc = b01 . . . b0k c01 . . . c0n en irreducibles de b y de c. Como a es
irreducible a tiene que aparecer, modulo una unidad, en la descomposicion anterior.
Esto implica que a aparece en la descomposicion de b o de c, lo que prueba que a
divide a b o c, lo que prueba que a es primo.
Una subclase de la clase de DFU son los dominios de ideales principales:
dominios de integridad donde todo ideal es prinicpal.
Teorema 2.65. Si A es un dominio de ideales prinicpales, entonces A es un DFU.
La demostración consta de dos partes. Primero mostramos que en un dominio de
ideales principales la factorización en irreducibles existe y luego que dicha factori-
zación es única. En el camino precisaremos del siguiente lema que es una suerte de
ataque por la retaguardia.
Lema 2.66. En un dominio de ideales principales, todo irreducible es primo.
81
Demostración: Sea p ∈ A\A∗ un irreducible, y sean a, b ∈ A tal que p|ab. Queremos
demostrar que p divide a a o a b.
Supongamos, en búsqueda de contradicción, que p no divide a a ni a b. Luego se
tiene que (p) ( (a, p) = (c) y (p) ( (b, p) = (d) para algún c, d ∈ A. Note que esto
implica, por ejemplo, que p = ck y -por ser p irreducible- o bien c o bien k tiene que
ser una unidad de A. Pero k no puede ser una unidad puesto que (p) ( (c), por lo
que concluimos que c y (analogamente) d son unidades. En particular
cd ∈ A∗ .
Con esto podemos llegar a una contradicción. En efecto, como (c) = (a, p) se tiene
que que c = k1 a + k2 p y analogamente d = `1 b + `2 p. Luego cd ∈ (ab, ap, bp, p2 ) ⊆ (p),
lo que no puede ser puesto que (p) es un ideal propio.
a = p1 · · · pn = q1 · · · qm ,
con los pi ’s y qi ’s irreducibles. Por el Lema 2.66, cada pi tiene que dividir a algún
qj y y en particular pi y qj son asociados. Se sigue entonces que n = m y, módulo
reordenamiento, cada pi es asociado a qi , que es lo que buscábamos. Esto culmina la
prueba del Teorema 2.65.
Observación 2.67. La recı́proca del Teorema 2.65 no es cierta. En efecto, cuando
estudiemos factorización en anillos de polinomios veremos que si A es un DFU en-
tonces A[x] también es un DFU (Teorema 2.95). En particular, Z[x] es un DFU que
no es un dominio de ideales principales (esto último lo mostramos en la Proposición
2.78).
Proposición 2.68. Sea A un dominio de ideales principales y sean p1 y p2 dos
irreducibles no asociados. Si n, m ∈ N, entonces los ideales (pn1 ) y (pm
2 ) son coprimos.
En particular
A/(pn1 pm n m
2 ) ' A/(p1 ) ⊕ A/(p2 ).
82
Demostración: Consideremos el ideal I = (pn1 )+(pm 2 ). Digamos I = (d). Claramente
d divide a pn1 y a pm2 . Luego, por la unicidad de la factorización en A, tenemos que
p1 es asociado a p2 , lo que contradice nuestra hipótesis. La descomposición en suma
directa sigue del Teorema Chino de los Restos (Teorema 2.54).
Definición 2.69. Sea A un dominio de integridad y sea S ⊂ A un conjunto finito.
Decimos que a ∈ A es un máximo común divisor (MCD) de S si cada vez que b|s
para todo s ∈ S, entonces b|a.
Decimos que a ∈ A es un mı́nimo común múltiplo (MCM) de S si s|b para
todo s ∈ S entonces a|b.
En anillos generales el MCD o MCM no existen necesariamente. Sin embargo,
para anillos de factorización única tenemos el siguiente
Ejercicio 2.70. Muestre que si A es un anillo de factorización única y S ⊂ A es un conjunto
finito, entonces existe el MCD(S) y MCM(S).
De hecho, para el caso de un DIP, tenemos que vale la genaralización de teorema
de Meziriac-Bezout.
Ejercicio 2.71. Suponga que A es un dominio de ideales principales y sean a, b ∈ A.
Concluimos esta sección con un ejemplo de un anillo donde si hay cadenas ascen-
dentes infinitas de ideales.
Ejercicio 2.72. Sea A = F(R, R), el anillo de funciones de R a R.
1. Muestre que
In := {f : R → R | f (x) = 0 , ∀x ≥ n}
es un ideal de A y que para todo n se tiene la contención propia In ( In+1 .
83
El ejemplo canónico de un Dominio Euclideano es Z con el valor absoluto como
valuación. Otro ejemplo importante lo da la siguiente proposicón.
Proposición 2.74. Si k es un cuerpo, entonces k[x] es un Dominio Euclideano.
Demostración: Basta chequear que el grado14 de un polinomio es una valuación
adecuada.
Observación 2.75. Note que para que el algoritmo de la división de polinomios
funcione, se precisa de forma crucial que k sea un cuerpo. De hecho, veremos en la
Proposición 2.78 mas adelante, que Z[x], lo polinomios con coeficientes en Z, no es
un Dominio Euclideano.
El siguiente lema, muestra que en un Dominio Euclideano es fácil detectar los
elementos invertibles.
Lema 2.76. Sea A un Dominio Euclideano A con valuación ν. Entonces A∗ coincide
con los elementos que realizan el mı́nimo de ν.
Demostración: En efecto, sea n0 = mı́n ν(A\{0}). Si b es invertible entonces siempre
vale que ν(b) ≤ ν(bb−1 a) = ν(a), luego ν(b) es mı́nimo. Reciprocamente si ν(a) = n0 ,
entonces al dividir 1 por a se tiene que 1 = ba + r, con r = 0, lo que dice que a era
invertible.
También tenemos la que todo Dominio Euclideano es un Dominio de Ideales Prin-
cipales (comparar con Proposición 2.31) .
Proposición 2.77. Todo ideal en un Dominio Euclideano es principal.
Demostración: Sea I un ideal en un Dominio Euclideano A, y sea f : A → N su
valuación. Sea a ∈ A un elemento realizando el minimo de f (I \ {0}). Sea b ∈ I.
Dividiendo b en a obtenemos que b = ac + r con f (r) < f (a) o r = 0. Pero como
r = b − ca ∈ I, se deduce que r = 0, lo que a su vez implica que I = a · A.
Con esto es fácil mostrar que Z[x] no es un Dominio Euclideano.
Proposición 2.78. Z[x] contiene ideales que no son principales. En particular, Z[x]
no es un Dominio Euclideano.
Demostración: Consideremos I = (2, x) el ideal generado por 2 y x en Z[x]. Es
decir, I es la intersección de todos los ideales en Z[x] que contienen 2 y a x (ver
Ejercicio 2.20). En búsqueda de contraricción suponemos que existe p(x) ∈ Z[x] tal
que I = (p(x)) = p(x)Z[x].
De una parte, mirando el grado, y puesto que 2 ∈ (p(x)), se tiene que necesaria-
mente gr(p(x)) = 0, es decir p(x) es una constante.
Por otra parte, I no es todo Z[x], pues, por ejemplo, I esta contenido en el ideal J
formado por los polinomios cuyo coeficiente constante es par. En particular concluimos
que p(x) = 2 o −2.
Pero esto no puede ser pues x ∈ / (2). Esta contradicción prueba que I no es un
ideal principal.
14
Recuerde que si p(x) = an xn + . . . + a0 , es un polinimio cualquiera, entonces su grado es
gr(p(x)) = máx{i | ai 6= 0}.
84
Ejercicio 2.79. Pruebe que R[x, y], los polinomios en dos variables (que conmutan) no es
un Dominio Euclideano.
Ejemplo 2.80 (El anillo de enteros Gaussianos). El anillo de los enteros Gaussianos
es el conjunto Z[i] = {a + bi | a, b ∈ Z} bajo suma y multiplicaicón compleja también
es un Dominio Eulideano. De hecho, mostraremos que N 2 , el cuadrado de la norma
compleja, funciona como una buena valuación.
Para empezar notamos Z[i] es un conjunto discreto en C y que el minimo de la
norma en Z[i] \ {0} es 1. Mas aún N 2 (zw) = N 2 (z) N 2 (w), por lo que N 2 satisface
trivialmente punto 2. de la Definición 2.73.
Ahora chequeamos el punto 1 de la Definición 2.73. Sean a y b dos enteros Gaus-
sianos no nulos. Sea z el numero complejo a/b. Si z ∈ Z[i] entonces tenemos que
a = zb + 0 y estamos listos.
Figura 14: Una porción de los enteros Gaussianos Z[i] dentro de C. z0 es el entero
mas cercano a z.
a = zb = z0 b − z0 b + zb = z0 b + b(z − z0 ).
85
2. Pruebe además que Z[w] es un Dominio Euclideano con la valuación f (a + bw) =
a2 − ab + b2 . (Ayuda: f coincide con la norma usual al cuadrado)
Entonces, existe n tal que rn−1 = qn+1 rn . Mas aún, rn es un máximo común divisor
de a y b.
Demostración: El proceso de detiene pues la valuación toma valores en N, por lo que
no puede decrecer indefinidamente. Esto muestra que existe n tal que rn−1 = qn+1 rn .
Por otro lado si rn−1 = qn+1 rn , entonces rn divide a rn−1 y por tanto también
divide a rn−2 = qn rn−1 + rn . Iterando, encontramos que rn es un divisor común de a
y b.
Finalmente si d es otro divisor común de a y b, entonces d divide a r0 . Iterando,
encontramos que d divide a rn .
Ejemplo 2.86. Sean a(x) = x3 + 3x2 + x y b(x) = x3 − x en Q[x]. Note que x es un
divisor común. Por otro lado
x3 + 3x2 + x = x3 − x + 3x2 + 2x
x3 − x = (x/3 − 2/9)(3x2 + 2x) − 5x/9
−9
3x2 + 2x = (−5x/9) ( (3x + 2))
5
Se sigue que x es un máximo común divisor entre a(x) y b(x).
86
2.3.5. Un DIP que no es un DE
Sea √
1+ −19
α= ,
2
y sea A = Z[α] es subanillo de C generado por Z y α. Note que A = {n + mα |
n, m ∈ Z}. En particular, A es un conjunto localmente finito (respecto a la norma
compleja). Vamos a mostrar que A es un dominio de ideales principales, pero no un
dominio Euclideano. Denotamos por | · | la norma compleja, dist(u, v) = |u − v| y z
el conjugado de z ∈ C..
Comenzamos notando que α = −α+1, por lo que A es un anillo que es cerrado bajo
conjugación compleja. Por otro lado notamos también que α · α = 5 y que α2 = α − 5.
Finalmente, puesto que la norma es multiplicativa, tenemos que A∗ = {−1, 1} y que
2 y 3 son irreducibles en A.
87
√ √ √
Ahora, usando el hecho que 19 < 27 = 3 3, se muestra facilmente que
√ √ √ √ !
19 − 3 19 + 3
2y ∈ , .
2 2
√ √
Esto ciertamente implica que dist(2y, ( 19/2)Z) < 3/2 por lo que, nuevamente por
Pitágoras, tenemos que dist(2a/b, A) < 1, lo que a su vez equivale a dist(2a, bA) <
|b|. De esto último se desprende que 2a ∈ bA puesto que, como antes, el caso 0 <
dist(2a, bA) contradice la elección de b.
Concluimos entonces que tras nuestras restricciones solo es posible que 2a/b coin-
cida con α o α + 1.
Si 2a/b = α entonces 52 b = αα
2
b = aα ∈ I. Luego, b/2 ∈ I lo que contradice la
elección de b.
(α+1)(α+1)
Si 2a/b = α + 1 entonces 72 b = 2
b = (α + 1)a ∈ I. Luego, b/2 ∈ I lo que
contradice la eleccón de b.
Puesto que en todo caso encontramos una contradiccón, concluimos que a ∈ (b). Es
decir A es un DIP.
88
2.4. Irreducibilidad de polinomios
Una receta general para fabricar cuerpos es cortar nuestro anillo favorito por un
ideal maximal. En caso que nuestro anillo sea un dominio de ideales principales, lo que
hay que entender entonces es cuando un elemento es irreducible. En este párrafo nos
concentramos en dar criterios de irreducibilidad para anillos de polinomios. Cierta-
mente, nuestros ejemplos favoritos son Z[x], Q[x], etc. Entre otras cosas mostraremos
que hay una cantidad infinita de polinomios irreducibles en Q[x], lo que mas adelante
usaremos para fabricar una infinidad de cuerpos intermedios entre Q y C.
a0 + . . . + an xn 7→ a0 + . . . + an xn .
89
Si d es una unidad de A estamos listos. En otro caso descomonemos d en irredu-
cibles: d = r1 · · · rn . Como A es DFU, cada ri es también un elemento primo de A
(Proposición 2.64). En particular, r1 divide a P1 (x) o Q1 (x). Digamos divide a P1 (x).
Esto quiere decir que como elemento de A[x]/(r1 ), P1 (x) ≡ 0. En particular, usando
(12), concluimos que P1 (x) = 0 en (A/(r1 ))[x]. En otras palabras hemos mostrado que
r1 divide a cada coeficiente de P1 (x). En particular existe otro polinomio P2 (x) ∈ A[x]
tal que
r2 · · · rn f (x) = P2 (x)Q1 (x).
Iterando este argumento n veces, encontramos que f (x) = a(x)b(x) en A[x].
Observación 2.89. Puesto que las unidades en A[x] y F [x] son distintas, la contra
recı́proca del Lema de Gauss debe ser hecha con cuidado (no ser reducible no es lo
mismo que ser irreducible pues está la ambiguedad de ser unidad). Por ejemplo, 2 es
irreducible en Z[x] pero no lo es en Q[x] pues ahı́ 2 es una unidad. Por la misma razón,
2x es reducible en Z[x] pero es irreducible en Q[x]. Enunciamos la contra recı́proca
en el siguiente corolario.
Corolario 2.90. Sea f (x) ∈ A[x] un polinomio tal que el MCD de sus coeficientes
es 1 (por ejemplo si f (x) es mónico). Entonces f (x) es irreducible en A[x] si y solo
si es irreducible en F [x]
Demostración: Supongamos que f (x) es irreducible en A[x]. Puesto que el MCD
de sus coeficientes es 1, se sigue que f (x) no es un polinomio constante. Luego si
f (x) admite factorización no trivial en F [x], el Lema de Gauss asegura que también
admite factorización no trivial en A[x].
Para la recı́proca notamos que una factorización no trivial en A[x], digamos f (x) =
a(x)b(x), induce una factorización no trivial en F [x] siempre que a(x) y b(x) sean no
constantes. Para terminar, notamos que en nuestro caso, si f (x) = a(x)b(x) en A[x],
entonces ni a(x) ni b(x) son constantes puesto que el MCD de los coeficientes de f (x)
es 1.
90
Demostración: Sea f (x) ∈ Z[x] un polinomio cuyo coeficiente lider no es divisible
por p. Probaremos que si f (x) es reducible en Q[x], entonces también lo es f¯(x) en
Fp [x].
Si f (x) = g(x)h(x) es una factorizacion no trivial en Q[x], entonces el grado de
g(x) y h(x) es positivo. Además, podemos suponer por (la prueba de) el Lema de
Gauss (Lema 2.88) que dicha factorización ocurre en Z[x].
Como ψp es un homomorfismo y ān 6= 0, tenenmos que f¯ = ḡ h̄, y gr(f ) = gr(f¯) =
gr(ḡ) + gr(h̄). Esto implica que gr(g) = gr(ḡ) y gr(h) = gr(h̄), lo que dice que la
factorizacion en Fp [x] era no trivial
Proposición 2.92 (Criterio de Eisenstein). Sea f (x) = an xn + . . . + a0 un polinomio
con coeficientes enteros. Sea p un entero primo. Suponga que los coeficientes de f (x)
satisfacen lo siguiente
p no divide a an ,
p divide a an−1 , . . . , a0 ,
p2 no divide a a0 .
aj = bj h0 + . . . + b0 hj = bj h0 ,
91
Aplicación a los polinomios ciclotómicos. Para p ∈ N un primo, definimos
Φp (y + 1)(y + 1 − 1) = (y + 1)p − 1
= y p + ap−1 y p−1 + . . . + a2 y 2 + py
f (x) = d f1 (x),
de modo que MCD de los coeficientes de f1 (x) es 1. Note que esta descomposición
es única salvo unidades. En efecto si f (x) = ef2 (x) otra descomposición análoga,
entonces e divide a los coeficientes de f (x) y por lo tanto e divide a d. Digamos
d = eu. En particular euf1 (x) = ef2 (x) y por lo tanto uf1 (x) = f2 (x). Esto muestra
que u es una unidad.
92
Primero mostramos que f (x) se decompone como producto de irreducibles. Cierta-
mente basta descomponer f1 (x). Sea F = F rac(A) el cuerpo de fracciones de A. F [x]
es un DFU puesto que es un dominio Euclideano (Proposición 2.74, Proposición 2.77
y Teorema 2.65). En particular admite una descomposición en irreducibles f1 (x) =
P1 (x) · · · Pn (x). El Lema de Gauss asegura entonces que f1 (x) = p1 (x) · · · pn (x) con
pi (x) ∈ A[x] un múltiplo (escalar) de Pi (x). Ciertamente el MCD de lo coeficientes
de pi (x) es 1, por que el Corolario 2.90 asegura que cada uno de ellos son irreducibles
en A[x].
Ahora chequeamos la unicidad. Suponga que f1 (x) = q1 (x) · · · qm (x) con qi (x)
irreducibles. Puesto que el MCD de los coeficientes de f1 (x) es 1, se sigue que cada
qi (x) es un polinomio no constante que ademas cumple que el MCD de sus coeficientes
es 1. Nuevamente por el Corolario 2.90 cocncluimos que qi (x) es irreducible en F [x].
En particular, m = n y (módulo reordenamiento) qi (x) ∼ pi (x).
Corolario 2.96. Si k es un cuerpo, entonces k[x1 , . . . , xn ] y Z[x1 , . . . , xn ] son DFU.
DFU
Z[x, y]
Z[S5 ] Z[x]
DIP
Mn×n (R)
√
Z/6Z Z[ 1+ 2−19 ]
DE
R[x, y]
Z[i]
R[x]
Z
93
llamamos grado de la extensión a la dimensión de este espacio vectorial. Denotamos
por [K : F ] al grado de K sobre F .
Dada la extensión F ⊆ K, decimos que a ∈ K es algebraico sobre F , si existe
un polinomio p(x) ∈ F [x] tal que p(a) = 0. Note, que a ∈ K es algebraico si y solo si
el F -espacio vectorial generado por {1, a, a2 , . . .} es de dimensión finita. Al polinomio
mónico de menor grado en F [x] que anula a a lo llamamos polinomio minimal de a
sobre F , y lo denotamos por min(F, a). Decimos que a ∈ K es transcendente sobre
F si no es algebraico sobre F .
Definición 2.97. Dado A un subanillo del cuerpo K y S ⊆ K un subconjunto,
denotamos por A[S] al subanillo generado por A y S en K. Denotamos por A(S) al
subcuerpo generado por A y S en K. Note que
n
X
A[S] = { ai si,1 . . . si,k | k, n ∈ N, si,j ∈ S, ai ∈ A}.
i=1
con r(x) = 0 o grado de r(x) igual a 0. Es decir r(x) = r, en cualquier caso, es una
constante. Evaluando la igualdad en α encontramos que 0 = r, es decir (x − α) divide
a p(x). (Note que esta parte del argumento no usamos que el grado de p(x) es menor
o igual a 3.)
Recı́procamente si un polinomio de grado ≤ 3 fuera reducible, entonces tiene que
escribirse como un producto de un polinomio de grado dos por otro de grado uno.
Esto implica que el polinomio inicial de grado 3 tiene una raiz.
El siguiente ejercicio muestra que para grado 4 o mas no vale la equivalencia
previa.
94
Ejercicio 2.100. Muestre que p(x) = x4 + 1 no tiene raices en R, pero si es reducible en
R[x].
Observación 2.101. Sea F ≤ K una extensión de cuerpos. Note que para cualquier
a ∈ K, la evaluación en a
Afirmamos que el ideal (p(x)) es un ideal maximal de F [x] (y por lo tanto F [a]
es cuerpo por Proposición 2.32). En efecto, suponga que J es un ideal maximal que
contiene a (p(x)). Sabemos que J es un ideal principal, es decir, J = (q(x)) para algún
q(x) que podemos suponer que es monico y de grado ≥ 1. Concluimos que p(x) =
q(x)t(x). Puesto que 0 = p(a) = q(a)t(a) tenemos que o bien q(a) o t(a) es 0. Pero
p(x) es el polinomio de menor grado que se anula sobre a, en particular concluimos
que gr(p(x)) = gr(q(x)) y que t(x) es una constante. En particular (p(x)) = (q(x))
es maximal y F [a] ' F [x]/(p(x)) es un cuerpo.
Para ver la dimension de la extensión basta ver que {1, a, . . . , an−1 } es una base de
F [a], donde n = gr(min(F, a)(x)). La independencia lineal es sigue de la minimalidad
del grado de min(F, a) y la generación sigue de la ecuación (14) y que del algoritmo
de la división, módulo (p(x)), todo polinomio tiene un representante de grado menor
que n.
La prueba nos entrega una manera de fabricar muchos cuerpos. Recordar que
p(x) ∈ F [x] es irreducible si en cada descomposicion p(x) = q(x)t(x) se tiene que
q(x) o t(x) es invertible (i.e. es un escalar).
95
Corolario 2.103. Si F es un cuerpo y p(x) ∈ F [x] es irreducible, entonces (p(x))
es un ideal maximal. En particular F [x]/(p(x)) es cuerpo que contiene una copia
isomorfa de F .
Por ejemplo C ' R[x]/(x2 + 1). Mas aún, con esta técnica podemos fabricar, por
ejemplo, un cuerpo con 4 elementos.
Ejemplo 2.104. Consideremos F2 = Z/2Z el cuerpo con dos elementos y p(x) =
x2 + x + 1 ∈ F2 [x]. Puesto que p(x) es un polinomio de grado 2 sin raices, tenemos
que p(x) e irreducible. Luego
K = F2 [x]/(p(x))
Ejercicio 2.105. Sea F3 = Z/3Z es cuerpo con 3 elementos. Pruebe que x2 + x + 2 ∈ F3 [x]
es un polinomios irreducible. Concluya que F3 admite una extensión finita que es un cuerpo
con 9 elementos. Describa su tabla de multiplicar.
Ejercicio 2.106. Fabrique un cuerpo con 8 = 23 elementos y describa su tabla de multi-
plicar.
Ejercicio 2.107. Sea w3 = 1, C 3 w 6= 1. En K = Q[w] calcule el inverso de w y de 1 + w.
Teorema 2.108. Los números algebraicos sobre Q forman un cuerpo que denotamos
por Q. Mas aún, este cuerpo Q es algebraicamente cerrado, es decir que todo polinomio
con coeficientes en Q tiene una raiz en Q.
Presisamos el siguiente
Lema 2.109. (a) Si K es una extension de F tal que [K : F ] < ∞, entonces todo
b ∈ K es algebraico sobre F .
(b) Si F ≤ K ≤ L son extensiones de cuerpos, entonces [L : F ] = [L : K] · [K : F ].
Demostración: En efecto 1, b, . . . , bn eventualmente se vuelve un conjunto linealmen-
te dependiente. Eso dice que existe una combinacion lineal a0 + a1 b + . . . + an bn = 0
con los ai ∈ F . Luego b es algebraico.
Para demostrar (b) usamos bases. Tomamos V = {v1 , . . . , vn } una base de L sobre
K y U = {u1 , . . . , um } una base de K sobre F . Afirmamos que B = {ui vj | 1 ≤
i ≤ m , 1 ≤ j ≤ n} es una base de L sobre F . En efecto todo ` ∈ L se puede
escribir como K-combinación de elementos de V y a su vez cada escalar de ésta
96
combinación se escribe como combinación de elementos de U. Esto muestra que B
es un conjunto generador de L sobre F . ParaP ver que B es también un conjunto
linealmente
P P independiente suponemos P que 0 = i,j αi,j ui vj de donde se deduce que
0 = j ( i αi,j ui ) vj , lo que dice que i αi,j ui = 0 para cada j, lo que implica que
los αi,j son todos 0.
Dem del Teo: Para ver la numerabilidad de Q, basta ver que Q[x] es numerable y
que cada polinomio tiene finitas raices.
Para ver que Q es un cuerpo tomamos a y b en Q. Como a y b son algebraicos
sobre Q se tiene que Q[a] es un cuerpo y, además, b es tambien algebraico sobre Q[a].
En particular Q[a][b] es un cuerpo que contiene a a y b y, por el lema previo, dicho
cuerpo esta contenido en Q. Luego a ± b, ab y a/b ∈ Q, lo que implica que Q es un
cuerpo.
Para ver que Q es algebraicamente cerrado tomamos p(x) ∈ Q[x] un polinomio
no constante e que sin pérdida de generalidad suponemos que es irreducible. Si p(x)
no tiene raices en Q, entonces él tiene alguna raiz α en una extensión finita de Q,
llamémosla K = Q[α]. Pero, los coeficientes a1 , . . . , an de p(x) son todos números
algebraicos, y son una cantidad finita. Luego, en realidad, p(x) ∈ F [x], con F =
Q[a0 , . . . , an ], y por tanto α es algebraico también sobre F . Pero las extensiónes
F [α]/F y F/Q son finitas, luego por el Lema 2.109, F [α]/Q es una extensión finita,
y por tanto es también α es algebraico sobre Q. Es decir α ∈ Q.
Ejercicio 2.110. Sea F ⊂ L ⊂ K extensiones de cuerpo. Pruebe que si K/L y L/F son
algebraicos, entonces K/F es algebriaco.
Precisamos el siguiente
Lema 2.113. Si α es un numero irracional y algebraico, entonces existe n ≥ 1 y
C > 0 tal que |α − p/q| ≥ C/q n para todo p/q ∈ Q.
97
El lema nos dice que los irracionales algebraicos no se aproximan muy bien por
racionales. La demostracion del Teorema de Liouville consiste en mostrar que L es
irracional y si se aproxima bien racionales.
Demostración del Teorema de Liouville: Es claro que L no es racional pues su
expansion decimal no es periodica. Mas aún, si hacemos
r
X
p/q = 10r!−k! /10r! ,
k=1
entonces r ∞
X X
|α − p/q| = |α − 10−k! | ≤ 10−k! ≤ 2/10(r+1)! .
k=1 k=r+1
Como dicha desigualdad vale para todo r ∈ N, se sigue que α no satisface la conclusion
del Lema previo. En efecto suponga que si cumple la conclusion para algun C y n,
entonces para todo r se tendrá
lo que no vale para todo r. Concluimos entonces que α no puede ser algebraico.
Demostración del Lema 2.113: Suponga que α es irracional y f (x) = ni=0 ci xi ∈
P
Z[x] es un polinomio de grado n tal que f (α) = 0.
Tomamos M = máx{|f 0 (x)| | x ∈ [α − 1, α + 1]}, donde f 0 es la derivada,
y α1 , . . . , αm las otras posibles raices reales de f (x). Sea C < mı́n{1, 1/M, |α −
α1 |, . . . , |α − αm |}. En búsqueda de contradicción suponemos que existe p/q ∈ Q
tal que
|α − p/q| ≤ C/q n .
Puesto que C/q n ≤ C concluimos que p/q ∈ [α − 1, α + 1], que p/q no es raiz de f (x)
y, mas aún, que no hay ninguna raı́z de f (x) entre α y p/q.
Por otro lado, por el teorema del valor medio, tenemos que para algún x0 entre α
y p/q se tiene que
n n
X
i −i 1 X i n−i 1
|f (p/q)| = ci p q = n ci p q ≥ n,
i=0
q i=0
q
98
Observación 2.114. Si escribimos el comienzo del número de Liouville L encontra-
mos que
L = 0, 11000100000000000000000100 . . . .
Podemos notar que para cualquier n ∈ N, la cantidad de secuencias de largo n que
aparecen en la expansión de L es muy baja. De hecho hay n + 2 sub secuencias
distintas de largo n en L. Por ejemplo subsecuencias de largo 2 son 11, 10, 01 y 00.
Este número pL (n) = cantidad de subsecuencias de L de largo n, se suele llamar la
complejidad de (la secuencia) L, y ciertamente podemos definir pS (n) para cualquier
expansión decimal S de un número.
Es bien sabido que la expansión decimal de un número racional es eventualmen-
te periodica, es decir comienza a ser periódica desde algún punto en adelante. Esto
implica que la complejidad de una expansión decimal asociada a un número racional
es acotada. De hecho, el reciproco también es cierto: si una secuencia tiene compleji-
dad acotada, entonces ella necesariamente es eventualmente periódica y por lo tanto
representa la expansión decimal de un número racional.
Volviendo a la secuencia L, ella no tiene complejidad acotada pero, como dijimos,
su complejidad pL (n) = n + 2 es lineal. Esto no es casualidad. De hecho es un teorema
de Ferenczi y Mauduit del 97 que si la expansión decimal Lx de un número x ∈ R
tiene complejidad lineal del estilo pLx (n) = n + k para algún k, entonces x es también
un número transcendental.
1. Dado un ángulo arbitrario, ¿puede éste ser trisecado usando solamente regla y
compás?
3. Dado un cubo, ¿puede construirse la arista de otro cubo cuyo volumen sea el
doble del original usando solamente regla y compás?
Después de aproblemar a los matemáticos durante más de dos mil años, finalmente se
ha demostrado que cada una de estas construcciones es imposible. Usaremos la teorı́a
de cuerpos para dar una demostración de que las soluciones no existen15 . La clave para
15
Conviene determinar más especı́ficamente lo que queremos decir con una regla y un compás.
Por ejemplo, la afirmación de la imposibilidad de trisecar un ángulo arbitrario significa que existe
al menos un ángulo que no se puede trisecar con regla y compás. Ciertamente algunos ángulos
particulares sı́ se pueden trisecar: podemos construir un ángulo de 30◦ ; por lo tanto, es posible
trisecar un ángulo de 90◦ . Sin embargo, se puede mostrar que es imposible construir un ángulo de
20◦ , por lo que noes posible trisecar un ángulo de 60◦ .
99
entender estos y otros problemas es la siguiente. En vez de pensar en la construcción
geométrica concreta asociada, vamos a pensar en los números que aparecen en dichas
construcciones.
Definición 2.115. Decimos que un número real α es constructible si podemos
construir un segmento en R2 de longitud |α| en un número finito de pasos a partir de
un segmento de longitud uno usando regla y compás exclusivamente.
Por ejemplo todos los números enteros son constructibles. De hecho, usando el
Teorema de Tales y que es posible construir rectas paralelas a alguna dada (ver
Figura 16), podemos mostrar el siguiente teorema.
β B
1
α C
A E
x
100
Ahora veremos que en realidad el cuerpo F de números constructibles contiene
estrictamente a los números racionales.
√
Lema 2.118. Si α > 0 es un número constructible, entonces α es constructible.
Demostración: La prueba es de nuevo un dibujo. En la Figura 18, usando que
podemos construir ángulos rectos, hemos construido un triángulo rectangulo de altura
x e hipotenusa 1 + α.
Ciertamente los triángulos 4ABD, 4BCD, y 4ABC son semejantes; luego,
1/x = x/α, por lo que x2 = α.
1 α
A D C
Ahora vamos a mostrar que F es el menor subcuerpo de R que cerrado bajo raices
cuadradas. Mas precisamente mostraremos el siguiente teorema.
Teorema 2.119. Un número real α es constructible si y solo si, hay una sucesión de
cuerpos
Q = F0 ≤ F1 ≤ . . . ≤ Fk ,
√
α ∈ Fk y Fi+1 = Fi [ αi ] con αi ∈ Fi . En particular, si α ∈ R es constructible,
entonces [Q[α] : Q] = 2k para algún k ∈ N.
Una de las implicación del Teorema 2.119 sigue del Lema 2.118. Para mostrar
la recı́proca, a saber que cualquier número constructible se atrapa usando raices
cuadradas, conviene entender qué puntos de R2 podemos marcar o localizar usando
solo regla y compas. Ciertamente podemos marcar todos los puntos (x, y) ∈ R2 tal
que x, y ∈ Q.
Definición 2.120. Sea k un subcuerpo de R. Decimos que una recta L en R2 esyá
definida en k, si ella contiene dos puntos con coordenadas en k. Analogamente decimos
que un circulo C está definido en k si su centro tiene coordenadas en k y su radio
está en k.
Ejercicio 2.121. Sea k un subcuerpo de R. Muestre que
1. Si una recta L está definida en k, entonces los puntos (x, y) ∈ R2 que viven en L
satisfacen ax + by + c = 0 con a, b, c ∈ k.
2. Si una circunferencia C está definida en k, entonces los puntos (x, y) ∈ R2 que vivien
en C satisfacen x2 + y 2 + ax + by + c = 0 con a, b, c ∈ k.
101
El Teorema 2.119 sigue entonces del siguiente resultado.
Teorema 2.122. Sea k un cuerpo de números constructibles. Entonces, los puntos
de R2 determinados por intersecciones
√ de rectas o circulos que están en k son puntos
cuyas coordenadas viven en k[ α] para algún α ∈ k.
Demostración: Empezando por un cuerpo de números constructibles k, tenemos
tres posibilidades para construir puntos adicionales en R2 usando regla y compás.
x2 + y 2 + d 1 x + e 1 y + f 1 = 0
x2 + y 2 + d2 x + e2 y + f2 = 0,
x2 + y 2 + d 1 x + e 1 x + f 1 = 0
y la recta
(d1 − d2 )x + (e1 − e2 )y + (f1 − f2 ) = 0.
La última ecuación corresponde a la cuerda que pasa por los puntos de intersección
de los dos cı́rculos (cuando estos puntos existen). Por lo tanto, la intersección de dos
cı́rculos puede ser reducida al caso de la intersección de una recta con un cı́rculo.
Considerando el caso de la intersección de una recta con un cı́rculo, debemos
determinar la naturaleza de las soluciones del sistema de ecuaciones
ax + by + c = 0
2 2
x + y + dx + ey + f = 0.
102
Imposibilidad de duplicar el volumen √ del cubo: Un cubo de volumen 2 tie-
ne necesariamente√aristas de largo 3 2. Luego, de ser posible construir dicho cubo,
conluirı́amos
√ que 3 2 es un número constructible.
Pero 2 se anula en p(x)√= x3 − 2, que es un polinomio de grado 3 que no tiene
3
raices racionales
√ puesto que 3 2 no es racional. En particular p(x) es irreducible sobre
3
Q[x] y [Q[ 2] : Q] = 3. Esto contradice el Teorema 2.119.
cos 3θ = cos(2θ + θ)
= cos 2θ cos θ − sin 2θ sin θ
= (2 cos2 θ − 1) cos θ − 2 sin2 θ cos θ
= (2 cos2 θ − 1) cos θ − 2(1 − cos2 θ) cos θ
= 4 cos3 θ − 3 cos θ.
En el caso que θ = 20◦ la ecuación de arriba dice 1/2 = 4α3 −3α. Es decir, α = cos(20◦ )
es una raiz de p(x) = 8x3 − 6x − 1. Pero p(x) es un polinomio irreducible sobre Q[x]
lo que contradice el Teorema 2.119.
Notar que el hecho que p(x) sea irreducible es equivalente, dado que tiene grado
3, a la afirmación que p(x) no tiene raices en Q. Ninguna de estas afirmaciones es
completamente evidente. Pero por Lema de Gauss, sabemos que la irreducibilidad en
Q[x] es equivalente a la irreducibilidad en Z[x] lo que en este caso es fácil de ver pues
p(x) no tiene raices enteras.
103
Definición 2.123. Sea K un cuerpo que extiende a F . El grupo de Galois de K/F
es Gal(K/F ) = {τ : K → K | τ es un F -automorfismo}. Ciertamente Gal(K/F ) es
un grupo bajo composición.
Ejemplo 2.124. Sea τ : C → C, τ (z) = z, la conjugación compleja (i.e. τ (x + iy) =
x − iy). Se tiene que z · w = z · w y z + w = z + w, luego τ es un R-automorfismo de
C. De hecho Gal(C/R) ' Z2 .
Proposición 2.125. Sea a ∈ K algebraico sobre F , p(x) = min(F, a)(x) ∈ F [x], y
τ ∈ Gal(F [a]/F ). Entonces τ queda completamente determinado por su acción en a,
y, mas aún, τ (a) es una raiz de p(x).
Demostración: Sabemos que B = {1, a, . . . , an−1 } es una base de F [a] como F -
espacio vectorial, donde n = gr(min(F, a)(x)). Suponga que α ∈ Gal(F [a]/F ) cumple
que α(a) = τ (a). Afirmamos que α y τ coinciden sobre B, y por lo tanto son iguales.
En efecto, α(aj ) = α(a)j = τ (a)j = τ (aj ). Luego τ esta determinado por su acción en
a.
Para terminar afirmamos que p(τ (a)) = 0. En efecto se tiene que p(x) = xn +
βn−1 xn−1 + . . . + β0 , con βi ∈ F . Luego, 0 = τ (0) = τ (p(a)) = p(τ (a)), por ser τ un
F -homomorfismo.
Ejemplo 2.126. A veces el grupo de Galois es trivial, aunque no lo parezca.
√ √ √
Gal(Q( 3 2)/Q)
√ es trivial pues ni w 3 2 ni w2 3 2 viven en dicha extension. En
efecto, si w 3 2 viviese en la extension, entonces w debiese vivir tambien, pero
[Q(w) : Q] = 2, que no divide a 3.
Gal(F2 (t)/F2 (t2 )) es trivial (y no Z2 !!), pues [F2 (t) : F2 (t2 )] = 2 y min(t, F2 (t2 )) =
x2 − t2 , pero t = −t en estos cuepos.
104
Dem: Como la extension es finita, K = F (a1 , . . . , an ) con los ai algebraicos. Por ende
un automorphismo permuta las raices de cada min(ai , F ), luego ([K : F ]!)[K:F ] es una
cota (muy grosera) para la cardinalidad de Gal(K/F ).
Observación 2.131. Se puede mostrar, usando el Lema de Dedekind para caracteres
de grupos G → K ∗ , que de hecho | Gal(K/F ) |≤ [K : F ].
Definición 2.132. Sea K un cuerpo y S ⊆ Aut(K). El cuerpo fijo de S es
F ix(S) = {a ∈ K | S(a) = a}.
Lema 2.133. K cuerpo
1. L1 ⊆ L2 , subcuerpos de K, entonces Gal(K/L2 ) ⊆ Gal(K/L1 ).
2. L ⊆ K, entonces L ⊆ F ix(Gal(K/L)).
3. S1 ⊆ S2 , subconjuntos de Aut(K), enotnces F ix(S2 ) ⊆ F ix(S1 ).
4. S ⊆ Aut(K) entonces S ⊆ Gal(K/F ix(S)).
5. Si L = F ix(S) entonces L = F ix(Gal(K/L)).
6. Si H = Gal(K/L) entonces H = Gal(K/F ix(H)).
Dem: 1,2,3 y 4 son evidentes.
5: Una inclusión sigue de 2. La otra sigue de 4 y luego 3.
6: la parte no obvia es 2 y luego 1.
Corolario 2.134. Para K/F extensión de cuerpos, consideramos
F := {K 0 ⊂ K | F ⊂ K 0 , K 0 = F ix(S) para algun S ⊂ Aut(K)}
G := {G ≤ Gal(K/F ) | G = Gal(K/L) para algun L ⊂ K}.
Entonces hay una correspondencia uno a uno entre F y G dada por L 7→ Gal(K/L)
y su inversa G 7→ F ix(G).
Composito de cuerpos
Sea L1 y L2 dos cuerpos que extienden a F y que están contenidos en un cuerpo
K. Entonces, el composito L1 L2 de los Li es el cuerpo generado por L1 y L2 en K,
esto es: L1 L2 = L1 (L2 ) = L2 (L1 ).
√
Ejemplo√ 2.135. Sea√ w = e2πi/3 , la raı́z primitiva de 1. Luego el composito de Q( 3 2)
y Q(w 3 2) es Q(w, 3 2). En efecto, ciertamente el composito √ esta
√ contenido en dicho
cuerpo. Para ver la otra contención observamos que√ w = w 3 2/ 3 2, luego el composito
de dichos cuerpos contiene a w y por ende √ a Q(w, 3 2).
√ √
Podemos tambien probar que Q(w, 3 2) = Q(w + 3 2). En efecto, si a = w + 3 2,
entonces (a − w)3 = 2, luego, usando la identidad w2 = 1 − w, obtenemos
(a − w)3 = a3 − 3a2 w + 3a(1 − w) − 1 = 2
√
3
podemos despejar w en terminos (lineales) de a. Luego w ∈ Q(a) y tambien 2=
a − w.
105
3. Módulos
Sea A un anillo (no necesariamente conmutativo). Un grupo Abeliano (M, +) es
un A-módulo a izquierda si hay una aplicación A × M → M , (a, m) 7→ a · m tal
que
b) 1 · m = m para todo m ∈ M .
c) (a1 + a2 ) · m = a1 · m + a2 · m
f (a · m) = a · f (a) , ∀a ∈ A, ∀m ∈ M.
106
1. Todo grupo Abeliano M es un Z-módulo vı́a n · m = m + . . . + m (n veces). En
este caso T or(M ) es precisamente el subgrupo de elementos de torsión de M .
2. Si I es un ideal izquierdo de A entonces I es un A-módulo izquierdo.
3. Si M es un A-módulo, entonces A · m = {a · m | a ∈ A} es un submódulo.
Decimos que M es cı́clico si M = A · m para algún m ∈ M .
4. Un espacio vectoriale sobre un cuerpo F es también un módulo sobre F .
5. Mas generalmente un espacio vectorial V sobre un cuerpo F admite muchas
estructuras de F [x]-módulo. En efecto dada una transformación lineal L : V →
V , para cada p(x) ∈ F [x] y v ∈ V podemos definir la estructura de F [x]-módulo
p(x) · v = p(L)(v).
Cuando V es de dimensión finita entonces el espacio vectorial End(V ) es tam-
bién un espacio de dimensión finita y por tanto un conjunto de la forma {L, . . . , Ln }
ha de ser linealmente dependiente. De hecho, el teorema de Cayley y Hamil-
ton asegura que L se anula en su polinomio caracteristico el cual tiene grado
dim(V ) − 1. En otras palabras concluimos que AnnF [x] (V ) es no trivial y que
T or(V ) = V . El generador (como ideal) mónico de AnnF [x] (V ) se llama polino-
mio minimal asociado a L.
Ejercicio 3.4. Sea V un espacio vectorial sobre F de dimensión n y sea L : V → V una
traansformación lineal. Dotamos a V con la estrutura de F [x]-módulo usando L. Muestre
que V es un módulo cı́clico si y solo si el polinomio minimal de L coincide con el polinomio
caractaristico de L.
107
Ejercicio 3.7. Sean N ⊂ K ⊂ M módulos sobre A. Muestre que
como A-módulos.
Dado un A-módulo M y S ⊂ M definimos hSi el submodulo generado por S
como la intersección de todos los submódulos de M que contienen a S. Equivalente-
mente X
hSi = { ai si | ai ∈ A, si ∈ S}.
finita
108
como espacio vectorial sobre el cuerpo A/I. Concluimos entonces que Ω y Λ tienen
la misma cardinalidad.
La proposición anterior muestra que el rango de un módulo libee está bien definido
(i.e. no cambia bajo isomorfismos).
Una propiedad muy cómoda de los módulos libresL es que ellos admiten una base.
En efecto si M es un módulo libre, digamos que f : Λ A → M es un isomorfismo,
entonces B = {f (δλ )}, donde δλ : Λ → A es la función que vale 1 en λ y 0 en otra
parte, es un conjunto linealmente independiente, es decir
X
0= rλ f (δλ ),
finita
implica que todos los coeficientes rλ son 0. Además B genera a M . En este caso
decimos que B es una base de M .
Observación 3.12. En general no es cierto que todo módulo admita una base. Por
ejemplo si M = T or(M ), entonces M no contiene ningún elemento m tal que {m}
sea linealmente independiente.
Para módulos que no sean libres aún podemos dar una buena noción de rango,
que extiende la noción introducida para módulos libres.
Definición 3.13. Sea M un módulo sobre un dominio de integridad A (no se necesita
que A sea DIP). Definimos el rango de M sobre A como la cardinalidad de un
conjunto linealmente independiente maximal.
Los siguientes ejercicios muestran que el rango está bien definidos y que para
módulos libres este coincide con el rango introducido previamente.
Ejercicio 3.14. Sea A un dominio de integridad y M ' An un A-módulo libre (n ∈ N).
Muestre que un conjunto linealmente independiente
L maximal
L de M tiene cardinalidad n.
(Ayuda: puede ser útil considerar la inclusion Λ A en Λ F rac(A), donde F rac(A) es el
cuerpo de fracciones de A).
Ejercicio 3.15. Sea M un módulo sobre un dominio de integridad A. Muestre que dos
conjuntos linealmente independientes maximales tienen la misma cardinalidad. Para ello
iii) Use ii) para deducir que si B 0 = {x1 , . . . , xm } es otro conjunto l.i. maximal, entonces
existen r1 , . . . , rm , todos distintos de 0, tal que hr1 x1 , . . . , rm xm i ⊆ hBi. Concluya
que m ≤ n.
109
3.0.2. Estructura de módulos libres sobre anillos de ideales principales
Primero analizamos los módulos libres. Sea A un dominio de ideales principales y
M un módulo libre.
Teorema 3.16. Sea A un dominio de ideales principales y sea M un A-módulo libre
de rango n. Sea N ⊆ M un submódulo de M . Entonces
Note que ΣN 6= {0A }. Mas aún, puesto que que cada ϕ(N ) es un ideal de A (y A es
un dominio de ideales principales), para cada ϕ ∈ HomA (M, A) existe aϕ ∈ A tal que
ϕ(N ) = (aϕ ).
Lema 3.17. ΣN tiene elementos maximales respecto a la inclusión.
S
Demostración: Si I1 ⊆ I2 ⊆ . . . es una cadena de ideales en ΣS
N , entonces In = (a)
para algún a ∈ A. Luego, a ∈ In para algı́un n. En particular, In ∈ Σn . Concluimos
gracias al Lema de Zörn.
Sea ϕ : M → A tal que ϕ(N ) = (a1 ) es un elemento maximal de ΣN (posiblemente
ϕ(N ) = A). En particular a1 6= 0. Elegimos y ∈ N tal que ϕ(y) = a1 .
Lema 3.18. Para cada homomorfismo de A-módulo ψ : M → A, se tiene que a1
divide a ψ(y).
Demostración: Sea I = (d) el ideal generado por a1 y ψ(y). Queremos mostrar
que I ∈ ΣN . Para ello notamos que existe r1 , r2 ∈ A tal que d = r1 a1 + r2 ψ(y). En
particular, el homomorfismo de A-módulo ϕ0 = r1 ϕ + r2 ψ cumple que ϕ0 (y) = d.
Concluimos que I ∈ ΣN y por tanto I = (a1 ) por la maximalidad de (a1 ). En
particular a1 |ψ(y).
Sea α : M → An un isomorfismo y ρi : An → A la proyección en la coordenada
i. Se sigue del Lema 3.18 que a1 divide a ρi ◦ α(y) para todo i. En particular, existe
y1 ∈ M tal que y = a1 y1 . Note que esto implica que a1 (ϕ(y1 ) − 1) = 0 y por tanto
que ϕ(y1 ) = 1.
Lema 3.19. Tenemos las siguientes descomposiciones en suma directa:
110
Demostración: Claramente hy1 i ∩ Ker(ϕ) = {0}. Por otro lado para m ∈ M vale
que m − ϕ(m)y1 ∈ Ker(ϕ), por lo que M = hy1 i ⊕ Ker(ϕ). Un argumento análogo
entrega la descomposición para N .
Ahora probamos el punto 1. del Teorema 3.16. De los Ejercicios 3.15 y 3.14 se
tiene que N tiene que rango(N ) ≤ rango(M ). Hacemos inducción en el rango de N .
Si rango(N ) = 0 entonces N = 0 y no hay nada que probar. Como hipótesis inductiva
suponemos que todo submódulo de M de rango menor que el rango de N es libre.
Concluimos que N es libre gracias al Lema 3.19 y al hecho que rango(N ∩ Ker(ϕ)) =
rango(N ) − 1.
Para el punto 2 también argumentamos por inducción, esta vez en el rango de M .
Como hipótesis inductiva tenemos que existe {y2 , . . . , yn } de Ker(ϕ) y a2 , . . . , am ∈ A
tal que tal que a2 |a3 | . . . |am y {a2 y2 , . . . , am ym } es una base de N ∩ Ker(ϕ). Por el
Lema 3.19 tenemos que {y1 , y2 , . . . , yn } es una base de M , por tanto solo debemos
mostrar que a1 divide a a2 . Para ello consideramos el homomorfismo ψ : M → A
definido por !
Xn
ψ bi yi = b1 + b2 .
i=1
La maximalidad de (a1 ) dice entonces que ψ(N ) = (a1 ) y por lo tanto a1 divide a
ψ(a2 y2 ) = a2 . Esto culmina la prueba del Teorema 3.16.
con a1 |a2 | . . . |am . Mas aún, T or(M ) ' A/(a1 ) ⊕ . . . ⊕ A/(am ) y AnnA (M ) = (am ).
Demostración: Sea {x1 , . . . , xn } un conjunto generador de M como A-módulo. La
función de ψ : An → M dada por
n
X
ψ : (a1 , . . . , an ) 7→ ai x i ,
i=1
M ' An /N
' (A · y1 ⊕ . . . ⊕ A · yn )/(Aa1 y1 ⊕ . . . ⊕ Aam ym )
' A/(a1 ) ⊕ . . . ⊕ A/(am ) ⊕ An−m .
111
Esto muestra la primera afirmación del teorema. Para caractarizar la torsión de M
notamos que AnnA (A/(ai )) = (ai ). Por lo tanto M no tiene torsión si y solo si m = 0.
Mas aún, en general para dominios de integridad se tiene que T or(M1 ⊕ M2 ) =
T or(M1 ) ⊕ T or(M2 ), por lo que encontramos que T or(M ) ' A/(a1 ) ⊕ . . . ⊕ A/(am ),
y AnnA (M ) = (am ).
Mp = {m ∈ M | ∃b ∈ N con pb m = 0},
112
i) Mp ' Np si M ' N ,
ii) (M ⊕ N )p = Mp ⊕ Np .
En efecto, si ` < c entonces por uno de los teoremas del isomorfismo de módulos
tenemos que p` · M/p`+1 · M ' p` · A/p`+1 · A. Por otro lado multiplicar por p` induce
un homomorfismo de módulos sobreyectivo de A en p` A/p`+1 A cuyo núcleo es p`+1 A.
El caso ` ≥ c es fácil.
Concluimos, puesto que k = A/(p) es un cuerpo, que p` M/p`+1 M es un k-espacio
vectorial de dimensión 1 cuando ` < c. En particular p` M1 /p`+1 M1 es un espacio
vectorial sobre k cuya dimensión es la cardinalidad del conjunto {i | ` < αi }. Lo
mismo sucede para M2 . Mas aún como p` M1 /p`+1 M1 ' p` M2 /p`+1 M2 , se tiene que
las dimensiones de los espacios vectoriales asociados deben coincidir. Como esto ocurre
para todo ` el lema sigue. (Por ejemplo tomando ` = αn se ve que no puede ser que
αn < βm .)
Esto concluye la prueba del Teorema 3.23.
Finalmente podemos devolvernos al formato de divisores sucesivos y mostrar la
unicidada en dicho contexto. Ciertamente basta solo analizar la parte de torsión.
113
Teorema 3.25. Suponga que
114
Corolario 3.26. Dos transformaciones lineales L y L0 de un k-espacio vectorial V
de dimensión finita son conjugadas en GL(V ) si y solo si Rac(L) = Rac(L0 ).
Demostración: Si Rac(L) = Rac(L0 ) entonces V admite bases B y B 0 adaptada a
L y L0 respectivamente. Tomamos ϕ : V → V la transformación que manda B en
B 0 ordenadamente. Evaluando en vectores de la base B, se chequea facilmente que
ϕ−1 ◦ L0 ◦ ϕ = L.
Reciprocamente, si L y L0 son conjugadas, digamos ϕ−1 ◦ L0 ◦ ϕ = L con ϕ : V →
V , entonces las estructuras de k[x]-módulos sobre V determinadas por L y L0 son
isomorfas. En efecto ϕ es un isomorfismo de V que además cumple que
ϕ(p(x) ·L v) = ϕ(p(L)(v))
= ϕ(p(ϕ−1 L0 ϕ)(v)) = ϕ(ϕ−1 p(L0 )ϕ(v))
= p(x) ·L0 ϕ(v).
Luego, de la unicidad de la descomposición de en factores invariantes se sigue que
Rac(L) = Rac(L0 ).
(La unica ambiguedad es que los polinomios que aparecen son asociados (no ne-
cesariamente iguales). Esta ambiguedad desaparece al escribir la matriz.)
115
Concluimos que cada transformación lineal es equivalente a una matriz de la forma
J(λ1 , a1 )
J(λ2 , a2 )
J(L) = ,
. .
.
J(λn , an )
116