Abstract Algebra

Álgebra Abstracta
David Grimm1
1 de diciembre de 2021
1 Oficina504, Departamento de Matemática y Ciencia de la Computación, correo: da-

vid.grimm@usach.cl
Índice general
1. Grupos 1
1.1. Teorı́a básica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Definición y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Los grupos simétricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3. Homomorfismos e isomorfismos . . . . . . . . . . . . . . . . . . . . . 9
1.1.4. Cocientes de grupos y subgrupos normales . . . . . . . . . . . . . . . 12
1.1.5. Teoremas del isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2. Clasifición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.1. Producto directo de grupos . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.2. Clasificación de grupos Abelianos finitos . . . . . . . . . . . . . . . . 19
1.2.3. Acciones de grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.2.4. Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.2.5. Producto semidirecto . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.2.6. Clasificación de pequeños grupos . . . . . . . . . . . . . . . . . . . . 34
1.3. Grupos solubles, nilpotentes y simples . . . . . . . . . . . . . . . . . . . . . 36
1.3.1. El grupo libre y presentaciones de grupos . . . . . . . . . . . . . . . . 40
1.3.2. Grupos como objetos geométricos . . . . . . . . . . . . . . . . . . . . 40
2. Anillos 41
2.1. Teorı́a básica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.1. Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.2. Homomorfismos, ideales y anillos cocientes . . . . . . . . . . . . . . . 43
2.1.3. Aplicación en Z: La función de Euler y el protocolo RSA . . . . . . . 48
2.1.4. Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.1.5. Dominios de ideals principales y de factorización única . . . . . . . . 56
3. Teorı́a cuerpos 61
3.1. Topicos (mas) avanzados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.1. Extensiones algebraicas y Cuerpo del raı́z generico . . . . . . . . . . . 64
3.1.2. El criterio de Eisenstein . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.1.3. Aplicación: Construcciones por compas y regla . . . . . . . . . . . . . 66
ii ÍNDICE GENERAL
Capı́tulo 1
Grupos
1.1. Teorı́a básica

1.1.1. Definición y ejemplos
Un conjunto con operación (G, ∗) es un conjunto G con una función ∗ : G × G → G.
Se escribe x∗y en lugar de ∗(x, y). En lo sucesivo, escribimos más economicamente xy := x∗y,
salvo si queremos enfatizar la operación.
1.1.1 Definición. Un conjunto con operación (G, ∗) se dice grupo si la operación satisface
las siguientes propiedades (axiomas):
(i) la operación es asociativa, es decir
∀x, y, z ∈ G : (xy)z = x(yz).
(ii) hay un elemento neutro, es decir
∃e ∈ G : ∀x ∈ G : xe = ex = x.
(iii) Con respecto a cada elemento neutro e ∈ G cada elemento es invertible, es decir
∀x ∈ G : ∃y ∈ G : xy = e.
Anotamos un grupo (G, ∗) también por G cuando no hay ambigüedad de la operación ∗.
Pruebe que el elemento neutro e ∈ G y el inverso de x ∈ G es único.
El elemento neutro de grupo (G, ∗) lo anotaremos genericamente por 1(G,∗) , o simplemente

1G . El inverso de un elemento x ∈ G lo anotaremos genericamente por x−1 .
1
2 CAPÍTULO 1. GRUPOS
Verifique que (xy)−1 = y −1 x−1 :
Para los siguientes conjuntos con operación, decide si es un grupo (anotando los axiomas que faltan
en caso que no), e identifique el elemento neutro (si existe):
(G, ∗) = (R, +) (R, ·) (R \ {0}, ·) (N, +) (Z, ·) (Z, +) (Q \ {0}, ÷) (∅, ∅)

grupo ? X 7(iii)
1(G,∗) = 0 1
Para un conjunto con operación (G, ∗) asociativo, definimos para x ∈ G recursivamente

x1 := x, xn+1 := x ∗ xn para n ∈ N. Si existe 1G ∈ G, definimos además x0 := 1G , y si existe
además x−1 , definimos también x−n := (x−1 )n para n ∈ N.
Sea (G, ∗) un grupo. Sea x ∈ G y n, m ∈ Z. Pruebe que xn ∗ xm = xn+m : Sea G un grupo y sea
g ∈ G. Demuestre que la multiplicación por izquierdo por g
`g : G → G
x 7→ gx
es una biyeción.
Introducimos algunos grupos tı́picos.
1.1.2 Ejemplo. Verifique para cada uno de los siguientes ejemplo que de verdad es un
grupo:
K× para el grupo multiplicativo (K \ {0}, ·) para K = Q, R, o C.
Gl(V ) para el grupo de automorfismos de un K-espacio vectorial V , llamado grupo

lineal general de V .
SX para el grupo de auto-biyecciones de un conjunto X 6= ∅
({f : X −→ X | f es biyectiva}, ◦) .
Se llama el grupo simétrico de X o el grupo de permutaciones de X. En caso

que X = {1, . . . , n} ⊆ N para un n ∈ N, se escribe Sn en lugar de S{1,...,n} .
Demuestre que no existe un grupo (G, ·) que contiene a (R, ·) como subconjunto con operación.
1.1. TEORÍA BÁSICA 3
Considere las 3 operaciones en el conjunto {a, b, c, d} definidas por las siguientes tablas:
· a b c d · a b c d · a b c d
a c d a b a a b c d a a b d c
b d c b a b b c d a b b a d c
c a b c d c c d a b c c c a d
d b a d c d d a b c d d d c a
¿ Con respecto a cuál es {a, b, c, d} un grupo ?
· a b c
Define una operación de grupo en el · a b
a
conjunto de dos elementos {a, b} y lo a
b
de tres elementos {a, b, c}: b
c
1.1.3 Definición. Sea (G, ∗) un grupo y sea H ⊆ G un subconjunto. Si H es cerrado bajo

∗ (i.e. ∀x, y ∈ H : xy ∈ H), lo que significa que (H, ∗|H ) es un conjunto con operación, y si
es además un grupo, se dice que H es un subgrupo de G, anotado H ≤ G.
Sea H ≤ G. Demuestre que 1H = 1G :
6 H ⊆ G. Entonces H ≤ G ⇐⇒ ∀x, y ∈ H : x−1 y ∈ H.

1.1.4 Lema. Sea G un grupo y sea ∅ =
Demostración. Si (H, ∗) es un subgrupo, en particular H es cerrado bajo la operación ∗ de
G y también cerrado bajo la inversión de elementos (i.e. ∀x ∈ H : x−1 ∈ H). Por lo tanto
∀x, y ∈ H : x−1 y ∈ H.
Supongamos ahora que ∀x, y ∈ H : x−1 y ∈ H. Como H 6= ∅, existe x ∈ H, y por lo
tanto x−1 x = 1G ∈ H. Entonces, para cada x ∈ H tenemos x−1 = x−1 1G ∈ H, i.e. H
es cerrado bajo la inversión de elementos. Finalmente, tenemos para cada x, y ∈ H que
xy = (x−1 )−1 y ∈ H, y por lo tanto H es cerrado bajo la operación ∗.
1.1.5 Ejemplo. S 1 := {z ∈ C | |z| = 1} es un subgrupo de C× .
µn := {exp( 2π
k
i) | k = 0, . . . , n − 1} = {z ∈ C | z n = 1} es un subgrupo de S 1 (y
entonces de C× ), llamado el grupo de n-écimas raı́ces de la unidad.
Dado un grupo escalar b : V × V → R en un K-espacio vectorial, entonces
O(V, b) := {f ∈ Gl(V ) | ∀v, w ∈ V : b(f (v), f (w)) = b(v, w)}
es un subgrupo de Gl(V ), llamado el grupo ortogonal de b.
Sean H1 , H2 ≤ G. Demuestre que H1 ∩ H2 ≤ G.
Sean H1 , H2 ≤ G con H1 ⊆
6 H2 y H2 ⊆
6 H1 . Demuestre que H1 ∪ H2 ≤
6 G.
1.1.6 Lema. Sea G un grupo y H un colección de subgrupos de G. Entonces

\
H ≤ G.
H∈H
T
Demostración.
T Tenemos que 1G ∈ H∈H H porque 1G ∈ H para T cada H ∈ H. En particular,
∅=6 H∈H H, lo que nos permite aplicar Lema 1.1.4. Sean x, y ∈ H∈H H. EntoncesT x, y ∈ H
y por lo tanto x−1
T y ∈ H para cada H ∈ H porque H ≤ G. Entonces x −1
y ∈ H∈H H, lo
que implica que H∈H H es un subgrupo de G.
1.1.7 Definición. Sea G un grupo y S ⊆ G un subconjunto. El subgrupo
\
hSi := H
H≤G,
S⊆H
de G se llama subgrupo generado por S. Cuando S = {x}, escriba hxi en lugar de h{x}i.
Si ∃x ∈ G con G = hxi, entonces G se llama un grupo cı́clico, y x un generador de G.
1.1.8 Proposición. Sea G un grupo y S ⊆ G un subconjunto. Entonces
hSi = {x11 · · · xnn | n ∈ N0 ; x1 , . . . , xn ∈ S; 1 , . . . , n ∈ {±1}} .
En particular, hxi = {xm | m ∈ Z} para cualquier x ∈ G.
Demostración. Denotamos H 0 := {x11 · · · xnn | n ∈ N0 ; x1 , . . . , xn ∈ S; m1 , . . . , mn ∈ Z}. Es
obvio que H 0 ⊆ H para cualquier subgrupo H de G con S ⊆ H y que S ⊆ H 0 . Por lo tanto,
basta mostrar es que H 0 es un subgrupo de G. Como para n = 0 el producto x11 · · · xnn es el
producto vacı́o, obtenemos que 1G ∈ H 0 . Es obvio que H 0 está cerrado bajo la operación, y
como (x11 · · · xnn )−1 = x−
n
n
· · · x−
1
1
∈ H 0 , está también cerrado bajo inversión.
1.1.9 Definición. Sea G un grupo. Se dice orden de G para su cardinalidad |G|. El orden
de un elemento x ∈ G se define por

∞ si ∀k ∈ N : xk 6= 1G
ord(x) :=
mı́n{k ∈ N | x = 1G } si ∃k ∈ N : xk = 1G
k
Pruebe que |G| < ∞ =⇒ ∀x ∈ G : ord(x) < ∞.
1.1.10 Proposición. Sea G un grupo y x ∈ G. Entonces ord(x) = |hxi|.

Demostración. Si ord(x) = ∞, entonces xm 6= x` para m 6= `, porque sino tendriamos que
xm−` = 1G = x`−m , lo que contradice ord(x) = ∞. Por lo tanto {xm | m ∈ Z} es un conjunto
infinito.
En caso que ord(x) = n < ∞, tenemos que
{xm | m ∈ Z} = {x` | ` ∈ N0 ; 0 ≤ ` ≤ n − 1}
porque se puede escribir cada m ∈ Z como m = kn + ` para un k ∈ Z y ` ∈ {0, 1, . . . , n − 1},
y por lo tanto tenemos xm = (xn )k x` = x` . Finalmente, tenemos que x`1 6= x`2 para cada
`1 , `2 ∈ {0, 1, . . . , n − 1} con `1 < `2 , porque sino tendriamos que x`2 −`1 = 1G con 1 ≤
`2 − `1 < n, y por eso la contradicción que ord(x) < n. Por lo tanto tenemos que
`
{x | ` ∈ N0 ; 0 ≤ ` ≤ n − 1} = n = ord(x).
Demuestre que los grupos Z y µn para cualquier n ∈ N son grupos cı́clicos.
Demuestre que cada subgrupo U de un grupo cı́clico G también es cı́clico. Demuestre que si G es
finito entonces |U | divide a |G|, y que para cada divisor m de |G| existe exactamente un subgrupo
de orden m.
1.1.2. Los grupos simétricos

Sea n ∈ N. Denote (Sn , ◦) el grupo simétrico de {1, 2, . . . , n}. Se trata de un ejemplo muy
representativo para muchos aspectos de grupos en general. También históricamente, los gru-
pos Sn y sus subgrupos fueron los primeros grupos considerados bajo el concepto abstracto
de grupos. Consideraremos en más detalle estos ejemplos antes de continuar con la teorı́a
general.

1 2 ... n
Representaremos una permutación ϕ ∈ Sn por .
ϕ(1) ϕ(2) . . . ϕ(n)
Calcule en S4 :

1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
◦ = , y ord =
2 4 3 1 3 2 1 4 2 4 1 3
1.1.11 Definición. Sea ϕ ∈ Sn . El conjunto
sop(ϕ) := {1 ≤ i ≤ n | ϕ(i) 6= i}
se llama soporte de ϕ.
Sean ϕ, ψ ∈ Sn con soportes disjuntos. Pruebe que ϕ ◦ ψ = ψ ◦ ϕ:

1 2 3 1 2 3
Calcule los produtos (1 2) ◦ (2 3) = y (2 3) ◦ (1 2) = .
1.1.12 Observación. Un grupo G que cumple ∀x, y ∈ G : xy = yx se dice grupo Abeliano.

El último calculo demuestra que Sn no es Abeliano para n ≥ 3.
1.1.13 Definición. Una permutación σ ∈ Sn con sop(σ) = {σ m (a) | m ∈ Z} para un
a ∈ {1, . . . , n} se llama un ciclo. Ciclos de orden 2 se llaman transposiciones.
Sea σ ∈ Sn un ciclo de orden k. Muestre que sop(σ) = {a, σ(a), . . . , σ k−1 (a)} y de cardinalidad k
para cualquier a ∈ sop(σ):
Un ciclo σ ∈ Sn de orden k podemos representar de la manera siguiente: Para cualquier

a ∈ sop(σ) anotamos
a σ(a) σ 2 (a) . . . σ k−1 (a)
Al revez, (a1 , . . . , ak ) ∈ {1, . . . , n}k con ai 6= aj cuando i 6= j, define un ciclo σ ∈ Sn de orden
k, dado por σ(ai ) = ai+1 para i < k, σ(ak ) = a1 y σ(i) := i si i ∈ / {a1 , . . . , ak }.
1.1.14 Proposición. Para cada ϕ ∈ Sn existe un único m ∈ N0 y unos únicos (salvo

reordinamiento) ciclos σ1 , . . . , σm ∈ Sn con soportes disjuntos, tales que τ = σ1 ◦ · · · ◦ σm .
Demostración. Mostremos primero la unicidad: Supongamos que
ϕ = σ1 ◦ · · · ◦ σm = σ10 ◦ · · · ◦ σm
0
0
0
con m, m0 ∈ N y σ1 , . . . , σm ∈ Sn ciclos con soporte disjunto y también σ10 , . . . , σm 0 ∈ Sn
ciclos con soporte disjunto. Sea i ∈ sop(σ1 ). Sin pérdida de generalidad, supongamos que
i ∈ sop(σ10 ). Vemos que
sop(σ1 ) = {σ1` (i) | ` ∈ N} = {ϕ` (i) | ` ∈ N} = {σ10` (i) | ` ∈ N} = sop(σ10 ),

0
y por lo tanto, tenemos también que sop(σ2 ◦. . .◦σm ) = sop(σ20 ◦. . .◦σm 0 ). Como σ2 ◦. . .◦σm =
(σ1 ◦σ1 )◦σ2 ◦. . .◦σm0 , obtenemos que sop(σ1 ◦σ1 ) = ∅, y por lo tanto (σ1−1 ◦σ10 ) = id{1,...,n} ,
−1 0 0 0 −1 0
i.e. σ1 = σ10 . De la misma manera mostramos recursivamente que σi = σi0 para cada i ≤ m,
y por eso m = m0 .
Ahora mostremos la existencia de la descomposición de ϕ en ciclos con soportes disjuntos

por inducción sobre |sop(ϕ)|:
Si |sop(ϕ)| = 0 entonces ϕ = id{1,...,n} y tenemos una descomposición vacı́a con m = 0.
Supongamos que hemos mostrado la descomposición para permutaciones con soporte de
cardinalidad ≤ k. Sea ϕ ∈ Sn con |sop(ϕ)| = k + 1. Sea a ∈ sop(ϕ). Sea ` = min{i ∈
i `−1
N | ϕ (a) = a}. Se puede ver [ejercicio] que {a, ϕ(a), . . . , ϕ (a)} = `−1
`. Definimos por
`−1
σ := a ϕ(a) . . . ϕ (a) un ciclo de orden ` y con sop(σ) = {a, ϕ(a), . . . ϕ (a)}.
Se observa que para cada b ∈ {1, . . . , n} \ sop(σ) tenemos que ϕ(b) ∈ / sop(σ). Anotando ψ la
permutación de {1, . . . , n} definido por

i, si i ∈ sop(σ)
ψ(i) :=
ϕ(i), si i ∈ / sop(σ)
se ve que ϕ = σ ◦ ψ. Como |sop(ψ)| = |sop(ϕ)| − |sop(σ)| ≤ k, la hipótesis de la inducción

nos da una descomposición de ψ en ciclos con soportes disjuntos, y por lo tanto, lo mismo
para ϕ.
Encontrar la descomposición en cı́clos de:

1 2 3 4 5 6 7 1 2 3 4 5
= y =
2 4 3 1 7 5 6 5 2 1 3 4
1.1.15 Definición. Para una permutación ϕ ∈ Sn definimos su número de inversiones

como
#inv(ϕ) := |{(i, j) | 1 ≤ i < j ≤ n & ϕ(i) > ϕ(j)}| .
Para una permutación ϕ ∈ Sn , definimos su signatura como

1 si #inv(ϕ) es par
sign(ϕ) :=
−1 si #inv(ϕ) es impar
Demuestre que sign(τ ) = −1 para cualquier transposición τ = (a b) ∈ Sn .
Sea σ ∈ Sn . Demuestre que

Y σ(j) − σ(i)
sign(σ) =
j−i
1≤i<j≤n
1.1.16 Lema. ∀σ, ϕ ∈ Sn : sign(σ ◦ ϕ) = sign(σ) · sign(ϕ)

Demostración. Por el último ejercicio tenemos que
Y σ(ϕ(j)) − σ(ϕ(i)) ϕ(j) − ϕ(i)
sign(σ ◦ ϕ) =
1≤i<j≤n
j−i ϕ(j − ϕ(i)
! !
Y σ(ϕ(j)) − σ(ϕ(i)) Y ϕ(j) − ϕ(i)
=
1≤i<j≤n
ϕ(j) − ϕ(i) 1≤i<j≤n
j−i
σ(`)−σ(k) σ(k)−σ(`)
Dado que `−k
= k−`
podemos re-ordenar y obtenemos
! !
Y σ(`) − σ(k) Y ϕ(j) − ϕ(i)
sign(σ ◦ ϕ) = = sign(σ)sign(ϕ)
1≤k<`≤n
` − k 1≤i<j≤n
j − i
1.1.17 Teorema. Sea ϕ ∈ Sn una permutación. Entonces existe una descomposición en

transposiciones, i.e. existe m ∈ N0 y transposiciones τ1 , . . . , τm ∈ Sn tales que
ϕ = τ1 ◦ · · · ◦ τm .
Además, la paridad del número m de transposiciones en la descompsición es invariante, dado

por (−1)m = sign(ϕ).
Demostración. Para la primera parte, basta mostrarla en el caso donde ϕ es un ciclo, por
Proposición 1.1.14. Supongamos entonces que ϕ es un ciclo de orden k. Cuando k = 0, 1 no
hay nada a mostrar. Continuamos la inducción y mostramos la descomposibilidad en trans-
posiciones de ciclos ϕ = (a1 . . . ak+1 ) de orden k +1 bajo la hipótesis de la descomposibilidad
para ciclos de orden k. Consideramos la transposición τ = (ak ak+1 ). Se puede verificar que
ϕ ◦ τ es el ciclo (a1 . . . ak ) de orden k. Por la hipótesis de la inducción existe una descom-
posición en transposiciones de ϕ ◦ τ = τ1 ◦ · · · ◦ τm . El asunto sigue con la composición de la
ecuación por τ = τ −1 de derecha.
Mostramos ahora la segunda parte del asunto. Como id{1,...,n} = τm ◦ · · · ◦ τ1 ◦ ϕ, y como
#inv(id{1,...,n} ) = 0 es par, obtenemos por Lema 1.1.16 junto con el ejercicio sobre la signatura
de transposiciones que sign(ϕ) = sign(τ1 ) · · · sign(τm ) = (−1)m .
Encontrar la descomposición en cı́clos de:

1 2 3 4 5 6 7 1 2 3 4 5
= y =
2 4 3 1 7 5 6 5 2 1 3 4
Sea σ ∈ Sn un cı́clo de orden k. Demuestre que sign(σ) = (−1)k−1 :
¿ Es posible invertir el orden de los cubos 1 hasta

15, con el espacio vacı́o al final también en la de-
recha abajo, solamente deslizando (sin levantar)
los bloques en el cuadro de madera ?
1.1.18 Definición. Sea n ≥ 3. El subgrupo [ejercicio]

An := {σ ∈ Sn | sign(σ) = 1}
de Sn se llama grupo alternante de n elementos.
n!
Demuestre que |An | = 2 (sin utilizar el teorema del isomorfismo que conoceremos más adelante).
Sea n ≥ 3. Demuestre que An es el subgrupo de Sn generado por todos los cı́clos de orden 3.
1.1.3. Homomorfismos e isomorfismos

1.1.19 Definición. Dados (G1 , ∗) y (G2 , ?) dos grupos, decimos que una función
ϕ : G1 → G2
es un homomorfismo si ϕ(x ∗ y) = ϕ(x) ? ϕ(y) para todo x, y ∈ G.
Sea ϕ : G1 → G2 un homomorfismo. Pruebe que ϕ(1G1 ) = 1G2 y ∀x ∈ G1 : ϕ(x−1 ) = ϕ(x)−1 :
Llamamos
ker(ϕ) := ϕ−1 ({1G2 })
el núcleo (o kernel) de ϕ.
Sea ϕ : G1 → G2 es un homomorfismo. Pruebe que ker(ϕ) ≤ G1 y im(ϕ) ≤ G2 :
Pruebe también que ϕ es inyectivo ⇔ ker(ϕ) = {1G1 }:
Un homomorfismo de grupos G1 → G2 que es...
... inyectivo se llama monomorfismo, anotado también con G1 ,→ G2 .
... sobreyectivo se llama epimorfismo, anotado también con G1 G2 .

∼
... biyectivo se llama isomorfismo, anotado también con G1 −
→ G2 .
Sea ϕ : G1 → G2 un isomorfismo de grupos. Pruebe que ϕ−1 : G2 → G1 lo es también:
Siempre hay el homomorfismo trivial G1 → G2 , x 7→ 1G2 entre cualquier grupos G1 y G2 .

∼
Se dice que G1 es isomorfo a G2 , anotado G1 ∼
= G2 , si hay un isomorfismo G1 −
→ G2 .
Verifique ‘∼
=’ es una relación de equivalencia entre grupos:
1.1.20 Ejemplo. Las siguientes funciones son homomorfismos.
1. sign : Sn → ({1, −1}, ·) es un epimorfismo con núcleo An .
2. log : (R>0 , ·) → (R, +) es un isomorfismo.
3. Para n ∈ N, la función (·)n : C∗ → C∗ definido por z 7→ z n es un epimorfismo con

ker((·)n ) = {exp( ) | 0 ≤ ` ≤ n − 1}
4. det : Gln (K) → K∗ es un epimorfismo. Su núcleo se llama grupo lineal especial de

Kn , anotado Sln (K).
Marque con ,→ o 7 si o no hay un monomorfismo del grupo que corresponde a la linea, al grupo
que corresponde a la columna. De un ejemplo en caso que hay, o una razón porque no hay.
En caso que hay incluso un isomorfismo, indica lo por ∼

= en lugar de ,→.
(R, +) R∗ (Z, +) Gl3 (R) C∗ S3 µ6

(R, +) ∼
=, id 7, (#R > #Z)
R∗ ∼
=, id
(Z, +) ,→, (n 7→ n) ∼
=, id
Gl3 (R) ∼
=, id
C∗ ∼
=, id
S3 ∼
=, id
µ6 ∼
=, id
∼
Un isomorfismo ϕ : G −
→ G se llama automorfismo de G.
1.1.21 Lema. Sea G un grupo cı́clico y H cualquier grupo. Entonces la evaluación en un

generador fijo g de G
1−1
{ϕ : G → H homomorfismo} −−→ {h ∈ H | ord(h)|ord(G)}
ϕ 7→ ϕ(g)
define una biyección 1 . En particular Aut(G) es en biyección con {x ∈ G | G = hxi}.
Demostración. Sea m = ord(g), entonces ϕ(g)m = ϕ(g m ) = 1H para cada homomorfismo

ϕ : G → H. Dado al contrario un elemento h ∈ H con ord(h)|ord(g), entonces ϕh : G →
H, g n 7→ hn está bien definido (ejercicio) y un homomorfismo. Además ϕh (g) = h para cada
tal h y ϕϕ(g) = ϕ para cada homomorfismo ϕ : G → H.
Como ϕ(G) = hϕ(g)i, se ve que ϕ es un epimorfismo si y solamente si ϕ(g) es un generador de
H. En el caso de G = H, equivalente a decir que ord(ϕ(g)) = ord(g). En particular cualquier
epimorfismo ya es un automorfismo y por tanto ϕ 7→ ϕ(g) se restringa a una biyección entre
los automorfismos de G y los generadores de G.
1
decimos que ∞ igual que cada número natural divide a ∞
Liste todo los automorfismos de µ2 × µ3 . Liste también todos los automorfismos de µ2 × µ2 .
Muestre que el conjunto de automorfismos de un grupo G, anotado Aut(G), es un subgrupo de SG :
Sea G un grupo y g ∈ G. Se llama conjugación por g la función
cg : G → G
x 7→ gxg −1
Pruebe que para un grupo G y cualquier g ∈ G la conyugación cg : G → G es un automorfismo:
Pruebe además que la función c : G → Aut(G) definido por g 7→ cg es un homomorfismo:
1.1.22 Definición. Con la notación del ejercicio anterior, el subgrupo
Z(G) := ker(c)
de G se llama el centro de G. El subgrupo
Inn(G) := im(G)
de Aut(G) se llama el subgrupo de automorfismos internos de G.
Pruebe que G = Z(G) ⇐⇒ G es Abeliano:

∼
→ Z2Z.
Pruebe que hay un úncio isomorfismo Aut(Z) −

*Muestre que Aut Z2Z × Z3Z ∼= Z2Z y que Aut Z2Z × Z2Z ∼= S3 .
n
*Pruebe que la función Q∗ → Aut(Q, +) definida por q 7→ Q→Q
x7→qx es un isomorfismo.
n
** ¿ Es la función R∗ → Aut(R, +) definida por r 7→ R→R
x7→rx también un isomorfismo ?
1.1.23 Teorema (Cayley 1854). Cada grupo G es isomorfo a un subgrupo de SG .

Demostración. Basta mostrar que hay un mónomorfismo G ,→ SG . Se puede verificar que
g 7→ `g define un tal mónomorfismo [ejercicio], donde `g : G → G es la translación por g de
la izquierda definida por `g (x) := gx.
1.1.24 Corolario. Cada grupo finito de orden n es isomorfo a un subgrupo de Sn .
1.1.4. Cocientes de grupos y subgrupos normales

1.1.25 Definición. Sea H ≤ G. Un subconjunto X ⊆ G se llama clase lateral izquierda
de H si X = gH := {gh | h ∈ H} para un g ∈ G. Similarmente, se llama clase lateral
derecha de H si X = Hg := {hg |∈ H} para un g ∈ G. Se denota
G := {X ⊆ G | X es una clase lateral izquierda de H},
H
y similarmente
G
H := {X ⊆ G | X es una clase lateral derecha de H},
La función sobreyectiva
: G → GH
g 7→ gH
se llama proyección canonica. Igualmente para : G → HG, definida por g 7→ Hg.
Pruebe que
G G
H −→ H
X 7→ X −1 := {x−1 | x ∈ X}
es una biyección:

Llamaremos [G : H] := GH = HG el index de H en G.

Pruebe que
x ∼` y :⇔ xH = yH (⇔ y −1 x ∈ H)
define una relación de equivalencia en G, con [x]∼` = xH:
x ∼r y :⇔ Hx = Hy igualmente defina una relación de equivalencia en G con [x]∼r = Hx.

Se nota que GH = G∼` e igualmente HG = G∼r .
1.1.26 Lema. Sea H ≤ G. Cada clase lateral (izquierda o derecha) de H tiene la mı́sma
cardinalidad. G es la unión disjunta de todas clases laterales izquierdas de H, igual que la
unión disjunta de todos sus clases laterales derechas de H.
Demostración. H = 1G H = H1G es al mismo tiempo una clase lateral izquierda y lateral
derecha de H . Para culaquier g ∈ G, la función H → gH, h 7→ gh es una biyección
[ejercicio], e igualmente la función H → HG, h 7→ hg. Por lo tanto todas las clases laterales
tienen la misma cardinalidad que H. El resto sigue del ejercicio anterior que mostró que
las clases laterales izquierdas de h son al mismo tiempo las clases de equivalencia de ∼` .
Igualmente para las clases laterales derechas.
1.1.27 Corolario (Teorema de Lagrange). El orden de un grupo finito G es divisible por
los ordenes de sus subgrupos. Más precisamente, si H ≤ G, entonces
|G| = |H| · [G : H].
En particular, el orden de cada elemento de G divide al orden de G.
Sea G un grupo finito y K ≤ H ≤ G. Entonces [G : K] = [G : H][H : K]:
1.1.28 Definición. Un subgrupo H de G se dice normal si GH = HG (es decir si cada
clase lateral izquierda de H es también una clase lateral derecha y vice versa.) Anotaremos
H E G para decir que H es un subgrupo normal de G.
Sea H ≤ G. Muestre que H E G ⇐⇒ ∀g ∈ G : gH = Hg ⇐⇒ ∀g ∈ G, h ∈ H : ghg −1 ∈ H:
Observe que los siguientes subgrupos de un grupo G son siempre normales en G [ejercicio]:
G E G, {1G } E G, y Z(G) E G.
Sea H ≤ G un subgrupo de index 2. Pruebe que H E G:
La relevancia del concepto de un subgrupo normal viene del hecho que es exactamente este
tipo de subgrupo cuyos clases laterales heredan una operación que lo da una estructura de
grupo es decir:
1.1.29 Proposición. Sea (G, ∗) un grupo y H E G. Entonces
∗¯ : GH × GH −→ GH

( X , Y ) 7→ XY := {xy | x ∈ X, y ∈ Y }
es una operación bien definida. Además (GH , ∗¯) es un grupo y la proyección canonica :
(G, ∗) → (GH , ∗¯) es un homomorfismo de grupos.
Demostración. Mostramos primero que ∗¯ es bien definido, i.e. que XY es de verdad una
clase lateral. Como X = xH y Y = yH para unos x, y ∈ G, tenemos que XY = xHyH =
xyHH = xyH. Eso no muestra solamente que XY es una clase lateral, pero al mismo tiempo
que x ∗ y = x ∗¯ y para cualquier x, y ∈ G, que la clase lateral H es un elemento neutro de
∗¯, y que cuando X = xH entonces X −1 = x−1 H es el inverso. El único que falta mostrar
es la associatividad de ∗¯, pero eso sigue directamente de la associatividad de ∗, porque
(XY )Z = (xy)zH = x(yz)H = X(Y Z).

G
1.1.30 Definición. Para H E G, el grupo H , ∗¯ se dice grupo cuotiente de G por H.
Dado un subgrupo normal N EG se define entonces un grupo GN junto con un epimorfismo
G → GN cuyo núcleo es N . El siguiente ejercicio demuestra en particular que, al revéz, el
núcleo de cada homomorfismo es un subgrupo normal.
Sea ϕ : G1 → G2 un homomorfismo y N2 E G2 . Muestre ϕ−1 (N2 ) E G1 :
Pruebe que si ϕ es un epimorfismo y N1 E G1 , entonces ϕ(N1 ) E G2 :
El segundo de los siguientes ejercicios tiene como objetivo de mostrar que la propiedad de
un subgrupo de ser “normal en un grupo ambiental” no es una propiedad transitiva. El
último ejercico demuestra que a diferencia a la situación de espacios vectoriales, el grupo
cociente por un subgrupo normal no se puede considerar como un “complemento algebráico”
del subgrupo normal.
Sea (i1 . . . ik ) ∈ Sn un ciclo. Pruebe que ∀σ ∈ Sn : σ ◦ (i1 . . . ik ) ◦ σ −1 = (σ(i1 ) . . . σ(ik )):
Sea H = {id, (1 2) ◦ (3 4), (1 3) ◦ (2 4), (1 4) ◦ (2 3)} ⊆ S4 . Pruebe que h(1 2) ◦ (3 4)i E H E S4 , pero
que h(1 2) ◦ (3 4)i no es normal en S4 . Demuestre que S3 contiene un único propio subgrupo normal
N no trivial. Liste los elementos de N y los de S3N . Demuestre que S3 6 ∼

= N × S3N . (Compare
eso con la situación de espacios vectoriales, donde para un subespacio U ⊆ V siempre tenemos
= U × VU ):
V ∼
1.1.5. Teoremas del isomorfismo

1.1.31 Proposición (Teorema del Homomorfismo). Sea ϕ : G1 −→ G2 un homomorfismo
de grupos y H E G1 con H ⊆ ker(ϕ). Entonces hay una unica función ϕ : G1H → G2 tal
que el diagram
ϕ
G1 / G2
7
ϕ
G1
H
conmuta (i.e. ϕ ◦ = ϕ), donde : G1 → G1H es la proyección canonica. Además, ϕ es

un homomorfismo de grupos y ker(ϕ) = ker(ϕ).
Demostración. Para que el diagrama conmuta, hay una sola manera de como se puede de-
finir la función ϕ. Tenemos que definir ϕ(xH) := ϕ(x). Esa definición es independiente del
representant x de la clase lateral, porque si xH = yH, entonces y −1 x ∈ H ⊆ ker(ϕ), y por lo
tanto ϕ(y)−1 ϕ(x) = 1G2 , i.e. ϕ(y) = ϕ(x). Es claro que el diagrama conmuta y que no hay
otra funciona ϕ con esta propiedad.
Además ϕ es un homomorfismo porque ϕ(xHyH) = ϕ(xyH) = ϕ(x)ϕ(y) = ϕ(xH)ϕ(xH).
Finalmente, sigue de ϕ = ϕ ◦ que ker(ϕ) ⊆ ker(ϕ). Por otro lado, si xH ∈ ker(ϕ), entonces
ϕ(xH) = 1G2 = ϕ(x), y por o tanto, x ∈ ker(ϕ), y por eso xH = x ∈ ker(ϕ).
1.1.32 Corolario (primer teorema del isomorfismo). Se ϕ : G1 → G2 un epimorfismo,

= G1ker(ϕ).
entonces G2 ∼
Sea G un grupo ciclico de orden n. Concluie G ∼

= ZnZ como una consecuenciadel primer teorema
del isomorfismo
El Corolario 1.1.32 se dice también primer teorema del isomorfismo. Vamos a deducir dos
teoremas más de isomorfismos. Se puede entender como leys de cancelación.
1.1.33 Teorema (segundo teorema del isomorfismo). Sea G un grupo y K E G. Sea H E G
con K ⊆ H. Entonces HK E GK y

G
K H ∼ = GH .
K
Demostración. La función ϕ : GK → GH definida por gK 7→ gH es bien definida porque

g̃ −1 g ∈ K implica que g̃ −1 g ∈ H, y por lo tanto gK = g̃K implica gH = g̃H. La función es
obviamente un epimorfismo. Tenemos que ϕ(gK) = 1G/H (= H) si y solamente si g ∈ H. Por
lo tanto ker(ϕ) = HK . El asunto del teorem sigue por el primer teorema del isomorfismo.
Sea K E G. Demuestre que H 7→ HK define una biyección entre conjunto de subgrupos de G que
contienen a K y el conjunto de subgrupos de GK :
1.1.34 Definición. Sea H ≤ G. El normalisador de H en G es definido por

NG (H) := {g ∈ G | cg (H) = H}.
Pruebe que H E NG (H) ≤ G:
Pruebe que si N ≤ NG (H), entonces HN := {hn | h ∈ H, n ∈ N } es un subgrupo de NG (H):
1.1.35 Teorema (tercer teorema del isomorfismo). Sean H, N ≤ G con H ≤ NG (N ).

Entonces N E HN , H ∩ N E H, y
(HN )/N ∼
= H/(H ∩ N ).
Demostración. Es claro que N E HN , porque HN ≤ NG (N ). Sea ϕ : H → HN/N definida
por ϕ(h) = hN . Verificamos que ϕ es un homo sobreyectivo y que ker(ϕ) = H ∩ N . Sea
xN ∈ HN/N cualquier clase lateral izquierda con x = hn para un h ∈ H y n ∈ N .
Entonces xN = hN = ϕ(h), lo que demuestra la sobreyectividad. Además, ϕ es claramente
un homomorfismo porque ϕ(h1 h2 ) = h1 h2 N = (h1 N )(h2 N ) = ϕ(h1 )ϕ(h2 ).
Sea h ∈ ker(ϕ) ⇐⇒ ϕ(h) = hN = N ⇐⇒ h ∈ N . Por lo tanto ker(ϕ) = H ∩ N . El resto
sigue por el primer teorema del isomorfismo.
1.2. CLASIFICIÓN 17
Una version más simple a recordar es este corolario inmediato:
1.1.36 Corolario. Sea G un grupo y N E G. Sea H ≤ G con G = HN . Entonces
G ∼ H
N = N ∩ H .
*Utilizando solamente el tercer teorema del isomorfismo y el hecho que cada subgrupo de un grupo
cı́clico es cı́clico (en particular sin la utilizar factorización única en números primos), demuestre
que
∀n, m ∈ N : nm = mcd(n, m) · mcm(n, m).
1.2. Clasifición
Los objetivos principales de este subcapitulo es de listar todos grupos (salvo isomorfismo)
con un orden dado. Para grupos finitos cualquieras lo haremos para unos ordenes pequeños
concretos (o con a lo más dos factores primos) o hay una descripción uniforma de una lista
de representantes para todos ordenes de grupos finitos, concretamente para grupos de orden
12. La herramienta más importante para este fin son los teoremas de Sylow, los cuales se
demuestran considerando acciones de un grupo en si mismo o en conjuntos de subgrupos
o clases laterales. Por eso, incluimos el tema de acciones de grupos en conjuntos en este
subcapitulo, aún que los resultados, como la ecuación de orbitas, tiene relevancia en muchos
otros contextos, no solamente en la clasificación de grupos.
Antes de tratar de dar una clasificación de grupos cualquieras de un cierto orden, conside-
raremos solamente grupos Abelianos. Por uno por que la clasificación no necesita todas las
herramientas que en el caso generalo, y por otro por que en este caso de hecho es posible dar
una clasificación completa con una lista uniforme para cada posible orden.
Una noción importante en ambos casos va a ser la siguiente:
1.2.1 Definición. Sea p ∈ N un número primo. Un grupo G se llama p-grupo si

k
∀g ∈ G ∃k ∈ N : g (p ) = 1G .
Sea G un grupo finito. Pruebe que G es un p-grupo ⇔ ord(G) = pk para un k ∈ N0 :
De un ejemplo de un p-grupo infinito:

1.2.1. Producto directo de grupos

Para dos grupos (G, ∗) y (H, ?), hay una operación obvia en el producto cartesiano de los
conjuntos G y H:
· : (G × H) × (G × H) −→ G × H
[(g, h), (g 0 , h0 )] 7→ (g ∗ g 0 , h ? h0 )
Pruebe que dotado por esta operación, G × H es un grupo:
Llamamos este grupo el producto directo de (G, ∗) y (H, ?), anotado por (G, ∗) × (H, ?),
o más economicamente por G × H. Obviamente, se puede definir iterativamente igual un
producto directo de más que dos grupos.
El fin de este subcapitulo es de mostrar que cada grupo Abeliano finito es isomorfo
a un producto directo de grupos ciclicos finitos, y de utilizar este resultado para
obtener una lista completa para cada n ∈ N de las posibles grupos Abelianos de orden n
(salvo isomorfismo). Pero antes necesitamos una observación general más sobre productos
directos:
Sean G y H dos grupos. Es facil a verificar que G ,→ G × H, g 7→ (g, 1H ) y H ,→ G ×

H, h 7→ (1G , h) son monomorfismos de grupos, que llamaremos inclusiones canonicas.
Identificamos G y H con sus imagenes en G × H bajo estas inclusiones canonicas.
Pruebe que con esta identificación, G y H son subgrupos normales de G × H con G ∩ H = {1G×H },
GH = G × H y gh = hg para cada g ∈ G y h ∈ H:
En visto del objetivo de clasificar grupos, necesitamos un resultado reciproco. Este resultado
es el siguiente Teorema. Para su demostración necesitamos un ejercicio:
Sean H1 , H2 E G con H1 ∩ H2 = {1G }. Demuestre que
∀x ∈ H1 , y ∈ H2 : xy = yx.
1.2.2 Teorema. Sea G un grupo y H1 , H2 E G dos subgrupos normales. Si H1 ∩ H2 = {1G }

y H1 H2 = G, entonces
ϕ : H1 × H2 −→ G
(h1 , h2 ) 7→ h1 h2
es un isomorfismo de grupos.
Demostración. Sean (h1 , h2 ), (h01 , h02 ) ∈ H1 × H2 , entonces obtenemos por la conmutatividad

de elementos de H1 con elementos de H2 mostrado en el ejercicio anterior que ϕ((h1 , h2 ) ·
(h01 , h02 )) = ϕ(h1 h01 , h2 h02 ) = h1 h01 h2 h02 = h1 h2 h01 h02 = ϕ(h1 , h2 )ϕ(h01 , h02 ). Por lo tanto, ϕ es
un homomorfismo de grupos. Además, ϕ(h1 , h2 ) = {1G } si y solamente si h1 = h−1 2 , y como
H1 ∩ H2 = {1G }, eso es equivalente a h1 = h2 = 1G . Por eso, ker(ϕ) = {1H1 ×H2 }. La
sobreyectividad es obvia.
= mZnZ × `ZnZ ∼
Sea m, ` ∈ N coprimo y n := `m. Demuestre que ZnZ ∼ = Z`Z × ZmZ.
Demuestre que Gln (C) ∼

= Sln (C) × {λ · Idn | λ ∈ C× }
1.2.2. Clasificación de grupos Abelianos finitos

Sea G un grupo Abeliano y p un numero primo. Denote por
`
Gp := {x ∈ G | ∃` ∈ N xp = 1G }
la parte p-primaria de G.
Demuestre que Gp el único p-subgrupo máximo de G.
1.2.3 Proposición. Sea G un grupo Abeliano finito, sean p1 , . . . , pr todos los primos que
dividen a |G|. Entonces
G∼= Gp1 × . . . × Gpr .
Demostración. Lo dejamos como ejercicio de mostrar que
Gp1 × . . . × Gpr → G
(g1 , . . . , gr ) 7→ g1 · · · gr
es un isomorfı́smo de grupos.
1.2.4 Lema. Sea p un número primo. Sea r ∈ N, y sean i1 , . . . , ir ; j1 , . . . , jr ∈ N0 tal que
i1 i2 ir j1 j2 jr
Z × Z 2 × . . . × Z r ∼ Z × Z 2 × . . . × Z r
pZ pZ pZ = pZ pZ pZ .
Entonces i1 = j1 , . . . ,ir = jr .
Demostración. Denotamos G1 el grupo al lado izquierdo y G2 el grupo al lado derecho, y
fijamos un isomorfismo ϕ : G1 → G2 . Para i = 1, 2, consideramos los homomorfismos
ψi : Gi −→ Gi
g 7→ g + . . . + g .
| {z }
p veces
Observando que ϕ ◦ ψ2 = ψ1 ◦ ϕ, obtenemos que ϕ : ψ1 (G1 ) → ψ2 (G2 ) también es un

isomorfismo, es decir
i1 ir j1 jr
pZ × . . . × pZpr Z = pZpZ × . . . × pZpr Z .
∼
pZ
Como pZpk Z ∼ = Zpk−1 Z para k > 1 y pZpZ ∼ = ZZ ∼ = ({0}, +), podemos concluir por
sobre r que i2 = j2 , . . . ,ir = jr , y finalmente, como pi1 · r`=2 pì` = |G1 | = |G2 | =
Q
inducciı́on
pj1 · r`=2 p`j` , obtenemos también que i1 = j1 .
Q
1.2.5 Proposición. Sea p un número primo y G un p-grupo Abeliano finito. Entonces hay
únicos números enteros 0 ≤ r y 1 ≤ `1 ≤ . . . ≤ `r , tal que
G∼
= Zp`1 Z × . . . × Zp`r Z
Demostración. Vamos a demostrar el aserto por inducción sobre |G|. En caso que |G| = 1
tomamos r = 0, y por lo tanto G es el producto vacı́o (que definimos como el grupo trivial).
Sea ahora |G| = pk > 1. Tome un g ∈ G tal que ord(g) =: ` es maximo. Como hgi ∼ = Zp` Z,
según Teorema 1.2.2, basta a mostrar que existe un subgrupo H ≤ G con hgi ∩ H = {1G } y
|H| = pk−` .
Sea entonces H ≤ G maximal con hgi ∩ H = {1G }. Tenemos que mostrar que |H||hgi| = |G|
o, lo que es equivalente, que G = Hhgi. Para que obtenemos una contradicción, supongamos
que existe a ∈ G \ Hhgi, i.e. que el p-grupo GHhgi no es trivial. Por eso, tenemos que
r−1
min{m ∈ N | am ∈ Hhgi} = ord(a) = pr para un 1 ≤ r ≤ `. Observe que b := ap ∈
p pr p n `
G \ Hhgi con b = a ∈ Hhgi. Por lo tanto, b = hg para un h ∈ H y 0 ≤ n < p . Como
` `−1 `−1 `−1
1G = bp = (bp )p = hp g np ,
`−1 `−1
obtenemos por H ∩ hgi = {1G } que hp = 1G y que g np = 1G . En particular p divide a
n, i.e. n = pm para un m ∈ Z. Como b ∈ / Hhgi, tenemos igualmente que c := bg −m ∈ / Hhgi.
p n p p −n
Por b = hg , obtenemos que c = b g = h ∈ H.
Definimos K := hciH. Como H ( K, y H fue maximal con H ∩ hgi = {1g }, tenemos que
cs h̃ = g t para un 1 ≤ s < p, un 1 ≤ t < p` y un h̃ ∈ H. Como c = bg −m , obtenemos
bs = g t+m h̃−1 ∈ hgiH, lo que implica que p divide a s, como GHhgi es un p-grupo no trivial.
Contradicción a 1 ≤ s < p.
Como H < G es un p-grupo, podemos conseguir por inducción, y por lo tanto existen
1 ≤ `1 ≤ . . . ≤ `r con G ∼
= Zp`1 Z × . . . × Zp`r Z. La unicidad de 1 ≤ `1 ≤ . . . ≤ `r sigue del
Lema 1.2.4.
Sean p1 < . . . < pr números primos, y para cada i ≤ r sea Hi y H

e i un pi -grupo. Sea
ϕ : H1 × . . . × Hr −→ H
e1 × . . . × H
er
un homomorfismo. Identificando Hi y H e i con sus imagenes bajo los inclusiones canonicas en los
productos, pruebe que para cada 1 ≤ i ≤ r tenemos que ϕ (Hi ) ⊆ H
ei:
(1) (m)
1.2.6 Teorema (de estructura de grupos Abelianos finitos). Sea n ∈ N y sea n = p`1 · · · p`m
su factorisación en números primos con p1 < . . . < pm . Para cada m-tuple (i = 1, ..., m)
(i) (i) Pri (i)
de successiónes monotones finitas de enteros 1 ≤ `1 ≤ . . . ≤ `ri con j=1 `j = `(i) ,
anotaremos en una lista el grupo

Z `(1) × . . . × Z `(1) × Z `(2) × . . . × Z `(2) ×. . . . . .× Z (m) × . . . × Z (m) .
p11 Z p1r1 Z p21 Z p2r2 Z p`m1 Z p`mrm Z
Entonces cada grupo Abeliano de orden n es isomorfo a exactamente un grupo de la lista.
Demostración. Supongamos que habrián dos grupos en la lista que son isomorfos. Por el
ejercicio anterior sigue que ya para cada primo pi que los subgrupos pi -primarias tienen que
ser isomorfos. Que ambos tienen que ser de la misma forma
Z `(i) × . . . × Z `(i)
r
pi 1 Z p1 i Z
sigue entonces de Lema 1.2.4.
Ahora sea G cualquier grupo Abeliano de orden n. Por Proposición 1.2.3, G es isomorfo al
producto directo de sus partes pi -primarias Gi , para 1 ≤ i ≤ r. Sabemos Gi es isomorfo a
un grupo de la forma
Z `(i) × . . . × Z `(i)
r
pi 1 Z pi i Z
(i) (i) P i (i)
con 1 ≤ `1 ≤ . . . ≤ `ri , según Proposición 1.2.5, y rj=i
(i)
`j = `(i) , porque |Gi | = p` .
Con este teorema de estructura de grupos Abelianos finitos, podemos decir para cualquier
orden n, que grupos Abelianos de orden n existen (modulo isomorfismo), i.e. tenemos una
clasificación de las clases de isomorfismos de grupos Abelianos finitos.
¿Cuantos grupos Abelianos no isofomorfos de orden 100 hay?
¿Cuantos grupos Abelianos no isofomorfos de orden 200 hay?
¿Cuantos grupos no isomorfos de orden 4 hay?
1.2.3. Acciones de grupos

Sea (G, ∗) un grupo y X un conjunto.
1.2.7 Definición. Una acción de G en X por izquierda es una función
G × X −→ X
(g, x) 7→ g.x
que satisface:
(i) ∀x ∈ X, ∀g, h ∈ G : (g ∗ h).x = g.(h.x),
(ii) ∀x ∈ X : 1G .x = x.
Si en lugar de (i) tenemos (i0 ) : ∀x ∈ X, ∀g, h ∈ G : (g ∗ h).x = h.(g.x), se dice acción por
derecha, y también podriamos escribir X × G → X en lugar de G × X → X tal que (i0 ) se
escribe más natural como x.(g ∗ h) = (x.g).h.
Para simplificar las notas en este subcapitulo, vamos a formular los resultados siempre para
acciones por izquierda, pero todos resultados valen (con adapción obvia) igualmente para
acciones por derecha.
Verifique los siguientes ejemplos:

1.2.8 Ejemplo. Sn actua fielmente por izquierda en {1, . . . , n} por σ.x := σ(x).
Para cualquier grupo (G, ∗), la operación ∗ : G × G → G puede ser considerado como
una acción de la primera copia de G por izquierda en la segunda copia de G, o como
una de la segunda copia de G por derecha en la primera copia de G.
Para cualquier grupo G, la conjugación g.x := gxg −1 defina una acción por izquierda
en su mismo. El conjunto de puntos fijos es Z(G).
Para H ≤ G, la acción canonica de G en GH por izquierda es definida por g.X := gX.
Un homomorfismo ϕ : G → H induce la acción g.h := ϕ(g)h de G en H por izquierda.

1.2.9 Definición. Sea G un grupo y sean X y Y dos conjuntos con acción de G por izquierda.
Una función
ϕ : X1 −→ X2
se llama G-equivariante si ∀g ∈ G, x ∈ X : ϕ(g.x) = g.ϕ(x). (y se defina de manera
parecida si los dos acciones son por derecha).
Para un conjunto X con G-acción por izquierda, llamamos O ⊆ X una órbita bajo G si
O = G.x := {g.x | g ∈ G}
para un x ∈ O. Obviamente, la acción de G en X se restringa a un acción en cualquier órbita

bajo G.
Pruebe que O = G.x para cualquier x ∈ G, y que dos orbitas distinctos son disjuntos:
La acción de G en X se dice transitiva si X es una órbita bajo G, i.e. si ∀x ∈ X : G.x = X.
Para x ∈ X, el estabilizador de x en G es definido por
Gx := {g ∈ G | g.x = x}.
Pruebe que Gx ≤ G:
Se considera la collección de clases izquierdas GGx como conjunto con G-acción por izquier-
da.
(Todos las definicions anteriores pueden ser adaptadas para acciones por derecha.)
1.2.10 Proposición. Sea X un conjunto con acción de un grupo G por izquierda, O ⊆ X

una órbita bajo G. Entonces, para x ∈ O tenemos que
ϕx : GGx −→ O
gGx 7→ g.x
es una biyección G-equivariante (con respecto a las G-acciones canonicas de GGx y O).
Demostración. Sea g, h ∈ G. Tenemos que gGx = hGx ⇔ h−1 g ∈ Gx ⇔ x = (h−1 g).x ⇔

h.x = g.x. Estas ecuivalencias muestran no solamente que ϕx es bien definida, pero también
que es inyectiva. La sobreyectividad de ϕx sigue del ejercicio anterior. Además, ϕx es G-
equivariante como ϕx (g1 .(g2 Gx )) = ϕx (g1 g2 Gx ) = (g1 g2 ).x = g1 .(g2 .x) = g1 .ϕx (g2 Gx )
1.2.11 Teorema (Ecuación de órbitas). Sea X un conjunto finito con acción de un grupo
finito G. Entonces |O| divide a ord(G), donde O es cualquier órbita, y
X
|X| = |O|
O⊆X
órbita
Demostración. El primer asunto sigue de Proposición 1.2.10 que muestra |G| = |O| · |Gx |
para x ∈ O. El segundo asunto sigue de un ejercicio anterior que las órbitas son dos a dos
disjuntos.
Como primer aplicación de la ecuación de orbitas, obtenemos el siguiente que se puede
comprender como un reciproco parcial del teorema de Lagrange (lo que dice que el orden de
cada elemento de un grupo es un divisor del grupo):
1.2.12 Teorema (Cauchy, 1845). Sea G un grupo finito y p un primo que divide a ord(G),
entonces ∃g ∈ G con ord(g) = p.
Demostración. Sea X := {(x1 , . . . , xp ) ∈ Gp | x1 · · · xp = 1G }. Como tenemos total libertad

en elegir los primeros p − 1 componentes de un p-tuple en X y el último es determinado por
esta elección, tenemos que |X| = |G|p−1 .
Ahora notamos que si (x1 , . . . , xp ) ∈ X, entonces (x2 , . . . , xp , x1 ) ∈ X, porque x2 · · · xp x1 =
x−1 −1 2
1 (x1 x2 · · · xp )x1 = x1 1G x1 = 1G . Luego, X admite una acción del subgrupo ciclico
H := h(1 2 . . . p)i ≤ Sp de orden p, definida por σ.(x1 , . . . , xp ) := (xσ(1) , . . . , xσ(p) ) para
σ ∈ H. Como ord(H) = p, las obritas bajo esta acción tienen cardinalidad 1 o p, y que, un
punto de X es fijo por H si y solo si es de la forma (a, . . . , a) con ap = 1G .
2
como H es Abeliano, no hay diferencias entre acciones por derecha o izquierda
Es claro que hay al menos un tal punto con a = 1G . Si podemos mostrar que hay otro punto
fijo con a 6= 1G , entonces a es un elemento de orden p.
Por Teorema 1.2.11 tenemos que cada la cardinalidad de cada órbita divide a p (i.e. su
cardinalidad o es 1 o es p), y que
X
|X| = ord(G)p−1 = |O|.
orbitas
El lado izquierdo es divisible por p. Por eso, no puede existir solamente un órbita O con
|O| = 1 (y los otros iguales a p). Como órbitas de cardinalidad uno corresponden a puntos
fijos, eso mustre que hay otro punto fijo en X que (1G , . . . , 1G ).
Sea G un grupo. Pruebe que x ∼c y ⇔ ∃g ∈ G : x = gyg −1 define una relación de equivalencia en

G, y que |[x]∼c | divide a ord(G) para cada x ∈ G:
Pruebe además que y |[x]∼c | = 1 ⇔ x ∈

/ Z(G) y verifique la ecuación de clases (de conjugación)
X
|G| = |Z(G)| + |C|
C∈{[x]∼c |x∈G\Z(G)}
1.2.13 Teorema. Sea G un p-grupo finito. Entonces Z(G) 6= {1G }.
Demostración. Eso es una consecuencia inmediata de la ecuación de clases, visto que p divide
a #[x]∼c para cada x ∈ G \ Z(G), y p divide también a ord(G).
1.2.14 Corolario. Sea p un número primo. Cada grupo de orden p2 es Abeliano.
Demostración. Supongamos que existe un grupo G orden p2 que no es Abeliano, i.e. con
G 6= Z(G). Como Z(G) no es trivial por Teorema 1.2.13, tenemos que ord(Z(G)) = p, y
por lo tanto [G : Z(G)] = p. Como Z(G) E G, tenemos que GZ(G) es un grupo de orden
p, y por lo tanto ciclico generado por cualquier elemento no neutro (porque son todos de
orden p). Sea x ∈ G \ Z(G). Se nota que cualquier g ∈ G es de la forma xr z para un
0 ≤ r ≤ p − 1 y z ∈ Z(G), y es facil a verificar que cualquier dos elementos de esta forma
conmutan [ejercicio]. De eso sigue la contradicción al suposición que G no es Abeliano. Por
lo tanto no puede existir un grupo no Abeliano de orden p2 .
Sea ? : G × X → Xuna acción por izquierda. Dada ? ϕ : G −→ SX , donde g ∈ G es enviado a

? ϕg : X → X, x 7→ g ? x. Pruebe que ? ϕ es bien definida y un homomorfismo de grupos:
Pruebe que un homomorfismo ϕ : G → SX induce una acción ?ϕ : G × X → X, (g, x) 7→ ϕ(g)(x)

por izquierda:
Pruebe que hay una correspondencia 1-a-1 entre homomorfismos G → SX y G-acciones por izquier-
da en X:
Sea G un grupo y X la colección de subgrupos de G. Pruebe que G × X → X, (g, H) 7→ gHg −1 es

una acción por izquierda. ¿A que corresponden puntos fijos de esta acción ?
1.2.4. Teoremas de Sylow

Para un conjunto X con acción de G, anotaremos
X G := {x ∈ X | G.x = {x}} ,
el subconjunto de los puntos fijos de X bajo la acción de G.

Recordamos que dado n ∈ N, cada m ∈ Z se escribe de manera única como m = ` · n + r con
` ∈ Z y r ∈ {0, 1, . . . , n − 1}. El número r se llama resto módulo n de m. Para m1 , m2 ∈ Z
anotaremos
m1 ≡ m2 mód n
si los restos módulo n de m1 y m2 coinciden, i.e. si (m1 − m2 ) es divisible por n, i.e. si
m1 + nZ = m2 + nZ in ZnZ.
1.2.15 Lema. Sea p un primo y G un p-grupo finito acutando en un conjunto finito X.
Entonces
|X| ≡ |X G | mód p.
P
Demostración. En efecto, sabemos que en general |X| = órbitas |O|, y que la cardinalidad
de cada órbita divide a |G|, que es pk para un k ∈ N0 . Luego, en un p-grupo la cardinalidad
de una órbita es o bien 1 (en el caso que la órbita corresponda a un punto fijo) o bien p`
para un 1 ≤ ` ≤ k. Por la ecuación de órbitas, el resto modulo p de |X| coincide con lo de

|X G |.
El siguiente teorema es una generalización de Teorema 1.2.12 (de Cauchy).
1.2.16 Teorema (Sylow I). Sea G un grupo finito y p un número primo. Sean m, k ∈ N0
con p - m y ord(G) = pk m. Entonces para cada 0 ≤ ` ≤ k existe H ≤ G con ord(H) = p` .
Demostración. Para ` = 0 no hay nada que mostrar. Supongamos que k ≥ 1, y probemos

recursivamente. Para ` = 1, el Teorema 1.2.12 nos dice que G contiene un subgrupo H1
de orden p. Ahora, tomemos 1 ≤ ` < k y supongamos que ya mostramos que existe H`
un subgrupo de orden p` . Consideramos la acción de izquierda de H` en GH` dado por la
restricción de la acción canonica de G en GH` . Por el Lema 1.2.15 tenemos que
H`
G G
H` ≡ H` mód p.

Como ` < k, se tiene que el lado izquierdo es divisible por p, entonces el lado derecho es
divisible por p. Como hay al menos un punto fijo (la clase H` ) en G, concluimos entonces
que H` fija al menos p de sus clases laterales. Pero H` fija una clase lateral izquierda gH` si
y solamente si
hgH` = gH` ∀h ∈ H` ,
lo que equivale a
g −1 hg ∈ H` ∀h ∈ H` ,
o en otra palabras que g ∈ NG (H` ) (el normalizador de H` en G). Concluimos entonces que
H`
G
H` = {gH` | g ∈ NG (H` )} = NG (H` )H` ,
por lo tanto el orden de NG (H` )H` es divisible por p y por lo tanto, nuevamente por el
Teorema 1.2.12 (de Cauchy), sabemos que existe un subgrupo de NG (H` )H` de orden p.
Como hemos mostrado anteriormente en un ejercicio, un tal subgrupo es de la forma HH`
para un subgrupo H ≤ NG (H` ) con H` ≤ H (toma el preimagen del subgrupo en GH` bajo
la proyección canónica G 7→ GH` ). Por lo tanto
ord(H) = ord(H` ) · ord(HH` ) = p` · p = p`+1 .
Podemos continuar de esta manera por recursión hasta que ` + 1 = k.
1.2.17 Definición. Sea G un grupo finito y p un primo. Sean m, k ∈ N0 con p - m y

ord(G) = pk m. Un subgrupo H ≤ G con ord(H) = pk se llama p-subgrupo de Sylow.
El primer teorema de Sylow (Teorema 1.2.16) demostró que cada grupo tiene un p-subgrupo
de Sylow (para cualquier primo p). El segundo teorema de Sylow demustra que todos los
p-subgrupos de Sylow de un grupo son conjugados.
1.2.18 Teorema (Sylow II). Sea G un grupo finito y p un primo. Sean H1 y H2 dos p-
subgrupos de Sylow de G. Entonces existe un g ∈ G tal que
gH1 g −1 = H2 .
Demostración. Considere la acción de H1 en GH2 dado por la restricción de la acción

canónica por izquierda de G. Por el Lema 1.2.15 tenemos que
H1
G G
H2 ≡ H2 (mod p).

Puesto que el lado izquierdo no es divisible por p, concluimos que existe algun punto fijo
gH2 ∈ GH2 para la acción de H1 . Esto dice que h1 gH2 = gH2 para todo h1 ∈ H1 , de donde
se sigue que g −1 h1 g ∈ H2 para todo h1 ∈ H1 . Concluimos entonces que g −1 H1 g ⊆ H2 . La
igualdad sigue del hecho que el automorfismo interno de G, dado por la conjugación por g,
es inyectivo, y de la finitud de H1 y H2 (que son de la misma cardinalidad).
Pruebe que cada p-subgrupo de un grupo finito está contenido en un p-subgrupo de Sylow:
Pruebe que cada p-subgrupo de un grupo infinito también esta contenido en un p-subgrupo máximo:
1.2.19 Teorema (Sylow III). Sea G un grupo finito y p un primo. Sean m, k ∈ N0 con p - m
y ord(G) = pk m. Denote np el número de p-subgrupos de Sylow de G. Entonces
(i) np divide a m,
(ii) np ≡ 1 mód p.
Demostración. Sea X el conjunto de los p-subgrupos de Sylow de G. Por el segundo teorema

de Sylow (Teorema 1.2.18), G actúa transitivamente por conjugación en el conjunto X. Para
H ∈ X, el estabilizador de H en G bajo la acción es GH = NG (H). Por la Proposición 1.2.10,
hay una biyección entre GN (H) y X. En particular, np = [G : NG (H)], y por lo tanto
G
m = [G : H] = [G : NG (H)] · [NG (H) : H] = np · [NG (H) : H],
lo que demuestra la parte (i) del teorema.

Para mostrar la parte (ii) del teorema, considere la acción por conjugación de H en el
conjunto X. Por 1.2.15 tenemos que

np = |X| ≡ X H mód p.
Afirmamos que X H = {H}: En efecto, si H̃ ∈ X es fijo por H, tenemos que H ≤ NG (H̃).

Como H̃ y H son también p-subgrupos de Sylow de NG (H̃), entonces por el segundo teorema
de Sylow (Teorema 1.2.18) tenemos que H y H̃ son conjugados en NG (H̃), pero como
H̃ E NG (H̃) por la definición del normalizador, se sigue que H̃ es fijo por conjugación
en NG (H̃), luego H = H̃. Concluimos entonces que X H = 1, y es por esto que np ≡ 1
mód p.
Pruebe que cada grupo de orden 21, 63 o 12 tiene un propio subgrupo normal (no trivial):
Sea p un primo. Ya sabemos que cada grupo de orden p es ciclico y cada grupo de orden
p2 es Abeliano. Como primera aplicación de los teoremas de Sylow, vamos a ver que cada
grupo de orden pq es ciclico, donde q es otro primo con p < q y tal que p no divide a q − 1.
Para eso necesitamos los siguientes ejercicios:
Sea G un grupo y sean g1 , g1 ∈ G con g1 g2 = g2 g1 y tal que ord(g1 ) no tiene divisor común con
ord(g2 ). Pruebe que ord(g1 g2 ) = ord(g1 ) · ord(g2 ):
Sean H1 , H2 ≤ G tal que H1 ∩ H2 = {1G }. Entonces |H1 H2 | = ord(H1 ) · ord(H2 ):
1.2.20 Teorema. Sean p < q primos con p 6 | (q − 1).Entonces cada grupo de orden pq es
cı́clico.
Demostración. Sea G un grupo de orden pq. Por el Teorema 1.2.16 (Sylow I) existen Hp un
p-subgrupo de Sylow y Hq un q-subgrupo de Sylow de G. Por el Teorema 1.2.19 (Sylow III)
tenemos que nq = 1, y por el Teorema 1.2.18 (Sylow II) se tiene que Hq E G.
Luego, como Hq ∩ Hp = {1G }, por el ejercicio anterior se tiene que |Hq Hp | = pq = ord(G),
y por lo tanto G = Hq Hp .
Como Hq E G, tenemos que Hp actua por conjugación en Hq ,y por la ecuación de órbitas,

tenemos que la cardinalidad de cada órbita
P divide a p = ord(Hp ), i.e. cada órbita o tiene
cardinalidad 1 o p, y además |Hq | = q = órbitas O.
Entonces existe al menos una órbita de cardinalidad 1, la clase de conjugación de 1G , y como
p no divide a q − 1, existe otra órbita más de cardinalidad 1, i.e. existe g ∈ Hq \ {1G } con
hgh−1 = g para cada h ∈ Hp . Elegimos cualquier h ∈ Hp \ {1G }, y obtenemos de hg = gh
y del ejercicio anterior que ord(hg) = ord(h) · ord(g) = pq. Entonces hhgi = G, i.e. G es un
grupo ciclico.
1.2.5. Producto semidirecto

Para dos grupos (N, ∗) y (H, ?) hemos visto en el subcapitulo anterior la definición del
producto directo (N, ∗) × (H, ?) como el producto Cartesiano N × H con la operación inde-
pendiente en cada componente. Pero esta no es la única forma de definir una operación en el
producto Cartesiano N ×H. Dado cualquier homomorfismo ϕ : (H, ∗) → Aut((N, ?)), h 7→ ϕh
podemos definir la operación:
·ϕ : (N × H) × (N × H) −→ N × H
[(n, h), (n0 , h0 )] 7→ (n ∗ ϕh (n0 ), h ? h0 )
Pruebe que la operación ·ϕ en N × H cumple con las axiomas de un grupo:
Esta estructura de grupo en el producto cartesiano de N y H se llama producto semi-

directo via ϕ, y lo anotaremos por
(N, ∗) oϕ (H, ?),
o simplemente N oϕ H.
Pruebe que las inclusiones canonicas ι1 : N ,→ N oϕ H, n 7→ (n, 1H ) y ι2 : H ,→ N oϕ H, h 7→ (1G , h)
son monomorfismos de grupos:
1.2.21 Observación. Cuando ϕ : H → Aut(N ) es el homomorfismo trivial h 7→ idN ,

entonces N oϕ H es el producto directo N × H.
Pruebe que si ϕ no es trivial o si un de los N, H no es Abeliano, entonces N oϕ H no es Abeliano:
1.2.22 Ejemplo (Los grupos dihedrales

de orden 2n). Sea n ≥ 3 un entero, y considere
¯ ¯
el homomorfismo inv : Z2Z → Aut ZnZ , `¯ 7→ inv` , donde inv` : ZnZ −→ ZnZ es el
automorfimso definido por m + nZ 7→ (−1)` m + nZ. Se puede mostrar [ejercicio] que inv
es un homomorfismo no trivial bien definido. Definimos el grupo dihedral de orden 2n
como
Dn := ZnZ oinv Z2Z.
1.2.23 Ejemplo. Cada homomorfismo de grupos de ZnZ es determinado por el imagen de

1 + nZ. Por otro lado, si relacionamos 1 + nZ a cualquier otro generador de ZnZ, eso define
un automorfismo de ZnZ. Consideremos n = 3, en este caso cada elemento de Z3Z salvo
el elemento neutro es un generador, y por lo tanto Aut(Z3Z) ∼ = Z2Z.
∼
Entoces, hay un único homomorfismo no trivial ϕ : Z2Z − → Aut(Z3Z), y como el único
automorfismo de Z2Z es la identidad, hay un solo producto semidirecto Z3Z o Z2Z = D3
no Abeliano y el producto directo Z3Z × Z2Z.
Sean H y N grupos y ϕ : H → Aut(N ) un homomorfismo. Identificamos H y N con sus

imagenes en N oϕ H bajo las inclusiones canonicas
H → N oϕ H, h 7→ (1N , h) y N 7→ N oϕ H, n 7→ (n, 1H ).
Con esta identificación, pruebe que N E N oϕ H, que H ∩ N = {(1Hnϕ N )} y que N ·ϕ H = N oϕ H:
Además, para h ∈ H ≤ N oϕ H y n ∈ N E N oϕ H, tenemos que que
ϕh (n) = (ϕh (n), 1H ) = (1n , h) ·ϕ (n, 1H ) ·ϕ (1N , h−1 ) = h ·ϕ n ·ϕ h−1 ,
es decir que ϕh corresponde a la restricción del automorfismo interior dado por h (i.e. ϕh =
ch |N ) bajos la identificación de H y N con sus imagenes en N oϕ H.
En analogı́a al criterio Teorema 1.2.2, mostraremos que las propiedades anteriores son de
hecho suficientes para cuando un grupo es isomorfo al producto semidirecto de un subgrupo
1.2.24 Teorema. Sea G un grupo, y sean H ≤ G y N E G, con H ∩ N = {1G } y G = N H.
Encontes
G∼= N oc H,
donde c : H → Aut(N ), h 7→ ch |N , con ch el automorfismo de conjugación por h.
Demostración. Como H ∩ N = {1G } tenemos que nh = n0 h0 ⇔ n = n0 & h = h0 para
n, n0 ∈ N y h, h0 ∈ H [ejercicio]. Por lo tanto, la función
N H −→ N oc N
nh 7→ (n, h)
es una biyección bien definida. Queda a mostrar que es un homomorfismo de grupos. Como
nhn0 h0 = nhn0 h−1 hh0 = nch (n0 )hh0 , tenemos que
(nh)(n0 h0 ) 7→ (nch (n0 ), hh0 ) = (n, h) ·c (n0 , h0 ).

e −∼ ∼
Sean f : H → H y g : N −→ N e isomorfismos de grupos. Sea ϕ : H → Aut(N ), h 7→ ϕh un
homomorfismo. Pruebe F(ϕ)h̃ := g ◦ ϕf (h̃) ◦ g −1 para h̃ ∈ H
e define un homomorphismo F(ϕ) : H
e →
Aut(Ne ) y que

F : Hom (H, Aut(N )) −→ Hom H,
e Aut(N
e)
ϕ 7→ F(ϕ)
es una biyección.
Dado un homomorfismo ϕ : H → Aut(N ), pruebe que (n, h) 7→ (g(n), f (h)) define un isomorfismo
∼ e
N oϕ H −
→N oF (ϕ) H.
e
Pruebe que cada grupo no Abeliano de orden 6 es isomorfo a Z3Z o Z2Z :
(En particular Z3Z o Z2Z ∼

= S3 )
1.2.25 Corolario (del ejercicio anterior). Sean N, H grupos, sea f ∈ Aut(H) y g ∈ Aut(N ).
Para cg ∈ Int (Aut(N )), tenemos para cualquier homomorfismo ϕ : H → Aut(N ) que
N oϕ H = N ocg ◦ϕ◦f H.
1.2.26 Observación. Sea Pn un polı́gono regular en el plano, y denota Isom(Pn ) el grupo

de las isometrı́as del plano (biyecciones del plano que preserven distancias entre los puntos)
que actúan en un polı́gono regular de n esquinas. Vamos a ver que Isom(Pn ) ∼ = Dn :
Como primera observación, se ve que una isometrı́a que actua como identidad en el polı́gono
regular, entonces la isometrı́a tiene que ser la identidad, porque cada punto del plano esta
definido por su distancia a tres puntos diferentes del polı́gono. Se ve que hay exactamente
◦
dos tı́pos de isometrias que actúan en el polı́gono: Por uno, hay rotaciones por k·360
n
grados
arondedor del centro de gravidad, para cada 1 ≤ k ≤ n. Claro que este conjunto de rotaciones
Rot(Pn ) es un sub-grupo cı́clico de orden n de Isom(Pn ).
El otro tipo de isometrias en Isom(Pn ) son reflecciones

por ejes que pasan por el centro de gravidad del poli-
gono y por una esquina o por el medio de dos esquinas
vecinas. En total hay n reflecciones: En caso que n es
impar, cada esquina del polı́gono corresponde exacta-
mente a una reflección - la para que la eje pasa.
En caso que n es par, hay n2 ejes que pasan por esquinas

del polı́gono, pero también hay n2 ejes que pasan por la
midad de dos esquinas. En todo caso Isom(Pn ) consiste
de n reflecciones y n rotaciones.
Como [Isom(Pn ) : Rot(Pn )] = 2, tenemos que
Rot(Pn ) E Isom(Pn ). Sea τ ∈ Isom(Pn ) cualquier re-
flección. Por Teorema 1.2.24, tenemos que Isom(Pn ) ∼ =
Rot(Pn ) oc hτ i.
Sea ρ ∈ Rot(Pn ) cualquier rotación, se ve que τ ◦ ρ ◦ τ −1 = ρ−1 . Eso demuestro que,

bajo la identificación de hτ i con Z2Z y una de Rot(Pn ) con ZnZ, la conjugación
c :
Z Z
hτ i → Aut(Rot(Pn )) se comporta como el homomorfismo inv : 2Z → Aut nZ . Por
Teorema 1.2.24 y el último bloque de ejercicios, tenemos que
Isom(Pn ) ∼
= Rot(Pn ) oc hτ i ∼
= ZnZ oinv Z2Z = Dn .
En Teorema 1.2.20, hemos mostrado que cada grupo de orden pq es cı́clico si p < q son
primos tal que p no divide a q − 1. Ahora vamos a estudiar que se pasa cuando p divide a
q − 1, generalizando el resultado para grupos de orden 6.

Z
1.2.27 Observación. Si q es primo, entonces el grupo Aut qZ tiene orden q − 1, como
hay q − 1 generadores de ZqZ. Vamos a ver en el próximo capitulo sobre anillos,

que Aut ZqZ es cı́clico.
1.2.28 Lema. Sean p < q primos. Entonces

Z Z
∃ homomorfismo ϕ : pZ → Aut qZ no trivial ⇐⇒ p divide a q − 1.

e : ZpZ → Aut ZqZ son dos homomorfismos no triviales, entonces
Además, si ϕ, ϕ
Z oϕ Z ∼ Z Z
qZ pZ = qZ oϕe pZ.

Demostración. Los homomorfismos no triviales ϕ : ZpZ → Aut ZqZ corresponden a

elementos de orden p en Aut qZ . Como Aut ZqZ = q − 1, un tal elemento existe si
Z

y solamente si p divide a q−1. Además, como Aut ZqZ es ciclico según Observación 1.2.27,
contiene un único subgrupo H de orden p, y por eso, los homomorfismos no triviales ZpZ →

Aut qZ son exactamente los isomorfismos ZpZ → H.
Z
Dado dos isomorfismos ϕ, ϕ e : ZpZ → H, definimos el automorfismo f := ϕ−1 ◦ ϕ e de ZpZ,

tenemos que ϕ e = ϕ ◦ f . El enunciado sigue por Corolario 1.2.25.
Dado primosp < q tal que p divide a q − 1, fijamos cualquier homomorfismo no trivial
Z → Aut Z Z Z
pZ qZ , y anotaremos qZ o pZ para el producto semi-directo con respecto
a este homomorfismo.
1.2.29 Teorema. Sea G un grupo de orden pq con p < q primos. Si G es Abeliano, entonces
G∼= ZqZ × ZpZ. Si G no es Abeliano, entonces p divide a q − 1 y G ∼
= ZqZ o ZpZ.
Demostración. El caso donde G es Abeliano es una consecuencia directa de Teorema 1.2.6. Si

G no es Abeliano, entonces tenemos necessariamente que p divide a q − 1 por Teorema 1.2.20
. Por los teoremas de Sylow existe N E G con |N | = q Como también existe H ≤ G de
orden p (por Teorema 1.2.12), y como obviamente N ∩ H = {1G } y G = N H, tenemos por
Teorema 1.2.24 que G es un producto semi-directo de N ∼ = ZqZ y H ∼ = ZpZ no Abeliano.
El enunciado sigue por Lema 1.2.28.
1.2.6. Clasificación de pequeños grupos

1.2.30 Teorema. Sea G un grupo de orden 12. Si G es Abeliano, entonces G ∼
= Z4Z × Z3Z
2
oG∼ = Z2Z × Z3Z. Si G no es Abeliano, entonces es isomorfo a exactamente unos de
2 2
Z Z Z Z Z
los siguientes tres grupos no Abelianos: 2Z o 3Z, 3Z o 4Z o 3Z o 2Z . Z
Demostración. Como hemos visto en un ejercicio, se puede mostrar que G contiene o un

subgrupo normal N de orden 3 o un subgrupo normal N de orden 4 (o ambos subgrupos de
Sylow son normales). Si |N | = 3, entonces sea H cualquier 2-subgrupo de Sylow. Si |N | = 4,
sea H cualquier 3-subgrupo de Sylow. En ambos casos tenemos por Teorema 1.2.24, que
G∼ = N oc H, i.e. que G es isomorfo a un producto semidirecto de un grupo de orden 3 (i.e.
Z ) y un grupo de orden 4 (i.e. Z o Z × Z ).
3Z 4Z 2Z 2Z
Como Aut Z4Z ∼ = Z2Z, cada homomorfismo Z3Z → Aut Z4Z es trivial, y por lo
tanto no hay productos semi-directos no Abelianos de la forma Z4Z o Z3Z.
2
Z o Z : Se puede mostrar que Aut (Z )2 ∼ = S3 , lo que contiene un único
2Z 3Z 2Z

Z Z 2
subgrupo de orden 3, y por lo tanto los 2 homomorfismos no triviales 3Z → Aut ( 2Z)
son relacionados por un automorfismo de Z3Z. Por Corolario 1.2.25 hay un único (modulo
isomorfismo) producto semidirecto no Abeliano de esta forma.
Z o Z : Como Aut(Z ) ∼ Z Z Z
3Z 4Z 3Z = 2Z, hay un solo homomorfismo ϕ : 4Z → Aut( 3Z)
no trivial, y por lo tanto hay un único producto semi directo no Abeliano de esta forma.
2 2
Z o Z Z Z ∼ Z
3Z 2Z : Hay 3 homomorfismos no triviales ϕ : 2Z → Aut( 3Z) = 2Z
(enviar cualquier elemento de orden dos al generador y el resto al elemento neutro). Cada
2
dos de ellos son relacionados por un automorfismo de Z2Z . Por Corolario 1.2.25 hay un
único (modulo isomorfismo) producto semidirecto no Abeliano de esta forma.
Queda solamente de mostrar [ejercicio] que cada dos de los tres grupos no son isomorfos.

1 0 i 0 0 1 0 i
Pruebe que Q8 := ± ,± ,± ,± ≤ Gl2 (C). (Se llama
0 1 0 −i −1 0 i 0
grupo de cuaterniones).
* Sea G un grupo de orden 8 que tiene un único elemento de orden 2 y con g 4 = 1G para cada
g ∈ G. Pruebe que G ∼
= Q8 .
** Sea G un grupo de orden 8 con G ∼ 6 Q8 . Pruebe que hay N E G y g ∈ G \ N con |N | = 4 y

=
g 2 = 1G . Pruebe además que si N no es cı́clico, entonces G ∼
= D4 .
Pruebe que Aut(Z2Z × Z2Z) ∼

= S3 y que cada dos automorfismos de orden 2 son conjugados en
Z Z
Aut( 2Z × 2Z).
2
Denota Z2Z o Z2Z el producto semidirecto con respecto a un homomorfismo Z2Z →
2
Z Z ∼
Aut 2Z × 2Z no trivial. Pruebe que D4 =
6 Z2Z o Z2Z ∼
6 Q8 ∼
= 6 D4 .
=
2
Pruebe que cada grupo no Abeliano de orden 8 es isomorfo o a Q8 , o a Z2Z o Z2Z, o a D4 .
Para cada n ≤ 15 ¿Cuantos grupos no isomorfos de orden n hay?

1.3. Grupos solubles, nilpotentes y simples

1.3.1 Definición. Un grupo G se llama soluble si ∃ n ∈ N y una cadena de subgrupos
propios sucesivamente normales (serie normal )
{e} = Gn E Gn−1 E · · · E G0 = G,
tal que ∀ i ∈ {0, . . . , n} el grupo cociente GiGi+1 es abeliano.
1.3.2 Definición. El subgrupo de conmutadores de G, denotado por K(G), es el sub-

grupo generado por el conjunto de conmutadores {xyx−1 y −1 | x, y ∈ G}.
Pruebe que K(G) E G con GK(G) abeliano y que K(G) ⊆ N para cada N E G con GN abeliano.
Definimos iterativamente K n (G) := K(K n−1 (G)).

1.3.3 Teorema. G es soluble si y solo si ∃ n ∈ N tal que K n (G) = {e}
Demostración. Supongamos que existe n ∈ N tal que K n (G) = {e}, entonces podemos
considerar la serie normal
{e} = K n (G) E K n−1 (G) E · · · E K(G) E G,
la cual demuestra que G es resoluble. Ahora supongamos que existe una serie normal
{e} = Gn E Gn−1 E · · · E G0 = G.
Demostraremos que Gi contiene a K i (G) por inducción sobre i. Para i = 1, como G0G1 es
abeliano, tenemos que K(G) ⊆ G1 . Suponemos la afirmación para un i, y concluimos que
entonces se cumple también para i + 1: Por hipotésis K i (G) ⊆ Gi . Aplicando el conmutador
en ambos lados, obtenemos que
K i+1 (G) ⊆ K(Gi ) ⊆ Gi+1 ,
por el ser abeliano de GiGi+1 . Por tanto hemos mostrado para cada i ∈ N: si i ≤ n entonces
K i (G) ≤ Gi . En particular K n (G) = {e}.
Es obvio que cada grupo abeliano G es soluble. Analizamos los grupos simétricos y obser-
varmos primero que K(Sn ) = An ya que cada 3-ciclo es un conmutator de trasposiciones. La
solubilidad de Sn es entonces equivalente a la solubilidad de An .
1.3.4 Ejemplo. 1. K(A3 ) = {e}, por lo cual S3 es soluble.
2. K(A4 ) ∼
= Z2Z × Z2Z, es abeliano por lo cual S4 es soluble.
3. K(An ) = An para n ≥ 5 , por lo cual Sn no es soluble cuando n ≥ 5
1.3. GRUPOS SOLUBLES, NILPOTENTES Y SIMPLES 37
En particular hay grupos finitos que no son solubles. La siguiente simple observación va a
ser importante en el estudio de la representabilidad de soluciones de ecuaciones polinomiales
por formulas en radicales (comó aplicación de la teorı́a de Galois), por lo cual la llamamos
teorema.
1.3.5 Teorema. Sea G un grupo finito soluble, entonces existe una serie normal de G,
{e} = Gn E Gn−1 E · · · E G0 = G,
con GiGi+1 cı́clico de orden primo.
Demostración. Sea
{e} = Gn E Gn−1 E · · · E Gi+1 E Gi E · · · E G0 = G,
con GiGi+1 abeliano y finito. Consideramos un i fijo. Si GiGi+1 aún no es de orden primo,
tomamos cualquier elemento de orden primo en GiGi+1 y consideramos el subgrupo propio
U GiGi+1 de orden primo.
Denote πi : Gi → GiGi+1 la proyección canónica y ponemos N := πi−1 (U ) E Gi . Entonces,
Gi+1 E N E Gi . Por un lado tenemos por el primer teorema del isomorfismo que NGi+1 ∼ =
U es un grupo de orden primo, y por otro lado observamos por el segundo teorema del
isomorfismo
Gi
Gi ∼ Gi+1 N ,
N=

Gi+1
que GiN queda abeliano y tien orden estrictamente menor que lo de GiGi+1 . Si GiN aún
no es ciclico podemos continuar iterativamente como antes con N en lugar de Gi+1 , y ası́
podemos agrandar la serie normal hasta que cada cociente succesivo es de orden primo.
Por la characterización por de la solubilidad por el desvanecer de iteraciones de grupos
conmutadores, es bastante obvio que cualquier subgrupo de un grupo soluble lo es también.
Cualquier homomorfismo sobreyectivo G → H se restringa obviamente a un homomorfismo
sobreyectivo K(G) → K(H), por lo cual si G es soluble, entonce H lo es también. En
particular cualquier grupo cociente de un grupo soluble es soluble. El próximo teorema es
una conclusión reversa. Formalizamos antes el dicho de una forma más precisa:
1.3.6 Lema. Sea ϕ : G 7→ G0 , homomorfismo de grupos, H ≤ G y n ∈ N, entonces
1. ϕ(K(H)) = K(ϕ(H))
2. ϕ(K n (G)) ⊆ K n (G0 ), con igualdad de conjuntos cuando ϕ es sobreyectivo.
Demostración. 1. Sean a, b ∈ H, entonces ϕ(aba−1 b−1 ) = ϕ(a)ϕ(b)ϕ(a)−1 ϕ(b)−1 ∈ K(ϕ(H)).
2. Probemos la inclusión por inducción sobre n. Para n = 0, tenemos que
ϕ(K 0 (G)) = ϕ(G) ≤ G0 = K 0 (G).

Ahora supongamos que la inclusión se cumple para un n ∈ N, entonces
ϕ(K n+1 (G)) = K(ϕ(K n (G)) ≤ K(K n (G0 )) = K n+1 (G0 ),
con igualdad cuando ϕ es sobreyectivo.
1.3.7 Teorema. Sea G un grupo. Entonces G es soluble si y solamente si existe N E G un

subgrupos normal soluble tal que GN es soluble.
Demostración. Supongamos que N y GN son solubles. Consideremos la proyección canónica

π : G 7→ GN . Por Lema 1.3.6 tenemos que

n n G
π(K (G)) = K N = {eG },
N
para algún n ∈ N, lo que demuestra que K n (G) ⊆ N . Como subgrupo de un grupo soluble
K n (G) es soluble, y por eso obviamente G también es soluble.
La otra implicación que con G cada subgrupo y cada cociente también es soluble ya discu-
timos antes.
Demuestre que cada p-grupo finito (para un primo p) es soluble.
Como caso particular de grupos solubles, se considera a veces también la siguiente clase de
grupos:
1.3.8 Definición. Un grupo G se llama nilpotente si ∃ n ∈ N y una serie normal
{e} = Gn E Gn−1 E · · · E G0 = G,

G G
tal que ∀ i ∈ {0, . . . , n − 1} el grupo cociente Gi+1 es contenido en Z Gi+1 , el
i
centralizador de GGi+1 .
1.3.9 Definición. Para dos subgrupos H, M ≤ K, el subgrupo conmutador de H

por M , anotado por [H, M ], es el subgrupo generado por el conjunto de conmutadores
{xyx−1 y −1 | x ∈ H, y ∈ M }.
En analogı́a al Teorema 1.3.3, hay una caracterización equivalente utilizando conmutadores:
1.3.10 Teorema. Un grupo G es nilpotente si y solamente si la sucesión de subgrupos

iterativamente definida por G0 := G y Gi+1 := [Gi , G] llega a Gn = {1G } para un n ∈ N.
Demostración. La dejamos como ejercicio en analogı́a a la demostración de Teorema 1.3.3.
Al otro lado del espectro, se define
1.3.11 Definición. Un grupo G se llama simple si no contiene propios subgrupos normales.

1.3. GRUPOS SOLUBLES, NILPOTENTES Y SIMPLES 39
En particular, los grupos simples no son solubles.

En el siguiente vamos a utilizar que A5 no es soluble (lo que mostraremos como ejercicio),
junto con la clasificación de grupos de ordenes pequeños, para demostrar que de hecho A5
es simple. Pero antes de eso necesitamos un lema un poco más debil:
1.3.12 Lema. El único propio subgrupo normal no trivial de S5 es A5 .
Demostración. Sea N E S5 un propio subgrupo normal. Consideramos primero por qué es

suficiente demostrar o la existencia de un 3-cı́clo en N o de un producto de dos trasposiciones
con soporte disjunto en N : Dado que N es cerrado bajo conjugación en N , obtenemos con un
3-ciclo (x1 x2 x3 ) cual quier otro 3-cı́clo (y1 y2 y3 ) = (σ(x1 ) σ(x2 ) σ(x3 )) = σ ◦ (x1 x2 x3 ) ◦ σ −1
por una conjugación por una σ ∈ S5 adecuada, y como A5 es generado por los 3-cı́clos de S5 ,
obtenemos que A5 ≤ N . Como consequencia, si tenemos un producto de dos trasposiciones
(x1 x2 ) ◦ (y1 y2 ) ∈ N con soporte disjunto, entonces elegiendo la trasposición τ = (x2 x3 ) con
x3 ∈ {1, . . . , 5} \ {x1 , x2 , y1 , y3 }, obtenemos
τ ◦ (x1 x2 ) ◦ (y1 y2 ) ◦ τ −1 = (x1 x3 ) ◦ (y1 y2 ) ∈ N,
y por tanto tenemos un 3-cı́clo (x1 x2 x3 ) = (x1 x2 ) ◦ (y1 y2 ) ◦ (x1 x3 ) ◦ (y1 y2 ) ∈ N .

Ahora queda a mostrar que N necesariamente contiene o un 3-cı́clo o un producto de dos
trasposiciones con soporte disjunto. Observamos primero N \ {id} no puede consistir sola-
mente de 5-ciclos (es decir los elementos de S5 de orden 5). Los dos 5-cı́clos (1 2 3 4 5) y
(2 1 3 4 5) son conjugados (por (1 2)) pero no generan el mı́smo subgrupo de orden 5. Según
los teoremas de Sylow existen exactamente seis 5-subgrupos de Sylow, cuyo unión es de car-
dinalidad 25 y por tanto no puede ser un subgrupo de S5 .
Sea entonces σ ∈ N \ {id} un elemento que no es un 5-cı́clo. Por Proposición 1.1.14 po-
demos escribir de manera única como un producto de ciclos con soportes disjuntos. En
S5 quedan entonces solamente las posibilidades σ = (x1 x2 x3 ), o σ = (x1 x2 ) ◦ (y1 y2 ) o
σ = (x1 x2 x3 ) ◦ (y1 y2 ). En los primeros dos casos estamos ya listos, y en el tercer caso tene-
mos σ 2 = (x1 x3 x2 ) ∈ N . (Observe que σ no puede ser una trasposición, ya que N contiendra
todos trasposiciones en este caso y por tanto tendrı́amos N = S5 ).
La orbita de cualquier elemento de A5 \ {id} bajo la acción de conjugación de A5 tiene cardinalida

al menos 5.
1.3.13 Teorema. A5 es un grupo simple.
Demostración. Supongamos que A5 contiene un propio subgrupo normal no trivial N . Por

la normalidad, A5 actua en N por conjugación y la única orden P`de cardinalidad 1 es la orbita
de id. Por la ecuación de orbitas obtenemos que |N | = 1 + i=1 |Oi | para un ` > 1 donde
|Oi | ≥ 5 son propios divisores de |A5 | = 60, igual que |N |. La lista de propios divisores de
60 es: 2, 3, 4, 5, 6, 10, 12, 15, 20, 30. Por esta lista ya podemos concluir que las posibles
valores de |N | están dentro de la lista: 6, 10, 12, 15, 20 y 30. Vamos a excluir uno por uno
las posibilidades. Consideramos primero la posibilidad que |N | = 30, es decir de orden 2 en
A5 . Sea τ ∈ S5 una trasposición. Por Lema 1.3.12 veamos que τ ◦ N ◦ τ −1 6= N es también un

subgrupo normal de indice 2 en A5 , y por el 3er teorema del isomorfismo, Teorema 1.1.35, se
ve que τ ◦ N ◦ τ −1 ∩ N es un subgrupo normal de indice 2 de N , ya que (τ ◦ N ◦ τ −1 ) ◦ N = A5 .
Como intersección de subgrupos normales, obtenemos que τ ◦ N ◦ τ −1 ∩ N es un subgrupo
normal de indice 4 en A5 , y por tanto de orden 15. Pronto vamos a mostrar que cada
grupo de orden 15 es soluble, y como cada grupo de orden 4 es Abeliano, obteneremos por
Teorema 1.3.7 que A5 es soluble, en contradicción a lo que mostramos en ejercicios.
En los casos |N | ≤ 20 obtenemos por una simple aplicación (en el caso 12 un póco menos
simple) de los teoremas de Sylow, que el grupo N contiene un subgrupo normal U E N o
de orden p (o posiblemente de orden p2 en el caso de 12) para un primo p con NU de orden
q 2 (o posiblemente q en el caso de 12) por lo cual de toda manera id E U E N E A5 es una
seria normal con sucesivas cocientes Abelianos (vea se Corolario 1.2.14), lo que implica de
nuevo la contradicción que A5 es soluble.
Acabamos de mostrar que
1.3.1. El grupo libre y presentaciones de grupos

Sea S un conjunto. Una palabra es una sucesión finita (posiblemente vacı́a) en S × {1, −1}.
Por convención escribimos s en lugar de (s, 1) y s{−1} en lugar de (s, −1) para cualquier s ∈ S.
En el conjunto PS de palabras en S definimos una relación de equivalencia de manera:
Se dice p, p̃ ∈ PS se dicen elementalmente equivalentes si
∃p1 , p2 ∈ P, s ∈ S : p = p1 p2 ∧ p̃ = p1 ss{−1} p
1.3.2. Grupos como objetos geométricos

Capı́tulo 2
Anillos
2.1. Teorı́a básica
2.1.1. Definiciones y ejemplos

2.1.1 Definición. Un anillo es un conjunto con dos operaciones (A, +, ·) (llamados addición
y multiplicación), tal que
(i) (A, +) es un grupo Abeliano.
(ii) (A, ·) es un conjuto con operación associativa y con elemento neutro.
(iii) ∀a, b, c ∈ A : a · (b + c) = (a · b) + (a · c) & (b + c) · a = (b · a) + (c · a). (“distributividad”).
En el siguiente utilizamos la convención que la multiplicación se afectua antes de la addición,

si no hay parentesis que indican el contrario, es a decir que a · b + c := (a · b) + c &
a + b · c := a + (b · c) para cualquier a, b, c ∈ A.
El elemento neutro de la addición + lo anotaremos por 0A , o simplemente 0.
El elemento neutro de la multiplicación · lo anotaremos por 1A , o simplemente 1.
El inverso con respecto a la addición de un a ∈ A anotaremos por −a, y el inverso de

ambos lados con respecto a la multiplicación (si existe) anotaremos por a−1 .
A∗ := ({a ∈ A | ∃a−1 ∈ A}, ·) es un grupo [ej]; llamado grupo multiplicativo de A.
41
42 CAPÍTULO 2. ANILLOS
Pruebe que 0A · a = 0A = a · 0A para cada a ∈ A y que a · (−b) = −(a · b) = (−a) · b para cada
a, b ∈ A:
Pruebe que 1A = 0A ⇔ |A| = 1:

Sea n ∈ N. Pruebe que con (a + nZ) · (b + nZ) := ab + nZ tenemos que ZnZ, +, · es un anillo:
Sea X cualquier conjunto y sea P(X) el conjunto que consiste de todos los subconjuntos de X.
Para A, B ∈ P(X) define A∆B := (A \ B) ∪ (B \ A). Pruebe que (P(X), ∆, ∩) es un anillo:
Un anillo (A, +, ·) se llama conmutativo si ab = ba para cada a, b ∈ A.

Sea a, b ∈ A \ {0A } con ab = 0A . Se dice a un divisor de cero (de izquierda) y b un
divisor de cero (de derecha).
Un anillo (A, +, ·) se llama cuerpo (conmutativo o no) si A∗ = A \ {0A } (i.e. si cada
elemento no zero tiene un inverso de ambos lados con respecto a la multiplicación).
Un anillo conmutativo sin divisores de zero se llama dominio de integridad.
Rellene la siguiente tabla

(A, +, ·) (R, +, ·) (Q, +, ·) (Z, +, ·) (M2×2 (C), +, ◦) Z , +, · (P({1, 2}), ∆, ∩)
3Z
¿ conmutativo? X X
¿∃ div. de zero? 7 {1} ∩ {2} = ∅
¿cuerpo? X
Vamos a decir más economicamente cuerpo para un cuerpo conmutativo en el siguiente.

2.1.2 Teorema. Sea n > 1 un entero. Los siguientes son equivalentes:
(i) n es primo.

(ii) ZnZ, +, · es un cuerpo.

(iii) Z , +, · es un dominio de integridad.
nZ
Demostración. (i) ⇒ (ii): Sea 0 6= x ∈ Z ∈ ZnZ, i.e. x = a + nZ para un a que no es

divisible por n. Consideramos el homomorfismo de grupos
Z → Z
nZ nZ
b + nZ 7→ ab + nZ.
El nucleo de este homomorfismo es trivial si n es primo, porque en este caso, si n no divide

a b, entonces n no divide a ab. Por lo tanto el homomorfismo es inyectivo, y por lo tanto
sobreyectivo. En particular hay b + nZ tal que (a + nZ)(b + nZ) = ab + nZ = 1 + nZ.
(ii) ⇒ (iii): trivial.
(iii) ⇒ (i): Si n no es primo, entonces n = ab para unos enteros a, b > 1. Por lo tanto
(a + nZ)(b + nZ) = ab + nZ = 0 + nZ.

2.1.3 Definición. Para p un primo, anotaremos por Fp el cuerpo ZpZ, +, · .
2.1.4 Ejemplo. (Los cuaterniones de Hamilton) Sea H el R-subespácio vectorial de

M2×2 (C) generado por

1 0 i 0 0 1 0 i
, , , y .
0 1 0 −i −1 0 i 0
| {z } | {z } | {z } | {z }
=:1 =:i =:j =:k
Se ve que i2 = j2 = k2 = −1, y que ij = k y ji = −k. Por lo tanto tenemos también que

ik = −j y ki = j, y finalmente que jk = i y kj = −i. De esto no sigue solamente que H es
cerrado bajo la multiplicación (y un subanillo de M2×2 (C)), pero sigue también
(a1 + bi + cj + dk) (a1 − bi − cj − dk) = (a2 + b2 + c2 + d2 )1
para cualquier a, b, c, d ∈ R. Eso demuestra que H un cuerpo no conmutativo.
2.1.5 Observación. Si (A, +A , ·A ) y (B, +B , ·B ) son anillos, entonces A × B es un anillo

con los operaciones definidos en cada componente.
2.1.2. Homomorfismos, ideales y anillos cocientes

Sean (A, +, ·) y (B, +, ·) dos anillos. Una función ϕ : A → B se llama homomorfismo de
anillos si
(i) ∀a, a0 ∈ A : ϕ(a + a0 ) = ϕ(a) + ϕ(a0 ).
(ii) ∀a, a0 ∈ A : ϕ(a · a0 ) = ϕ(a) · ϕ(a0 ).
(iii) ϕ(1A ) = 1B .
Observe que un homomorfismo de anillos ϕ : (A, +, ·) → (B, +, ·) es en particular un homo-

morfismo de los grupos aditivos.
Si ϕ es además biyectivo, se dice isomorfismo de anillos (o automorfismo si A = B). Si
es inyectivo, se llama un encrustamiento de A en B.
Pruebe que si ϕ : A → B es un isomorfismo de anillos, entonces ϕ−1 : B → A lo es también:
Pruebe que si B no contiene divisores de cero entonces cada funcción no trivial ϕ : A → B que
cumple con (i) y (ii) automaticamente cumple con (iii) :
Pruebe que si ϕ : A → B es un homomorfismo de anillos, entonces ϕ(A∗ ) ⊆ B ∗ y ϕ|A∗ : A∗ → B ∗

es un homomorfismo de los grupos multiplicativos:
Pruebe que im(ϕ) es un subanillo de B:
Escribimos (A, +, ·) ∼
= (B, +, ·) si existe un isomorfismo de anillos entre (A, +, ·) y (B, +, ·).
Como en el caso de grupos, eso define una relación de equivalencia entre anillos.
Un subanillo de un anillo (A, +, ·) se defina de misma manera que un subgrupo como un
subconjunto B no vacı́o, cerrado bajo las operaciones ‘+’ y ‘·’ tal que la restricción de estas
operaciones a B le da la estructura de un anillo (con necesariamente los mismos elementos
neutros [ejercicio]). Pero la noción más importante que lo de un subanillo va a ser lo de un
ideal:
2.1.6 Definición. Sea (A, +, ·) un anillo. Un subconjunto I ⊆ A se llama ideal izquierdo

(o derecho) si I es un subgrupo additivo de (A, +), y si además a · I ⊆ I (o I · a ⊆ I) para
cada a ∈ A. Un ideal izquierdo que es también un ideal derecho, se llama ideal bilatero.
Pruebe que en la definición uno podrı́a remplazar la condicion que I es un subgrupo aditivo por la
condición más debil que I es no vacı́o y cerrado bajo la adición:
Para anillos conmutativos obviamente no hay diferencia entre ideales izquierdos y ideales
derechos, y decimos simplemente ideal en lugar de “ideal bilatero” en este caso.
2.1.7 Ejemplo. Cada anillo (A, +, ·) contiene el ideal trivial bilatero {0A } y el ideal
bilatero A.
Los ideales de (Z, +, ·) son exactamente los nZ para cualquier n ∈ N0 .

a 0
| a, b ∈ R es un ideal izquierdo de M2×2 (R), pero no un ideal derecho.
b 0
Sea ϕ : A → B un homomorfismo de anillos. Pruebe que ker(ϕ) = ϕ−1 ({0B }) es un A-ideal bilatero:
Pruebe además que para cualquier B-ideal izquierdo (o derecho) J, la preimagen ϕ−1 (J) es un
A-ideal izquierdo (o derecho):
El siguiente lema generaliza la manera de como hemos dado una estructura de anillo a ZnZ.
2.1.8 Lema. A un anillo y sea I un ideal bilatero de A. Entonces
· : AI × AI → AI

(a1 + I , a2 + I) 7→ a1 a2 + I

es una operación bien definida y AI , +, · es un anillo. Además, la proyección canonica
: A → AI es un homomorfismo de anillos.
Demostración. Para mostrar que la multiplicación es bien definida, tenemos que mostrar que
la definición no depende de representantes. Sea bi + I = ai + I para i = 1, 2, es decir que
ai − bi ∈ I. Como a1 a2 − b1 b2 = a1 a2 − b1 a2 + b1 a2 − b1 b2 = (a1 − b1 )a2 + b1 (a2 − b2 ) ∈ I,
tenemos que a1 a2 + I = b1 b2 + I. La asociatividad y distributividad son heredadas de A, y
1A + I es un elemento neutro de la multiplicación.
Finalemente ab = ab+I = (a+I)(b+I) = a·b y 1A = 1A +I = 1A muestra que la proyección
I
canonica no es solamente un homomorfismo de grupos, sino también un de anillos.

A , +, · se llama anillo cociente de A por el ideal bilatero I.
I
2.1.9 Teorema (Teorema del Homomorfismo). Sea ϕ : A −→ B un homomorfismo de
anillos y I un ideal bilatero de A con I ⊆ ker(ϕ). Entonces
ϕ : AI −→ B
a + I 7→ ϕ(a)
es un homorfismo de anillos con ker(ϕ) = ker(ϕ)I .

Demostración. Ya sabemos de Proposición 1.1.31 que ϕ es un homomorfismo de grupos
(additivos) bien definido con ker(ϕ) = ker(ϕ)I . Como ϕ(a · b) = ϕ(ab) = ϕ(ab) = ϕ(a) ·
ϕ(b) = ϕ(a) · ϕ(b), y como ϕ(1A ) = ϕ(1A ) = 1B , tenemos que ϕ es incluso un homomorfismo
de anillos.
2.1.10 Corolario (Teorema del isomorfismo de anillos). Sea ϕ : A → B un homomorfismo
de anillos. Entonces Aker(ϕ) ∼
= im(ϕ) como anillos.
Aún que algunos (pero no todos) de las siguientes conceptos pueden ser generalizados a
anillos no conmutativos, vamos a suponer para el resto del sub capitulo que (A, +, ·)
siempre anota un anillo conmutativo.
2.1.11 Definición. Sea (A, +, ·) un anillo conmutativo. Un ideal propio p ( A se dice ideal
primo si para cada a, b ∈ A tenemos que
ab ∈ p ⇒ a ∈ p o b ∈ p.
Un ideal propio m ( A se dice ideal maximo si no hay otros ideales propios (salvo m) que
contienen m.
Pruebe que cada ideal maximo en un anillo conmutativo es primo:
Sea I ⊆ A un ideal en un anillo conmutativo. Pruebe que I es primo / maximo si y solamente si

A es un DIP / un cuerpo:
I
2.1.12 Observación (Lemma de Zorn). El fundamente de toda las matemáticas es la teorı́a

de los conjuntos. En esta se utiliza algunas axiomas que no pueden ser mostrado, per que
se tiene asumir y esperar que son verdaderas. Un de este axiomas se llama Lema de Zorn
(o más precisamente axioma de elección, una variación equivalente). Este Lema de Zorn se
utiliza en todas las matemáticas y dice el siguiente:
Sea X un conjunto con relación de orden (parcial) ≤. Si para cada cadena C ⊆ X (subconjunto tal
que la restricción del orden es total) existe un yC ∈ X tal que x ≤ yC para cada x ∈ C, entonces
existe al menos un elemento maximo en X.
2.1.13 Teorema. Sea A un anillo conmutativo y I ( A un ideal propio. Entonces existe

un ideal maximo m ( A tal que I ⊆ m. En particular cada anillo conmutativo contiene un
ideal maximo.
Demostración. Sea X el conjunto de ideales proipios de A que contienen I. Este conjunto
tieneSun orden parcial dado por “⊆”. Sea C cualquier cadena en (X, ⊆). Definimo J :=
I ∪ a∈C a. Obviamente tenemos que a ⊆ J para cada a ∈ C. Tenemos que mostrar que
J ∈ X, i.e. que J es un ideal propio de A.
Obviamente J 6= ∅ (incluso cuando C = ∅, porque en este caso tenemos J = I). Si x, y ∈ J
y a ∈ A, entonces x ∈ a, y ∈ b para unos a, b ∈ C. Sin perdida de generlidad ser a ⊆ b.
Entonces x ± y ∈ b ⊆ J y ax ∈ b ⊆ J, y por lo tanto, J es un ideal. Además, J es un ideal
propio, porque si 1 ∈ J, entonces 1 ∈ a para un a ∈ C, lo que contradice que a es un ideal
propio.
Entonces hemos mostrado que la hipotesı́s del teorema de Zorn es satisfecha y podemos
concluir que X contiene un elemento maximo m, es a decir un ideal propio que es un ideal
maximo bajo todos los ideales propios que contienen I. El único que falta a mostrar es que
m es incluso un ideal maximo bajo todos los ideales propios. Pero eso es facil: Si existerı́a un
ideal propio n con m ( n, entonces n ∈/ X por la maximalidad de m en X. Pero I ⊆ m ( n
muestra que n ∈ X, lo que da la contradicción.
T
2.1.14 Lema. Para cualquier colección de ideales I de (A, +, ·), tenemos que I∈I I es un
ideal de (A, +, ·).
T
Demostración. Ya T sabemos de Lema 1.1.6 que I∈I I es un subgrupo de (A, +). Ahora
T sea
a ∈ A y sea xT∈ I∈I I. Entonces a · x ∈ I para cada I ∈ I, y por lo tanto a · x ∈ I∈I I.
Por lo tanto I∈I I es un ideal de (A, +, ·).
2.1.15 Definición. El ideal generado por S ⊆ A es
\
(S) := I.
ideales I⊆A
con S⊆I
En caso que S = {x1 , . . . , xr } es finito, también escribimos (x1 , . . . , xr ) en lugar de ({x1 , . . . , xr }).
2.1.16 Lema. Sea S ⊆ A. Entonces
(S) = {a1 s1 + . . . + ar sr | r ∈ N, a1 , . . . , ar ∈ A, s1 , . . . , sr ∈ S}.
Demostración. Como S ⊆ I := {a1 s1 + . . . + ar sr | r ∈ N, a1 , . . . , ar ∈ A, s1 , . . . , sr ∈ S},
es suficiente de mostrar que I es un ideal. Sea a ∈ A y a1 s1 + . . . + ar sr ∈ I, entonces
a·(a1 s1 +. . .+ar sr ) = aa1 s1 +. . .+aar sr ∈ I. Además (a1 s1 +. . .+ar sr )+(a01 s1 +. . .+a0` s` ) =
a1 s1 + . . . + ar sr + a01 s01 + . . . + a0` s0` ∈ I.
Un ideal I ⊆ A tal que I = (x) = Ax para un x ∈ A se dice un ideal prinipal.
Sean I, J ⊆ A dos ideales. Pruebe que
I + J = {x + y | x ∈ I, y ∈ J}
es el ideal (I ∪ J).
Para ideales I, J ⊆ A definimos el producto de ideales

I · J := ({xy | x ∈ I, y ∈ J})
Pruebe que (x) · (y) = (xy):
Pruebe que si I + J = A, entonces I · J = I ∩ J:
2.1.17 Teorema (Teorema chino del resto). Sea (A, +, ·) un anillo conmutativo y I1 , . . . , In ⊆
A ideales con Ii + Ij = A para cada 1 ≤ i 6= j ≤ n. Entonces el homomorfismo de anillos
ϕ : A −→ AI1 × . . . × AIn
a 7→ (a + I1 , . . . a + In )
es sobreyectivo con nucleo ker(ϕ) = I1 · · · In .
Demostración. Obviamente, tenemos que ker(ϕ) = I1 ∩ . . . ∩ In .

Primero vamos a mostrar por inducción sobre n que I1 ∩ . . . ∩ In = I1 · · · In . Para n + 1,
tenemos que In+1 + I1 · · · In = A, porque In+1 + Ij = A para cada 1 ≤ j ≤ n, i.e. para cada
1 ≤ j ≤ n existen xj ∈ In+1 y yj ∈ Ij tal que 1A = xj + yj . Por lo tanto tenemos que
Y
1A = (xj + yj )
1≤j≤n
Y X Y X Y X
= xi + yi xj + yi1 yi2 xj + . . . + (yi1 · · · yin−1 )xj6=i` + y1 · · · yn .
| {z }
i∈{1,...,n} 1≤i≤n j6=i 1≤i1 <i2 ≤n j6=i1 ,i2 1≤i1 <...<in−1 ≤n ∈I1 ···In
| {z }
∈In+1
Por el ejercicio anterior tenemos que In+1 ∩ I1 · · · In = I1 · · · In · In+1 , y como por la hipotesı́s
de la inducción tenemos que I1 · · · In = I1 ∩ . . . ∩ In hemos mostrado el paso de la inducción.
Ahora vamos a mostrar que ϕ es sobreyectivo, es a decir que para x1 , . . . , xn ∈ A existe un
x ∈ A con x − xi ∈ Ii para cada 1 ≤ i ≤ n. También lo vamos a mostrar por inducción
sobre n. Empesamos con el primer caso no trivial n = 2: Como I1 + I2 = A, tenemos que
1 = y1 + y2 para unos yi ∈ Ii . Por lo tanto tenemos con x = y1 x2 + y2 x1 que
x − x1 = y1 x2 + (y2 − 1) x1 ∈ I1
| {z }
∈I1
y similarmente que
x − x2 = (y1 − 1) x2 + y2 x1 ∈ I2 .
| {z }
∈I2
Ahora consideramos la situación n + 1: Sean x1 , . . . , xn , xn+1 ∈ A. Por hipotesı́s de la in-

ducción ya sabemos que hay x̃ tal que x̃ − xi ∈ Ii para 1 ≤ i ≤ n. También sabemos por
la parte anterior que In+1 + I1 · · · In = A. Por eso existe y1 ∈ I1 · · · In y y2 ∈ In+1 tal que
1 = y1 + y2 . Con la misma construcción x := y1 xn+1 + y2 x̃ que en la etape n = 2, obtenemos
que x − xn+1 ∈ In+1 y x − x̃ ∈ I1 · · · In . Pero como x̃ − xi ∈ Ii para 1 ≤ i ≤ n, obtenemos
tambi én que x − xi = x − x̃ + x̃ − xi ∈ Ii para 1 ≤ i ≤ n.
2.1.3. Aplicación en Z: La función de Euler y el protocolo RSA

En estecapitulo vamos
a aplicar por una serie de ejercicios el teorema chineso
del resto
∗ a los
Z Z
anillos nZ, +, · para determinar el orden de su grupo multiplicatiov nZ, + , y para
valores particulares de n (por ejemplo un producto de dos primos), vamos a utilizar además
Corolario 2.1.33 para introducir un protocol asimétrico de clave publico (llamado RSA) que
es el base de la mayorı́a de criptosistemas asimétricas publicas (muchas veces escondidas,
como para tarjetas de bancos).
Sea n ∈ N y n = pr11 · · · prnn su factorización en primos. Por el teorema chineso del resto
(Teorema 2.1.17) hay un isomorfismo de anillos
Z ∼ Z Z
nZ = pr11 Z × . . . × prnn Z.
Sean A, B dos anillos. Pruebe que (A × B)∗ = A∗ × B ∗ :
Como isomorfismos de anillos se restringen a isomorfismos de los grupos multiplicativos,

tenemos que ∗ ∗ ∗
Z ∼ Z Z
nZ = p11 Z × . . . × pnn Z .
r r
∗
Z
Pruebe que nZ = {a + nZ | mcd(a, n) = 1}:
∗
Pruebe que Zpr Z = pr−1 (p − 1):

∗
2.1.18 Definición. Se define la función de Euler ϕ : N → N como ϕ(n) := ZnZ .

Qn
Por los ejercicios anteriores, tenemos que ϕ(n) = i=1 pri i −1 (pi − 1) cuando n = pr11 · · · prnn .
2.1.19 Observación. En practico, para calcular ϕ(n) para un n muy largo dado, uno tiene
que encontrar la factorisación en primos de n, lo que toma mucho tiempo para incluso los
mejores computadores (como miles de años) cuando n es un producto de pocos (e.g. dos)
primos muy largos.
Por otro lado, encontrar primos muy largos de manera aleatorea, y multiplicarlos para obtener
un n, no toma mucho tiempo para computadores (como una minuta), y por lo tanto si uno
construye un n como un producto de dos primos largos, la persona que elegı́ los primos puede
calcular ϕ(n) rapidamente.
Sea n ∈ N sin factores cuadraticos (i.e. cada divisor primo tiene multiplicidad uno). Pruebe que si
r ≡ 1 mód ϕ(n), entonces mr ≡ m mód n para cada m ∈ Z:
2.1.20 Observación. Sea como en el ejercicio n sin factores cuadraticos.

∗ Dado un e ∈
{1, . . . , ϕ(n)} con mcd(e, ϕ(n)) = 1, entonces e + ϕ(n)Z ∈ Zϕ(n)Z . Entonces existe un
único d ∈ {1, . . . , ϕ(n)} con mcd(d, ϕ(n)) = 1 y con d + ϕ(n)Z = (e + ϕ(n)Z)−1 . De hecho,
se puede encontrar d muy rapidamente por una identidad de Bézout para e y ϕ(n):
de + `ϕ(n) = 1 = mcd(e, n),
lo que se encuentra por aplicar de manera iterativa la división Euclideano con resto a ϕ(n)
y e... (este proceso se llama algoritmo de Euclid).
Pruebe que para cualquier m ∈ Z, se tiene que (me )d ≡ m mód n:

Supongamos que una persona (la llamamos Alice) quiere enviar un mensaje secreto a otra
persona (Bob) sin que una tercer persona (Eve) puede leerlo, pero la única manera de como
puede comunicar es de manera publica, i.e. Eve puede interceptar cada mensaje de Alice a
Bob. Por lo tanto es imposible para Alice y Bob de intercambiar una clave simetrica secreta
que solo ellos conocen.
El protocol RSA utilize dos claves asimetricas, una publica para (en)cifrar y una privada
para decifrar, y funciona ası́:
Alice informa a Bob que quiere a enviarle un mensaje y le pide de generar una clave
publica para que pueda encifrarlo.
Bob genera dos números primos largos arbitrarios p y q de tamaño similar (eso se
puede hacer de manera rapida, porque el conjunto de primos es bastante denso en los
números, y porqué se puede testar rapidamento si un número dado es primo o no).
Bob calcula n := p · q, además ϕ(n) := (p − 1)(q − 1) y elige un número largo 1 <

e < ϕ(n) con (e, ϕ(n)) = 1. El ultimo se verifique utilizando el algoritmo de Euclid.
Si e no es coprimo, Bob elige otro haste que encuentra buen e. El algoritmo de Euclid
automaticamente produce una identidad de Bézout para el mcd(e, ϕ(n)), lo que produce
un d con ed ≡ 1 mód ϕ(n) según la observación anterior.
Bob envia la clave publica (n, e) a Alice (y a Eve), y guarda la clave privada (n, d).
Alice converta su mensaje en un número entero m ∈ {1, . . . , n} (por ejemplo utilizando

el sı́stema 26-imal de escritura de números. Si el mensaje es más largo que n, se la
divide en dós partes, si es muy corta, se añade bazura sin significado al fin del mensaje),
y ella calcula el resto r :≡ me mód n con r ∈ {1, . . . , n} y envia el número (el mensaje
encifrado) r a Bob (y a Eve).
Bob ahora puede facilmente calcular el resto de rd en {1, . . . , n} modulo n, lo que es

el mensaje original m según el último ejercicio.
2.1.21 Observación. Como solamente Bob conoce d, Eve no puede calcular m rapido
desde los datos n, e y r. La única forma conocido ahora de calcular d rapido es por el
conocimiento de ϕ(n) (salvo quizás la NSA sabe más). La manera más rapida conocida
de calcular ϕ(n) es por encontrar la factorización en primos de n, lo que es un problema
“NP-duro”... es a decir que uno no conoce una manera “rapida” de hacerlo y si existerı́a
una, entonces cada otro problema “NP” (tomando “mucho” tiempo de calcularlo) se podrı́a
resolver rapidamenten también... por lo tanto uno crée que no hay algoritmo rapido para
la factorisación con computadores clásicos (de hecho existen cuanta-algoritmos teóricas que
lo puede hacer de manera rápida, pero hasta ahora los computadores cuanticas que fueron
construı́dos no tienen suficientemente “memória de trabajo” para calcular la factorización
de números largos y hasta ahora, la dificultad de construir computadores cuanticas aumente
rapidamente en función de su “memória de trabajo” por razones fśicas...).
2.1.22 Ejemplo. Sea p = 11 y q = 13, y por lo tanto n := pq = 143 y ϕ(n) = 120. Elegimos
por ejemplo e = 23. Ahora tenemos que encontrar una identidad de Bézout de + k · 120 =
mcd(23, 120) con 0 < d < 120, utilizando el algoritmo de Euclid, lo que detecta al mismo
tiempo si mcd(23, 120) = 1 o no. En caso que si, guardamos e = 23 como clave publica y
tomamos el d correspondiente (o su clase modulo 120 en {1, . . . 120}) como clave privada.
Sea entonces a0 := ϕ(n) = 120 y a1 = 23. División con resto nos da a0 = 5·a1 +5 y guardamos
q1 = 5 y a2 = 5. La división con resto de a1 por a2 nos da a1 = 4 · a2 + 3 y guardamos
q2 = 4 y a3 = 3. Ahora a2 = 1 · a3 + 2 con q3 = 1 y a4 = 2. Después a3 = 1 · a4 + 1 con
q4 = 1 y a5 = 1. Como mcd(a1 , a2 ) = mcd(a4 , a5 ) = 1, tenemos que mcd(23, 120) = 1 (que
obviamente se puede ver más facil considerando los factores primos de ambos números que
son facil a encontrar como ambos números son pequeños). Además obtenemos recursivamente
una identidad de Bézout:
1 = a3 − q4 a4 = a3 − q4 (a2 − q3 a3 )
= −q4 a2 + (1 + q3 q4 )a3 = −q4 a2 + (1 + q3 q4 )(a1 − q2 a2 )
= (1 + q3 q4 )a1 − (q2 + q2 q3 q4 + q4 )a2 = (1 + q3 q4 )a1 − (q2 + q2 q3 q4 + q4 )(a0 − q1 a1 )
= −(q2 + q2 q3 q4 + q4 )a0 + (q1 q2 + q1 q2 q3 q4 + q1 q4 + q3 q4 + 1)a1
= −9 · 120 + 47 · 23.
Entonces, hemos encontrado la clave privada d = 47.

Supongamos que queremos encifrar el mensaje m = 7. Tenemos que calcular el resto de
723 mód 143. Como 7 y 23 y 47 son números pequeño eso no es un problema para un
buen computador de calcular primero 723 en Z y después calcular el resto modulo 143. Pero
cuando los números son más grandes, eso va a tomar demayado tiempo. La estrategia más
rapida es de primero calculara las decomposiciónes dyadicas de e (por Alice) y de d (por
Bob): e = 23 = 24 + 22 + 21 + 1 y d = 47 = 25 + 23 + 22 + 2 + 1. Ahora Alice calcula
iterativemente los restos modulo 143 de (m2 )` para 1 ≤ ` ≤ 4 y obtiene m2 ≡ 49 mód 143,
m4 ≡ 492 ≡ 113 mód 143, m8 ≡ 1132 ≡ 42 mód 143 y m16 ≡ 422 ≡ 48 mód 143. Ahora
me ≡ 48 · 113 · 49 · 7 ≡ 2 mód 143. Alice envia el número 2 a Bob (y a Eve). Bob toma el
mensaje encifrado 2 y calcula de misma manera rapida 2d ≡ 7 mód 143 el mensaje original.
Lo que puede hacer Eve para descifrar el mensaje encifrado 2 es o factorizar 143 en sus
factores primos y encontrar d a partir de e = 23 como lo hı́zo Bob, o de tratar un número m
después del otro y calcular el resto modulo 143 de ne hasta que obtiene el resultado 2. Va a
resultar cuando llega a m = 7, lo que va a ser entonces el mensaje original. Ambos métodos
son bastante fáciles de hacer en el ejemplo con números pequeños, pero es claro que si los
números involucrados son muy grandes, entonces los métodos son infactibles.
Con la clave publica n = 3233 y e = 17 he cifrado un número m ≤ 3233. El número cifrado es 2329.
¿Puede decifrar el mensaje original m ? (¿ Puede hacerlo sabiendo que 3233 = 61 · 53 ?)
2.1.4. Anillos de polinomios

Sea (B, +, ·) un anillo y sea S ⊆ B un subconjunto. Sea C la colección de todos los subanillos
de B que contienen S. llamamos
\
[S]B := C
C∈C
El subanillo de B generado por S.

Pruebe que [S]B es un subanillo de B:
2.1.23 Definición. Sea A ⊆ B un subanillo y S ⊆ B, entonces escribimos A[S] para el

subanillo [A ∪ S]B generado por A y S. Si S = {x1 , . . . , xn } es un conjunto finito, entonces
escribimos A[x1 , . . . , xn ]
2.1.24 Lema. Sea B es un anillo conmutativo, A ⊆ B un subanillo, y S ⊆ B, entonces

( n )
X
A[S] = ai si,1 · · · si,ì | n ∈ N, ∀i ∈ {1, . . . , n} : ì ∈ N0 , ai ∈ A y ∀j ∈ {1, . . . , ì } : si,j ∈ S
i=1
Demostración. El lado derecho obviamente contiene A y S y además es un subconjunto de

cualquier subanillo de B que contiene A y S. Queda solamente a mostrar que también es
un subanillo de B. Se ve que 1A esta contenido en el lado derecho (con n = 1, a1 = 1A y
`1 = 0). Se ve también que el conjunto es cerrado bajo adición y multiplicación y bajo pasar
a los inversos aditivos (remplace los ai por −ai ).
2.1.25 Corolario. Sea B un anillo conmutativo, A ⊆ B un subanillo, y b ∈ B, entonces
Xn
A[b] = { ai bi | n ∈ N, ai ∈ A}.
i=0
2.1.26 Definición. Sea (A, +, ·) un anillo conmutativo. El anillo de series formales en

A, se define como el conjunto de sucesiones en A,
A[[X]] := {(an )n∈N0 | ai ∈ A ∀i ∈ N0 }
con la addición definida por componentes
(an )n∈N0 + (bn )n∈N0 := (an + bn )n∈N0
y la multiplicación definida de la manera siguiente:

!
X
(an )n∈N0 · (bn )n∈N0 := ak b ` .
k+`=n n∈N0
Pruebe que con estas operaciónes, A[[X]] es un anillo:
Pruebe que A ,→ A[[X]], a 7→ (a, 0, 0, 0, . . .) es un encrustamiento (homomorfismo inyectivo):
2.1.27 Definición. Sea A[[X]] el anillo de series formales sobre A. Identificamos A con su
imagen bajo el encrustamiento mencionado anteriormente. Denote X := (0, 1, 0, 0, . . .) ∈
A[[X]]. El anillo de polinomios en una variable sobre A es el subanillo
( n )
X
A[X] = ai X i | n ∈ N0 , ai ∈ A
i=0
de A[[X]], generado por A y X.

Pn i
Pruebe que i=0 ai X = (a0 , a1 , a2 , . . . , an , 0, 0, . . .) en A[X] y por lo tanto
A[X] = {(ai )i∈N0 ∈ A[[X]] | ∃N ∈ N tal que ai = 0 ∀i > N } :
2.1.28 Definición. Un elemento f = ni=0 ai X i = (a0 , . . . , an , 0, 0, 0, . . .) ∈ A[X] llamare-

P
mos un polinomio en la variable X con coeficientes a0 , . . . , an en A, y

máx{i ∈ N | ai 6= 0} si f 6= 0
deg(f ) :=
−∞ si f = 0
llamaremos el grado de f , y adeg(f ) su coeficiente dominante. A vezes escribimos f (X)
en lugar de f . Se dice que f es mónico si adeg(f ) = 1.
Pruebe que deg(f · g) ≤ deg(f ) + deg(g) para cada f, g ∈ A[X]:
Pruebe que deg(f · g) = deg(f ) + deg(g) para cada f, g ∈ A[X] si A es un dominio de integridad:
Pruebe que A[X] es un dominio de integridad si y solamente si A lo es:

2.1.29 Proposición. Sea ϕ : A → B un homomorfismo de anillos y sea b ∈ B tal que

ϕ(a)b = bϕ(a) para cada a ∈ A. Entonces
ϕb : A[X] −→ B
Xn n
X
ai X i 7→ ϕ(ai )bi
i=0 i=0
es el único homomorfismo ψ : A[X] → B tal que ψ|A = ϕ y ψ(X) = b.

Demostración. La unicidad de un tal homomorfismo es obvio. Tenemos que mostrar entonces
que ϕb es un homomorfismo de anillos. Obvio que ϕb (1) = 1 y que ϕb (f + g) = ϕb (f ) + ϕb (g)
for all f, g ∈ A[X]. Mostraremos que ϕb (f P · g) = ϕb (f ) · ϕb (g) por inducción
Pn sobre ideg(g). Si
n i
P g = ã0 ∈ A. SeaP
deg(g) = 0 entonces f = i=0 ai X entonces f · g = i=0 ai ã0 X , y por lo
tanto ϕb (f · g) = ni=0 ϕb (ai ã0 )bi = ( ni=0 ϕ(ai )bi ) ϕ(ã0 ) = ϕb (f ) · ϕb (g).
Supongamos ahora que deg(g) = m + 1 y que y sabemos la multiplicatividad de ϕb si el
polinomio de derecho es de grado ≤ m − 1. Sea ãm+1 el polinomo dominante de g. Entonces
g = ãm+1 X m+1 + g 0 donde g 0 = g − ãm+1 X m+1 tiene grado ≤ m. Entonces
ϕb (f · g) = ϕb (f · ãm+1 X m+1 + f g 0 ) = ϕb (f · ãm+1 X m+1 ) + ϕb (f · g 0 )

n
!
X
= ϕ(ai )bi ϕ(ãm+1 )bm+1 + ϕb (f )ϕb (g 0 )
i=0
= ϕb (f ) ϕ(ãm+1 )bm+1 + ϕb (g 0 )

= ϕb (f ) · ϕb (g).
2.1.30 Observación. Un caso particular de la proposición es cuando B es conmutativo,

A ⊆ B un subanillo, y ϕ = idA . En este caso, ϕb es un homomorfismo de anillos para
cualquier b ∈ B y llamado la evaluación en b y anotado
evb : A[X] → B.
Escribimos f (b) := evb (f ). Un b ∈ B con f (b) = 0 se dice un raı́s de f en B.

2.1.31 Lema. Sea K un cuerpo, y f ∈ K[X]. ∀a ∈ K : f (a) = 0 ⇔ (X − a) | f en K[X].
En particular f tiene a los más deg(f ) raises en K.
Demostración. [ejercicio]
2.1.32 Teorema. Sea K un cuerpo y G ≤ K ∗ un subgrupo finito del grupo multiplicativo.
Entonces G es cı́clico.
Demostración. Como G es un grupo Abeliano finito, por el Teorema 1.2.6, basta a mostrar
el enunciado en el caso de p-grupos. Sea entonces |G| = pk para un primo p y un k ∈ N.
Sea n = p` el máximo orden de elementos de G, i.e. el mı́nimo n con (T n − 1)(a) = 0 ∀a ∈ G.
Por Corolario 1.1.27 (Lagrange), junto con Lema 2.1.31, obtenemos que p` = |G|.

2.1.33 Corolario. F∗p ∼= Z(p − 1)Z, + para cada p ∈ N primo.
2.1.34 Definición. Definimos el anillo de polinomios en n variables sobre A recursi-

vamente por
A[X1 , . . . , Xn ] := A[X1 , . . . , Xn−1 ][Xn ]
2.1.35 Observación. Sea B un anillo conmutativo y A ⊆ B un subanillo. Para n ∈ N

uno puede definir recursivamente (utilizando Proposición 2.1.29) que para cada elección
(b1 , . . . , bn ) ∈ B n existe un único homomorfismo
ev(b1 ,...,bn ) : A[X1 , . . . , Xn ] → B
tal que ev(b1 ,...,bn ) |A = idA y ev(b1 ,...,bn ) (Xi ) = bi para cada 1 ≤ i ≤ n. Este homomorfismo
se llama evaluación en (b1 , . . . , bn ). Se escribe f (b1 , . . . , bn ) := ev(b1 ,...,bn ) (f ). En particular,
para cada σ ∈ Sn existe un único isomomorfismo
∼
A[X1 , . . . , Xn ] −
→ A[Xσ(1) , . . . , Xσ(n) ]
que es la identidad en A y tal que Xi 7→ Xi para cada 1 ≤ i ≤ n, lo que se utiliza para

identificar A[X1 , . . . , Xn ] con A[Xσ(1) , . . . , Xσ(n) ] para cualquier σ ∈ Sn .
2.1.5. Dominios de ideals principales y de factorización única

Para todo el capitulo, supongamos que (A, +, ·) siempre anota un dominio de integridad.
Para a, b ∈ A, se dice que b divide a a, anotado b | a, si ∃c ∈ A : a = bc. Observe que c es
único (A es un dominio de integridad), y cuando c ∈ A∗ , se dice que a y b son asociados.
Pruebe que (a | b ⇔ (b) ⊆ (a)), y que (a y b son asociados ⇔ a | b y b | a ⇔ (a) = (b)):
/ A∗ y si
Un elemento a ∈ A \ {0} se dice irreducible en A si a ∈
∀b, c ∈ A : a = bc ⇒ b ∈ A∗ o c ∈ A∗ .
Se llama primo si
∀b, c ∈ A : a | bc ⇒ a | b o a | c.
Sea a ∈ A \ {0}. Pruebe que (a es primo ⇒ a es irreducible):
Pruebe que para a ∈ A \ {0} que (a es primo ⇔ el ideal (a) es primo):
√
2.1.36 Ejemplo. El número 3 es irreducible pero no primo en Z[ −5] ⊆ C: Para ver la
irreducibilidad, supongamos que
√ √
3 = (a + b −5)(c + d −5)
con a, b, c, d ∈ Z. Podemos multiplicar la ecuación con su conjugado complejo y obtenemos

la factorisación
9 = (a2 + 5b2 ) · (c2 + 5d2 ),
en Z. Ambos factores son positivos, y por lo tanto √ solamente pueden
√ ser 1, 3 o 9. Si (a2 +5b2 ) =
1, entonces a = ±1 y b = 0, y por lo tanto (a + b −5) ∈ Z[ −5]∗ . Se ve que (a2 + 5b2 ) = 3
no es posible, y el caso (a2 + 5b2 ) = 9 es simétrico 2 2
√ al caso (a + 5b ) = 1. √
√ parte, el número 3 no es primo en Z[ −5], porque
Por otro √ √ a 9 = 3 · 3√= (2 + −5) ·
divide
(2 − −5), pero no divide a un de los factores (2 + −5), (2 − −5) en Z[ −5], como ni
2, ni ±1 son divisibles por 3 en Z.
2.1.37 Definición. Un dominio de integridad (A, +, ·) se llama un dominio de factori-
sación única (DFU), si cada elemento irreducible es primo y si cada elemento en A \ A∗ es
un producto finito de elementos primos.
2.1.38 Lema (Unicidad de la factorisación). Sea A un DFU y sea n, m ∈ N y p1 · · · , pn , p̃1 , . . . , p̃m ∈
A primos con
p1 · · · pn = p̃1 · · · p̃m ,
entonces n = m y existe un σ ∈ Sn tal que pi es asociado a p̃σ(i) para cada 1 ≤ i ≤ n.
Demostración. Vamos a mostrar por inducción sobre n que n = m y que cada pi es asociado
a un p̃ji . Si n = 0, entonces obviamente m = 0, y hay nada a mostrar. Sea ahora n > 0.
Existe p̃j1 tal que p1 | p̃j1 . Sin perdida de generalidad j1 = 1. Como p̃1 es irreducible, tenemos
que p̃1 = p1 u1 con u1 ∈ A∗ . Eso demuestra que p1 es associado a p̃1 . Remplazando u por u1 u,
y cancelando por p1 la ecuación (lo que es posible en un dominio de integridad) obtenemos
por hipotesı́s de la inducción que n − 1 = m − 1 y que el resto de los factores primos son dos
a dos asociadas.
2.1.39 Definición. Sea A un dominio de integridad, y sean a1 , . . . , an ∈ A. Un elemento
x ∈ A se llama un máximo común divisor de {a1 , . . . , an }, si x es un divisor común de
a1 , . . . , an , y si cualquier otro divisor común de a1 , . . . , an divide tambı́en a x (En particular
cada dos máximos comúnes divisores son asociados).
Se llama mı́nimo común multiplo de {a1 , . . . , an }, si x es un multiplo común de a1 , . . . , an
y si divide a cualquier otro multiplo común. (En particular, cada dos minimos comunes
multiplos son asociados).
En un DFU, cada subconjunto finito tiene un mcd y un mcm (basta mostrar para dos elementos):
2.1.40 Definición. Si cada ideal de A es generado por un conjunto finito, entonces A se

llama Noetheriano. Si además A es un dominio de integridad y todos sus ideales son
principales, entonces A se llama dominio de ideales principales (DIP).
Pruebe que A es Noetheriano si y solamente si cualquier cadena contable de A-ideales I1 ⊆ I2 ⊆ . . .
es estacionaria (i.e. ∃N tal que Ii = Ii+1 para cada i ≥ N ):
Sea A → B es un homomorfismo sobreyectivo. Pruebe que (A Noetheriano ⇒ B Noetheriano):
Pruebe que si además A es un DIP y B un dominio de integridad, entonces B es un DIP también.
Sea A un DIP y sean x1 , . . . , xn ∈ A. Sea d ∈ A. Pruebe que (x1 , . . . , xn ) = (d) si y solamente si d

es un máximo común divisor de {x1 , . . . , xn }:
Sea A un DIP- Dado un conjunto finito x1 , . . . , xn ∈ A y d un máximo divisor común de

ellos, una identidad
d = a1 x 1 + . . . + an x n
se llama identidad de Bézout.
2.1.41 Lema. Sea A un dominio Noetheriano. Si cada elemento irreducible de A es primo,

entonces A es un DFU.
Demostración. Tenemos que mostrar que cada a ∈ A tiene una factorisación finita en ele-
mentos primos. Vamos a mostrar primero que cada elemento a ∈ A \ A∗ tiene un divisor
irreducible. Supongamos que no. Entonces se puede definir recursivamente una successión de
divisores por a0 := a y
an+1 := cualquier divisor de an no asociado a an .
Porque hemos supuesto que a no tiene un divisor irreducible, esta succesión de divisores es
infinita y la cadena no estacionaria de ideales principales (a0 ) ( (a1 ) ( (a2 ) ( . . . lo es
también. Eso es una contradicción a la hipotesı́s que A es Noetheriano. Por lo tanto cada
elemento tiene que tener un diviso irreducible.
Ahora vamos a mostrar que cada elemento a ∈ A es un producto finito de elemento irredu-
cibles (primos) y una unidad. Si a ∈ A∗ , hay nada a mostrar. Si no, escribimos a = p1 a1
con p1 ∈ A reducible, y repetimos eso recursivamente con an = pn+1 an+1 mientras an ∈ / A∗ .
Como (a0 ) ( (a1 ) ( . . . ( (an ) ( (an+1 ) ( . . ., este proceso tiene que terminar (com A es
Noetherian) depués un número finito de etapas. Es a decir que a = p1 · · · pr u para elementos
primos p1 , . . . , pr ∈ A y u ∈ A∗ .
2.1.42 Proposición. Cada DIP es un DFU.
Demostración. Sea A un DIP. Según el Lema 2.1.41, basta a mostrar que cada elemento
irreducible p ∈ A es primo. Sea a, b ∈ A con p | ab. Supongamos que p 6 | a y p 6 | b. Tenemos
que (p) ( (a, p) y (p) ( (b, p). Como A es un DIP, existen c, d ∈ A con (a, p) = (c) y
(b, p) = (d). El anterior significa que c | p y d | p y que ambos no son asociados con p.
Tampoco son unidades, porque (cd) = (c)(d) = (ab, ap, bp, p2 ) ⊆ (p) ( A. Por lo tanto
tenemos una contradicción con el hecho que p es irreducible, y por lo tanto tenemos que p | a
o p | a, lo que demuestra que p es un elemento primo.
2.1.43 Teorema (de base de Hilbert). A es Noetheriano si y solamente si A[X] lo es.
Demostración. Por el ejercicio anterior, vemos que si A[X] Noetheriano, entonces A lo es

también, utilizando por ejemplo el homomorfismo sobreyectiovo ev0A : A[X] → A. Su-
pongamos ahora que A es Noetheriano, pero que existe un ideal I ( A[X] que no es fi-
nitamente generado. En particular definir recursivamente una succesón f1 , f2 , . . . en I tal
que la cadena de A[X]-ideales (f1 ) ( (f1 , f2 ) ( (f1 , f2 , f3 ) ( . . . ⊂ I no estacionaria
y tal que fn+1 tiene grado minimo bajo los polinomios en I que no son contenidos en
(f1 , . . . , fn−1 ). En particular deg(fi+1 ) ≥ deg(fi ) para cada i ∈ N. Asociamos a esta cadena
una de A-ideales (a1 ) ⊆ (a1 , a2 ) ⊆ (a1 , a2 , a3 ) ⊆ . . . donde ai es el coeficiente dominan-
te de fi . Como A es Noetheriano, esta cadena es estacionaria desde un N . En patricular
aN +1 = b1 a1 + · · · + bN aN para algunos b1 , . . . , bN ∈ A. Por eso tenemos que el polinomio
fÑ +1 = fN +1 − b1 X deg(fN +1 )−deg(f1 ) f1 − . . . − bN X deg(fN +1 )−deg(fN ) fN tiene grado menor que
fN +1 . Se ve que fÑ +1 ∈ / (f1 , . . . , fN ). Eso es una contradicción a la minimalidad del grado
de fN +1 .
2.1.44 Ejemplo. Sea K un cuerpo y n ∈ N0 . Entonces K[X1 , . . . , Xn ], el anillo de polinomios

en n variables sobre K es Noetheriano. Eso sigue de una simple iteración del Teorema 2.1.43
y la observación que cada cuerpo K es un DIP, con sus únicos ideales (0) y (1).
2.1.45 Definición. Un dominio de integridad A se llama dominio Euclideo con respecto

a una función Φ : A \ {0} → N0 , si ella cumple con las siguientes condiciones
Φ(ab) ≥ Φ(a) para cada a, b ∈ A.
∀a, b ∈ A con b 6= 0 existen q, r ∈ A con r = 0 o Φ(r) < φ(b), y tal que a = qb + r.
Pruebe que Z es un dominio Euclideo con respecto al valor absoluto | · | : Z \ {0} → N0 .
Sea K un cuerpo. Pruebe que K[X] es un dominio Euclideo con respecto a deg : K[X] \ {0} → N0 .
2.1.46 Proposición. Cada dominio Euclideo es un DIP.
Demostración. Sea A un dominio Euclideo con Φ : A \ {0} → N0 . Sea I ⊆ A un ideal y

x ∈ I un elemento tal que Φ(x) es minimo bajo los elementos de I. Vamos a mostrar que
I = Ax. Sea y ∈ I \ {0}. Entonces y = ax + r con r = 0 o Φ(r) < Φ(x). Como r = y − ax ∈ I
queda solamente la posibilidad que r = 0, por la minimalidad de Φ(x) en I.
2.1.47 Ejemplo. En particular Z y K[X] (para cualquier cuerpo K) son DIP.
Sea A un dominio Euclideo con respecto a Φ : A \ {0} → N0 . Para a1 , a2 ∈ A con Φ(a2 ) ≤ Φ(a1 ),
sean q, a3 ∈ A con a1 = qa2 + a3 y con Φ(a3 ) < Φ(a2 ) o r = 0. Pruebe que (a1 , a2 ) = (a2 , a3 ):
Calcule un mcd de 9081 y 3270 en Z junto con una identidad de Bézout:
Pruebe que X 5 − X 4 + X 3 + 1 & X 5 + X 4 + X 2 − 2 ∈ C[X] no tienen raises comúnes en C:

Capı́tulo 3
Teorı́a cuerpos
Sea A un dominio de integridad, se puede definir una relación de equivalencia ([ejercicio])

en el conjunto A × (A \ {0A }) de la manera siguiente: (a, b) ∼ (c, d) :⇔ ad = cb. La clase
de ecuivalencia de (a, b) se escribe ab , y el conjunto de todas las clases de equivalencia en
A × (A \ {0A }) se anota Quot(A).
Pruebe que (Quot(A), +, ·) es un cuerpo por las operaciones bien definidas (?)
+ : Quot(A) × Quot(A) −→ Quot(A)

a c ad + cb
, 7→
b d bd
· : Quot(A) × Quot(A) −→ Quot(A)

a c ac
, 7→
b d bd
3.0.1 Definición. Se llama (Quot(A), +, ·) el cuerpo de fracciones de A, y se identifica

A como subanillo de Quot(A) bajo el encrustamiento de anillos A → Quot(A), a 7→ 1aA .
(verificar como ejercicio que es un encrustamiento)
3.0.2 Lema. Sea A un dominio de integridad y K un cuerpo. Para cada encrustamiento
ϕ : A ,→ K exista una única extensión Φ : Quot(A) ,→ K, la cual es dado por Φ( ab ) =
ϕ(a)ϕ(b)−1 para cada a, b ∈ A, b 6= 0.
Demostración. Mostramos que Φ( ab ) := ϕ(a)ϕ(b)−1 es bien definida. Primero observe que
para(que ϕ(b) 6= 0 para (a, b) ∈ A × A \ {0A }, como ϕ es inyectivo, por lo tanto ϕ(b)−1 existe.
Sean (c, d) ∈ A × A \ {0A } con dc = ab , i.e. cb = ad. Entonces ϕ(c)ϕ(b) = ϕ(a)ϕ(d), y por lo
tanto ϕ(c)ϕ(d)−1 = ϕ(a)ϕ(b)−1 .
Mostramos que Φ es un homomorfismo de anillos:
Φ( ab + dc ) = ϕ(ad + cb)ϕ(bd)−1= ϕ(a)ϕ(d)ϕ(d)−1 ϕ(b)−1+ϕ(c)ϕ(b)ϕ(b)−1 ϕ(d)−1= Φ( ab ) + Φ( dc ).
Φ( ab · dc ) = ϕ(ac)ϕ(bd)−1 = ϕ(a)ϕ(b)−1 ϕ(c)ϕ(d)−1 = Φ( ab ) · Φ( dc ). Finalmente, se ve que
Φ( 11AA ) = ϕ(1A )ϕ(1A )−1 = 1K . Como observado antes, Φ es automaticamente inyectivo.
61
62 CAPÍTULO 3. TEORÍA CUERPOS
Sea (K, +, ·) cualquier cuerpo. El único homomorfismo de anillos, llamado homomorfismo

caracterı́stico de K
ϕ : Z → K,
es dado por ϕ(n) = 1K + . . . + 1K y ϕ(−n) = −(1K + . . . + 1K ) para n ∈ N0 .
| {z } | {z }
n veces n veces
Como im(ϕ) es un dominio de integridad, tenemos o que ker(ϕ) = (p) para un número primo
p ∈ Z o que ker(ϕ) = {0}. En el caso ker(ϕ) = (p) para un primo p, obtenemos por el teorema
del homomorfismo (Teorema 2.1.9) un encrustamiento ϕ̄ : Fp ,→ K, lo que identifica Fp con
un subcuerpo de K y en el caso ker(ϕ) = (0), obtenemos por Lema 3.0.2 un encrustamiento
Φ : Q ,→ K, lo que indentifique Q con un subcuerpo de K.
3.0.3 Definición. En el caso que ker(ϕ) = (p) para un primp p, se dice que la caracteristica
de K es p, anotado car(K) = p, y Fp se dice el subcuerpo primo de K. En el caso que
ker(ϕ) = (0) , se dice que la caracteristica de K es cero, notado car(K) = 0, y Q se llama
subcuerpo primo de K .
\
Pruebe que el subcuerpo primo de K = M:
{M |M ⊆K subcuerpo}
Pruebe que si ϕ : K → L es homomorfismo de anillos entre cuepos, entonces car(K) = car(L) y ϕ

se restringa a un automorfismo entre los subcuerpos primos de K y de L.
Pruebe que si car(K) = p, entonces σp : K → K, a 7→ ap es un homomorfı́smo inyectivo de anillos.

Pruebe que σp se restringa a un automorfismo cada subcuerpo finito de K y que σp |ϕ̄(Fp ) = idϕ̄(Fp ) .
3.0.4 Definición. Sea L un cuerpo y K ⊆ L un subcuerpo (i.e. un subanillo que es un

cuerpo) entonces decimos que L|K (“L sobre K”) es una extensión de cuerpos.
Sean L1 |K y L2 |K dos extensiones de cuerpos de K. Un homomorfismo de anillos ϕ : L1 → L2
(que es automaticamente inyectivo como L1 es un cuerpo) tal que ϕ(K) = K y ϕ|K = idK
se llama K-homomorfismo. Si existe un K-automorfismo entre L1 y L2 , se dice que “L1 y
L2 son isomorfos como extensiones de K” y se anota L1 ∼ = K L1 .
Sea L|K extensión de cuerpos y S ⊆ L. El subcuerpo de L generado por S sobre K es

\
K(S) := M.
L|M |K,
S⊆M
Si el conjunto S es finito, i.e. S = {a1 , . . . , an }, entonces escribimos también K(a1 , . . . , an ).
3.0.5 Lema. Sea L|K una extensión de cuerpos K(S) ∼

= Quot(K[S]).
63
Demostración. Obviamente K[S] ⊆ K(S) ⊆ L. Obtenemos por Lema 3.0.2 un único en-
crustamiento Φ : Quot(K[S]) ,→ K(S) ⊆ L que extende la identidad en K[S]. Por lo tanto
Φ(Quot(K[S]))|K es una extensión de cuerpos que contiene S y K, y por lo tanto contiene
K(S).
3.0.6 Observación. Sea (A, +, ·) un anillo y K ⊆ A es un subanillo que es un cuerpo.

Entonces en particular (A, +) es un (K, +, ·)-espacio vectorial.
3.0.7 Definición. Para una extensión L|K de cuerpos definimos el grado de L sobre K
como [L : K] := dimK (L), la dimensión de L como K-espacio vectorial.
Sean L|M y M |K extensiones de cuerpos. Sea (αi )i∈I una base de L como M -espacio vectorial y
(βj )j∈J una base de M como K-espacio vectorial. Demuestre que (αi βj )(i,j)∈I×J es una base de L
como K-espacio vectorial, lo que demuestra en particular la formula de grados
[L : K] = [L : M ] · [M : K]
3.1. Topicos (mas) avanzados

3.1.1. Extensiones algebraicas y Cuerpo del raı́z generico
Sea L|K una extensión de cuerpos. Un elemento α ∈ L se llama algebraico sobre K si
existe f ∈ K[X] \ {0} con f (α) = 0. Llamamos
deg(α) := min{d ∈ N | ∃f ∈ K[X] \ 0 : deg(f ) = d ∧ f (α) = 0}
el grado algebraico de α sobre K

Pruebe que existe un único polinomio mónico Minα,K de grado deg(α) con Minα,K (α) = 0.
Pruebe que Minα,K es irreducible y divide a cualquier f ∈ K[X] con f (α) = 0.
Llamamos Minα,K el polinomio mı́nimo de α sobre K. Elementos de L que no son

algebraicos sobre K se llaman transcendentales sobre K.
3.1.1 Lema. Sea L/K una extensión de cuerpos. Sea α ∈ L. Entonces los siguientes son
equivalentes:
(i) α es algebraico sobre K.
(ii) K(α) = K[α].
(iii) [K(α) : K] < ∞.
(iv) dimK (K[α]) < ∞.

Demostración. (i) ⇒ (ii): Como α es algebraico sobre K, el homomorfismo sobreyectivo
de evaluación evα : K[X] → K[α] tiene nucleo no trivial ker(evα ). Por el teorema del
isomorfismo de anillos obtenemos que K[X]ker(ev ) ∼ = K[α]. Como K[α] es un dominio
α
de integridad, ker(evα ) es un ideal primo no cero, y como K[X] es un DIP, por lo tanto
ker(evα ) = (Minα,K ) es un ideal máximo (como Minα,K no hay divisores no unidades), y por
lo tanto K[α] es un cuerpo, i.e. K[α] = K(α).
(ii) ⇒ (i), (iii): Si K(α) = K[α], en particular α−1 ∈ K[α], i.e. existe f (X) = di0 ai X i ∈
P
K[X] tal que α−1 = f (α) Por lo tanto g(X) = Xf (X) − 1 ∈ K[X] \ {0} tiene rais
α, lo que demuestra (i), i.e. que α es algebraico sobre K. En particular que K(α) =
K[α] ∼= K[X](Minα,K ) como extensiones de cuerpos de K y por lo tanto [K(α) : K] =
deg(Minα,K ) < ∞ por el ejercicio anterior.
(iii) ⇒ (iv): es trivial, como K[α] ⊆ K(α) siempre es un K-subespacio vectorial.
(iv) ⇒ (i): Sea d = dimK (K[α]). En particular 1, α, α2 , . . . , αd tienen quePser K-linearmente
dependiente. Por lo tanto existe a0 , . . . , ad ∈ K no todos cero tal que di=0 ai αi = 0. Eso
demuestra que α es un rais del polinomio no cero di=0 ai X i , y por lo tanto α es algebraico.
P
3.1. TOPICOS (MAS) AVANZADOS 65
Sea L|K una extensión de cuerpos y α ∈ L algebraico sobre K. Pruebe que deg(α) = [K(α) : K].
3.1.2 Definición. Una extensión de cuerpos L|K se llama algebraica si cada elemento de
L es algebraico sobre K.
3.1.3 Corolario. Sea L|K una extensión de cuerpos tal que [L : K] < ∞, entonces L|K es
algebraica.
Demostración. Es una consecuencia directa del Lemma anterior, porque para cada α ∈ L
tenemos que [K(α) : K] ≤ [L : K] < ∞.
Una extensión L|K con [L : K] < ∞ se llama extensión finita. Cada extensión finita es
una extensión algebraica de cuerpos. Pero hay extensiones algebraicas que no son extensiones
finitas como vamos a ver más tarde.
3.1.4 Proposición. Sean L|M y M |K extensiones algebraicas. Entonces L|K es algebraica.
Demostración. Sea α ∈ L cualquier elemento. Vamos a mostrar que [K(α) : K] < ∞.

Como α es Pdalgebraico sobre M , existe un polinomio f ∈ M [X] \ {0} tal que f (α) = 0.
i
Sea f = i=0 i a X , entonces f ∈ K(a0 , . . . , ad ) y por lo tanto α ya es algebraico sobre
N = K(a0 , . . . , ad ). Además, como a0 , . . . , ad son algebraicos sobre K (y por lo tanto sobre
cualquier extensión de K en L) tenemos que
[N (α) : K] = [N (α) : N ] · [K(a0 , . . . , ad−1 )(ad ) : K(a0 , . . . , ad−1 )] · · · [K(a0 ) : K] < ∞.
Como K(α) ⊆ N (α), tenemos que [K(α) : K] < ∞.
Hemos mostrado que para cada elemento algebraico α sobre K en una extensión L|K existe
un polinomio irreducible (e.g. el polinomio minimal Mα,K de α sobre K) tal que α es su raı́z.
El revéz también vale:
Sea f ∈ K[X] irreducible. Pruebe K[X](f ) es una extensión de cuerpos de K y que X + (f ) es un
raiz de f .
Pruebe además que si L|K es una extensión y α ∈ L un raiz de f , entonces existe un único
K-automorfismo ϕ : K[X](f ) → K(α) con ϕ(X + (f )) = α.
K[X] se dice el cuerpo del raı́z generico de f sobre K para f ∈ K[X] irreducible.
(f )
3.1.5 Remark. La construcción K[X](f ) nos da una extensión de cuerpos generado por un
raı́z del polinomio irreducible f . Como vimos en el ejercicio anterior tenemos que K[X](f ) ∼ =
K(α) para cualquier extensión de cuerpos L|K y cualquier raı́z α de f . Si por ejemplo
K = Q, entonces ya conocemos una extensión de cuerpos que contiene una raı́z para cualquier
polinomio: el cuerpo de los números complejos C. En este caso, se podrı́a desarrollar toda la
teorı́a de extensiones algebráicos sin hacer referencia al cuerpo del raı́z generico (no obstante
sirve para hacer demostraciones más conceptuales). Para cuerpos K que no son contenidos
en C (como por ejemplo cuerpos finitos o extensiones transcendentales de C), el concepto
del cuerpo del raı́z genérico es indispensable.
Para encontrar el grado algebraico sobre K de un elemento α ∈ L algebraico sobre K

tenemos que encontrar su polinomio mı́nimo. En practica, se empéza con cualquier polinomio
f ∈ K[X] \ {0} con f (α) = 0 y uno factorźa algunos factores obvios. Despúes, si un piensa
que el factor que queda es irreducible, uno tiene que mostrar la irreducibilidad. La manera
como un puede hacer eso depiendo mucho de caso a caso. El siguiente ejercicio es un criterio
para polinomios de grados 2 o 3 sobre cualquier cuerpo.
Sea f ∈ K[X] de grado 2 o 3. Pruebe que f es irreducible si y solamente si no tiene un raı́z en K:
3.1.2. El criterio de Eisenstein

Como
3.1.3. Aplicación: Construcciones por compas y regla

Se identifica el plano Euclidean con el plano complejo C. Sea S ⊆ C un subconjunto con
0, 1 ∈ S. Se dice que un punto z ∈ C es elementalmente constructible por compas y
regla de S si existen a, b, c, d ∈ S tal que z es un punto del conjunto finito de interseccion
de...
RR o dos rectas, una pasando por a y b la otra por c y d
RC la recta pasando por a y b y el circulo con centro c pasando por d.
CC el circulo con centro en a pasando por b y el circulo con centro c pasando por d.
Un elemento z ∈ C se dice constructible de S por compas y regla si existe una succesión

finita z1 , . . . , zn ∈ C con zn = z tal que zi es elementalmente constructible de S∪{z1 , . . . , zi−1 }
para i ≥ 1.
Sea L una linea y P un punto. Verifique que la linea√L⊥ orthogonal a L pasando por P puede
ser construido por compas y regla. En particular i = −1 es constructible de {0, 1}, y si z lo es
entonces z̄ también.
Sea α, β ∈ R con α 6= 0. Demuestre que α + β, −α, α · β y α−1 son constructibles por compas y
regla de {0, 1, α, β}.
Sean ω y ρ dos angulos. Demuestre que el angulo ρ + ω puede ser construido por compas y regla.
Sean α, β ∈ C con α 6= 0. Demuestre que α + β, −α, α · β, α−1 y α son constructibles por compas
y regla de {0, 1, α, β}.
Sea S ⊆ C con 0, 1 ∈ S. Definimos
Con(S) := {z ∈ C | z es constructible por compas y regla de S}
3.1.6 Proposición. Con(S) es un subcuerpo de C que es fijo por la conjugación compleja

y que contiene Q[i].
Demostración. Eso fue mostrado en el último ejercicio.
3.1.7 Corolario. Sea S ⊆ C con 0, 1 ∈ S. Entonces z ∈ Con(S) ⇔ R(z), I(z) ∈ Con(S).
Demostración. Sea z = x + yi. Si x, y ∈ Con(S) entonces obviamente z = x + i · y ∈ Con(S),

por Proposición 3.1.6. Sea ahora z ∈ Con(S). Por Proposición 3.1.6 tenemos que z̄ = x − iy
es constructible, y por lo tanto también x = 21 (z + z̄) y y = 12 (z − z̄).
3.1.8 Lema. Sea S ⊆ C con 0, 1 ∈ S. Sea z ∈ C elementalmente constructible por compas

y regla de S. Entonces z es algebraico sobre Q(i)(S ∪ S) de grado a lo más 2.
Demostración. Sea K = Q(i)(S ∪ S) y z = ix + y. Supongamos primero que z es dado por

la intersección de dos lineas pasando por puntos a, b ∈ S y c, d ∈ S respectivamente
Sabemos que a+r(b−a) = z = c+s(d−c) para unos r, s ∈ R. Tomando el parte imaginario y
imaginario, obtenemos por Corolario 3.1.7 un sistema de dos ecuaciones lineales sobre K. Si
el sistema tiene una solución única (r, s) ∈ R2 , entonces (r, s) ∈ K 2 . Por lo tanto (x, y) ∈ K 2 ,
y por tanto z ∈ K.
Supongamos ahora que z es dado por la intersección de dos circulos. Un circulo con centro
a y pasando por b, el otro con centro c y pasando por d. Entonces z = x + iy satisface las
ecuaciones |z − a|2 = |b − a|2 = r12 y |z − c|2 = |d − c|2 = r22 . Eso se transfera en
x2 − 2R(a)x + y 2 − 2I(a)y = r12 − R(a)2 − I(a)2
y similarmente
x2 − 2R(c)x + y 2 − 2I(c)y = r22 − R(c)2 − I(c)2 .
La diferencia de ambos ecuaciones nos da la ecuación lineal en x y y sobre K
2(R(c) − R(a))x + 2(I(c) − I(a))y = r12 − r22 + (R(c)2 − R(a)2 ) + (I(c)2 − I(a)2 ).
Observe que r12 = (b − a)(b − a) ∈ K igual que r22 = (c − d)(c − d) ∈ K. Eso permite describir
y como función lineal en x sobre K, lo que demuestra [K(x, y) : K(x)] = 1. Una substitución
de esta expresión de y en una de las funcionas cuadraticas produce una ecuación cuadratica
en x sobre K, lo que demuestra que [K(x) : K] ≤ 2. Como K(z) = K(x, y), tenemos que
[K(z) : K] ≤ 2.
Finalmente si z es la intersección de una linea por a y b y un cı́rculo con centro c y pasando

por d, tenemos que x = R(a) + rR(b − a) y y = I(a) + rI(b − a) y (x − R(c))2 + (y − I(c))2 =
|c − d|2 ∈ K. Las primeras dos ecuaciones permiten resolver y en forma de una función lineal
sobre K. La substitución de esta expresión de y en la última ecuación produce una ecuación
cuadratica en x sobre K. Por lo tanto [K(z) : K] = [K(x, y) : K(x)] · [K(x) : K] ≤ 2.
3.1.9 Teorema. Sea z ∈ C constructible por compas y regla de {0, 1} ⊂ C. Entonces z es

algebraico sobre Q de grado 2n para un n ∈ N0 .
Bibliografiı́a complementaria
Siguen unos libros sobre el téma que pueden consultar para una vista más completa. Como
1. ARTIN, M. Algebra. Pertinence Hall, 2011 (2nd ed.)
2. DUMMIT, D., FOOTE, R. . Abstract Algebra. John Wiley and Sons, 1999.
3. HERSTEIN, I.N. Topics in Algebra. John Wiley and Sons, 1975.

(existe también una traducción en Español llamada “Algebra Moderna” en la bibliotéca
del Departamento)
4. HUNGERFORD, T.W. Algebra. Springer-Verlag, 1997.

5. JACOBSON, N. Basic Algebra 1. W.H. Freeman, 1985.
6. KOSTRIKIN, A.I. (traducido por Roberto A. Sala) Introducción al Algebra (segunda

edición revisada). Mc Graw Hill, 1992.
(he encontrado este libro en la bibliotéca del Departamento; es en particular el capitulo
4 que trata el material del curso. me parece bien escrito este libro.)
7. LANG, S. Algebra (revised 3rd edition). Graduate Texts in Mathematics, Springer,

2002.
(hay algunas copias de las ediciones anteriores en la bibliotéca de Departamento - es
un libro escrito en una lenguaje más avanzada, pero es muy completo - se encuentra
casi todo sobre Algebra acá).

Abstract Algebra

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Abstract Algebra

Cargado por

Copyright:

Formatos disponibles

Álgebra Abstracta

1 Oficina504, Departamento de Matemática y Ciencia de la Computación, correo: da-

1.1. Teorı́a básica

(i) la operación es asociativa, es decir

∀x, y, z ∈ G : (xy)z = x(yz).

(ii) hay un elemento neutro, es decir

Anotamos un grupo (G, ∗) también por G cuando no hay ambigüedad de la operación ∗.

Pruebe que el elemento neutro e ∈ G y el inverso de x ∈ G es único.

El elemento neutro de grupo (G, ∗) lo anotaremos genericamente por 1(G,∗) , o simplemente

Verifique que (xy)−1 = y −1 x−1 :

(G, ∗) = (R, +) (R, ·) (R \ {0}, ·) (N, +) (Z, ·) (Z, +) (Q \ {0}, ÷) (∅, ∅)

Para un conjunto con operación (G, ∗) asociativo, definimos para x ∈ G recursivamente

g ∈ G. Demuestre que la multiplicación por izquierdo por g

Introducimos algunos grupos tı́picos.

K× para el grupo multiplicativo (K \ {0}, ·) para K = Q, R, o C.

Gl(V ) para el grupo de automorfismos de un K-espacio vectorial V , llamado grupo

SX para el grupo de auto-biyecciones de un conjunto X 6= ∅

Se llama el grupo simétrico de X o el grupo de permutaciones de X. En caso

¿ Con respecto a cuál es {a, b, c, d} un grupo ?

1.1.3 Definición. Sea (G, ∗) un grupo y sea H ⊆ G un subconjunto. Si H es cerrado bajo

6 H ⊆ G. Entonces H ≤ G ⇐⇒ ∀x, y ∈ H : x−1 y ∈ H.

1.1.6 Lema. Sea G un grupo y H un colección de subgrupos de G. Entonces

Pruebe que |G| < ∞ =⇒ ∀x ∈ G : ord(x) < ∞.

1.1.10 Proposición. Sea G un grupo y x ∈ G. Entonces ord(x) = |hxi|.

Demuestre que los grupos Z y µn para cualquier n ∈ N son grupos cı́clicos.

1.1.2. Los grupos simétricos

1.1.11 Definición. Sea ϕ ∈ Sn . El conjunto

Sean ϕ, ψ ∈ Sn con soportes disjuntos. Pruebe que ϕ ◦ ψ = ψ ◦ ϕ:

1.1.12 Observación. Un grupo G que cumple ∀x, y ∈ G : xy = yx se dice grupo Abeliano.

Un ciclo σ ∈ Sn de orden k podemos representar de la manera siguiente: Para cualquier

1.1.14 Proposición. Para cada ϕ ∈ Sn existe un único m ∈ N0 y unos únicos (salvo

Demostración. Mostremos primero la unicidad: Supongamos que

sop(σ1 ) = {σ1` (i) | ` ∈ N} = {ϕ` (i) | ` ∈ N} = {σ10` (i) | ` ∈ N} = sop(σ10 ),

Ahora mostremos la existencia de la descomposición de ϕ en ciclos con soportes disjuntos

se ve que ϕ = σ ◦ ψ. Como |sop(ψ)| = |sop(ϕ)| − |sop(σ)| ≤ k, la hipótesis de la inducción

Encontrar la descomposición en cı́clos de:

1.1.15 Definición. Para una permutación ϕ ∈ Sn definimos su número de inversiones

Demuestre que sign(τ ) = −1 para cualquier transposición τ = (a b) ∈ Sn .

Sea σ ∈ Sn . Demuestre que

1.1.16 Lema. ∀σ, ϕ ∈ Sn : sign(σ ◦ ϕ) = sign(σ) · sign(ϕ)

1.1.17 Teorema. Sea ϕ ∈ Sn una permutación. Entonces existe una descomposición en

Además, la paridad del número m de transposiciones en la descompsición es invariante, dado

Sea σ ∈ Sn un cı́clo de orden k. Demuestre que sign(σ) = (−1)k−1 :

¿ Es posible invertir el orden de los cubos 1 hasta

1.1.18 Definición. Sea n ≥ 3. El subgrupo [ejercicio]

1.1.3. Homomorfismos e isomorfismos

es un homomorfismo si ϕ(x ∗ y) = ϕ(x) ? ϕ(y) para todo x, y ∈ G.

Sea ϕ : G1 → G2 un homomorfismo. Pruebe que ϕ(1G1 ) = 1G2 y ∀x ∈ G1 : ϕ(x−1 ) = ϕ(x)−1 :

Sea ϕ : G1 → G2 es un homomorfismo. Pruebe que ker(ϕ) ≤ G1 y im(ϕ) ≤ G2 :

Pruebe también que ϕ es inyectivo ⇔ ker(ϕ) = {1G1 }:

Un homomorfismo de grupos G1 → G2 que es...

... inyectivo se llama monomorfismo, anotado también con G1 ,→ G2 .

... sobreyectivo se llama epimorfismo, anotado también con G1  G2 .

Sea ϕ : G1 → G2 un isomorfismo de grupos. Pruebe que ϕ−1 : G2 → G1 lo es también:

Siempre hay el homomorfismo trivial G1 → G2 , x 7→ 1G2 entre cualquier grupos G1 y G2 .

1.1.20 Ejemplo. Las siguientes funciones son homomorfismos.

1. sign : Sn → ({1, −1}, ·) es un epimorfismo con núcleo An .

2. log : (R>0 , ·) → (R, +) es un isomorfismo.

3. Para n ∈ N, la función (·)n : C∗ → C∗ definido por z 7→ z n es un epimorfismo con

4. det : Gln (K) → K∗ es un epimorfismo. Su núcleo se llama grupo lineal especial de

En caso que hay incluso un isomorfismo, indica lo por ∼

(R, +) R∗ (Z, +) Gl3 (R) C∗ S3 µ6

1.1.21 Lema. Sea G un grupo cı́clico y H cualquier grupo. Entonces la evaluación en un

define una biyección 1 . En particular Aut(G) es en biyección con {x ∈ G | G = hxi}.

... sobreyectivo se llama epimorfismo, anotado también con G1 G2 .

se llama proyección canonica. Igualmente para : G → HG, definida por g 7→ Hg.

∗¯ : GH × GH −→ GH

N no trivial. Liste los elementos de N y los de S3N . Demuestre que S3 6 ∼

conmuta (i.e. ϕ ◦ = ϕ), donde : G1 → G1H es la proyección canonica. Además, ϕ es

Demostración. La función ϕ : GK → GH definida por gK 7→ gH es bien definida porque