Un curso en teoría de grupos

Alonso Castillo Ramírez

Centro Universitario de Ciencias Exactas e Ingenierías
Universidad de Guadalajara

31 de diciembre de 2020
2
 Índice general

1. Teoría de grupos básica 7

1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.1. Operaciones binarias . . . . . . . . . . . . . . . . . . . . . 8
1.1.2. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2. Subgrupos y clases laterales . . . . . . . . . . . . . . . . . . . . . 21
1.2.1. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.2.2. Clases laterales . . . . . . . . . . . . . . . . . . . . . . . . 25
1.2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.3. Subgrupos normales y cocientes . . . . . . . . . . . . . . . . . . . 33
1.3.1. Subgrupos normales . . . . . . . . . . . . . . . . . . . . . 33
1.3.2. Grupos cocientes . . . . . . . . . . . . . . . . . . . . . . . 35
1.3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.4. Homomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.4.1. Homomorsmos . . . . . . . . . . . . . . . . . . . . . . . . 41
1.4.2. Isomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.4.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

2. Tipos particulares de grupos 51

2.1. Grupos cíclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.1.1. Estructura . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.1.2. Homomorsmos de Zn a Zm . . . . . . . . . . . . . . . . . 57
2.1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.2. Grupos abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2.1. Sumas directas . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2.2. Teorema fundamental de grupos abelianos nitos . . . . . 64
2.2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.3. Grupos de permutaciones . . . . . . . . . . . . . . . . . . . . . . 70
2.3.1. Grupo simétrico . . . . . . . . . . . . . . . . . . . . . . . 70
2.3.2. Notación cíclica . . . . . . . . . . . . . . . . . . . . . . . . 73
2.3.3. Grupo alternante . . . . . . . . . . . . . . . . . . . . . . . 79
2.3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

3. Temas selectos 87
3.1. Acciones de grupos . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.1.1. Deniciones y ejemplos . . . . . . . . . . . . . . . . . . . 87
3.1.2. Órbitas y estabilizadores . . . . . . . . . . . . . . . . . . . 92
3.1.3. Aplicación: conteo de collares . . . . . . . . . . . . . . . . 95
3.1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.2. Teoría de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
3.2.1. La ecuación de clase . . . . . . . . . . . . . . . . . . . . . 104
3.2.2. Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . 106
3.2.3. Aplicaciones de la teoría de Sylow . . . . . . . . . . . . . 111

3
4 ÍNDICE GENERAL

3.2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

3.3. Demostración del Teorema Fundamental de Grupos Abelianos
Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
3.4. Producto semidirecto . . . . . . . . . . . . . . . . . . . . . . . . . 119
3.4.1. Producto semidirecto . . . . . . . . . . . . . . . . . . . . . 122

A. Apéndice 125
A.1. Teoría de números elemental . . . . . . . . . . . . . . . . . . . . 125
A.1.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
A.2. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . 128
A.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
 Prefacio

Este texto fue elaborado para la clase de Teoría de Grupos de la Licenciatura

en Matemáticas de la Universidad de Guadalajara.
Nuestro sincero agradecimiento a Yannick Selwyn Escalera Hernández, estu-
diante de la Licenciatura en Física, Román Zúñiga Macías, Oscar Omar Hernán-
dez e Ismael Romo Alvarado, estudiantes de la Licenciatura en Matemáticas,
por su valiosa ayuda en la escritura y revisión de este texto.
Algunas notas breves sobre la notación usada:

1. El conjunto de los números naturales, denotado por N, incluye al 0, es

decir, N = {0, 1, 2, 3, . . . }.

2. Denotamos por Z+ al conjunto de los enteros positivos.

5
6 ÍNDICE GENERAL
 1
Teorı́a de grupos básica

7
8 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

1.1. Grupos
1.1.1. Operaciones binarias
Definición 1.1 (operación binaria). Sea G un conjunto no vacío. Una opera-
ción binaria de G es una función de la forma f : G × G → G.
En general, para vericar que una operación binaria f : G×G → G está bien
denida hay que asegurarse que realmente f (a, b) ∈ G para cualquier (a, b) ∈
G × G. Comúnmente llamamos a esto la propiedad de cerradura de la operación.

Ejemplo 1.2. Consideremos algunos ejemplos y contraejemplos.

1. La función + : Z×Z → Z denida como +(n, m) := n+m es una operación

binaria del conjunto Z llamada la suma usual de números enteros.
2. La resta no es una operación binaria del conjunto N de números naturales
porque no cumple la propiedad de cerradura (por ejemplo, 3−4 = −1 6∈ N).
3. La función mcd : N×N → N que asigna a cualquier par de números
naturales su máximo común divisor es una operación binaria de N.
Una propiedad importante de las funciones es que cada elemento del domi-
nio tiene una única imagen en el codominio. Por lo tanto, para demostrar que
una operación binaria f : G×G → G está bien denida, además de vericar
la propiedad de cerradura, hay que vericar que si a = a0 y b = b0 , entonces
0 0
f (a, b) = f (a , b ). Comprobar esto es trivial en los ejemplos anteriores, si em-
bargo no es tan obvio cuando los elementos de G son clases de equivalencia que
dependen de un representante.

Ejemplo 1.3 (suma módulo n). Sea Zn = {[0], [1], . . . , [n − 1]} el conjunto de
clases de equivalencia módulo n ∈ N. Así, cada [a] ∈ Zn es una clase de equiva-
lencia de la forma
[a] := {a + kn : k ∈ Z}.
Denimos una operación binaria f : Zn × Zn → Zn , llamada suma módulo n,
como
f ([a], [b]) := [a + b], ∀[a], [b] ∈ Zn .
Es obvio que f cumple la propiedad de cerradura, porque [a + b] ∈ Zn . Ahora
demostraremos que si [a] = [a0 ] y [b] = [b0 ], entonces f ([a], [b]) = f ([a0 ], [b0 ]).
Sabemos que [a] = [a ] y [b] = [b0 ] si y sólo si
0

a = a0 + k1 n y b = b0 + k2 n,
para algunos k1 , k2 ∈ Z. Sumando las dos ecuaciones previas, obtenemos

(a + b) = (a0 + b0 ) + (k1 + k2 )n,

lo que implica que [a + b] = [a0 + b0 ]. Así, f ([a], [b]) = f ([a0 ], [b0 ]).
Notación 1.4. Normalmente, denotamos con un punto · a una operación binaria
arbitraria de G, y denotamos como a · b a la imagen del par (a, b) ∈ G × G.
1.1. GRUPOS 9

1.1.2. Grupos
Un grupo es una estructura algebraica que consiste en un conjunto y una
operación binaria que cumple tres propiedades.

Definición 1.5 (grupo). Sea G un conjunto no vacío y · una operación binaria

deG. El par (G, ·) es un grupo si se cumplen las siguientes propiedades:
(G1) Asociatividad. Para toda a, b, c ∈ G, se cumple que
a · (b · c) = (a · b) · c.

(G2) Identidad. Existe un elemento e ∈ G tal que, para toda a ∈ G,

e · a = a · e = a.

(G3) Inversos. Para cualquier a ∈ G existe un b ∈ G tal que

a · b = b · a = e.

e ∈ G de la propiedad (G2) es llamado la identidad de G. El

El elemento
elemento b ∈ G de la propiedad (G3) es llamado el inverso de a ∈ G y lo
−1
denotamos como a .
Para demostrar que (G, ·) es un grupo también es importante vericar lo
siguiente:

(G0) La operación · está bien denida sobre G en el sentido discutido en la

sección anterior: a · b ∈ G, para toda a, b ∈ G (cerradura), y a = a0 y b = b0
implica a · b = a0 · b0 .
La propiedad (G0) está dada implícitamente en la denición 1.5 al asumir que
· es una operación binaria (obviamente bien denida).

Definición 1.6 (grupo abeliano). Decimos que un grupo (G, ·) es abeliano si

se cumple la siguiente propiedad:

(G4) Conmutatividad. Para toda a, b ∈ G, se cumple que

a · b = b · a.

Notación 1.7. Normalmente, para simplicar notación, hacemos referenica a

un grupo (G, ·) simplemente por el conjunto G y decimos que tiene equipado
la operación binaria. Además, cuando la operación esté clara en el contexto,
podemos escribir ab en lugar de a · b. También es común que hagamos referencia

Ejemplo 1.8 (números enteros). Sea + la suma usual de Z. Demostraremos

que el conjunto Z equipado con + es un grupo abeliano:

(G0) La propiedad de cerradura se cumple porque n + m ∈ Z para toda n, m ∈

Z. Además, obviamente si n = n0 y m = m0 , 0
entonces n + m = n + m .
0

Por lo tanto, + está bien denida sobre Z.

10 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

(G1) Para toda n, m, k ∈ Z, se cumple que (n + m) + k = n + (m + k).

(G2) La identidad es 0∈Z porque 0 + n = n + 0 = n, para toda n ∈ Z.

(G3) El inverso de cualquier n ∈ Z es −n ∈ Z porque n+(−n) = (−n)+n = 0.

(G4) Para toda n, m ∈ Z, se cumple que n + m = m + n.

Ejemplo 1.9 (grupo trivial). Consideremos un conjunto con un solo elemento

G = {e} y una operación binaria · denida como e · e = e. Las propiedades
G0-G3 se cumplen trivialmente, así que {e} es un grupo al cual llamamos el
grupo trivial.

Ejemplo 1.10 (enteros módulo n). El conjunto Zn de clases de equivalencia

módulo n equipado con la suma módulo n es un grupo abeliano:

(G0) Por el ejemplo 1.3, la suma módulo n está bien denida sobre Zn .

(G1) Para toda a, b, c ∈ Zn , se cumple que

([a] + [b]) + [c] = [(a + b) + c] = [a + (b + c)] = [a] + ([b] + [c]).

(G2) La identidad es [0] ∈ Zn porque [0] + [a] = [0 + a] = [a] y [a] + [0] =

[a + 0] = [a], para toda [a] ∈ Zn .

(G3) El inverso de cualquier [a] ∈ Zn es [−a] ∈ Zn porque [a] + [−a] = [a +

(−a)] = [0] y [−a] + [a] = [(−a) + a] = [0].

(G4) Para toda [a], [b] ∈ Zn , se cumple que [a]+[b] = [a+b] = [b+a] = [b]+[a].

Definición 1.11 (orden de un grupo). El orden de un grupo G, denotado por

|G| es simplemente la cardinalidad del conjunto G. Decimos que G es nito si
su orden es nito, y en caso contrario decimos que es innito.

Ejemplo 1.12. Los siguientes son más ejemplos básicos:

1. Si (F, +, ×) es un campo, tanto (F, +) como (F ? , ×), donde F ? = F −{0},

son grupos abelianos.

2. Si (V, +, ·) es un espacio vectorial, entonces (V, +) es un grupo abeliano.

3. Sea i∈C la unidad imaginaria. El conjunto G = {1, −1, i, −i} equipado

con la multiplicación de números complejos es un grupo abeliano.

4. Sea GLn (F ) el conjunto de matrices invertibles de n × n con entradas

en un campo F. Para toda n ≥ 2, el conjunto GLn (F ), equipado con la
multiplicación de matrices, es un grupo llamado el grupo general lineal
de grado n sobre F . Este grupo es no abeliano, ya que siempre podemos
encontrar un par de matrices que no conmutan (Ejercicio 1.4).
1.1. GRUPOS 11

5. Para cualquier n ≥ 3, sea D2n el conjunto de simetrías (es decir, funciones

que no alteran ni la estructura ni la posición) de un polígono regular con
n lados. Si ρ representa una rotación que envía cada vértice a su vecino
inmediato, y h representa una reexión a través de algún eje, entonces

D2n = {id, ρ, ρ2 , . . . , ρn−1 , h, hρ, hρ2 , . . . , hρn−1 },

donde id representa a la función identidad. El conjunto D2n , equipado

con la composición de funciones, es un grupo llamado el grupo dihédrico
de orden 2n. Los elementos de D2n cumplen las siguentes relaciones, las
cuales son sucientes para operar dos elementos cualquiera,

ρn = id, h2 = id, hρ = ρn−1 h.

Por ejemplo,

(hρ2 )(hρ) = (ρ−2 h)(hρ) = ρ−2 h2 ρ = ρ−2 ρ = ρ−1 = ρ−1 ρn = ρn−1 .

Ejemplo 1.13 (grupo de unidades módulo n). Para toda n ≥ 1, denimos

U (n) := {[a] ∈ Zn : mcd(a, n) = 1}.

Este conjunto, equipado con la multiplicación [a] · [b] := [ab], es un grupo abe-
liano:

(G0) Para demostrar la cerradura de la operación es necesario vericar que

[ab] ∈ U (n), para toda [a], [b] ∈ U (n). Esto es equivalente a demostrar
que si mcd(a, n) = 1 y mcd(b, n) = 1, entonces d := mcd(ab, n) = 1.
Supongamos que d > 1 y sea p un divisor primo de d. Como p | ab
entonces p | a o p | b, por el Lema de Euclides. Sin perder generalidad,
supongamos que p | a. Además, p | d | n, así que p | mcd(a, n) = 1, lo cual
contradice que p sea un número primo. Por lo tanto, d = 1.

Supongamos ahora que [a] = [a0 ] y [b] = [b0 ]. Entonces a = a0 + k1 n y

0
b = b + k2 n, para algunos k1 , k2 ∈ Z. Luego,

[ab] = [(a0 + k1 n)(b0 + k2 n)] = [a0 b0 + ak2 n + b0 k1 n + k1 k2 n2 ] = [a0 b0 ].

Por lo tanto, [a][b] = [a0 ][b0 ]. Esto demuestra que la operación está bien
denida.

(G1) Para toda a, b, c ∈ U (n), se cumple que

([a] · [b]) · [c] = [(ab)c] = [a(bc)] = [a] · ([b] · [c]).

(G2) La identidad es [1] ∈ U (n) porque [1]·[a] = [1a] = [a] y [a]·[1] = [a1] = [a],
para toda [a] ∈ U (n).
12 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

(G3) Sea [a] ∈ U (n). Por denición de U (n), sabemos que mcd(a, n) = 1. Por
el Lema de Bezóut, existen b, c ∈ Z tales que ab + cn = 1. Así,

[1] = [ab + cn] = [ab] = [a][b].

Basta comprobar que [b] ∈ U (n) para demostrar que [b] es el inverso de
[a] U (n). Sea d := mcd(b, n). Como d | b y d | n, entonces d | (ab + cn).
en
Luego, d | 1, lo que implica que d = 1 y [b] ∈ U (n).

(G4) Para toda [a], [b] ∈ U (n), se cumple que [a] · [b] = [ab] = [ba] = [b] · [a].

Observación 1.14. Observemos que la denición del grupo U (n) no depende

de los representantes que se tomen, ya que si [a] = [a0 ], entonces mcd(a, n) = 1
si y sólo si mcd(a0 , n) = 1 (Ejercicio 1.5).

Observación 1.15. Para simplicar el lenguaje, cuando consideramos un gru-

po arbitrario G nos referimos a su operación binaria como multiplicación o
producto, aunque ésta no necesariamente coincida con la multiplicación o pro-
ducto usual de números. Obviamente, una excepción de esto ocurre cuando el
grupo está equipado con una operación binaria denotada por el signo +. Más
adelante puntualizaremos más a fondo estas diferencias en la notación.

Enunciaremos algunos resultados básicos.

Lema 1.16 (propiedades básicas de grupos). Sea G un grupo.

1. Cancelación derecha. Para toda a, b, c ∈ G, si ac = bc, entonces a = b.

2. Cancelación izquierda. Para toda a, b, c ∈ G, si ca = cb, entonces a = b.
3. Unicidad de la identidad. La identidad e de G es única.
4. Unicidad de los inversos. Para toda a ∈ G, el inverso de a es único.
5. Inverso del inverso. Para toda a ∈ G, (a−1 )−1 = a.
6. Inverso de un producto. Para toda a, b ∈ G, (ab)−1 = b−1 a−1 .
Demostración.
1. Observemos que

ac = bc
−1
(ac)c = (bc)c−1
a(cc−1 ) = b(cc−1 )
ae = be
a = b.

2. Ejercicio 1.6.
1.1. GRUPOS 13

3. Supongamos que e y e0 son identidades de G. Por la propiedad G2, tene-

mos que ea = a = e0 a. Luego, por cancelación derecha, e = e0 .

4. Ejercicio 1.7.

5. Como (a−1 )−1 es el inverso de a−1 , debe satisfacer que (a−1 )−1 a−1 =
−1
e. Además, sabemos que aa = e. Luego, (a−1 )−1 a−1 = aa−1 , y por
−1 −1
cancelación derecha obtenemos que (a ) = a.

6. Ejercicio 1.8.

Definición 1.17 (potencias). Sea G un grupo y g ∈ G. Para k ∈ Z, denimos

la k -ésima potencia de g de la siguiente manera:



 e k = 0,






g · g · g . . . g para k > 0,


k
g :=
| {z }
 k veces




g −1 · g −1 . . . g −1 para k < 0.




| {z }
−k veces

Lema 1.18 (potencias). Sea G un grupo y g ∈ G.

1. Para cualquier k, s ∈ Z, g k · g s = g k+s .

2. Para cualquier k ∈ Z, (g k )−1 = g −k .

3. Para cualquier k, s ∈ Z, (g k )s = g ks .

Demostración.

1. Analizaremos varios casos. Si k>0 y s > 0, entonces

g k · g s = g · g . . . g · g · g . . . g = g · g · g . . . g = g k+s .
| {z } | {z } | {z }
k veces s veces k+s veces

Si k > 0, s < 0, y k > −s, entonces

g k · g s = g · g . . . g · g −1 · g −1 . . . g −1 = g · g . . . g ·e . . . e = g k+s .
| {z } | {z } | {z }
k veces −s veces k−(−s) veces

Si k > 0, s < 0, y k < −s, entonces

g k · g s = g · g . . . g · g −1 · g −1 . . . g −1 = e . . . e · g −1 · g −1 . . . g −1 = g k+s .
| {z } | {z } | {z }
k veces −s veces −s−k veces
14 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Si k<0 y s < 0, entonces

g k · g s = g −1 · g −1 . . . g −1 · g −1 · g −1 . . . g −1 = g −1 · g −1 . . . g −1 = g k+s .
| {z } | {z } | {z }
−k veces −s veces −k−s veces

Los otros casos (como k < 0 y s > 0, o k = 0) se analizan de manera

similar. Por lo tanto, siempre se cumple que g k · g s = g k+s .
2. Observemos que g k g −k = g k+(−k) = g 0 = e. Por lo tanto, (g k )−1 = g −k
3. Si s > 0, tenemos que

k + k + ··· + k
| {z }
k s k k k
(g ) = g · g . . . g = g s veces = g ks .
| {z }
s veces

Si s < 0,
−k − k − · · · − k
| {z }
k s −k −k −k
(g ) = g ·g ...g =g −s veces = g (−k)(−s) = g ks .
| {z }
−s veces


Notación 1.19. En la denición de potencias usamos la notación multiplicati-
va de un grupo, aunque la operacion binaria · puede ser arbitraria. Sin embargo,
algunas veces es más conveniente usar la notación aditiva en un grupo (como
en Z y Zn ), y en tales casos una potencia corresponde más bien a una suma
iterada. Por lo tanto, cuando usemos notación aditiva, escribiremos kg en lugar
de gk : 
0


k = 0,





g + g + · · · + g

 para k > 0,
kg :=
| {z }
 k veces




+ (−g) + · + (−g) para k < 0.

(−g)



| {z }
−k veces

El Cuadro 1.1 resume algunas diferencias entre la notación multiplicativa y

la aditiva.

Notación Operación binaria Identidad Inversos k -Ésima potencia

−1 k
Multiplicativa ·, × e, 1 g g
Aditiva + 0 −g kg

Cuadro 1.1: Notaciones multiplicativa y aditiva

1.1. GRUPOS 15

Definición 1.20 (orden de un elemento). Sea G un grupo y g ∈ G. Decimos

que g es de orden nito si existe k ∈ Z+ tal que g = e; en otro caso, decimos
k

que g es de orden innito. Si g es de orden nito, el orden de g , denotado por

|g|, es el mínimo entero positivo n tal que g n = e; es decir,

|g| := n = mı́n{k ∈ Z+ : g k = e}.

Si g es de orden innito, escribimos |g| = ∞.

Ejemplo 1.21. En Z4 , el orden de [1] es 4 porque

[1] 6= [0]
[1] + [1] 6= [0]
[1] + [1] + [1] 6= [0]
[1] + [1] + [1] + [1] = [0].

Por otro lado, el orden de [2] es 2 porque

[2] 6= [0]
[2] + [2] = [0].

Ejemplo 1.22. En U (5), el orden de [3] es 4 porque

[3] 6= [1]
2
[3] = [9] 6= [1]
[3]3 = [27] 6= [1]
[3]4 = [81] = [1].

Ejemplo 1.23. Consideremos al grupo C? con la multiplicación. Entonces,

|1| = 1, |i| = 4, |2| = ∞.

Lema 1.24 (orden de un elemento en un grupo finito). Si G es un grupo -

nito, entonces todos sus elementos son de orden nito.

Demostración. Sea g ∈ G. Consideremos la lista innita de potencias positivas

de g :
g, g 2 , g 3 , g 4 , . . .
Todas estas potencias están en G por cerradura. Como G es nito, esta lista
debe tener alguna repetición, digamos g k = g s , donde, sin perder generalidad,
k > s. Luego, g t = e, donde t := k − s ∈ Z+ . Por lo tanto, g es de orden nito.


Lema 1.25 (orden de un elemento). Sea G un grupo y g∈G un elemento de

g k = e, entonces |g| | k .
orden nito. Si
16 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Demostración. Sea n := |g|. Por el Algoritmo de la División, existen q, r ∈ Z,

tales que
k = qn + r, con 0 ≤ r < n.
Observemos que
g r = g k−qn = g k (g n )−q = ee−q = e,
porque gk = e y g n = e. r 6= 0.
Por reducción al absurdo, supongamos que
Luego, r es un n tal que g r = e, lo que contradice
entero positivo menor que
que n sea el orden de g . Por lo tanto, r = 0 y n | k . 
Si G es un grupo nito con |G| = m, podemos escribir una tabla T = (ti,j ),
llamada la tabla de Cayley de (G, ·), con m las y m columnas, que determina
completamente el comportamiento de la operación binaria del grupo. Para esto,
ordenamos de manera arbitraria los elementos del grupo, G = {g1 , g2 , ..., gm },
donde gi 6= gj para toda i 6= j , y denimos la entrada (i, j) de T como ti,j :=
gi gj .

Ejemplo 1.26 (Z). El Cuadro 1.2 muestra la tabla de Cayley de Z5

+ [0] [1] [2] [3] [4]

[0] [0] [1] [2] [3] [4]
[1] [1] [2] [3] [4] [0]
[2] [2] [3] [4] [0] [1]
[3] [3] [4] [0] [1] [2]
[4] [4] [0] [1] [2] [3]

Cuadro 1.2: Tabla de Cayley de Z5

Notación 1.27. A partir de ahora, representaremos la clase [a] ∈ Zn simple-

mente como a. Esto nos ayudará a simplicar la notación, pero hay que tener
en cuenta que, en este contexto, a no representa un número, sino una clase
módulo n. Con esta notación, por ejemplo, Z5 = {0, 1, 2, 3, 4}.

Ejemplo 1.28 (U (8)). El Cuadro 1.3 muestra la tabla de Cayley de U (8)

· 1 3 5 7
1 1 3 5 7
3 3 1 7 5
5 5 7 1 3
7 7 5 3 1

Cuadro 1.3: Tabla de Cayley de U (8)

1.1. GRUPOS 17

Lema 1.29 (tabla de Cayley). Sea G un grupo nito de orden m. La tabla de

Cayley T = (ti,j ) de G se cumplen las siguientes propiedades:

1. No hay dos elementos iguales en una misma la, o una misma columna,
de T.

2. Todos los elementos de G deben aparecer en cada la o columna de T.

3. G es abeliano si y sólo ti,j = tj,i , para toda i, j = 1, . . . , m (i.e. T es una

matriz simétrica ).

Demostración.

1. Si ti,j = ti,k , entonces gi gj = gi gk . Por cancelación izquierda, gj = gk , lo

que implica que j = k . Esto demuestra que no hay elementos repetidos en
una misma la de T . La demostración es similar para las columnas de T .

2. Cada la o columna de T debe tener m elementos deG, los cuales deben
ser todos distintos por el punto anterior. Como |G| = m, entonces todos
los elementos de G deben aparecer en cada columna o la de T .

3. G es abeliano si y sólo si gi gj = gj gi para toda i, j , lo cual se cumple si y

sólo si ti,j = tj,i .

Teorema 1.30 (suma directa). Sean G1 y G2 grupos. El conjunto

G1 ⊕ G2 := {(a1 , a2 ) : a1 ∈ G1 , a2 ∈ G2 },

equipado con la operación

(a1 , a2 ) · (b1 , b2 ) := (a1 b1 , a2 b2 ),

es un grupo llamado la suma directa de G1 y G2 .

Demostración.

(G0) Claramente, (a1 , a2 )·(b1 , b2 ) = (a1 b1 , a2 b2 ) ∈ G1 ⊕G2 , para toda (a1 , a2 ), (b1 , b2 ) ∈
G1 ⊕ G2 . Además, la operación binaria en G1 ⊕ G2 está bien denida por-
que las operaciones binarias en cada uno de los grupos G1 y G2 están bien
denidas.

(G1) Para toda (a1 , a2 ), (b1 , b2 ), (c1 , c2 ) ∈ G1 ⊕ G2 tenemos que

(a1 , a2 ) · ((b1 , b2 ) · (c1 , c2 )) = (a1 (b1 c1 ), a2 (b2 c2 ))

= ((a1 b1 )c1 , (a2 b2 )c2 )
= ((a1 , a2 ) · (b1 , b2 )) · (c1 , c2 ).
18 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

(G2) La identidad de G1 ⊕ G2 es (e1 , e2 ) ∈ G1 ⊕ G2 , donde ei es la identidad

de Gi , porque

(e1 , e2 ) · (a1 , a2 ) = (a1 , a2 ) = (a1 , a2 ) · (e1 , e2 ).

(G3) El inversio de (a1 , a2 ) ∈ G1 ⊕ G2 es (a−1 −1

1 , a2 ) ∈ G1 ⊕ G2 porque

(a1 , a2 ) · (a−1 −1 −1 −1
1 , a2 ) = (e1 , e2 ) = (a1 , a2 )(a1 , a2 ).


Observación 1.31. El lector se habrá dado cuenta que el conjunto G1 ⊕ G2 es
igual al producto cartesiano G1 × G2 ; la diferencia en la notación se sustenta
en que G1 ⊕ G2 representa un grupo equipado con la operación binaria descrita
en el teorema anterior mientras que G1 × G2 es simplemente un conjunto sin
estructura algebraica.

Palabras clave: operación binaria, grupo, grupo abeliano, orden de un gru-

po, orden de un elemento, tabla de Cayley, suma directa.
1.1. GRUPOS 19

1.1.3. Ejercicios
Ejercicio 1.1. Determina si las siguientes armaciones son verdaderas o falsas,
y justica tu respuesta:

1. La función máx(a, b) que asigna a cualquier par de números enteros el

máximo de los dos es una operación binaria de Z.

2. La división es una operación binaria de Z.

3. El conjunto de los números impares es un grupo con la suma.

4. Si un grupo es innito, los órdenes de todos sus elementos son innitos.

Ejercicio 1.2. Determina si los siguientes conjntos con operaciones son grupos.
Justica tu respuesta.

1. El conjunto de enteros impares con la suma usual.

2. El conjunto de números enteros con la operación max.

3. El conjunto de números racionales Q con operación ? denida por a?b =

a+b
2 .

4. El conjunto de números reales R con operación ? denida por a?b =

a + b + ab.

Ejercicio 1.3. Sea G = {a ∈ R : a 6= −1}. Consideremos la operación binaria ?

denida por a ? b = a + b + ab, ∀a, b ∈ G. Demuestra que G equipado con ? es
un grupo. ¾Cuál es el inverso de 3 ∈ G en el grupo?

Ejercicio 1.4. Para toda n ≥ 2, demuestra que el grupo GLn (F ) no es abeliano.

Ejercicio 1.5. Sean [a], [a0 ] ∈ Zn tales que [a] = [a0 ]. Demuestra que mcd(a, n) =
1 si y solo si mcd(a0 , n) = 1.

Ejercicio 1.6 (cancelación izquierda). Sea G un grupo. Demuestra que, para

toda a, b, c ∈ G, si ca = cb, entonces a = b.

Ejercicio 1.7 (unicidad del inverso). Sea G un grupo. Demuestra que, para
toda a ∈ G, el inverso de a es único.

Ejercicio 1.8 (inverso de un producto). Sea G un grupo. Demuestra que, pa-

ra toda a, b ∈ G, (ab)−1 = b−1 a−1 .

Ejercicio 1.9. Respecto al grupo Z36 (con la suma de clases) encuentra lo si-
guiente:

1. El orden del grupo.

20 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

2. Los órdenes de los elementos [6] y [11].

3. Los inversos de los elementos [6] y [11].

Ejercicio 1.10. Respecto al grupo U (36) (con el producto de clases) responde

lo siguiente:

1. El orden del grupo.

2. Los órdenes de los elementos [5] y [13].

3. Los inversos de los elementos [5] y [13].

Ejercicio 1.11 (órdenes de grupos y elementos). Para cada uno de los si-
guientes grupos, encuentra el orden del grupo y el orden de cada uno de sus
elementos:
Z12 , U (10), U (12).

Ejercicio 1.12 (grupos módulo n). Escribe las tablas de Cayley de Z4 y Z6 .

Ejercicio 1.13 (grupos de unidades módulo n). Escribe las tablas de Cayley
de U (10) y U (12).

Ejercicio 1.14 (grupos diédricos). Escribe las tablas de Cayley de D6 y D8 .

Ejercicio 1.15. Sea G un grupo. Demuestra que (ab)2 = a2 b2 , para todo a, b ∈

G, si y solo si G es abeliano.

Ejercicio 1.16. Sea G un grupo. Demuestra que (ab)−1 = a−1 b−1 , para todo
a, b ∈ G, si y solo si G es abeliano.

Ejercicio 1.17 (cancelación cruzada). Sea G un grupo con la siguiente pro-

piedad: sia, b, c ∈ G cumplen que ab = ca, entonces b = c. Demuestra que G es
abeliano.

Ejercicio 1.18. Sea G un grupo nito tal que para toda g ∈ G − {e} se cumple
que |g| = 2. Demuestra que G es abeliano.

Ejercicio 1.19. Sea G un grupo y sean g, h ∈ G. Demuestra que |gh| = |hg|.

Ejercicio 1.20 (?). Sin usar teoremas que no hemos visto en clase, demuestra
que si un grupo G tiene orden par, entonces existe un elemento en G de orden
2.
1.2. SUBGRUPOS Y CLASES LATERALES 21

1.2. Subgrupos y clases laterales

1.2.1. Subgrupos
Si G es un grupo con operación · y H un subconjunto de G, denotamos por
·H a la restricción de · en H ; en otras palabras, ·H es la función ·H : H × H → G
denida como
a ·H b = a · b, donde a, b ∈ H.
Definición 1.32 (subgrupo). Sea G un grupo con operación · y H ⊆ G. Deci-
mos que H es un subgrupo de G, y escribimos H ≤ G, si el par (H, ·H ) es en sí
mismo un grupo.

Decimos que H es un subgrupo propio de G, y escribimos H < G, si H≤G

pero H 6= G.
Teorema 1.33 (test del subgrupo 1). Sea G un grupo. Un subconjunto H de
G es un subgrupo de G si y sólo si se cumplen las siguientes propiedades:
(S1) Cerradura en H . Para toda a, b ∈ H , se cumple que a · b ∈ H .
(S2) Identidad en H . e ∈ H , donde e es la identidad de G.
(S3) Inversos en H . Para cualquier a ∈ H , se cumple que a−1 ∈ H .
Demostración.
(⇒) Si H es un subgrupo de G, entonces el par (H, ·H ) es un grupo y claramente
se cumplen las propiedades ( S1)-(S3).
(⇐) Supongamos que se cumplen las propiedades ( S1)-(S3). Demostraremos
que (H, ·H ) es un grupo:

(G0) La propiedad ( S1) garantiza que ·H es una función de la forma

H × H → H, así que ·H está bien denida.

(G1) Como G es un grupo, se cumple la propiedad asociativa para todos

sus elementos; en particular, se cumple la propiedad asociativa para
todos los elementos de H ⊆ G.
(G2) Por ( S2), el elemento identidad de G está en H , y por lo tanto es
el elemento identidad de H.
(G3) Por ( S3), todos los elementos de H tienen un inverso.


Notación 1.34. Para simplicar notación, si (H, ·H ) es un subgrupo de (G, ·),
denotamos la operación ·H con el mismo símbolo que la operación de (G, ·).

Ejemplo 1.35. Dado cualquier grupo G, los conjuntos {e} y G siempre son
subgrupos de G.
22 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Teorema 1.36 (test del subgrupo 2). Sea G un grupo. Un subconjunto H de

G es un subgrupo de G si y sólo si H 6= ∅ y, para toda a, b ∈ H , se cumple que
a−1 b ∈ H .
Demostración.
(⇒ ) SiH ≤ G, entonces H 6= ∅, por denición de grupo, y además se cumple
a−1 b ∈ H para toda a, b ∈ H por las propiedades (S2) y (S3).
(⇐ ) Supongamos que H ⊆ G cumple que H 6= ∅ y a−1 b ∈ H para toda
a, b ∈ H . Para demostrar que H es un subgrupo de G usaremos el Test
del Subgrupo 1:

(S2) Identidad en H . Como H 6= ∅, sea h ∈ H . Entonces, e = h−1 h ∈ H .

(S3) Inversos en H . Para cualquier a ∈ H , tenemos que a−1 = a−1 e ∈ H .
(S1) Cerradura en H . Para toda a, b ∈ H , la parte anterior implica que
a−1 ∈ H , y por lo tanto ab = (a−1 )−1 b ∈ H .

Teorema 1.37 (test del subgrupo para grupos finitos). Sea G un grupo ni-
to. Un subconjunto H de G es un subgrupo de G si y sólo si H 6= ∅ y, para toda
a, b ∈ H , se cumple que ab ∈ H .
Demostración.
(⇒) Si H ≤ G, entonces claramente H 6= ∅ y ab ∈ H para toda a, b ∈ H .
(⇐) Supongamos que H⊆G cumple que H 6= ∅ y que H cumple la cerradura.
Usaremos el Test del Subgrupo 1:

(S1) Cerradura en H . Esta propiedad está dada por hipótesis.

(S2) Identidad en H . Como H 6= ∅, existe un h ∈ H . Por el Lema 1.24,
existe t>0 tal que ht = e. Como ht ∈ H por cerradura, obtenemos
que e ∈ H.
(S3) Inversos en H . Sea h ∈ H arbitrario. Si h = e, entonces h−1 = e ∈ H
por el punto (S2). Supongamos que h 6= e. Por el Lema 1.24, existe
t > 0 tal que ht = e. De hecho, t > 1, ya que t = 1 implica que h = e,
contradiciendo el supuesto. Luego hh
t−1
= e implica que h−1 = ht−1 .
−1 t−1
Además, t − 1 > 0, así que h =h ∈ H por cerradura.

Definición 1.38 (subgrupo cı́clico generado por g). Sea G un grupo. Deni-
mos al grupo cíclico generado por g ∈ G como el conjunto

hgi = {g k : k ∈ Z}.
Si la operación de G está escrita de forma aditiva, entonces

hgi = {kg : k ∈ Z}.

1.2. SUBGRUPOS Y CLASES LATERALES 23

Teorema 1.39 (subgrupo cı́clico generado por g). Sea G un grupo y g ∈ G.

Entonces, hgi es un subgrupo abeliano de G.

Demostración. Usaremos el Teorema 1.33 del test del subgrupo y vericaremos

que cumple la propiedad conmutativa:

(S1) Para toda g k , g s ∈ hgi, tenemos que g k g s = g k+s ∈ hgi.

(S2) Por denición, e = g 0 ∈ hgi.

(S3) El inverso de cualquier g k ∈ hgi es g −k , el cual es claramente un elemento

de hgi.

(G4) Para toda g k , g s ∈ hgi, tenemos que g k g s = g k+s = g s+k = g s g k .

Teorema 1.40 (orden de hgi). Sea G un grupo y g ∈ G un elemento de orden

nito. Si d := |g|,
hgi = {e, g, g 2 , . . . , g d−1 }.
En particular,
|hgi| = |g|.

Demostración. S := {e, g, g 2 , . . . , g d−1 } ⊆ hgi. Para demostrar

Claramente, la
k
otra contención, sea g ∈ hgi, con k ∈ Z, un elemento arbitrario. Usamos el
Algoritmo de la División entre k y d := |g|:

k = qd + r, donde q, r ∈ Z, y 0 ≤ r < d.

Observemos que gr ∈ S y g r = g k−qd = g k (g d )−q = g k , porque g d = e. Por lo

k r
tanto, g = g ∈ S.
Para demostrar que |hgi| = d basta con vericar que todos los elementos de
S son distintos. Efectivamente, si g i = g j para algunos 0 ≤ i < j < d, entonces
g j−i = e donde 0 < i − j < d, lo que contradice que d sea el menor entero
d
positivo tal que g = e. 

Definición 1.41 (grupo cı́clico). Decimos que un grupo G es cíclico si existe

g ∈ G tal que G = hgi.

Ejemplo 1.42. Para cualquier n ∈ N, el grupo Zn es cíclico. Demostraremos

que Zn = h[1]i. Para cualquier [k] ∈ Zn ,

[k] = [1] + [1] + · + [1] = k[1].

| {z }
k veces

Por lo tanto,
h[1]i := {k[1] : k ∈ Z} = {[k] : k ∈ Z} = Zn .
24 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Ejemplo 1.43. El grupo Z es cíclico porque Z = h1i. Para cada n ∈ Z, denota-

mos al subgrupo cíclico generado por n como nZ, es decir
nZ = hni = {kn : k ∈ Z}.
Ejemplo 1.44. Los subgrupos cíclicos de Z6 son:

h0i = {0}
h1i = {0, 1, 2, 3, 4, 5} = h5i
h2i = {0, 2, 4} = h4i
h3i = {0, 3}.
Observación 1.45. Si G = hgi es un grupo cíclico, entonces es abeliano: en
efecto, para cualquier g k , g s ∈ hgi, tenemos que g k g s = g k+s = g s+k = g s g k .
Teorema 1.46 (centro). Sea G un grupo. El conjunto

Z(G) := {g ∈ G : gh = hg, ∀h ∈ G}
es un subgrupo abeliano de G, llamado el centro de G.
Demostración. Usaremos el Teorema 1.33 del test del subgrupo y vericaremos
que cumple la propiedad conmutativa:

(S1) Sean g1 , g2 ∈ Z(G), así que g1 y g2 conmutan con cualquier elemento de

G. Luego, para toda h ∈ G,
(g1 g2 )h = g1 hg2 = h(g1 g2 ), =⇒ g1 g2 ∈ Z(G).

(S2) Sabemos que la identidad conmuta con cualquier elemento de G, así que
e ∈ Z(G).
(S3) Sea g ∈ Z(G). Entonces, para toda h ∈ G,
gh = hg =⇒ hg −1 = g −1 h =⇒ g −1 ∈ Z(G).

(G4) Claramente, para toda g1 , g2 ∈ Z(G), tenemos que g1 g2 = g2 g1 .


Observación 1.47. Un grupo G es abeliano si y sólo si Z(G) = G.
Observación 1.48. Sean H y K subgrupos de un grupo G. En general, la unón
H∪K no es un subgrupo de G (Ejercicio 1.23), pero la intersección H∩K siempre
es un subgrupo de G (Ejercicio 1.22).

El producto de los subgrupos H y K está denido por

HK := {hk : h ∈ H, k ∈ K},
el cual no es necesariamente un subgrupo de G. En el caso nito, podemos
deducir la siguiente fórmula importante para la cardinalidad del conjunto HK .
1.2. SUBGRUPOS Y CLASES LATERALES 25

Proposición 1.49 (fórmula del producto). Sean H y K subgrupos de un gru-

po nito G. Entonces,
|H||K|
|HK| = .
|H ∩ K|

Demostración. Ejercicio 1.42. 

1.2.2. Clases laterales

Definición 1.50 (clase lateral). Sea H un subgrupo de un grupo G y a ∈ G.
La clase lateral izquierda de H en G con representante a es el conjunto

aH := {ah : h ∈ H}.

Similarmente, la clase lateral derecha de H en G con representante a es el con-

junto
Ha := {ha : h ∈ H}.

En esta sección demostraremos resultados principalmente sobre clases late-

rales izquierdas, aunque debe ser claro que hay resultados análogos para clases
laterales derechas.

Lema 1.51 (mód(H)). Sea H un subgrupo de un grupo G. Las clases laterales

izquierdas de H en G son las clases de equivalencia de la relación de equivalencia
mód (H) denida como sigue: para toda a, b ∈ G,

a ≡ b mód (H) ⇐⇒ ∃h ∈ H : a = bh.

Demostración. Demostraremos primero que la relación mód (H) es una rela-

ción de equivalencia sobre G:

(E1) Reexividad. a ≡ a mód (H) porque a = ae, donde e ∈ H.

(E2) Simetría. Si a ≡ b mód (H), entonces a = bh para algún h ∈ H . Luego,

b = ah−1 con h−1 ∈ H , lo que implica que b ≡ a mód (H).

(E3) Transitividad. Supongamos que a ≡ b mód (H) y b ≡ c mód (H). En-

tonces, a = bh1 y b = ch2 , donde h1 , h2 ∈ H . Luego, a = (ch2 )h1 =
c(h2 h1 ), con h2 h1 ∈ H . Esto implica que a ≡ c mód (H).

Finalmente, observemos que la clase de equivalencia de a ∈ G bajo esta

relación es:

[a] := {b ∈ G : b ≡ a mód (H)}

= {b ∈ G : b = ah, h ∈ H}
= {ah : h ∈ H} = aH.


26 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Notación 1.52. Para cualquier H ≤ G, denotamos por G/H al conjunto de

clases laterales izquierdas de H enG, es decir,

G/H := {aH : a ∈ G}.

Lema 1.53 (igualdad de clases laterales). Sea H un subgrupo de un grupo

G y a, b ∈ H . Entonces,

aH = bH ⇔ b ∈ aH ⇔ a−1 b ∈ H.

Demostración. Como aH y bH son clases de equivalencia, sabemos que aH =

bH si y sólo si a ≡ b mód (H). Ahora, observemos que

a ≡ b mód (H) ⇔ b = ah para algún h ∈ H ⇔ b ∈ aH.

Para demostrar la segunda equivalencia, sólo hay que observar que b = ah para
algún h∈H si y sólo si a−1 b ∈ H . 

Corolario 1.54. Sea H un subgrupo de un grupo G y a ∈ G. Entonces, aH =

eH si y sólo si a ∈ H .

Observación 1.55. Una clase lateral aH de H en G en general no es un subrgu-

po de G. De hecho, si aH es un subgrupo, entonces e ∈ aH , y por el lema
anterior, aH = eH . Por lo tanto, la única clase lateral de H en G que es un
subgrupo de G es eH = H .

Notación 1.56. Cuando la operación de un grupo G se escribe en notación

aditiva, denotamos por a+H a la clase lateral izquierda de un subgrupo H en
G con representante a ∈ G.

Ejemplo 1.57. Consideremos el subgrupo h2i = {0, 2, 4, 6} en Z8 . La clase late-

ral 1+h2i se obtiene sumando 1 a cada uno de los elementos de h2i = {0, 2, 4, 6},
es decir,

1 + h2i = {1, 3, 5, 7}.

Por el Lema de Igualdad de Clases Laterales, podemos tomar a cualquier ele-

mento de la clase lateral como su representante:

1 + h2i = 3 + h2i = 5 + h2i = 7 + h2i.

Definición 1.58 (partición uniforme). Una partición uniforme de un conjunto

A es una partición P = {Pi ⊆ A : i ∈ I} de A tal que |Pi | = |Pj | para toda
Pi , Pj ∈ P .

Lema 1.59 (partición en clases laterales). El conjunto de clases laterales G/H

es una partición uniforme de G.
1.2. SUBGRUPOS Y CLASES LATERALES 27

Demostración. Las clases laterales forman una partición de G porque son clases
de equivalencia de una relación de equivalencia sobre G. Para demostrar que la
partición es uniforme, debemos demostrar que |aH| = |bH|, para toda a, b ∈ G.
Consideremos la función β : aH → bH denida por β(ah) = bh, para toda h ∈
H . Esta función está bien denida y es inyectiva porque, para toda h1 , h2 ∈ H ,

ah1 = ah2 ⇔ h1 = h2 ⇔ bh1 = bh2 ⇔ β(ah1 ) = β(ah2 ).

Además, claramente β es sobreyectiva porque la preimagen de cualquier bh ∈ bH

es ah ∈ aH . 
Corolario 1.60. Sea H un subrgupo de G. Para toda a ∈ H , |aH| = |H|.

Ejemplo 1.61. Las clases laterales de h2i en Z6 son:

0 + h2i = {0, 2, 4} = 2 + h2i = 4 + h2i,

1 + h2i = {1, 3, 5} = 3 + h2i = 5 + h2i.

Las clases laterales de h3i en Z6 son:

0 + h3i = {0, 3} = 3 + h3i,

1 + h3i = {1, 4} = 4 + h3i,
2 + h3i = {2, 5} = 5 + h3i.

Ejemplo 1.62. Sea n ∈ N. En general, para cualquier k ∈ Z, una clase lateral

k + nZ del subgrupo nZ = hni de Z es igual a

k + nZ = {k, k ± n, k ± 2n, k ± 3n, . . . }.

Así vemos que hay n clases laterales en Z/nZ:

Z/nZ = {0 + nZ, 1 + nZ, 2 + nZ, . . . , (n − 1) + nZ} .

Lema 1.63 (clases laterales derechas). Sea H un subgrupo de un grupo G.

1. Para cualquier a, b ∈ G, se cumple que Ha = Hb si y sólo si ab−1 ∈ H .
2. El conjunto de clases laterales derechas H \ G := {Ha : a ∈ G} es una
partición uniforme de G

Demostración. Ejercicio 1.32. 

Lema 1.64 (ı́ndice). Sea H un subgrupo de un grupo G. El número de distintas
clases laterales izquierdas de H en G es igual al número de distintas clases
laterales derechas de H en G.

Demostración. Demostraremos que |G/H| = |H \ G|. Consideremos la función

β : (G/H) → (H \ G) denida por β(aH) = Ha−1 , ∀a ∈ G.

28 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Esta función está bien denida y es inyectiva porque

aH = bH ⇔ a−1 b ∈ H ⇔ a−1 (b−1 )−1 ∈ H ⇔ Ha−1 = Hb−1 ,

donde la última equivalencia se obtiene usando el Lema 1.63. Además, clara-

mente β es sobreyectiva porque la preimagen de cualquier Ha ∈ H \ G es
a−1 H ∈ G/H . 
Definición 1.65 (ı́ndice). Sea H un subgrupo de un grupo G. El índice de H
en G es el número de distintas clases laterales (izquierdas o derechas) de H en
G, y se denota como [G : H].

Observación 1.66. Claramente [G : H] = |G/H|, ya que G/H es el conjunto

de clases laterales izquierdas de H en G.

Teorema 1.67 (Lagrange). Sea H un subgrupo de un grupo nito G. Entonces,

|G| = [G : H] · |H|.

Demostración. Sea G/H = {a1 H, a2 H, . . . , ar H}, donde r := [G : H]. Como

G es igual a la unión disjunta de las clases laterales tenemos que
 
[r  X r
|G| =  ai H  = |ai H|.
 
 
i=1 i=1

Por el Corolario 1.60, |ai H| = |H| para toda i. Por lo tanto,

r
X
|G| = |H| = r|H| = [G : H]|H|.
i=1


Corolario 1.68. Sea H un subgrupo de un grupo nito G. Entonces, el orden
de H divide al orden de G.

Ejemplo 1.69. Los subgrupos h2i y h3i de Z6 tienen 3y2 elementos, respecti-
vamente. Esto claramente concuerda con que 2|6 y 3 | 6.

Ejemplo 1.70. Cualquier grupo G de orden 12 puede tener subgrupos de órde-

nes 1, 2, 3, 4, 6 y 12. Sin embargo, G no puede tener subrgupos de órdenes 5,
7, 8, 9, 10 y 11, porque no son divisores de 12.

Observación 1.71. El converso del corolario anterior no es necesariamente cier-

to; es decir, si k es un divisor de |G|, no necesariamente existe un subgrupo
H ≤ G tal que |H| = k . Veremos ejemplos de esto en el Capítulo 3.

Corolario 1.72. Sea H un subgrupo de un grupo nito G. Entonces,

|G|
|G/H| = .
|H|
1.2. SUBGRUPOS Y CLASES LATERALES 29

Corolario 1.73. Sea G un grupo nito de orden n.

1. |g| divide a |G|, para toda g ∈ G.
2. g n = e, para toda g ∈ G.

Demostración.
1. Por el Teorema 1.40, |g| = |hgi|. Por lo tanto, por el Corolario 1.68, |g|
divide a |G|.

2. Por el punto anterior, sabemos que |g| divide a n, es decir, n = qd, donde
d = |g| y q ∈ Z. Luego, g n = g qd = (g d )q = eq = e.


Corolario 1.74. Sea G un grupo de orden primo p. Entonces, G es cíclico.

Demostración. Ejercicio 1.37 

Palabras clave: subgrupo, tests de subgrupos, grupo cíclico, centro, clase

lateral, índice de un subgrupo, teorema de Lagrange.
30 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

1.2.3. Ejercicios
Ejercicio 1.21 (subgrupos). Sea G un grupo. Demuestra que los siguientes
conjuntos son subgrupos de G.

1. El centralizador de a∈G denido como C(a) := {g ∈ G : ga = ag}.

2. El centralizador de H ≤ G denido como C(H) := {g ∈ G : gh = hg, ∀h ∈

H}.

3. Cuando G es abeliano, el conjunto T := {g ∈ G : g 3 = e}.

4. Cuando G es abeliano, el conjunto K := {g ∈ G : |g| < ∞}.

Ejercicio 1.22 (intersección de subgrupos). Sean H y K subgrupos de un

grupo G. Demuestra que H ∩ K es un subgrupo de G.

Ejercicio 1.23 (unión de subgrupos). Sean H y K subgrupos de un grupo G.

Demuestra que H ∪ K es un subgrupo de G si y sólo si H ⊆ K o K ⊆ H .

Ejercicio 1.24 (producto de subgrupos). Sean H y K subgrupos de un grupo

abeliano G. Demuestra que HK es un subgrupo de G.

Ejercicio 1.25 (subgrupo generado). Dado un subconjunto S de un grupo G,

denimos al subgrupo generado por S como

hSi := {s1 s2 . . . sk : si ∈ S ∪ S −1 , k ≥ 1} ∪ {e};

donde S −1 := {s−1 : s ∈ S}. Demuestra que hSi es un subgrupo de G.

Ejercicio 1.26 (subgrupo generado). Sea S un subconjunto de un grupo G.

Demuestra que hSi es el subgrupo de G más pequeño que contiene a S ; es decir,
si H es un subgrupo de G tal que S ⊆ H , entonces hSi ⊆ H .

Ejercicio 1.27. Sea H un subgrupo de G y g ∈ G un elemento de orden n.

Demuestra que si g k ∈ H , donde mcd(n, k) = 1, entonces g ∈ H .

Ejercicio 1.28. SeaH un subgrupo de un grupo G. Sin usar la relación mód (H),
demuestra que si aH 6= bH , entonces (aH) ∩ (bH) = ∅.

Ejercicio 1.29. Sea H un subgrupo de un grupo G y a ∈ G. Demuestra que aH

es un subgrupo de G si y sólo si a ∈ H .

Ejercicio 1.30 (ı́ndice uno). Sea H un subgrupo de un grupo G. Demuestra

que [G : H] = 1 si y sólo si G = H .

Ejercicio 1.31 (producto de ı́ndices). Sean H ≤ K ≤ G. Demuestra que [G :

H] = [G : K][K : H].
1.2. SUBGRUPOS Y CLASES LATERALES 31

Ejercicio 1.32 (clases laterales derechas). Demuestra el Lema 1.63.

Ejercicio 1.33. Encuentra todas las clases laterales de H en G en cada uno de

los siguientes casos:

a) H = h4i y G = Z.
b) H = h4i y G = 2Z.
c) H = h2i y G = Z12 .
d) H = h0, 3, 6, 9i y Z12 .
e) H = {1, 11} y G = U (30)

Ejercicio 1.34. Supongamos que K es un subgrupo propio de H y H es un

subgrupo propio de G. Si |K| = 42 y |G| = 420, ¾cuáles son los posibles valores
para |H|?

Ejercicio 1.35. Supongamos que K es un subgrupo propio de H y H es un

subgrupo propio de G. Si |K| = 30 y |G| = 120, ¾cuáles son los posibles valores
para |H|?

Ejercicio 1.36. Sea G un grupo de orden p2 , donde p es un número primo.

1. Enlista los posibles órdenes de los elementos de G.

2. Demuestra que G debe tener al menos un elemento de orden p.

Ejercicio 1.37 (grupo de orden primo). Sea G un grupo de orden primo p.

Demuestra que G debe ser cíclico.

Ejercicio 1.38 (producto de subconjuntos). Sean A y B subconjuntos de un

grupo G. Denimos el producto de A y B por AB := {ab : a ∈ A, b ∈ B}.
Demuestra que si e ∈ B , entonces A ⊆ AB . Además, demuestra que, para
cualquier subconjunto C de G,

A(BC) = (AB)C.

Ejercicio 1.39 (producto de subgrupos). Sean H y K subgrupos de un grupo

G. Demuestra que el producto HK := {hk : h ∈ H, k ∈ K} es un subgrupo de
G si y solo si HK = KH .

Ejercicio 1.40 (producto de subgrupos). Sean H y K subgrupos de un grupo

G. Demuestra que si HK es un subgrupo de G, entonces HK = hH ∪ Ki.

Ejercicio 1.41 (ley modular). Sean H y K subgrupos de un grupo G, y sea S

un subgrupo de H . Entonces,

S(H ∩ K) = H ∩ (SK).
32 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Ejercicio 1.42 (fórmula del producto). Sean H y K subgrupos de un grupo

nito G. Consideremos los siguientes conjuntos de clases laterales A := {aK :
a ∈ HK} y B = {h(H ∩ K) : h ∈ H}. Demuestra que la función

β:A→B denida como β(hkK) = h(H ∩ K), ∀hk ∈ HK

es una biyección bien denida. Concluye usando el Teorema de Lagrange que

|H||K|
|HK| = .
|H ∩ K|

Ejercicio 1.43 (?). Sea G un grupo con una cantidad nita de subgrupos. De-
muestra que G es nito.
 1.3. SUBGRUPOS NORMALES Y COCIENTES 33

1.3. Subgrupos normales y cocientes

1.3.1. Subgrupos normales

Definición 1.75 (subgrupo normal). Sea H un subgrupo de un grupo G. De-
cimos que H es normal en G, y escribimos H E G, si

aH = Ha, ∀a ∈ G.

Observación 1.76. Claramente, si G es un grupo abeliano, entonces todos sus

subgrupos son normales.

Lema 1.77 (subgrupo normal). Sea H un subgrupo de un grupo G. Las si-

guientes armaciones son equivalentes:

1. H es normal en G.

2. H = aHa−1 , para toda a ∈ G.

3. aha−1 ∈ H , para toda a ∈ G, h ∈ H .

4. Para toda a ∈ G, h ∈ H , existen h0 , h00 ∈ H tales que ah = h0 a y ha = ah00 .

Demostración.

(1.) ⇒ (2.) Supongamos que H E G. Por denición, aH = Ha, para toda a ∈ G.

Multiplicando por a−1 , obtenemos que aHa−1 = H , para toda a ∈ G, lo
que demuestra (2).

(2.) ⇒ (3.) Supongamos que H = aHa−1 , para toda a ∈ G. Entonces, aha−1 ∈

−1
aHa = H , para toda a ∈ G, h ∈ H , lo que demuestra (3).

(3.) ⇒ (4.) Supongamos que aha−1 ∈ H , para toda a ∈ G, h ∈ H . Luego, existe

h ∈ H tal que aha−1 = h0 , lo que prueba que ah = h0 a. La hipótesis
0
−1
también implica que a ha ∈ H para toda a ∈ G, h ∈ H . Luego, existe
h ∈ H tal que a ha = h00 . Esto demuestra que ha = ah00 .
00 −1

(4.) ⇒ (1.) Supongamos que se cumple (4). Para demostrar que H es normal en G,
debemos probar que aH = Ha, para toda a ∈ G. Sea ah ∈ aH . Por
0 0
hipótesis, existe h ∈ H tal que ah = h a ∈ Ha. Por lo tanto, aH ⊆ Ha.
00 00
Sea ahora ha ∈ Ha. Por hipótesis, existe h tal que ha = ah ∈ aH . Por
lo tanto Ha ⊆ aH . Esto demuestra que aH = Ha, para toda a ∈ G.

Definición 1.78 (conjugado). Sea G un grupo y a, h ∈ G. El conjugado de h

−1
por a es el elemento aha ∈ G.
34 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Observación 1.79. El inverso del conjugado aha−1 es ah−1 a−1 porque

(aha−1 )(ah−1 a−1 ) = ahh−1 a−1 = aa−1 = e.

La k -ésima potencia del conjugado aha−1 es igual a ahk a−1 porque

(aha−1 )k = (aha−1 )(aha−1 ) . . . (aha−1 ) = ahh . . ha−1} = ahk a−1 .

. {z
} |
k veces
| {z
k veces

Observación 1.80. Usando la Denición 1.78 anterior, el punto (3.) del Lema
1.77 establece que H es normal en G si y sólo si el conjugado de cualquier
elemento de H por cualquier elemento de G está en H.

Ejemplo 1.81. Sea G un grupo. Usaremos el punto (3.) del Lema 1.77 para
demostrar que el centro Z(G) = {g ∈ G : ga = ag, ∀a ∈ G} es normal en G.
−1
Seana∈G y z ∈ Z(G). Entonces, aza = aa−1 z = z ∈ Z(G). Por lo tanto,
Z(G) E G.

Lema 1.82. Sean G un grupo y H ≤ G. Si [G : H] = 2 entonces H C G.

Demostración. Necesitamos mostrar que Ha = aH para toda a ∈ G. Para

a ∈ H esto es obvio, porque aH = H = Ha. Tomemos a ∈ G − H . Entonces
aH 6= H . Sabemos que aH ∩ H = ∅ y G = H ∪ aH , como sólo hay dos clases
laterales, se tiene que aH = G − H . Por la misma razón, Ha = G − H , de donde
se sigue el resultado. 
Ejemplo 1.83. El subgrupo de rotaciones hρi = {id, ρ, ρ2 , . . . , ρn−1 } del grupo
dihédrico D2n es normal ya que es de índice 2.

Observación 1.84 (test del subgrupo normal). Combinamos el Test del Sub-
grupo 2 con el Lema 1.77 para deducir el siguiente test de normalidad: un sub-
conjunto H es un subgrupo normal de G si y sólo si se cumple lo siguiente:

(N1) e ∈ H.
(N2) h−1
1 h2 ∈ H , para toda h1 , h2 ∈ H .
(N3) aha−1 ∈ H , para toda a ∈ G, h ∈ H .

Definición 1.85 (conmutador). Sea G un grupo y a, b ∈ G. El conmutador de

a y b, denotado por [a, b], es

[a, b] := aba−1 b−1 .

El subgrupo conmutador de G, denotado por G0 es

G0 := h[a, b] : a, b ∈ Gi;

es decir, el subgrupo generado por los conmutadores (para la denición de sub-

grupo generado ver el Ejercicio 1.25). En otras palabras, G0 es el subgrupo de
G que consiste en todos los productos de conmutadores en G y sus inversos.
1.3. SUBGRUPOS NORMALES Y COCIENTES 35

Observación 1.86. Dos elementos a, b ∈ G conmutan si y sólo si [a, b] = e.

Además,[a, b]−1 = [b, a] porque

[a, b][b, a] = (aba−1 b−1 )(bab−1 a−1 ) = aba−1 ab−1 a−1 = abb−1 a−1 = aa−1 = e.

Esto muestra que el inverso de un conmutador es un conmutador.

Observación 1.87. El producto de dos conmutadores no necesariamente es un

conmutador; sin embargo, G0 es un subgrupo de G por denición, ya que está
constituido por todos los posibles productos de los conmutadores.

Observación 1.88. Sean a, b, g ∈ G. El conjugado del conmutador [a, b] por g

es un conmutador porque

g[a, b]g −1 = g(aba−1 b−1 )g −1

= ga(g −1 g)b(g −1 g)a−1 (g −1 g)b−1 g −1
= [(gag −1 ), (gbg −1 )].

Proposición 1.89. Sea G un grupo. El subgrupo conmutador G0 es normal en

G.

Demostración. Usaremos el Lema 1.77 (3). Sean h ∈ G0

y g ∈ G arbitrarios:
−1 0
debemos probar que ∈ G . Por denición del subgrupo conmutador, sabe-
ghg
mos que h es producto de conmutadores, es decir, h = [a1 , b1 ][a2 , b2 ] . . . [ak , bk ]
para algunos ai , bi ∈ G, k ∈ N. Usando la observación anterior sobre conjugados
obtenemos lo siguiente:

ghg −1 = g[a1 , b1 ][a2 , b2 ] . . . [ak , bk ]g −1

= g[a1 , b1 ]g −1 g[a2 , b2 ]g −1 g . . . g −1 g[ak , bk ]g −1
= [ga1 g −1 , gb1 g −1 ][ga2 g −1 , gb2 g −1 ] . . . [gak g −1 , gbk g −1 ] ∈ G0 .

1.3.2. Grupos cocientes

Parte de la importancia de los subgrupos normales es que nos permiten
denir una operación natural entre sus clases laterales.

Lema 1.90. Sea H un subgrupo de un grupo G. La operación · en el conjunto

de clases laterales G/H dada por aH · bH := abH , a, b ∈ G, está bien denida
si y solo si H es subrgupo normal de G.

Demostración.
(⇒) Supongamos que la operación aH ·bH := abH , a, b ∈ G, está bien denida.
Como eH = hH para toda h ∈ H , tenemos que

(eH)(bH) = (hH)(bH) para toda b ∈ G.

36 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Usando la dención de la multiplicación de clases laterales obtenemos que

bH = hbH =⇒ b−1 hb ∈ H, para toda b ∈ G.

Esto demuestra que H es normal en G.

(⇐) Supongamos que H es normal en G. Supongamos además que a1 H = a2 H
y que b1 H = b2 H . Debemos demostrar que (a1 H)(b1 H) = (a2 H)(b2 H).
Usamos el Lema 1.53:

a1 H = a2 H =⇒ a1 ∈ a2 H =⇒ a1 = a2 h1 para algún h1 ∈ H
b1 H = b2 H =⇒ b1 ∈ b2 H =⇒ b1 = b2 h2 para algún h2 ∈ H.

Luego,

a1 b1 = (a2 h1 )(b2 h2 ) = (a2 b2 )(h01 h2 ), para algún h01 ∈ H,

donde usamos el hecho que H E G y el Lema 1.77 (4.) para conmutar b.

Lo anterior implica que a1 b1 ∈ a2 b2 H y

a1 b1 H = a2 b2 H =⇒ (a1 H)(b1 H) = (a2 H)(b2 H).


Teorema 1.91 (grupo cociente). Sea H un subgrupo de un grupo G. El con-
junto de las clases laterales G/H equipado con la operación aH · bH := abH ,
a, b ∈ G, es un grupo si y solo si H es un subrgupo normal de G.

Demostración.
(⇒) Si G/H es un grupo, en particular la operación entre clases laterales está
bien denida. Por el Lema 1.90, esto implica que H es normal en G.
(⇐) Supongamos que H es normal en G. Demostraremos que G/H es un grupo:

(G0) La operación es claramente cerrada, y, por el Lema 1.90, está bien

denida.

(G1) Para cualquier aH, bH, cH ∈ G/H se cumple que

aH · (bH · cH) = a(bc)H = (ab)cH = (aH · bH) · cH.

(G2) La identidad es eH ∈ G/H porque, para cualquier aH ∈ G/H ,

eH · aH = eaH = aH = aeH = aH · eH.

(G3) El inverso de aH ∈ G/H es a−1 H ∈ G/H porque

aH · a−1 H = aa−1 H = eH = a−1 aH = a−1 H · aH.


1.3. SUBGRUPOS NORMALES Y COCIENTES 37

+ 0 + h3i 1 + h3i 2 + h3i

0 + h3i 0 + h3i 1 + h3i 2 + h3i
1 + h3i 1 + h3i 2 + h3i 0 + h3i
2 + h3i 2 + h3i 0 + h3i 1 + h3i

Cuadro 1.4: Tabla de Cayley de Z6 /h3i

Ejemplo 1.92. Consideremos el subgrupo h3i = {0, 3} de Z6 , el cual es normal

porque Z6 es abeliano. El grupo cociente es

Z6 /h3i = {0 + h3i, 1 + h3i, 2 + h3i},

y su tabla de Cayley está dada por el Cuadro 1.4.

Ejemplo 1.93. Consideremos el subgrupo 5Z = {5k : k ∈ Z} de Z. Entonces,

Z/5Z = {0 + 5Z, 1 + 5Z, 2 + 5Z, 3 + 5Z, 4 + 5Z}.

Algunos ejemplos de sumas en el grupo Z/5Z son:

(1 + 5Z) + (1 + 5Z) = 2 + 5Z,

(2 + 5Z) + (3 + 5Z) = 5 + 5Z = 0 + 5Z,
(4 + 5Z) + (3 + 5Z) = 7 + 5Z = 2 + 5Z.

Ejemplo 1.94. SeaG un grupo y H un subgrupo de G de índice 2. Por el Lema

1.82 sabemos que H es normal en G y por el Teorema de Lagrange |G/H| = 2.
Esto implica que el grupo G/H tiene exactamente dos clases laterales eH y gH ,
las cuales cumplen que (gH) · (gH) = eH .

Las siguientes son un par de aplicaciones del uso de grupos cociente.

Proposición 1.95. Sea G un grupo. Si G no es abeliano, entonces el grupo

G/Z(G) no es cíclico.
cociente

Demostración. Sea Z := Z(G). Demostraremos la proposición contrapuesta: si

G/Z es cíclico, entonces G es abeliano. Sea gZ el generador de G/Z .
Sean a, b ∈ G elementos arbitrarios. Entonces, existen i, j ∈ Z tales que

i
aZ = (gZ) = g i Z,
j
bZ = (gZ) = g j Z.

Luego, existen z1 , z2 ∈ Z tales que a = g i z1 y b = g j z2 . Como z1 y z2 conmutan

con todos los elementos de G y g g = g i+j = g j+i = g j g i , deducimos que
i j

ab = g i z1 g j z2 = g i g j z1 z2 = g j g i z2 z1 = g j z2 g i z1 = ba.

Esto demuestra que G es abeliano. 

38 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Proposición 1.96. Sea G un grupo y N ≤ G. Entonces, N E G y G/N es

abeliano si y solo si G0 ≤ N .

Demostración.
(⇒) Supongamos que N es normal en G y G/N es abeliano. Esto implica que
las clases laterales de conmutadores son triviales en G/N ; es decir, para
todo a, b ∈ G,

[a, b]N = aba−1 b−1 N = (aN )(bN )(a−1 N )(b−1 N ) = eN.

Por lo tanto, [a, b] ∈ N , para toda a, b ∈ G, lo que demuestra que G0 ≤ N .

(⇐) Supongamos que G0 ≤ N . Para toda n ∈ N , a ∈ G, tenemos

ana−1 = ana−1 n−1 n = [a, n]n ∈ N.

Luego, N es normal en G. Ahora, veamos que, para todo a, b ∈ G,

[a, b] ∈ N ⇒ [a, b]N = eN ⇒ aba−1 b−1 N = eN.

Por denición de la operación entre clases laterales, obtenemos que

aba−1 b−1 N = (aN )(bN )(aN )−1 (bN )−1 = eN.

Multiplicando por la derecha la igualdad de ambos lados por (bN )(aN ) ob-
tenemos que (aN )(bN ) = (bN )(aN ), para todo a, b ∈ G. Esto demuestra
que G/N es abeliano.

Palabras clave: subgrupo normal, conjugado, conmutador, subgrupo con-

mutador, grupo cociente.
1.3. SUBGRUPOS NORMALES Y COCIENTES 39

1.3.3. Ejercicios
Ejercicio 1.44 (subgrupo especial lineal). Sea GLn (F ) el grupo general li-
neal de grado n sobre F . Demuestra que el grupo especial lineal, denido por

SLn (F ) := {A ∈ GLn (F ) : det(A) = 1},

es un subgrupo normal de GLn (F ).

Ejercicio 1.45. ¾Cuál es el orden de 14 + h8i en el grupo cociente Z24 /h8i?

Ejercicio 1.46 (orden del conjugado). Sea G un grupo y a, g ∈ G. Demuestra

−1
que |g| = |aga |.

Ejercicio 1.47 (conjugación de elementos). Sea G un grupo. Demuestra que

la conjugación de elementos de G dene una relación de equivalencia sobre G.

Ejercicio 1.48 (conjugación de subgrupos). Sea H ≤ G y a ∈ G. Denimos

−1
al conjugado de H como aHa := {aha−1 : h ∈ H}. Demuestra que aHa−1 es
−1
un subgrupo de G y que |H| = |aHa |.

Ejercicio 1.49 (centralizador de un subgrupo). Sea H un subgrupo normal

de G. Demuestra que el centralizador de H , denido por C(H) := {g ∈ G :
gh = gh, ∀h ∈ G} es un subgrupo normal de G.

Ejercicio 1.50 (normalizador de un subgrupo). Sea H un subgrupo de G.

−1
Denimos al normalizador de H como N (H) := {g ∈ G : H = gHg }. De-
muestra que H E N (H) y que C(H) E N (H).

Ejercicio 1.51 (normalizador de un subgrupo). Sea H un subgrupo de G.

Demuestra que H es normal en G si y solo si N (H) = G.

Ejercicio 1.52. Sea G un grupo. Consideremos al subgrupo diagonal de G ⊕ G

denido por diag(G) := {(g, g) : g ∈ G}. Demuestra que diag(G) es normal
en G⊕G si y solo si G es abeliano. Cuando G es nito, ¾Cuál es el índice de
diag(G) en G ⊕ G?

Ejercicio 1.53 (producto de subgrupos). Sea G un grupo y H, K ≤ G.

40 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

1. Si H E G, demuestra que HK = KH .
2. Si H E G, demuestra que HK ≤ G.
3. Si HEG y K E G, demuestra que HK E G.
4. Si H E G, K E G y H ∩ K = {e}, demuestra que hk = kh, para toda
h ∈ H, k ∈ K.

Ejercicio 1.54 (cociente cı́clico). Sea G = hgi un grupo cíclico y H un sub-

grupo normal de G. Demuestra que G/H es cíclico.

Ejercicio 1.55 (subgrupo de ı́ndice 2). Sea H un subgrupo de G de índice 2.

1. Demuestra que a2 ∈ H para toda a ∈ G.
2. Sea K ≤ G. Demuestra que K ≤ H o que exactamente la mitad de los
elementos de K están en H |K ∩ H| = |K|
(i.e.
2 ).

Ejercicio 1.56. Sea H un subgrupo normal de un grupo G. Demuestra que si

|G/H| = n, entonces g n ∈ H para toda g ∈ G.

Ejercicio 1.57. Consideremos a Q como grupo con la suma usual. Demuestra

que Q/Z es un grupo innito en el cual todos sus elementos tienen orden nito.

Ejercicio 1.58. Sea G un grupo nito y sea N E G tal que [G : N ] = k .

Demuestra que si g ∈ G cumple que mcd(|g|, k) = 1, entonces g ∈ N .

Ejercicio 1.59. Sea H un subgrupo normal de un grupo G. Si g ∈ G es un

elemento de orden nito, demuestra que el orden de gH como elemento de G/H
divide a |g|.
1.4. HOMOMORFISMOS 41

1.4. Homomorsmos

1.4.1. Homomorsmos
Definición 1.97 (homomorfismo). Sean G1 y G2 grupos. Un homomorsmo
es una función φ : G1 → G2 tal que

φ(gh) = φ(g)φ(h), ∀g, h ∈ G1 .

Informalmente, decimos que un homomorsmo preserva las operaciones en-

tre los grupos.

Observación 1.98. Es importante observar que en la igualdad φ(gh) = φ(g)φ(h)

la operación del lado izquierdo entre g yh es la correspondiente a G1 , mientras
que la operación del lado derecho entre φ(g) y φ(h) es la correspondiente a G2 .

Ejemplo 1.99. 1. La función φ:Z→Z denida por φ(x) = 2x, ∀x ∈ Z, es

un homomorsmo porque

φ(x + y) = 2(x + y) = 2x + 2y = φ(x) + φ(y), para toda x, y ∈ Z.

2. Considerando a R? como grupo bajo la multiplicación usual, la función

φ:R →R? ?
denida por φ(x) = 2x, ∀x ∈ R? , no es un homomorsmo
porque

φ(xy) = 2xy 6= φ(x)φ(y) = 4xy, para toda x, y ∈ R? .

3. La función φ : GLn (R) → R? denida por φ(A) = det(A), ∀A ∈ GLn (R),

es un homomrosmo porque

φ(AB) = det(AB) = det(A) det(B) = φ(A)φ(B), para toda A, B ∈ GLn (R)

4. Sea G un grupo y N E G. La función φ : G → G/N denida por φ(g) =

gN , ∀g ∈ G, es un homomorsmo porque

φ(gh) = ghN = (gN )(hN ) = φ(g)φ(h), para toda g, h ∈ G.

Este homomorsmo se llama el homomorsmo natural de G a G/N .

Lema 1.100 (propiedades de homomorfismos). Sea φ : G1 → G2 un homo-
morsmo. Entonces:

1. φ(e1 ) = e2 , donde ei es la identidad de Gi , i = 1, 2.

2. φ(g −1 ) = φ(g)−1 , para toda g ∈ G1
3. φ(g k ) = φ(g)k , para toda k ∈ Z, g ∈ G1 .
4. Si g ∈ G1 es un elemento de orden nito, entonces |φ(g)| | |g|.
42 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Demostración.
1. Como e1 e1 = e1 , debe cumplirse que φ(e1 e1 ) = φ(e1 ). Aplicando la pro-
piedad de homomorsmo del lado izquierdo, obtenemos que φ(e1 )φ(e1 ) =
φ(e1 ). Finalmente, por cancelación, φ(e1 ) = e2 .
φ(e1 ) = φ gg −1 = φ(g)φ(g −1 ). Por


2. Observemos que el punto anterior,
e2 = φ(g)φ(g −1 ), lo que implica que φ(g)−1 = φ(g −1 ).
3. Ejercicio 1.61.

n
4. Sea |g| = n. Por el punto anteior, φ (g) = φ (g n ) = φ (e1 ) = e2 . Por el
Lema 1.25, concluimos que |φ (g) | divide a n.

φ : G1 → G2 un homomorsmo. Recordemos
Sea que para cualquier sub-
conjunto H ⊆ G1 , la imagen de H bajo φ es

φ(H) := {φ(h) : h ∈ H}.

En particular, la imagen de φ es Im(φ) := φ(G1 ), y sabemos que φ es sobreyec-

tivo si y sólo si φ(G1 ) = G2 .
Por otro lado, dado K ⊆ G2 , la preimagen de K bajo φ es el conjunto

φ−1 (K) := {g ∈ G1 : φ(g) ∈ K}.

Esta notación no debe confundir al lector: el símbolo φ−1 (K) no implica que
la función φ deba ser invertible; podemos perfectamente denir preimágenes de
conjuntos bajo funciones no invertibles. Sin embargo, cuando φ sí es invertible,
resulta que φ−1 (K) coincide con la imagen de K bajo la función φ−1 .
Lema 1.101 (propiedades se subgrupos bajo homomorfismos). Sea φ : G1 →
G2 un homomorsmo. Entonces:
1. Si H ≤ G1 , entonces φ(H) ≤ G2 .
2. Si H ≤ G1 es cíclico, o abeliano, entonces φ(H) es cíclico, o abeliano,
respectivamente.

3. Si H E G1 , entonces φ(H) E φ(G1 ).

4. Si K ≤ G2 , entonces φ−1 (K) ≤ G1 .
5. Si K E G2 , entonces φ−1 (K) E G1 .

Demostración.
1. Observemos que e2 = φ(e1 ) ∈ φ(H) porque e1 ∈ H . Sean φ(h1 ), φ(h2 ) ∈
φ(H) elementos arbitrarios. Entonces,

φ(h1 )−1 φ(h2 ) = φ(h−1 −1

1 )φ(h2 ) = φ(h1 h2 ) ∈ φ(H).

Por el Test del Subgrupo 2, φ(H) ≤ G2 .

1.4. HOMOMORFISMOS 43

2. Ejercicio 1.62.

3. Sean φ(g) ∈ φ(G1 ) y φ(h) ∈ φ(H). Entonces,

φ(g)φ(h)φ(g)−1 = φ(g)φ(h)φ(g −1 ) = φ(ghg −1 ) ∈ φ(H),

porque ghg −1 ∈ H . Por lo tanto, φ(H) E φ(G1 ).

4. Primero, e1 ∈ φ−1 (K) porque φ(e1 ) = e2 ∈ K . Ahora, sean a, b ∈
−1
φ (K) elementos arbitrarios. Por denición de preimagen, tenemos que
φ(a), φ(b) ∈ K . Luego,

φ(a−1 b) = φ(a)−1 φ(b) ∈ K.

Esto muestra que a−1 b ∈ φ−1 (K), y entonces φ−1 (K) ≤ G1 .

5. Ejercicio 1.64.


Lema 1.102 (composición de homomorfismos). Sean φ1 : G1 → G2 y φ2 :
G2 → G3 homomorsmos. La composición φ2 ◦ φ1 : G1 → G3 es un homomor-
smo.

Demostración. Para toda g, h ∈ G1 , se cumple que

φ2 ◦ φ1 (gh) = φ2 (φ1 (gh)) = φ2 (φ1 (g)φ1 (h)) = (φ2 ◦ φ1 )(g)(φ2 ◦ φ1 )(h).

Por lo tanto, φ2 ◦ φ1 es un homomrosmo. 

Definición 1.103 (kernel). Sea φ : G1 → G2 un homomorsmo. El kernel de φ
es el conjunto
ker(φ) := {g ∈ G1 : φ(g) = e2 }.

Ejemplo 1.104. 1. El kernel del homomorsmo φ : Z → Z denido por

φ(x) = 2x, ∀x ∈ Z, es

ker(φ) = {x ∈ Z : φ(x) = 0} = {x ∈ Z : 2x = 0} = {0}.

2. El kernel del homomorsmo φ : GLn (R) → R? denido por φ(A) = det(A),

∀A ∈ GLn (R), es

ker(φ) = {A ∈ GLn (R) : det(A) = 1} = SLn (R).

3. Sea G un grupo y N E G. El kernel del homomorsmo natural φ:G→

G/N es

ker(φ) = {a ∈ G : φ(a) = eN } = {a ∈ G : aN = eN } = {a ∈ G : a ∈ N } = N.

Lema 1.105 (kernel). Sea φ : G1 → G2 un homomorsmo. Entonces:

44 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

1. ker(φ) E G1 .

2. φ : G1 → G2 es inyectivo si y sólo si ker(φ) = {e1 }.

Demostración.

1. Usaremos el Test del Subgrupo Normal:

(N1) e1 ∈ ker(φ) porque φ(e1 ) = e2 .

(N2) Sean a, b ∈ ker(φ), lo que implica que φ(a) = e2 y φ(b) = e2 .
Entonces,

φ(a−1 b) = φ(a)−1 φ(b) = e−1

2 e2 = e2 =⇒ a
−1
b ∈ ker(φ).

(N3) Sea g ∈ G1 y a ∈ ker(φ). Entonces,

φ(gag −1 ) = φ(g)φ(a)φ(g)−1 = φ(g)e2 φ(g)−1 = e2 .

Por lo tanto, gag −1 ∈ ker(φ).

2. Demostraremos cada implicación:

(⇒) Supongamos que φ : G1 → G2 es inyectivo y sea a ∈ ker(φ). Lue-

go, φ(a) = e2 = φ(e1 ). Por inyectividad, a = e1 , lo que demuestra
que ker(φ) ⊆ {e1 }. Como claramente se cumple la inclusión opuesta,
ker(φ) = {e1 }.
(⇐) Supongamos que ker(φ) = {e1 }. Sean a, b ∈ G1 tales que φ(a) = φ(b).
Observemos que

φ(a) = φ(b) =⇒ φ(a)φ(b)−1 = e2 =⇒ φ(ab−1 ) = e2 .

Entonces, ab−1 ∈ ker(φ) = {e1 }, lo que implica que ab−1 = e1 . Así,

a=b y φ : G1 → G2 es inyectivo.

1.4.2. Isomorsmos
Definición 1.106 (isomorfismo). Sean G1 y G2 grupos. Un isomorsmo entre
G1 y G2 es un homomorsmo biyectivo. En caso de que exista un isomorsmo
entre G1 y G2 decimos que G1 y G2 son isomorfos y escribimos G1 ∼
= G2 .

Lema 1.107 (inverso de un isomorfismo). Sea φ : G1 → G2 un isomorsmo.

−1
Entonces, φ : G2 → G1 también es un isomorsmo.

Demostración. Como φ : G1 → G2 es biyectivo, existe su función inversa φ−1 :

G2 → G1 , la cual también es biyectiva. Sólo hace falta demostrar que φ−1 es un
homomorsmo. Sean y1 , y2 ∈ G2 elementos arbitrarios. Por sobreyectividad de
1.4. HOMOMORFISMOS 45

φ, existen x1 , x2 ∈ G1 tales que φ(x1 ) = y1 y φ(x2 ) = y2 . Debido a que φ es un

homomorsmo, sabemos que cumple

φ(x1 x2 ) = φ(x1 )φ(x2 ).

Aplicando φ−1 de ambos lados y sustituyendo φ(xi ) = yi , obtenemos que

φ−1 (φ(x1 x2 )) = φ−1 (φ(x1 )φ(x2 )) ⇒ x1 x2 = φ−1 (y1 y2 ).

Finalmente, sustituyendo xi = φ−1 (yi ) obtenemos que

φ−1 (y1 )φ−1 (y2 ) = φ−1 (y1 y2 ).

Por lo tanto, φ−1 es un isomorsmo. 

Teorema 1.108 (relación isomorfı́a). La relación de isomorfía ∼
= entre grupos
es una relación de equivalencia.

Demostración. Sean G1 , G2 y G2 grupos.

(E1) Reexividad. La función identidad id : G1 → G1 es un isomorsmo, así

que G1 ∼
= G1 .
(E2) Simetría. Supongamos que G1 ∼= G2 , así que existe un isomorsmo φ :
−1
G1 → G2 . Por el lema anterior, φ : G2 → G1 es un isomorsmo, y
entonces G2 ∼
= G1 .
(E3) Transitividad. Supongamos que G1 ∼= G2 y G2 ∼ = G3 . Entonces, exis-
ten isomorsmos φ1 : G1 → G2 y φ2 : G2 → G3 . Como la composición
de biyecciones es biyección y la composición de homomorsmos es homo-
morsmo, entonces φ2 ◦ φ1 : G1 → G3 es un isomorsmo. Por lo tanto,
G1 ∼
= G3 .

La clase de isomorfía de un grupo G es la colección de todos los grupos
isomorfos a G; es decir, las clases de isomorfía son las clases de equivalencia
bajo la relación de isomorfía.

Lema 1.109 (propiedades de isomorfismos). Sea φ : G1 → G2 un isomors-

mo. Entonces:

1. |G1 | = |G2 |.
2. G1 es abeliano, o cíclico, si y sólo si G2 es abeliano, o cíclico, respectiva-
mente.

3. |φ(g)| = |g| para toda g ∈ G1 .

Demostración.
1. G1 y G2 tienen la misma cardinalidad porque φ es una biyección.
46 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

2. Supongamos que G1 es abeliano y sean y1 , y2 ∈ G2 . Por sobreyectividad

de φ, existen x1 , x1 ∈ G1 tales que φ(xi ) = yi , i = 1, 2. Luego,
y1 y2 = φ(x1 )φ(x2 ) = φ(x1 x2 ) = φ(x2 x1 ) = φ(x2 )φ(x1 ) = y2 y1 .
Por lo tanto G2 es abeliano.

Por otro lado, supongamos que G1 es cícilico y G1 = hgi. Por sobreyec-

tividad de φ, para todo y ∈ G2 existeg i ∈ G1 tal que φ(g i ) = y . Luego,
y = φ(g)i , lo que demuestra que G2 = hφ(g)i.
Las implicaciones recíprocas se demuestran análogamente usando el iso-
morsmo φ−1 : G2 → G1 .
3. El Lema 1.100 (4.) nos dice que si g ∈ G es de orden nito, entonces |φ(g)|
divide a |g|. Aplicando el mismo lema al homomormso φ−1 , obtenemos
−1
que |g| = |φ (φ(g))| divide a |φ(g)|. Esto demuestra que si g es de orden
nito, entonces |φ(g)| = |g|. Por otro lado, supongamos que |g| = ∞. Por
reducción al absurdo, si |φ(g)| = m < ∞, entonces

g m = φ−1 (φ(g))m = φ−1 (φ(g)m ) = φ−1 (e2 ) = e1 .

Esto contradice que g no es de orden nito, por lo que |φ(g)| = ∞.

Ejemplo 1.110. El lema anterior puede servir para determinar cuándo dos gru-
pos no son isomorfos. Por ejemplo:
1. Los grupo Z4 y Z5 no son isomorfos porque no tienen el mismo tamaño.

2. Los grupos Z8 y D8 no son isomorfos, porque el primero es abeliano pero

es segundo no es abeliano.

3. Los grupos C? y R? no son isomorfos porque el primero tiene un elemento

de orden 4 (que es i ∈ C? ) mientras que el segundo no tiene ningún
elemento de orden 4.
Teorema 1.111 (Primer Teorema de Isomorfı́a). Sea φ : G1 → G2 un homo-
morsmo. Entonces,
G1 / ker (φ) ∼
= φ(G1 ).
Demostración. Consideremos la función ψ : G1 / ker (φ) → φ(G1 ) denida de
la siguiente forma

ψ(g ker(φ)) = φ(g), ∀g ker(φ) ∈ G1 / ker(φ).

Demostraremos que ψ es un isomorsmo bien denido en cuatro pasos.

1. Bien denido. Supongamos que g1 ker(φ) = g2 ker(φ). Entonces g2−1 g1 ∈

ker(φ), lo que signica que

φ(g2−1 g1 ) = e2 ⇒ φ(g2 )−1 φ(g1 ) = e2 ⇒ φ(g1 ) = φ(g2 ).

Por denición de ψ, tenemos que ψ(g1 ker(φ)) = ψ(g2 ker(φ)).
1.4. HOMOMORFISMOS 47

2. Homomorsmo. Para cualquier g1 ker(φ), g2 ker(φ) ∈ G1 / ker (φ),

ψ(g1 ker(φ)g2 ker(φ)) = ψ(g1 g2 ker(φ)) = φ(g1 g2 )
= φ(g1 )φ(g2 ) = ψ(g1 ker(φ))ψ(g2 ker(φ)).

3. Inyectivo. Supongamos que ψ(g1 ker(φ)) = ψ(g2 ker(φ)). Por denición de

ψ,
φ(g1 ) = φ(g2 ) ⇒ φ(g2 )−1 φ(g1 ) = e2 ⇒ φ(g2−1 g1 ) = e2 .
Luego g2−1 g1 ∈ ker(φ), lo que implica que g1 ker(φ) = g2 ker(φ).
4. Sobreyectivo. Sea φ(g) ∈ φ(G1 ) un elemento arbitrario. Claramente, su
preimagen bajo ψ es g ker(φ) ∈ G1 / ker (φ), lo que demuestra que ψ es
sobreyectivo.


Corolario 1.112. Sea φ : G1 → G2 un homomorsmo. Si H es un subgrupo
nito de G1 , entonces |φ(H)| divide a |H|.

Demostración. La restricción de φ a H nos da un homomorsmo φ|H : H → G2 .

Por el Primer Teorema de Isomorfía,

H/ ker(φ|H ) ∼
= φ(H).

Ahora, como H es nito, usamos el Teorema de Lagrange,

|H|
|φ(H)| = |H/ ker(φ|H )| = .
| ker(φ|H )|

Luego, |φ(H)|| ker(φ|H )| = |H|, lo que demuestra el corolario. 

Definición 1.113 (automorfismo). Un automormso de un grupo G es un iso-
morsmo de la forma φ : G → G.

Proposición 1.114 (grupo de automorfismos). El conjunto de automorsmos

de un grupo G, denotado por

Aut(G) := {φ : G → G|φ es un automorsmo},

es un grupo equipado con la composición de funciones,.

Demostración.
(G0) Por el Lema 1.102, la composición de dos automorsmos de G es un
automorsmo de G.
(G1) La composición de funciones siempre es una operación asociativa.

(G2) La función identidad id : G → G es un automorsmo, así que id ∈

Aut(G).
48 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

(G3) Por el Lema 1.107, la inversa de un automorsmo de G es un automor-

smo de G.

Proposición 1.115 (automorfismo interno). Sea G un grupo y g∈G un ele-
mento jo. La funciónφg : G → G denida por

φg (x) := gxg −1 , ∀x ∈ G

es un automorsmo de G, el cual es llamado el automorsmo interno inducido

por g .
Demostración. La función φg es biyectiva porque φg−1 es su inversa; efectiva-
mente, para toda x∈G se cumple

φg ◦ φg−1 (x) = g(g −1 xg)g −1 = x

φg−1 ◦ φg (x) = g −1 (gxg −1 )g = x.

Alternativamente, el lector puede demostrar directamente que φg es inyectiva y

sobreyectiva. Además, φg es un homomorsmo: para toda x, y ∈ G,

φg (xy) = gxyg −1 = (gxg −1 )(gyg −1 ) = φg (x)φg (y).


Proposición 1.116 (automorfismos internos). El conjunto de automorsmos
internos
Inn(G) := {φg ∈ Aut(G) : g ∈ G}
es un subgrupo normal de Aut(G).

Demostración. Usaremos el Test del Subgrupo Normal:

(N1) Claramente, id = φe ∈ Inn(G).

(N2) Sean g, h ∈ G. Observemos que, para toda x ∈ G,

φg ◦ φh (x) = g(hxh−1 )g −1 = (gh)x(gh)−1 = φgh (x).

Además, (φg )−1 = φg−1 , porque φg ◦φg−1 = φgg−1 = φe = id. Por lo tanto,

(φg )−1 ◦ φh = φg−1 ◦ φh = φg−1 h ∈ Inn(G).

(N3) Sea φg ∈ Inn(G) y σ ∈ Aut(G). Entonces, para toda x ∈ G,

σ ◦ φg ◦ σ −1 (x) = σ(gσ −1 (x)g −1 ) = σ(g)xσ(g)−1 = φσ(g) (x).

Por lo tanto, σ ◦ φg ◦ σ −1 = φσ(g) ∈ Inn(G).


Palabras clave: homomorsmo, kernel, isomorsmo, Primer Teorema de
Isomorfía, automorsmo, automorsmo interno.
1.4. HOMOMORFISMOS 49

1.4.3. Ejercicios
Ejercicio 1.60. Determina si las siguientes funciones son homomorsmos de
grupos, y en caso de serlo, encuentra su kernel e imagen.

1. φ : R? → R? denido como φ(x) = x4 , donde R? := R \ {0} es un grupo

con la multiplicación.

2. φ : R? → R? denido como φ(x) = 5x, donde R? := R \ {0} es un grupo

con la multiplicación.

3. φ:Z→Z denido como φ(x) = 5x, donde Z es un grupo con la suma.

4. φ : R → R? denido como φ(x) = ex , donde R y R? son grupos con la

suma y la multiplicación, respectivamente.

5. φ:Z⊕Z→Z denido como φ(x, y) = x − y .

Ejercicio 1.61. Sea φ : G1 → G2 un homomorsmo. Demuestra por inducción

k k
que φ(g ) = φ(g) , para toda k ∈ Z, g ∈ G1 .

Ejercicio 1.62. Sea φ : G1 → G2 un homomorsmo. Demuestra que si H ≤ G1

es cíclico, o abeliano, entonces φ(H) es cíclico, o abeliano, respectivamente.

Ejercicio 1.63. Sea G un grupo abeliano y sean φ : G → G y τ : G → G

homomorsmos. Demuestra que la función φτ : G → G denida por

φτ (g) = φ(g)τ (g), ∀g ∈ G

es un homomorsmo.

Ejercicio 1.64. Sea φ : G1 → G2 un homomorsmo. Demuestra que si K E G2 ,

−1
entonces φ (K) E G1 .

Ejercicio 1.65. Demuestra que Z12 no es isomorfo a Z2 ⊕ Z6 .

Ejercicio 1.66. Demuestra que U (8) no es isomorfo a U (10), pero U (8) y U (12)
son isomorfos.

Ejercicio 1.67. Sea G un grupo. Demuestra que φ : G → G denido como

φ(x) = x−1 es un homomorsmo si y solo si G es abeliano.

Ejercicio 1.68. Sea G un grupo. Demuestra que φ : G → G denido como

φ(x) = x2 es un homomorsmo si y solo si G es abeliano.
50 CAPÍTULO 1. TEORÍA DE GRUPOS BÁSICA

Ejercicio 1.69. Para cualquier n ∈ N, demuestra que hay un número innito

de grupos de orden n, pero que sólo hay un número nito de clases de isomorfía
de grupos de orden n.

Ejercicio 1.70 (Segundo Teorema de Isomorfı́a). Sea K un subgrupo de un

grupo G y N un subgrupo normal de G. Demuestra lo siguiente:

K/(K ∩ N ) ∼
= KN/N.
(Sugerencia: demuestra que φ : K → KN/N denido por φ(k) = kN es un
homomorsmo sobreyectivo con kernel K ∩ N .)

Ejercicio 1.71 (Tercer Teorema de Isomorfı́a). Si M y N son subgrupos nor-

males de G y N ≤ M , demuestra lo siguiente:

1. M/N es un subgrupo normal de G/N .

2. (G/N )/(M/N ) ∼
= G/M . (*)

Ejercicio 1.72 (Teorema de Correspondencia). Sea G un grupo y N un sub-

grupo normal de G. Demuestra lo siguiente:

1. Si K es un subgrupo tal que N ≤ K ≤ G, entonces K/N es un subgrupo

de G/N .
2. Si K es un subgrupo de G/N , entonces K := {g ∈ G : gN ∈ K̄} es un
subgrupo de G que contiene a N y cumple que K = K/N .

Ejercicio 1.73. Sean A, B y C grupos. Considera una sucesión de homomors-

mos
φ1 φ2 φ3 φ4
{e} −→ A −→ B −→ C −→ {e},
tales que im(φi ) = ker(φi+1 ), para i = 1, 2, 3. Demuestra lo siguiente:

1. φ2 es inyectivo.

2. φ3 es sobreyectivo.

3. B/A ∼
= C.

Ejercicio 1.74. Demuestra que para cualquier grupo G,

Inn(G) ∼
= G/Z(G).
(Sugerencia: demuestra que la función Φ : G → Inn(G) denida por Φ(g) = φg ,
∀g ∈ G, es un homomorsmo sobreyectivo con kernel Z(G) y usa el Primer
Teorema de Isomorfía).

Ejercicio 1.75. Sea G un grupo nito y σ ∈ Aut(G) un automorsmo que solo

ja a la identidad (i.e., si g 6= e entonces σ(g) 6= g ). Demuestra que G =
{g −1 σ(g) : g ∈ G}.
 Tipos particulares de grupos
2
2.1. Grupos cíclicos
2.1.1. Estructura
Sea G un grupo y g ∈ G. Por el Teorema 1.40, sabemos que si |g| = n,
entonces el subgrupo cíclico generado por g es

hgi = {e, g, g 2 , . . . , g n−1 } y |hgi| = |g|.

En esta sección, nos enfocaremos en estudiar la estructura del grupo hgi.

Recordemos que G en sí mismo es cíclico si existe un g ∈G tal que G = hgi.
En los resultados de esta sección, algunas veces asumiremos que todo el grupo
G es cíclico, pero otras veces G será un grupo arbitrario y nos enfocaremos en
su subgrupo hgi.

Observación 2.1. Sea g ∈ G tal que |g| = n < ∞. El Lema 1.25 establece que
k
si g = e para algún k ∈ Z, entonces n | k . Por otro lado, si n | k , entonces
k = qn, para algún q ∈ Z, lo que implica que g k = g qn = (g n )q = eq = e. Así,
k
podemos decir que g = e si y solo si n | k .

Lema 2.2 (criterios para igualdad de potencias). Sea G un grupo y g ∈ G.

1. Si |g| = n < ∞, entonces gi = gj si y sólo si i = j mód (n).

2. Si |g| = ∞, entonces gi = gj si y sólo si i = j.

Demostración.

1. Usando la observación previa,

gi = gj ⇔ g i−j = e ⇔ n | (i − j) ⇔ i=j mód (n).

2. Como |g| = ∞, tenemos que gk = e si y solo si k = 0. Por lo tanto,

gi = gj ⇔ g i−j = e ⇔ i−j =0 ⇔ i = j.

51
52 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS


Teorema 2.3 (clases de isomorfı́a de grupos cı́clicos). Sea G un grupo cí-
clico.

1. Si G es nito de orden n, entonces G∼

= Zn .
2. Si G es innito, entonces G∼
= Z.

Demostración.
1. Sea G un grupo cíclico de orden n. Entonces G = hgi, para algún g ∈ G,
con |g| = n, y
G = {e, g, g 2 , . . . , g n−1 }.
Consideremos la función φ : G → Zn denida por φ(g i ) = [i] ∈ Zn , para
toda i. Por el criterio (1) para igualdad de potencias,

gi = gj ⇔ i=j mód (n) ⇔ [i] = [j] ⇔ φ(g i ) = φ(g j ).

Esto implica que φ está bien denida y es inyectiva. Además, claramente

φ es sobreyectiva. Finalmente,

φ(g i g j ) = φ(g i+j ) = [i + j] = [i] + [j] = φ(g i ) + φ(g j ).

Por lo tanto, φ es un isomorsmo.

2. Sea G = hgi un grupo cíclico innito. Consideramos la función ψ:G→Z

denida por ψ(g i ) = i ∈ Z. Por el criterio (2) para igualdad de potencias,

gi = gj ⇔ i=j ⇔ ψ(g i ) = ψ(g j ).

Esto implica que ψ está bien denida y es inyectiva. Además, claramente

ψ es sobreyectiva. Finalmente,

ψ(g i g j ) = ψ(g i+j ) = i + j = ψ(g i ) + ψ(g j ).

Por lo tanto, ψ es un isomorsmo.


Observación 2.4. Sea G cualquier grupo y g ∈ G. En general, hgi es el subrgu-
po de G más pequeño que contiene a g ; es decir, si H es un subgrupo de G tal
que g ∈ H , entonces hgi ⊆ H . Esto es fácil de vericar usando la cerradura de
H , ya que g ∈ H implica que g k ∈ H , para toda k ∈ Z.

Teorema 2.5 (orden de potencias). Sea G un grupo y g∈G un elemento de

ordenn. Para cualquier k ∈ Z+ ,
1. hg k i = hg mcd(n,k) i.
n
2. |g k | = mcd(n,k) .
2.1. GRUPOS CÍCLICOS 53

Demostración.
1. Sea d := mcd(n, k). Como d | k , existe q ∈ Z tal que k = qd. Luego,
g k = (g d )q ∈ hg d i. Por la observación anterior, tenemos que hg k i ⊆ hg d i.
Por otro lado, por el Lema de Bezout, sabemos que existen t1 , t2 ∈ Z tales
que d = t1 n + t2 k . Luego,

g d = g t1 n+t2 k = (g n )t1 (g k )t2 = et1 (g k )t2 = (g k )t2 ∈ hg k i.

Por la observación anterior, hg d i ⊆ hg k i. Esto demuestra que hg d i = hg k i.

n
2. Primero demostraremos que si k | n, entonces |g k | = k . Vemos que
n n
(g k ) k = g k k = g n = e.

Sin embargo, para todo i ∈ Z+ i < nk se tiene que ik < n, por

tal que
k i n
lo que (g ) 6= e, por denición de n = |g|. Luego,
k es el menor entero
k n k n
positivo tal que (g ) k = e, lo que signica que |g | =
k.
Para demostrar el caso general (cuando k no necesariamente divide a n),
usamos el punto anterior de este lema y el hecho de que mcd(n, k) | n:
n
|g k | = |hg k i| = |hg mcd(n,k) i| = |g mcd(n,k) | = .
mcd(n, k)


Ejemplo 2.6. Sea G cualquier grupo y g ∈ G un elemento de orden 12. Con
el teorema anterior podemos calcular el orden de cualquier potencia de g , por
ejemplo:

12 12 12 12
|g 2 | = mcd(12,2) = 2 = 6, |g 5 | = mcd(12,5) = 1 = 12,
12 12 12 12
|g 8 | = mcd(12,8) = 4 = 3, |g 9 | = mcd(12,9) = 3 = 4.

Corolario 2.7. Sea g ∈ G un elemento de orden n. Entonces, hg i i = hg j i si y

sólo si mcd(n, i) = mcd(n, j).

Demostración.
(⇒) Supongamos que hg i i = hg j i. Por el teorema anterior,

n n
|g i | = |g j | ⇒ = ⇒ mcd(n, i) = mcd(n, j).
mcd(n, i) mcd(n, j)

(⇐) Supongamos que mcd(n, i) = mcd(n, j). Por el teorema anterior,

hg i i = hg mcd(n,i) i = hg mcd(n,j) i = hg j i.


54 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Corolario 2.8. Sea G = hgi un grupo cíclico de orden n. La potencia g k es un

k
generador de G (es decir, G = hg i) si y solo si mcd (n, k) = 1.

Demostración. Observemos que hgi = hg k i si y solo si |g| = |g k | si y solo si

n
n = mcd(n,k) , lo cual se cumple si y solo si mcd(n, k) = 1. 

Teorema 2.9 (teorema fundamental de grupos cı́clicos). Sea G un grupo cí-

clico.

1. Todo subgrupo de G es cíclico.

2. Si G tiene orden nito n, para cada divisor k|n existe un único subgrupo
n
Hk de G de orden k . Explícitamente, si G = hgi, entonces Hk = hg k i.
Además, no existen otros subrgupos de G distintos de los descritos ante-
riormente.

Demostración.
1. Supongamos que G = hgi = {g i : i ∈ Z} y sea H un subgrupo de G. Si
H = {e}, entonces H = hei es cíclico. Supongamos que H 6= {e} y sea m
m
el menor entero positivo tal que g ∈ H.
Armación: H = hgm i.
Claramente, hg m i ⊆ H , por cerradura. Para demostrar la otra contención,
s
sea g ∈ H un elemento arbitrario de H . Por el algoritmo de la división,
existen q, r ∈ Z tales que s = qm + r con 0 ≤ r < m. Observemos que,
r s−qm
por cerradura, g = g = g s (g m )q ∈ H , puesto que g s , g m ∈ H . De
tal forma, si r 6= 0, entonces r es un entero positivo menor que m tal que
g r ∈ H . Esto contradice la elección de m. Por lo tanto, r = 0, lo que
s qm
implica que s = qm. Así, g = g = (g m )q ∈ hg m i, lo que demuestra que
m
H ⊆ hg i.
2. Sea G = hgi con |g| = n, y sea k un divisor de n. Denimos el subgrupo
n
Hk := hg k i. Por el Teorema 2.5:
n n n
|Hk | = |g k | = = = k.
mcd(n, n/k) n/k

Ahora demostraremos que el grupo Hk es el único subgrupo de G de orden

k . Sea H 0 un subgrupo de G de orden k . Por la parte (1.) de este teorema,
H 0 es cíclico así que H 0 = hg s i para algún s ∈ Z. Por el Teorema 2.5:
n n
= k = |H 0 | = |g s | = .
mcd(n, n/k) mcd(n, s)
n
Por lo tanto, mcd(n, n/k) = mcd(n, s). Por el Corolario 2.7, Hk = hg k i =
hg s i = H 0 .
Finalmente, el Teorema de Lagrange implica que no pueden existir sub-
grupos de G cuyos órdenes no dividan a n.
2.1. GRUPOS CÍCLICOS 55

Observación 2.10. A través del isomorsmo de la demostración del Teorema

2.3, podemos enunciar los resultados anteriores para el grupo cíclico Zn :

1. Para toda k ∈ Zn , hki = hmcd(n, k)i.

n
2. Para toda k ∈ Zn , |k| = mcd(n,k) .

3. Para toda i, j ∈ Zn , hii = hji si y solo si mcd(n, i) = mcd(n, j).

4. El elemento k ∈ Zn genera a Zn si y solo si mcd(n, k) = 1.

5. Para cada k | n, existe un único subgrupo de Zn de orden k, dado por

Hk = h nk i.

Ejemplo 2.11. Los generadores de Z12 son 1, 5, 7, y 11, es decir,

Z12 = h1i = h5i = h7i = h11i.

Ejemplo 2.12. Si p es primo, entonces todo k ∈ Zp con k 6= 0 es generador de

Zp .

Observación 2.13. Los generadores de Zn son precisamente los elementos del

grupo U (n) = {k ∈ Zn : mcd(n, k) = 1}.

Definición 2.14 (función ϕ de Euler). La función phi de Euler es la función

ϕ : Z+ → Z+ dada por

ϕ(n) = |{k ∈ Z+ : 1 ≤ k ≤ n y mcd(n, k) = 1}| = |U (n)|.

Lema 2.15 (función ϕ de Euler). Sea n ∈ Z+ .

1. El número de elementos generadores de Zn es ϕ(n).

2. Para cualquier k | n, el número de elementos de Zn de orden k es ϕ(k).

Demostración.

1. Esta parte es trivial, puesto que el conjunto de generadores de Zn es U (n).

2. Por el Teorema Fundamental de Grupos Cíclicos, Zn tiene un único sub-

grupo de orden k, dado por Hk = h nk i.
a ∈ Zn es un elemento de orden
Si
k , entonces hai es un subgrupo de orden k ; por unicidad, tenemos que
Hk = hai. Por lo tanto, los elementos de Zn de orden k son precisamen-
te los generadores del subgrupo Hk . Por el punto anterior, el número de
generadores de Hk es ϕ(k).


56 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Lema 2.16 (contención entre subgrupos de un grupo cı́clico). Sea G = hgi

n
un grupo cíclico de orden n y Hk := hg k i, para k | n. Para toda k, s | n,

Hk ⊆ Hs si y solo si k | s.
Demostración. Si Hk ⊆ Hs , el Teorema de Lagrange implica que k | s, puesto
que |Hk | = k y |Hs | = s. Por otro lado, supongamos que k | s. Por el Teorema
Fundamental de Grupos Cíclicos, sabemos que Hs tiene un único subgrupo K
de orden k . Sin embargo, K también es subgrupo de G, así que la unicidad de
los subgrupos implica que Hk = K ⊆ Hs . 
Sea G un grupo y Sub(G) := {H : H ≤ G} el conjunto de subgrupos de
G. El conjunto parcialmente ordenado (Sub(G), ⊆), donde ⊆ es la inclusión de
subconjuntos, se llama la retícula1 de subgrupos de G. Normalmente es conve-
niente visualizar a (Sub(G), ⊆) mediante una gráca cuyos vértices, o nodos,
son los elementos de Sub(G), y dibujamos una arista de H1 a H2 si H1 ⊆ H2 .
Al ser ⊆ siempre una relación reexiva y transitiva, podemos simplicar su gra-
fo omitiendo las aristas de un vértice a sí mismo, y omitiendo las aristas que
puedan deducirse por transitividad: el diagrama resultante se llama el diagrama
de Hasse de la retícula de subgrupos de G.
Ejemplo 2.17. Podemos usar el Teorema Fundamental de los Grúpos Cíclicos
y el lema anterior para dibujar el diagrama de la retícula de subgrupos de Z6 .
Sabemos que los subgrupos de Z6 son Hk = h k6 i, para k | 6. Explícitamente,

H1 = h0i = {0},
H2 = h3i = {0, 3} ∼= Z2 ,
H3 = h2i = {0, 2, 4} ∼
= Z3 ,
H6 = h1i = Z6 .
El diagrama de la retícula de subgrupos de Z6 está dado por la Figura 2.1.

Ejemplo 2.18. Dibujaremos el diagrama de la retícula de subgrupos de Z12 .

Sus subgrupos son:

H1 = h0i = {0},
H2 = h6i = {0, 6} ∼= Z2 ,
H3 = h4i = {0, 4, 8} ∼
= Z3 ,
H4 = h3i = {0, 3, 6, 9} ∼= Z4 ,
H6 = h2i = {0, 2, 4, 6, 8, 10} ∼
= Z6 ,
H12 = h1i = Z12 .
El diagrama de la retícula de subgrupos de Z12 está dado por la Figura 2.2.

Es sencillo darse cuenta que la retícula de subgrupos de Zn es de hecho

isomorfa a la retícula (div(n), |), donde div(n) es el conjunto de divisores de n
y | es la relación de orden parcial de divisibilidad.

1 Formalmente, una retícula es un conjunto parcialmente ordenado en el que todo par de

elementos tiene un único supremo (mínima cota superior) y un único ínmo (máxima cota
superior). El Ejercicio 2.6 demuestra que (Sub(G), ⊆) es efectivamente una retícula.
2.1. GRUPOS CÍCLICOS 57

H6 = Z6

H3 ∼
= Z2 H2 ∼
= Z3

H1 = {0}

Figura 2.1: Diagrama de Hasse de la retícula de subgrupos de Z6 .

2.1.2. Homomorsmos de Zn a Zm .
El objetivo de esta sección es encontrar todos los homomorsmos que existen
entre dos grupos cíclicos nitos.

Lema 2.19. Sea φ : Zn → Zm un homomorsmo. Entonces, existe a ∈ Zm tal

queφ(x) = ax, para toda x ∈ Zn .

Demostración. Denimos a := φ(1). Usando la propiedad de homomorsmos,

vemos que, para toda x ∈ Zn ,
 

φ(x) = φ 1 + 1 + · · · + 1 = φ(1) + φ(1) + · · · + φ(1) = ax.

| {z } | {z }
x veces x veces


Observación 2.20. La demostración anterior de hecho establece que todo ho-
momorsmo φ : Zn → Zm está completamente determinado por φ(1).

Resulta natural preguntarse ahora si para cualquier a ∈ Zm podemos de-

nir un homomrosmo φ : Zn → Zm porφ(x) = ax, para toda x ∈ Zn . De
entrada, podría parecer que no hay problema, pues φ satisface la propiedad de
homomorsmos:

φ(x1 + x2 ) = a(x1 + x2 ) = ax1 + ax2 = φ(x1 ) + φ(x2 ), ∀x1 , x2 ∈ Zn .

Sin embargo, el problema es que estas propuestas algunas veces no están bien
denidas, como lo muestra el siguiente ejemplo.

Ejemplo 2.21. Denimos a φ : Z4 → Z6 como φ(x) = 2x, para toda x ∈ Z4 .

Para que φ sea una función bien denida, debe cumplir que si x = y mód (4)
entonces φ(x) = φ(y) mód (6). Sin embargo, 0 = 4 mód (4) pero φ(0) = 0 6=
φ(4) = 8 mód (6). Por lo tanto, φ no es una función bien denida.
58 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

H12

H4 H6

H2 H3

H1

Figura 2.2: Diagrama de Hasse de la retícula de subgrupos de Z12 .

Lema 2.22. Sea a ∈ Zm y consideremos a φ : Zn → Zm dada por φ(x) = ax,

para toda x ∈ Zn . Entonces, φ es una función bien denida si y solo si a es un
m
múltiplo de
mcd(n,m) .

Demostración.
(⇒) Supongamos que φ
es una función bien denida. Como 0 = n mód (n),
debemos tener que φ(0) = φ(n) mód (m), es decir 0 = an mód (m). Esto
implica que m | an, por lo que existe t ∈ Z tal que an = tm. Dividiendo
de ambos lados por mcd(n, m), obtenemos

n m
a =t .
mcd(n, m) mcd(n, m)
n m
Como
mcd(n,m) y mcd(n,m) son primos relativos (pues estamos cancelando
m
todos los divisores comunes), podemos concluir que
mcd(n,m) | a.
m m
(⇐) Si a es múltiplo de
mcd(n,m) , existe t ∈ Z tal que a = mcd(n,m) t. Para
demostrar que φ es una función bien denida, supongamos que x = y
mód (n). Entonces existe r∈Z tal que x = y + rn. Multiplicando por a,
obtenemos
 
m
ax = ay + arn ⇒ ax = ay + trn
mcd(n, m)
 
n
⇒ ax = ay + trm
mcd(n, m)

⇒ ax = ay mód (m).
2.1. GRUPOS CÍCLICOS 59

Por lo tanto, φ(x) = φ(y) mód (m).


Teorema 2.23 (homomorfismos entre grupos cı́clicos finitos). Sean n, m ∈
Z+ . El número de homomorsmos de Zn a Zm es exactamente d := mcd(n, m).
Explícitamente, estos homomorsmos están dados por

 
m 2m (d − 1)m
φa (x) = ax, ∀x ∈ Zn , donde a∈ 0, , ,..., .
d d d

Demostración. Por el Lema 2.19, sabemos que todos los homomorsmos de Zn

a Zm tienen la forma φa (x) = ax, ∀x ∈ Zn , para algún a ∈ Zm . Por el Lema
2.22, deducimos que φa es un homomorsmo bien denido si y solo si a es un
m
múltiplo de
d . El teorema queda demostrado observando que los elementos de
(d−1)m
Zm que son múltiplos de m m 2m
d son precisamente 0, d , d , . . . , d . 
Ejemplo 2.24. Existen exactamente 2 = mcd(4, 6) homomorsmos de Z4 a Z6
los cuales están dados por

φ0 (x) = 0, ∀x ∈ Z4 ,
φ3 (x) = 3x, ∀x ∈ Z4 .

Observación 2.25. Si n = m, el teorema anterior implica que existen n =

mcd(n, n) homomorsmos de Zn a Zn ; es decir, para todo a ∈ Zn , tenemos un
homomorsmo φa : Zn → Zn dado por φa (x) = ax, ∀x ∈ Zn . En esta situación
resulta relevante preguntarnos cuáles de estos homomorsmos son automors-
mos (es decir, cuáles son biyectivos).

Teorema 2.26 (automorfismos de Zn ). El homomorsmo φa : Zn → Zn dado

porφa (x) = ax, ∀x ∈ Zn es un automorsmo si y sólo si mcd(n, a) = 1. Además,

Aut(Zn ) ∼
= U (n).

Demostración. Primero hay que vericar que la función φa es sobreyectiva si

y sólo sia es un generador de Zn , lo cual sabemos que se cumple si y sólo si
mcd(n, a) = 1. Dado que Zn es un conjunto nito, toda función sobreyectiva de
Zn en Zn debe ser inyectvia (ver la Observación 2.44). Luego, hay que vericar
que la función Φ : Aut(Zn ) → U (n), dada por Φ(φa ) = a ∈ U (n), ∀φa ∈
Aut(Zn ), es un isomorsmo. Se deja como ejercicio completar todos los detalles
de esta demostración (Ejercicio 2.10). 

Palabras clave: criterio para igualdad de potencias, clases de isomorfía

de grupos cíclicos, orden de potencias, teorema fundamental de grupos cíclicos,
retícula de subgrupos, homomorsmos entre grupos cíclicos.
60 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

2.1.3. Ejercicios
Ejercicio 2.1. Encuentra todos los generadores de cada uno de los siguientes
grupos: Z8 , Z20 y Z.

Ejercicio 2.2. Encuentra un generador para cada subgrupo de Z42 y dibuja su

retícula de subgrupos. ¾Cuáles de estos subgrupos son normales?

Ejercicio 2.3. SeaG un grupo de orden 24 y a ∈ G. Si a8 6= e y a12 6= e,

demuestra que G = hai.

Ejercicio 2.4. Sea G un grupo y a ∈ G tal que |a| = 15. Encuentra los órdenes
de los siguientes elementos: a3 , a9 , a10 y a14 .

Ejercicio 2.5. Sea G un grupo nito (no necesariamente cíclico) de orden n.

Para cualquier k | n, demuestra que el número de elementos de G de orden k es
un múltiplo de ϕ(k).

Ejercicio 2.6 (supremo e ı́nfimo). Si (P, ≤) es un conjunto parcialmente or-

denado y a, b ∈ P , el supremo de a y b, denotado por sup(a, b), es la mínima
cota superior del conjunto {a, b}, mientras que el ínmo de a y b, denotado por
inf(a, b), es la máxima cota inferior del conjunto {a, b}. En el conjunto parcial-
mente ordenado (Sub(G), ⊆), donde G es cualquier grupo, demuestra que todo
par de elementos tiene un único supremo y un único inmo.

Ejercicio 2.7. Encuentra todos los homomorsmos de Z10 a Z10 . Encuentra

todos los automorsmos de Z10 .

Ejercicio 2.8. Encuentra todos los homomorsmos de Z10 a Z20 .

Ejercicio 2.9 (homomorfismos con grupos cı́clicos infinitos). Sea n ∈ Z+ .

Encuentra lo siguiente:

1. Todos los homomorsmos de Zn a Z.

2. Todos los homomorsmos de Z a Zn .

3. Todos los homomorsmos de Z a Z.

2.1. GRUPOS CÍCLICOS 61

Ejercicio 2.10 (automorfismos de Zn ). Demuestra que el homomorsmo φa :

Zn → Zn dado por φa (x) = ax, ∀x ∈ Zn es un automorsmo si y sólo si
mcd(n, a) = 1. Además, demuestra que

Aut(Zn ) ∼
= U (n).

( Sugerencia: sigue los pasos descritos en la demostración del Teorema 2.26).

Ejercicio 2.11 (grupo de homomorfismos). Sea Hom(Zn , Zm ) el conjunto de
todos los homomorsmos de Zn a Zm . Denimos la suma de homomorsmos de
la siguiente manera: dados φ1 , φ2 ∈ Hom(Zn , Zm ), φ1 + φ2 es la función denida
como (φ1 + φ2 )(x) = φ1 (x) + φ2 (x), ∀x ∈ Zn . Demuestra que Hom(Zn , Zm ),
equipado con la suma de homomorsmos, es un grupo isomorfo a Zd , con d =
mcd(n, m).
62 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

2.2. Grupos abelianos

2.2.1. Sumas directas
Para estudiar grupos abelianos es importante que estudiemos más a fondo
el concepto de suma directa de grupos.
Recordemos que la suma directa de dos grupos G1 y G2 es el grupo

G1 ⊕ G2 := {(g1 , g2 ) : g1 ∈ G1 , g2 ∈ G2 },

con operación

(g1 , g2 )(h1 , h2 ) = (g1 h1 , g2 h2 ), ∀gi , hi ∈ Gi .

La suma directa de dos grupos puede generalizarse de manera natural a la

suma directa de una familia nita de grupos G1 , G2 , . . . , Gt :

G1 ⊕ G2 ⊕ · · · ⊕ Gt = {(g1 , g2 , . . . , gt ) : gi ∈ Gi } ,

con operación

(g1 , g2 , . . . , gt )(h1 , h2 , . . . , ht ) = (g1 h1 , g2 h2 , . . . , gt ht ), ∀gi , hi ∈ Gi .

Observación 2.27. A las sumas directas de familias nitas de grupos también

se les llama producto directo, y algunos libros usan el símbolo × en lugar de ⊕. El
signicado de producto directo y suma directa solo diere cuando consideramos
una familia innita de grupos {Gi : i ∈ I}. En este caso:

Y
Gi = {(gi : i ∈ I) : gi ∈ I}
i∈I
M
Gi = {(gi : i ∈ I : gi ∈ I y gj 6= ej solo para un número nito de j 's}.
i∈I
Q
Para tener como referencia, si IP= N, entonces i∈I Gi es análogo al conjunto
∞ i
de series de potencia formales i=1 ai x (las
Lcuales pueden tener un número
innito de términos no nulos), mientras que
Pn i∈I Gi es análogo al conjunto de
i
polinomios i=1 ai x (los cuales solo tienen un número nito de términos no
nulos, pero su grado puede ser arbitrariamente grande). De cualquier forma, en
el resto de este capítulo solo trabajaremos con sumas directas de familias nitas
de grupos, las cuales son absolutamente equivalentes a los productos directos en
este caso.

Lema 2.28 (propiedades de la suma directa). Sean G, H y K grupos.

1. |G ⊕ H| = |G||H|.
2. G⊕H ∼
= H ⊕ G.
3. (G ⊕ H) ⊕ K ∼
= G ⊕ (H ⊕ K).
2.2. GRUPOS ABELIANOS 63

4. Si G∼
= H, entonces G⊕K ∼
= H ⊕ K.

Demostración.

1. G⊕H (g, h) tales que g ∈ G y h ∈ H , así que, como

consiste en pares
conjunto,G ⊕ H es igual a producto cartesiano G × H . Sabemos que
|G ⊕ H| = |G × H| = |G||H|.

2. Ejercicio 2.12.

3. Consideremos la función φ : (G ⊕ H) ⊕ K → G ⊕ (H ⊕ K) denida por

φ((g, h), k) := (g, (h, k)), ∀g ∈ G, h ∈ H, k ∈ K.

Es sencillo vericae que φ es un isomorsmo.

4. Sea φ : G → H un isomorsmo, y consideremos la función ψ : G⊕K →

H ⊕ K denida por

ψ(g, k) := (φ(g), k), ∀g ∈ G, k ∈ K.

Observemos que

ψ(g1 , k1 ) = ψ(g2 , k2 ) ⇒ (φ(g1 ), k1 ) = (φ(g2 ), k2 ).

Entonces, φ(g1 ) = φ(g2 ) y k1 = k2 . Como φ es inyectiva, g1 = g2 , por lo

que (g1 , k1 ) = (g2 , k2 ). Luego, ψ es inyectiva.
Si(h, k) ∈ H ⊕ K , es un elemento arbitrario, su preimagen bajo ψ es
(φ−1 (h), k) ∈ G ⊕ K . Luego, ψ es sobreyectiva.
Finalmente,

ψ((g1 , k1 )(g2 , k2 )) = ψ(g1 g2 , k1 k2 )

= (φ(g1 g2 ), k1 k2 )
= (φ(g1 )φ(g2 ), k1 k2 )
= (φ(g1 ), k1 )(φ(g2 ), k2 )
= ψ(g1 , k1 )ψ(g2 , k2 ).

Por lo tanto, ψ es un isomorsmo.

Lema 2.29 (orden de un elemento en la suma directa). Sean G1 , G2 , . . . , Gt

grupos y (g1 , g2 , . . . , gt ) ∈ G1 ⊕ G2 ⊕ · · · ⊕ Gt . Entonces,

|(g1 , g2 , . . . , gt )| = mcm(|g1 |, |g2 |, . . . , |gt |).

64 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Demostración. Sea m = mcm(|g1 |, |g2 |, . . . , |gt |) y r = |(g1 , g2 , . . . , gt )|. Debido

|gi | | m, tenemos que
a que

(g1 , g2 , . . . , gt )m = ((g1 )m , (g2 )m , . . . , (gt )m ) = (e1 , e2 , . . . , et ),

donde ei es la identidad de Gi . Por el Lema 1.25, r | m. Por otro lado, por

denición de r,

(e1 , e2 , . . . , et ) = (g1 , g2 , . . . , gt )r = ((g1 )r , (g2 )r , . . . , (gt )r ),

así que (gi )r = ei para toda i. De nuevo por el Lema 1.25, r | |gi |, para toda i,
lo que implica que r | mcm(|g1 |, |g2 |, . . . , |gt |) = m. Por lo tanto, r = m. 

Ejemplo 2.30. Consideremos el grupo G = Z2 ⊕ Z3 . Por el lema anterior,

|(1, 1)| = mcm(|1|, |1|) = mcm(2, 3) = 6. Podemos vericar esto:

1 · (1, 1) = (1, 1)
2 · (1, 1) = (1, 1) + (1, 1) = (0, 2)
3 · (1, 1) = (1, 1) + (1, 1) + (1, 1) = (1, 0)
4 · (1, 1) = (1, 1) + (1, 1) + (1, 1) + (1, 1) = (0, 1)
5 · (1, 1) = (1, 1) + (1, 1) + (1, 1) + (1, 1) + (1, 1) = (1, 2)
6 · (1, 1) = (1, 1) + (1, 1) + (1, 1) + (1, 1) + (1, 1) + (1, 1) = (0, 0).

Teorema 2.31 (descomposición del grupo U (st)). Sean s, t ∈ Z+ tales que

mcd(s, t) = 1. Entonces,
U (st) ∼
= U (s) ⊕ U (t).

Demostración. Denimos una función φ : U (st) → U (s) ⊕ U (t) por

φ([x]st ) = ([x]s , [x]t ),

donde [x]st , [x]s y [x]t representan la clase de equivalencia de x módulo st, s y

t, respectivamente. Es sencillo vericar que φ es un isomorsmo bien denido.


2.2.2. Teorema fundamental de grupos abelianos nitos

Recordemos que todo grupo cíclico es abeliano, pues para toda gk , gs ∈ G =
k s k+s s+k s k
hgi, tenemos que g g = g = g = g g . La suma directa de grupos
abelianos es un grupo abeliano (ver Ejercicio 2.13), así que en particular, la
suma directa de grupos cíclicos es un grupo abeliano. Resulta que todo grupo
abeliano nito puede descomponerse como una suma directa de grupos cíclicos.
El objetivo de esta sección es entender y aplicar el siguiente teorema:

Teorema 2.32 (teorema fundamental de grupos abelianos finitos). Sea G un

grupo abeliano nito. Entonces,
2.2. GRUPOS ABELIANOS 65

1. Descomposición primaria: Existen potencias de primos qi := pm

i , para
i

i = 1, 2, . . . , t, donde los primos pi no son necesariamente distintos entre

sí, tales que
G∼
= Zq1 ⊕ Zq2 ⊕ · · · ⊕ Zqt .
Las potencias de primos q1 , q2 , . . . , qt se llaman los divisores elementales
de G.
2. Descomposición en factores invariantes: Existen enteros positivos
k1 , k2 , . . . kr , donde kr | kr−1 | · · · | k2 | k1 , tales que

G∼
= Zk1 ⊕ Zk2 ⊕ · · · ⊕ Zkr .

Los enteros k1 , k2 , . . . , kr se llaman los factores invariantes de G.

Corolario 2.33. Todo grupo abeliano nito es isomorfo a un producto directo

de grupos cíclicos.

Observación 2.34. Sea G un grupo abeliano nito de orden

Qt n. Si q1 , q2 , . . . , qt
son los divisores elementales de G, entonces i=1 qi = n, puesto que

t
Y
qi = |Zq1 ⊕ Zq2 ⊕ · · · ⊕ Zqt | = |G| = n.
i=1
Qr
Similarmente, si k1 , k2 , . . . , kr son los factores invariantes de G, entonces i=1 ki =
n, puesto que
r
Y
ki = |Zk1 ⊕ Zk2 ⊕ · · · ⊕ Zkr | = |G| = n.
i=1

No demostraremos el Teorema 2.32 por ahora, pero lo ejemplicaremos y lo

aplicaremos para obtener las clases de isomorfía de todos los grupos abelianos
de orden n. En particular, el Teorema 2.32 implica que las clases de isomorfía
de grupos abelianos siempre tienen un representante que es una suma directa
de grupos cíclicos.

Ejemplo 2.35 (grupos abelianos de orden p). Recordemos que si G es un gru-

po de orden p, donde p es un número primo, entonces G debe ser un grupo cíclico.
Por lo tanto, G ∼
= Zp , lo que quiere decir que Zp determina a la única clase de
isomorfía de grupos de orden p.

Ejemplo 2.36 (grupos abelianos de orden 4). Sea G un grupo abeliano de

orden4. Por el Teorema Fundamental de Grupos Abelianos Finitos, G debe ser
isomorfo a la suma directa de grupos cíclicos, es decir

G∼
= Z4 o G∼
= Z2 ⊕ Z2 .

Si G∼
= Z4 , entonces G tiene un único divisor elemental q1 = 22 = 4 y un
único factor invariante k1 = 4.
66 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Si G∼
= Z2 ⊕ Z2 , entonces G tiene divisores elementales q1 = 2 y q2 = 2 y
factores invariantes k1 = 2 y k2 = 2.

Como Z4 6∼
= Z2 ⊕Z2 (ya que en el primero existe un elemento de orden 4 mientras
que en el segundo todos sus elementos distintos de la identidad tienen orden2),
concluímos que existen exactamente 2 clases de isomorfía de grupos abelianos
de orden 4.

El siguiente lema es un criterio muy importante para determinar cuándo dos

grupos abelianos son isomorfos.

Lema 2.37 (criterio de isomorfı́a para sumas directas de grupos cı́clicos).

Sean s, t ∈ Z+ .
Zs ⊕ Zt ∼
= Zst ⇔ mcd(s, t) = 1.

Demostración. Esta demostración se simplica bastante considerando el si-

guiente hecho:
mcd(s, t) = 1 ⇔ mcm(s, t) = st.

(⇒) Usando la contrapuesta, supongamos que mcd(s, t) > 1. Entonces, mcm(s, t) <
st. Observemos que |a| ≤ s y |b| ≤ t para toda a ∈ Zs y b ∈ Zt . Por el
Lema 2.29,
|(a, b)| = mcm(|a|, |b|) ≤ mcm(s, t) < st,
para todo (a, b) ∈ Zs ⊕Zt . Por lo tanto, no hay ningún elemento en Zs ⊕Zt
de orden st, lo que implica que no es cíclico. Luego Zs ⊕ Zt 6∼
= Zst .

(⇐ ) Supongamos que mcd(s, t) = 1, por lo que mcm(s, t) = st. Aplicando el

Lema 2.29 al elemento (1, 1) ∈ Zs ⊕ Zt ,

|(1, 1)| = mcm(|1|, |1|) = mcm(s, t) = st.

Por lo tanto, Zs ⊕ Zt = h(1, 1)i es cíclico. Puesto que |Zs ⊕ Zt | = st, el

Teorema 2.3 implica que Zs ⊕ Zt ∼ = Zst .

Descomposición primaria Desc. factores invariantes

Clase de isomorfía 1 Z4 ⊕ Z9 Z36
Clase de isomorfía 2 Z2 ⊕ Z2 ⊕ Z9 Z18 ⊕ Z2
Clase de isomorfía 3 Z4 ⊕ Z3 ⊕ Z3 Z12 ⊕ Z3
Clase de isomorfía 4 Z2 ⊕ Z2 ⊕ Z3 ⊕ Z3 Z6 ⊕ Z6

Cuadro 2.1: Clases de isomorfía de grupos abelianos de orden 36.

2.2. GRUPOS ABELIANOS 67

Ejemplo 2.38 (grupos abelianos de orden 36). Hay 4 clases de isomorfía de

grupos abelianos de orden 36. Representantes de estas clases de isomorfía están
dados por la Tabla 2.1. Usando el Lema 2.37, es fácil vericar que la descom-
posición primaria es isomorfa a la descomposición en factores invariantes de un
mismo renglón, por ejemplo Z4 ⊕ Z9 ∼
= Z36 porque mcd(4, 9) = 1. Similarmente,
podemos vericar que descomposiciones de distintos renglones no son isomorfas,
por ejemplo Z18 ⊕ Z2 ∼
6 Z36
= porque mcd(18, 2) = 2.

Definición 2.39 (partición de un número). Sea k ∈ Z+ . Una partición de k

es un conjunto de números positivos {m1 , m2 , . . . , m` } tal que

k = m1 + m2 + · · · + m`

Ejemplo 2.40 (grupos abelianos de orden pk ). Sea p un número primo y k ∈

Z+ . El Teorema Fundamental de Grupos Abelianos Finitos implica que hay
k
una biyección entre las clases de isomorfía de grupos abelianos de orden p y
particiones de k . En particular, dada una partición k = m1 + m2 + · · · + m`
tenemos la clase de isomorfía

Zpm1 ⊕ Zpm2 ⊕ · · · ⊕ Zpm` .

Si ordenamos la partición m1 > m2 > · · · > m` , entonces en estos casos la

descomposición primaria coincide con la descomposición en factores invariantes.

Orden de G Particiones de k Clases de isomorfía

p 1 Zp
p2 2 Zp2
1+1 Zp ⊕ Zp
p3 3 Zp3
2+1 Zp2 ⊕ Zp
1+1+1 Zp ⊕ Zp ⊕ Zp
p4 4 Zp4
3+1 Zp3 ⊕ Zp
2+2 Zp2 ⊕ Zp2
2+1+1 Zp2 ⊕ Zp ⊕ Zp
1+1+1+1 Zp ⊕ Zp ⊕ Zp ⊕ Zp

Cuadro 2.2: Clases de isomorfía de grupos abelianos G de orden pk

68 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Ejemplo 2.41. Consideremos el grupo abeliano

G = Z6 ⊕ Z20 ⊕ Z36 .

Encontraremos las dos descomposiciones de G establecidas en el Teorema 2.32.

1. Descomposición primaria: Debemos encontrar potencias de primos (los

divisores elementales de G) tales que G se descomponga como la suma
directa de grupos cíclicos de cuyos órdenes son esas potencias de primos.
Por el lema anterior,

Z6 ∼
= Z2 ⊕ Z3 , Z20 = Z22 ⊕ Z5 , Z36 ∼
= Z22 ⊕ Z32 .

Por lo tanto,

G∼
= (Z2 ⊕ Z3 ) ⊕ (Z22 ⊕ Z5 ) ⊕ (Z22 ⊕ Z32 ),
∼
= Z2 ⊕ Z22 ⊕ Z22 ⊕ Z22 ⊕ Z3 ⊕ Z32 ⊕ Z5 .

Por lo tanto, los divisores elementales de G son 2, 22 , 22 , 3, 32 y 5.

2. Descomposición en factores invariantes: Para encontrar esta descom-

posición podemos usar la descomposición primaria de G encontrada en el
punto anterior. El primer factor invariante será el producto de los divi-
sores elementales más grandes que sean potencias de primos distintos, es
decir k1 = 22 32 5 = 180. Los divisores elementales que sobran son 2, 22 y
3, así que el segundo factor invariante será el producto de estos divisores
elementales que sean más grandes y potencias de primos distinitos; es de-
cir,k2 = 22 3 = 12. Finalmente, sólo queda el divisor elemental 2, así que
k3 = 2. Por lo tanto, la descomposición de G en factores invariantes es

G∼
= Z180 ⊕ Z12 ⊕ Z2 ,

donde 2 | 12 | 180.

Palabras clave: suma directa, teorema fundamental de grupos abelianos

nitos, criterio de isomorfía para sumas directas de grupos cíclicos.
2.2. GRUPOS ABELIANOS 69

2.2.3. Ejercicios
Ejercicio 2.12. Sean G y H grupos. Demuestra que G⊕H ∼
= H ⊕ G.

Ejercicio 2.13. Sean G1 , G2 , . . . , Gt grupos abelianos. Demuestra que G1 ⊕G2 ⊕

· · · ⊕ Gt es un grupo abeliano.

Ejercicio 2.14. ¾Cuál es el menor entero positivo n tal que existen tres grupos
abelianos de orden n no isomorfos? ¾Cuáles son estos grupos?

Ejercicio 2.15. Encuentra todos los grupos abelianos, salvo isomorsmos, de

orden 360.

Ejercicio 2.16. Demuestra que existen dos grupos abelianos no isomorfos de

orden 108 que tienen exactamente un subgrupo de orden 3.

Ejercicio 2.17. Sean p1 , p2 , . . . , pk números primos distintos. ¾Cuántos grupos

abelianos hay, salvo isomorsmos, de orden p1 × p2 × · · · × pk ?

Ejercicio 2.18 (?). Supongamos que G es un grupo abeliano que tiene exacta-
mente un subgrupo para cada divisor de |G|. Demuestra que G debe ser cíclico.
70 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

2.3. Grupos de permutaciones

2.3.1. Grupo simétrico
Definición 2.42 (permutación). Una permutación de un conjunto A es simple-
mente una función biyectiva α : A → A.

En esta sección estudiaremos permutaciones de conjuntos nitos. Sin pérdida

de generalidad, podemos asumir siempre que nuestro conjunto nito es

[n] := {1, 2, . . . , n}, con n ∈ Z+ .

A diferencia de las funciones con dominios innitos, una función α : [n] → [n]
puede representarse mediante una lista, pues está totalmente determinada por
las imágenes de 1, 2, · · · , n.
De esta forma, dada cualquier permutación α : [n] → [n], podemos represen-
tarla mediante la notación en dos líneas como
 
1 2 ... n
α= ,
α(1) α(2) ... α(n)

o mediante la notación en una línea como

α = α(1)α(2) . . . α(n).

Ejemplo 2.43. Sea n=4 y consideremos la permutación α : [4] → [4] denida

por
 
1 2 3 4
α= .
3 4 1 2
En notación en una lína esta permutación es α = 3412.

Observación 2.44. Una función α : [n] → [n] es inyectiva si y solo si los ele-
mentos de la lista α(1)α(2) . . . α(n) son todos distintos entre sí. Además, es
equivalente que todos los elementos de la lista sean distintos entre sí a que to-
dos los números 1, 2, . . . , n aparezcan en la lista. Esto demuestra que una función
α : [n] → [n] es inyectiva si y solo si es sobreyectiva.

Definición 2.45 (punto fijo). Un elemento i ∈ [n] es un punto jo de una per-
mutación α : [n] → [n] si α(i) = i. Denotamos al conjunto de puntos jos de α
como
x(α) := {i ∈ [n] : α(i) = i}.

Definición 2.46 (soporte). El soporte de una permutación α : [n] → [n] es el

conjunto
supp(α) := {i ∈ [n] : α(i) 6= i}.

Observación 2.47. Para cualquier permutación α : [n] → [n],

supp(α) = [n] − x(α).

2.3. GRUPOS DE PERMUTACIONES 71

Ejemplo 2.48. Consideremos α : [5] → [5] denida por

 
1 2 3 4 5
α= .
2 4 3 5 1

Entonces, x(α) = {3} y supp(α) = {1, 2, 4, 5}.

Teorema 2.49 (grupo simétrico). Sea n ∈ Z+ . El conjunto de todas las per-

mutaciones de [n],

Sn := {α : [n] → [n] | α es biyectiva},

equipado con la composición de funciones, es un grupo.

Demostración.
(G0) Si α, β ∈ Sn , entonces α ◦ β ∈ Sn ya que la composición de funciones
biyectivas es biyectiva.

(G1) La composición de funciones siempre es una operación asociativa.

(G2) La función identidad id : [n] → [n] es biyectiva, así que id ∈ Sn .

(G3) Todas las funciones biyectivas tiene una inversa: si α ∈ Sn , entonces
α−1 ∈ Sn .

Definición 2.50 (grupo simétrico). Al grupo Sn lo llamamos el grupo simétri-
co de grado n.
Notación 2.51. Denotaremos la composición de dos permutaciones α, β ∈ Sn
simplemente como αβ en lugar de α ◦ β. Además, nos referimos a αβ como el
producto de permutaciones, a pesar de que estríctamente se trate de la compo-
sición.

Ejemplo 2.52. El grupo simétrico S3 tiene 6 elementos; explícitamente,

S3 = {β1 , β2 , β3 , β4 , β5 , β6 },

donde los βi 's están denidos en la Tabla 2.3.

Observación 2.53. La cardinalidad de Sn es

|Sn | = n! := n · (n − 1) · · · · · 2 · 1.

Es fácil comprobar esto ya que los elementos de Sn pueden verse como listas de
elementos no repetidos de [n]. Así pues, hay n posibilidades para la primera en-
n−1 posibilidades para la segunda entrada, y así sucesivamente
trada de la lista,
1 posibilidad para la n-ésima entrada. El principio del
hasta llegar a tener solo
producto de combinatoria nos permite concluir que hay precisamente n! listas
con elementos no repetidos de [n].
72 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Permutación Not. en Permutación Not. en

una línea una línea
   
1 2 3 1 2 3
β1 = 123 β4 = 132
1 2 3 1 3 2
   
1 2 3 1 2 3
β2 = 213 β5 = 231
2 1 3 2 3 1
   
1 2 3 1 2 3
β3 = 321 β6 = 312
3 2 1 3 1 2

Cuadro 2.3: Permutaciones de {1, 2, 3}.

Figura 2.3: Composición de permutaciones.

Ejemplo 2.54. Para realizar la composición de permutaciones debemos rastrear

a dónde son enviados cada uno de los elementos de [n], iniciando de derecha a
izquierda (ya que en ese orden se hace la composición de funciones). Por ejemplo,
hacemos la composición de β2 y β3 en S3 en la Figura 2.3.

Definición 2.55 (permutaciones disjuntas). Decimos que dos permutaciones

α, β ∈ Sn son disjuntas si supp(α) ∩ supp(β) = ∅.
Ejemplo 2.56. Consideremos las permutaciones
   
1 2 3 4 5 1 2 3 4 5
α= y β=
1 2 3 5 4 2 3 1 4 5
Entonces α y β son permutaciones disjuntas, puesto que supp(α) = {4, 5} y
supp(β) = {1, 2, 3}.
Lema 2.57 (permutaciones disjuntas conmutan). Si α y β son permutacio-
nes disjuntas, entonces αβ = βα.

Demostración. Hay que demostrar que αβ(c) = βα(c), para toda c ∈ [n].
Caso 1: c ∈ supp(α). Al ser permutaciones disjuntas, c 6∈ supp(β) por lo
que c ∈ fix(β). Luego, αβ(c) = α(c). Por otro lado, α(c) 6= c implica que
α(α(c)) 6= α(c), por lo que α(c) ∈ supp(α) y α(c) 6∈ supp(β). Por lo tanto,
βα(c) = α(c) = αβ(c).
2.3. GRUPOS DE PERMUTACIONES 73

Caso 2: c ∈ supp(β). Este caso es análogo al anterior.

Caso 3: c 6∈ supp(α) y c 6∈ supp(β). Entonces, c ∈ fix(α) y c ∈ fix(β) por
lo que
αβ(c) = α(c) = c = β(c) = βα(c).

2.3.2. Notación cíclica

En esta sección presentaremos un tercer tipo de notación para permutaciones
el cual es muy conveniente para deducir ciertas propiedades tales como el orden
de la permutación.

Definición 2.58 (ciclo). Un ciclo de longitud k , o un k -ciclo, es una permuta-

ción α ∈ Sn tal que existen a1 , a2 , . . . , ak ∈ [n] que cumplen lo siguiente:

α(ai ) = ai+1 , ∀i = 1, 2, . . . , k − 1
α(ak ) = a1
α(b) = b, ∀b ∈ [n] − {a1 , . . . , ak }.

En tal caso, denotamos al k -ciclo como

α = (a1 , a2 , . . . , ak ).

Es importante hacer énfasis en que todos los números que no aparecen en

un k -ciclo quedan jos al aplicar la permutación.
Si α = (a1 , a2 , . . . , ak ), en ocasiones es conveniente abusar de la notación y
escribir
α(ai ) = ai mod(k) ,

dado que α(ai ) = ai+1 para i = 1, . . . , k − 1 y α(ak ) = a1 .

Ejemplo 2.59. Con la notación del Ejemplo 2.52, los elementos de S3 en nota-
ción cíclica son:

β1 = (1) β2 = (1, 2) β3 = (1, 3)

β4 = (2, 3) β5 = (1, 2, 3) β6 = (1, 3, 2)

Ejemplo 2.60. Existen varias formas distintas de representar una misma per-
mutación en notación cíclica. Por ejemplo, si α ∈ S4 está denida por

 
1 2 3 4
α=
2 3 4 1

en notación cíclica tenemos

α = (1, 2, 3, 4) = (2, 3, 4, 1) = (3, 4, 1, 2) = (4, 1, 2, 3).

74 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

En general, un mismo k -ciclo siempre puede escribirse de k formas distintas:

(a1 , a2 , . . . , ak ) = (a2 , a3 , . . . , ak , a1 ) = · · · = (ak , a1 , a2 , . . . , ak−1 ).

Además, la identidad de Sn puede escribirse en notación cíclica de n formas

distintas, pues siempre es igual a cualquier 1-ciclo:

id = (1) = (2) = · · · = (n).

Ejemplo 2.61. No necesariamente toda permutación puede escribirse como un

solo ciclo. Por ejemplo, si β ∈ S5 está denida por

 
1 2 3 4 5
β=
2 1 4 3 5

no podemos escribir a β como un solo ciclo. Sin embargo, podemos escribir a β

como el producto de dos 2-ciclos y un 1-ciclo:

β = (1, 2)(3, 4)(5).

Dada la convención de que los números que no aparecen en un ciclo quedan

jos, siempre es posible omitir la escritura de los 1-ciclos:

β = (1, 2)(3, 4)(5) = (1, 2)(3, 4).

Ejemplo 2.62. Para obtener el producto (o composición) de permutaciones en

notación cíclica debemos rastrear cada i ∈ [n] en cada uno de los ciclos, siempre
de derecha a izquierda (ya que este es el orden en el que se hace la composición de
funciones). Por ejemplo, si α = (1, 2, 3, 5)(4, 6) y β = (3, 2, 4)(1, 5, 6), podemos
obtener que

Teorema 2.63 (permutaciones como ciclos). Toda permutación en Sn se pue-

de escribir como un producto de ciclicos disjuntos.

Demostración. Sea α ∈ Sn . Haremos la demostración por inducción sobre

s := |supp(α)|.

Caso base: Si s = 0, entonces α = id, y puede escribirse como un 1-ciclo:

α = (1).

Hipótesis de inducción: Supongamos que toda permutación β ∈ Sn tal que

|supp(β)| < s puede escribirse como el producto de ciclos disjuntos.
2.3. GRUPOS DE PERMUTACIONES 75

Paso de inducción: Tomemos un i ∈ supp(α) arbitrario y consideremos el

subconjunto I de [n] denido por

I := {αk (i) : k ∈ Z}
Como el conjunto [n] es nito, I debe ser nito, por lo que debe haber
repeticiones en los elementos descritos arriba. Si αk (i) = αr (i), para algu-
k−r
nos k, r, entonces α (i) = i. Luego, sea m el menor entero no negaivo
m
tal que α (i) = i. Esto nos permite describir a I como un conjunto nito
con los siguientes elementos distintos:

I = {i, α(i), α2 (i), . . . , αm−1 (i)}.

Denimos una permutación β ∈ Sn como sigue: para toda j ∈ [n],

(
j si j ∈ I
β(j) :=
α(j) si j ∈ [n] − I.

Armación: β : [n] → [n] es efectivamente una permutación.

Para demostrar esto vericamos que β es inyectiva y usamos la Observa-
ción 2.44. Si β(j1 ) = β(j2 ), entonces o j1 , j2 ∈ I o j1 , j2 ∈ [n] − I (no
es posible que j1 ∈ I y j2 ∈ [n] − I , porque esto implica que j1 = α(j2 )
r r−1
y j1 = α (i) para algún r , por lo que j2 = α (i) ∈ I , lo cual es una
contradicción). En el primer caso, tenemos directamente que j1 = j2 y
en el segundo caso α(j1 ) = α(j2 ) implica que j1 = j2 . Por lo tanto, β es
efectivamente una permutación.

Armación: α = (i, α(i), α2 (i), . . . , αm−1 (i))β .

Es sencillo vericar esto simplemente evaluando cada elemento de [n] de
ambos lados de la igualdad.

Armación: |supp(β)| < |supp(α)|.

Observemos que β tiene más puntos jos que α, porque todo punto jo
de α β y al menos i ∈ [n] es punto jo de β que no es punto
está jo en
jo de α (porque i ∈ supp(α)). En otras palabras, el soporte de β está
estríctamente contenido en el soporte de α.

Por hipótesis de inducción, β puede escribirse como un producto de ciclos

disjuntos. Además, cada uno de los ciclos que aparecen en β son disjuntos
con el ciclo (i, α(i), α2 (i), . . . , αm−1 (i)) porque β ja todos los puntos de
I. Por lo tanto, α puede escribirse como un producto de ciclos disjuntos.


Definición 2.64 (estructura cı́clica). La estructura cíclica de α ∈ Sn es el mul-
ticonjunto
2 formado por las longitudes de los ciclos en la descomposición de α
en ciclos disjuntos. En otras palabras, si

α = (a1,1 , . . . , a1,k1 )(a2,1 , . . . , a2,k2 ) . . . (ar,1 , . . . , ar,kr ),

2 Esencialmente, un multiconjunto es una modicación del concepto de conjunto en el cual
se permite la repetición de los elementos que pertenecen a él.
76 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

donde ai,j 6= as,t para toda (i, j) 6= (s, t), la estructura cíclica de α es {k1 , k2 , . . . , kr }.

El siguiente resultado se debe al matemático italiano Paolo Runi en 1799.

Teorema 2.65 (orden de una permutación). Sea α ∈ Sn una permutación con

estructura cíclica {k1 , k2 , . . . , kr }. Entonces,

|α| = mcm(k1 , k2 , . . . , kr ).

Demostración. Consideremos la descomposición de α en ciclos disjuntos

α = α1 α2 . . . αr ,

donde, para cada i = 1, . . . , r, αi es un ciclo de longitud ki . Demostraremos el

teorema por inducción sobre r.

Caso base: Se deja como ejercicio demostrar que un solo ciclo de longitud k1
tiene orden k1 (Ejercicio 2.28).

Hipótesis de inducción: Supongamos que toda permutación β ∈ Sn con es-

tructura cíclica {t1 , . . . , ts }, donde s < r, cumple que |β| = mcm(t1 , . . . , ts ).

Paso de inducción: Denimos la permutación

β := α2 . . . αr .

Observemos que α = α1 β , que β tiene estructura cíclica {k2 , . . . , kr } y,

por hipótesis de inducción, |β| = mcm(k2 , . . . , kr ). Sean

a := |α| y m := mcm(k1 , |β|) = mcm(k1 , k2 , . . . , kr ).

Demostraremos que a = m, mostrando que a|m y m | a.

Armación: a divide a m
Como m es múltiplo de k1 y de |β|, tenemos que α1m = (1) y β m = (1).
Debido a que α1 y β consisten en ciclos disjuntos, el Lemma 2.57 implica
que α1 y β conmutan. Luego,

αm = (α1 β)m = α1m β m = (1).

Por el Lema 1.25, a = |α| divide a m.

Armación: m divide a a
Observemos que

(1) = αa = α1a β a ⇒ α1a = β −a .

Por los Ejercicios 2.20 y 2.21,

supp(α1 )
a
= supp(β −a ) ⊆ sup(α1 ) ∩ sup(β).
2.3. GRUPOS DE PERMUTACIONES 77

Al ser α1 y β permutaciones disjuntas, sup(α1 ) ∩ sup(β) = ∅, por lo que

supp(α1 )
a
= supp(β −a ) = ∅. Esto demuestra que

α1a = β −a = (1) ⇒ α1a = (1) y β a = (1).

Nuevamente, por el Lema 1.25, |α1 | = k1 | a y |β| | a; es decir, a es un

múltiplo común de k1 y |β|. Por la propiedad del mínimo común múltiplo,
m divide a a.

Ejemplo 2.66. Si α = (1, 2)(3, 4, 5), entonces |α| = mcm(2, 3) = 6.

Ejemplo 2.67. Si β = (1, 2)(3, 2, 5), entonces no es verdad que el orden de

β sea 6, pues los ciclos dados en esta descomposición de β no son disjuntos.
Podemos expresar a β como producto de ciclos disjuntos simplemente haciendo
el producto entre (1, 2) y (3, 2, 5):

β = (1, 2)(3, 2, 5) = (1, 2, 5, 3) ⇒ |β| = 4.

Ejemplo 2.68. La lista de órdenes de las permutaciones en Sn puede obtenerse

analizando las posibles estructuras cíclicas en Sn .

Est. cíclica {1} {2} {3} {4} {2, 2}

Ejemplo (1) (1, 2) (1, 2, 3) (1, 2, 3, 4) (1, 2)(3, 4)
Orden 1 2 3 4 2

Cuadro 2.4: Órdenes de los elementos de S4 .

Est. cíclica {1} {2} {3} {4} {5} {2, 2} {2, 3}

Ejemplo (1) (1, 2) (1, 2, 3) (1, 2, 3, 4) (1, 2, 3, 4, 5) (1, 2)(3, 4) (1, 2)(3, 4, 5)
Orden 1 2 3 4 5 2 6

Cuadro 2.5: Órdenes de los elementos de S5 .

Observación 2.69. Las estructuras cíclicas de Sn están en biyección con las

particiones de n en el sentido de teoría de números, es decir, con las formas de
escribir a n como una suma de enteros positivos. Por ejemplo, cuando n = 5, la
estructura cíclica {2} corresponde a la partición 2+1+1+1, mientras que {2, 3}
corresponde a 2 + 3. De hecho, dada una estructura cíclica {k1 , k2 , . . . , kr }, la
partición de n está dada por

k1 + k2 + · · · + kr + 1 + 1 + · · · + 1 .
| {z }
n−k1 −···−kr veces
78 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Los siguientes resultados nos dan una forma para obtener, de manera sencilla,
el conjugado de una permutación.

Lema 2.70 (conjugación de k-ciclos). Sea α ∈ Sn cualquier permutación y

(a1 , a2 , . . . , ak ) ∈ Sn un k -ciclo. Entonces,
α(a1 , a2 , . . . , ak )α−1 = (α(a1 ), α(a2 ), . . . , α(ak )).
Demostración. Demostraremos que

α(a1 , a2 , . . . , ak )α−1 (c) = (α(a1 ), α(a2 ), . . . , α(ak ))(c), ∀c ∈ [n].

Caso 1: c = α(ai ), para algún i. Del lado derecho obtenemos que

(α(a1 ), α(a2 ), . . . , α(ak ))(α(ai )) = α(a(i+1)mod(k) ).

Para calcular el lado izquierdo, primero observamos que c = α(ai ) implica
que α−1 (c) = ai . Entonces,

α(a1 , a2 , . . . , ak )α−1 (c) = α(a1 , a2 , . . . , ak )(ai ) = α(a(i+1)mod(k) .

Caso 2: c 6= α(ai ) para toda i. Del lado derecho obtenemos que c queda jo

(α(a1 ), α(a2 ), . . . , α(ak ))(c) = c.

Observando que c 6= α(ai ) para toda i implica que α−1 (c) 6= ai para toda
i, obtenemos que

α(a1 , a2 , . . . , ak )α−1 (c) = α(α−1 (c)) = c.


Corolario 2.71 (conjugado de una permutación). Sean α y β permutaciones.
Supongamos que la descomposición en cliclos disjuntos de β es
β = (b1,1 , . . . , b1,k1 ) . . . (br,1 , . . . , br,kr ).
Entonces,

αβα−1 = (α(b1,1 ), . . . , α(b1,k1 )) . . . (α(br,1 ), . . . , α(br,kr )) .

Demostración. Aplicando el lema anterior, podemos obtener lo siguiente:

−1
αβα = α(b1,1 , . . . , b1,k1 ) . . . (br,1 , . . . , br,kr )α−1
= α(b1,1 , . . . , b1,k1 )α−1 α . . . α−1 α(br,1 , . . . , br,kr )α−1
= (α(b1,1 ), . . . , α(b1,k1 )) . . . (α(br,1 ), . . . , α(br,kr )).

Ejemplo 2.72. Sean α = (2, 5) y sea β = (1, 2, 3, 4). Usando el corolario anterior
obtenemos que

αβα−1 = (α(1), α(2), α(3), α(4)) = (1, 5, 3, 4).

Ejemplo 2.73. Sean α = (1, 2, 3)(4, 5) y sea β = (1, 3)(2, 4). Usando el corolario
anterior obtenemos que

αβα−1 = (α(1), α(3))(α(2), α(4)) = (2, 1)(3, 5).

2.3. GRUPOS DE PERMUTACIONES 79

2.3.3. Grupo alternante

Definición 2.74 (transposición). Una permutación es una transposición si es
un 2-ciclo.

Ejemplo 2.75. Todas las transposiciones de S4 son:

(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4).

Teorema 2.76 (descomposición en transposiciones). Toda permutación se

puede escribir como el producto de transposiciones.

Demostración. Por el Teorema 2.63, toda permutación puede escribirse como

producto de ciclos disjuntos, así que, para demostrar este teorema, basta con
probar que todo ciclo puede escribirse como el producto de transposiciones.
Dado cualquier ciclo (a1 , a2 , . . . , ak ), con k ≥ 2, observemos que

(a1 , a2 , . . . , ak ) = (a1 , a2 )(a2 , a3 ) . . . (ak−2 , ak−1 )(ak−1 , ak ),

lo cual puede vericarse directamente evaluando cada ai en ambos lados de la

igualdad. Finalmente, si k = 1, tenemos a la permutación identidad, la cual
puede descomponerse como

(1) = (1, 2)(1, 2).

Observación 2.77. La descomposición en transposiciones de un ciclo no es úni-

ca. Por ejemplo, además de la descomposición dada en el teorema anterior
usando transposiciones de elementos consecutivos del ciclo, también tenemos
la siguiente descomposición usando al primer elemento como ancla:

(a1 , a2 , . . . , ak ) = (a1 , ak )(a1 , ak−1 ) . . . (a1 , a3 )(a1 , a2 ).

Ejemplo 2.78. Observemos las siguientes descomposiciones en transposiciones:

(1, 2, 3, 4, 5) = (1, 2)(2, 3)(3, 4)(4, 5) = (1, 5) (1, 4) (1, 3) (1, 2) ,

(1, 3, 4)(5, 6) = (1, 3)(3, 4)(5, 6) = (1, 4)(1, 3)(5, 6),
(3, 5, 2) = (3, 5)(3, 2) = (3, 5)(3, 2)(1, 4)(1, 4).

En particular, el último ejemplo muestra que el número de transposiciones que

aparecen en la descomposición tampoco es único.

Observación 2.79. Recordemos que un subconjunto S genera a un grupo G si

todos los elementos de G pueden ser expresados como productos de los elementos
de S ∪ S −1 (ver Ejercicio 1.25). Por lo tanto, el Teorema 2.76 establece que todo
grupo simétrico Sn es generado por el conjunto de sus transposiciones.
80 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Definición 2.80 (función signo). Para cualquier n ≥ 2, denimos la función

signo sgn : Sn → {1, −1} como
sgn(α) = (−1)s , ∀α ∈ Sn ,
donde s es el número de transposiciones que aparecen en la descomposición de
α.
Observación 2.81. Por la denición de la función signo podemos deducir que,
para cualquier α ∈ Sn , sgn(α) = 1 si y solo si existe una descomposición de
α en un número par de transposiciones, y sgn(α) = −1 si y sólo si existe una
descomposición de α en un número impar de transposiciones..

Como vimos en el Ejemplo 2.78, el número de transposiciones que aparecen

en las descomposiciones no es único. Por ejemplo, si α := (1, 2, 3), entonces

α = (1, 2)(2, 3) y α = (1, 2)(2, 3)(1, 2)(1, 2),

por lo podemos obtener sgn(α) = (−1)2 = 1, ó sgn(α) = (−1)4 = 1. El siguiente
resultado demuestra que, independientemente de la descomposición en transpo-
siciones que usemos para α ∈ Sn , el resultado de la función signo aplicada en α
siempre será el mismo.

Teorema 2.82 (función signo). La función signo sgn : Sn → {1, −1} está bien
denida.

Demostración. Debemos demostrar que el número de transposiciones en la

descomposición de cualquier permutación es siempre par, o siempre impar. Em-
pezaremos demostrando que la identidad siempre se descompone en un número
par de transposiciones.

Armación: Si id = τr τr−1 . . . τ2 τ1 , donde las τi 's son transposiciones, en-

tonces r es par.

No es posible que r = 1, pues una transposición no es igual a la identidad.

Luego r ≥ 2. Demostraremos por inducción que r debe ser par.

Caso base: Si r = 2, entonces r es par, justo como se necesita.

Hipótesis de inducción: Si id se descompone en un producto de s transposi-
ciones, con s < r, entonces s es par.

Paso de inducción: Si τi = τi−1 , para algún i, entonces τi τi−1 = id. En esta

situación, podríamos omitr el producto τi τi−1 para obtener una descom-
posición de id en r−2 transposiciones. Por hipótesis de inducción, que
r−2 es par, lo que implica que r es par.

Para usar reducción al absurdo, supongamos que τi 6= τi−1 para toda i.

Sean τ2 = (c, d) y τ1 = (a, b). Demostraremos que podemos reemplazar a
(1) (1)
τ2 τ1 por un producto de dos transposiciones τ2 τ1 donde el número a
sólo aparece en la transposición de la izquierda. Analizaremos tres casos:
2.3. GRUPOS DE PERMUTACIONES 81

Caso 1: τ2 y τ1 son disjuntas. Entonces τ2 y τ1 conmutan, por lo que

τ2 τ1 = (c, d)(a, b) = (a, b)(c, d).

Caso 2: supp(τ2 ) ∩ supp(τ1 ) = {a}. Sin perder generalidad, supongamos

que a = d. Luego,

τ2 τ1 = (c, a)(a, b) = (a, b)(b, c).

Caso 3: supp(τ2 ) ∩ supp(τ1 ) = {b}. Sin perder generalidad, supongamos

que b = d. Luego,

τ2 τ1 = (c, b)(a, b) = (a, c)(c, b).

El caso supp(τ2 ) ∩ supp(τ1 ) = {a, b} no es posible pues τ2 6= τ1 .

Con lo anterior, obtenemos una nueva descomposición

(1) (1)
id = τr τr−1 . . . τ3 τ2 τ1 ,

donde el número a aparece por primera vez (yendo de derecha a izquierda)

(1) (1)
en τ2 . Usamos el argumento del párrafo anterior para reemplazar a τ3 τ2
y obtener otra descomposición

(2) (2) (1)

id = τr τr−1 . . . τ3 τ2 τ1 ,
(2)
donde el número a aparece por primera vez en τ3 . Continuando este
proceso r−1 veces obtenemos una descomposición

(r−1) (2) (1)

id = τr(r−1) τr−1 . . . τ2 τ1 ,
(r−1)
donde el número a aparece por primera vez en τr . Sin embargo, esto
implica que a no queda jo en este producto de transposiciones, lo cual
es una contradicción, pues a obviamente queda jo al aplicar id. Esto
concluye la demostración.

Armación: Sea α ∈ Sn una permutación tal que

α = τr τr−1 . . . τ2 τ1 = σs σs−1 . . . σ2 σ1 ,

donde las τi 's y σj 's son transposiciones. Entonces, r es par si y solo si s es par.

Como las transposiciones tienen orden 2, se cumple que τi−1 = τi , para toda
i. Despejando la igualdad de arriba, obtenemos que

id = τ1 . . . τr−1 τr σs σs−1 . . . σ2 σ1 .

Por la armación anterior, r+s debe ser un número par, lo que implica que r
es par si y sólo si s es par. 
82 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

Definición 2.83 (paridad). Decimos que una permutación α ∈ Sn es par si

sgn(α) = 1, y decimos que es impar si sgn(α) = −1.
En otras palabras, una permutación es par, o impar, si puede descomponerse
en un número par, o impar, de transposiciones, respectivamente. El Teorema
2.82 implica que una permutación no puede ser par e impar al mismo tiempo.

Ejemplo 2.84 (permutaciones pares e impares). 1. La permutación (1, 2, 3, 4)

es impar pues puede escribirse como un producto de 3 transposiciones:

(1, 2, 3, 4) = (1, 4)(1, 3)(1, 2).

2. La permutación (1, 2, 3, 4)(5, 6) es par pues puede escribirse como un pro-

ducto de 4 transposiciones:

(1, 2, 3, 4)(5, 6) = (1, 4)(1, 3)(1, 2)(5, 6).

3. Como sabemos, cualquier k -ciclo (a1 , a2 , . . . , ak ) puede escribirse como un

producto de k−1 transposiciones:

(a1 , a2 , . . . , ak ) = (a1 , ak )(a1 , ak−1 ) . . . (a1 , a2 ).

Por lo tanto, un k -ciclo es una permutación par si k es impar, y es una
permutación impar si k es par.
Teorema 2.85 (función signo es homomorfismo). Consideremos al conjun-
to {1, −1} como un grupo equipado con la multiplicación. Entonces, la función
signo sgn : Sn → {1, −1} es un homomorsmo.

Demostración. Sean α, β ∈ Sn permutaciones con las siguientes descomposi-

ciones en transposiciones: α = τr . . . τ2 τ1 y β = σs . . . σ2 σ1 . Entonces,
sgn(αβ) = sgn(τr . . . τ2 τ1 σs . . . σ2 σ1 )
= (−1)r+s = (−1)r (−1)s
= sgn(α)sgn(β).
Esto demuestra que sgn es un homomrsmo. 
Definición 2.86 (grupo alternante). El grupo alternate de grado n se dene
como el kernel de la función signo:

An := ker(sgn) = {α ∈ Sn : sgn(α) = 1} = {α ∈ Sn : α es par}.

Observación 2.87. Dado que la función signo es un homomorsmo y An es su

kernel, el Lema 1.105 implica que An es un subgrupo normal de Sn .
Teorema 2.88 (orden de An ). Para cualquier n ≥ 2,
|Sn | n!
|An | = = .
2 2
En otras palabras, el índice de An en Sn es 2.
2.3. GRUPOS DE PERMUTACIONES 83

Demostración. Sea In el conjunto de permutaciones impares en Sn . Claramen-

te,Sn = An ∪ In , donde la unión es disjunta porque ninguna permutación puede
ser par e impar al mismo tiempo. Primero demostraremos que |An | = |In |.
Consideremos la función ψ : An → In dada por

ψ(α) = α(1, 2), ∀α ∈ An .

Observemos que si α es par, entonces α(1, 2) es impar (pues estamos agregando

una transposición), por lo que el codominio de ψ es efectivamente In . Demos-
traremos que ψ es una biyección.

1. ψ es inyectiva. Para cualesquiera α, β ∈ An ,

ψ(α) = ψ(β) ⇒ α(1, 2) = β(1, 2) ⇒ α = β.

2. ψ es sobreyectiva. Sea γ ∈ In una permutación impar arbitraria. Entonces,

γ(1, 2) es par y
ψ(γ(1, 2)) = γ(1, 2)(1, 2) = γ.

Por lo anterior,

|Sn | = |An ∪ In | = |An | + |In | = |An | + |An | = 2|An |.

|Sn |
Por lo tanto, |An | = 2 . 
3!
Ejemplo 2.89. El grupo A3 tiene orden
2 = 3; explícitamente,

A3 = {(1), (1, 2, 3), (1, 3, 2)}.

4!
El grupo A4 tiene orden
2 = 12; expícitamente

 
 (1), (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3), (1, 2, 3), (1, 3, 2), 
A4 = .
 (1, 2, 4), (1, 4, 2), (1, 3, 4), (1, 4, 3), (2, 3, 4), (2, 4, 3) 

Palabras clave: permutación, grupo simétrico, soporte, notación cíclica,

estructura cíclica, orden de una permutación, transposición, paridad, grupo al-
ternante.
84 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS

2.3.4. Ejercicios
Ejercicio 2.19. Da un ejemplo de una función f : Z → Z que sea inyectiva pero
no sobreyectiva, y da un ejemplo de una función g : Z → Z que sea sobreyectiva
pero no inyectiva.

Ejercicio 2.20. Para cualquier α ∈ Sn y k ∈ Z+ , demuestra que

1. x(α) ⊆ x(αk ).
k
2. supp(α ) ⊆ supp(α).

Ejercicio 2.21. Para cualquier α ∈ Sn , demuestra que

1. x(α) = x(α−1 ).
2. supp(α) = supp(α−1 ).

Ejercicio 2.22. Escribe la siguiente permutación en notación cíclica:

 
1 2 3 4 5 6 7
α=
4 5 7 2 1 3 6

Ejercicio 2.23. Escribe todos los elementos de S4 en notación cíclica.

Ejercicio 2.24. Sea α ∈ Sn . Demuestra que la relación sobre [n] = {1, 2, . . . , n}

denida como
i∼j ⇔ ∃k ≥ 0 tal que αk (i) = j
es una relación de equivalencia. Describe las clases de equivalencia en esta rela-
ción de equivalencia.

Ejercicio 2.25. Demuestra que la descomposición de una permutación en pro-

ducto de ciclos disjuntos es única salvo el orden en el que aparecen los ciclos.

Ejercicio 2.26. Escribe cada una de las siguientes permutaciones como produc-
to de ciclos disjuntos y encuentra sus órdenes:

1. (1, 2, 3, 5)(4, 1, 3).

2. (1, 3, 2, 5, 6)(2, 3)(4, 6, 5, 1, 2).
3. (1, 2)(1, 3)(2, 3)(1, 4, 2).
4. (1, 2, 4)(3, 5, 7).
2.3. GRUPOS DE PERMUTACIONES 85

Ejercicio 2.27. Determina si las siguientes permutaciones son pares o impares:

1. (1, 3, 5).
2. (1, 3, 5, 6).
3. (1, 2)(1, 3, 4)(1, 5, 2).
4. (1, 2, 4, 3)(3, 5, 2, 1).

Ejercicio 2.28. Demuestra que el orden de un k -ciclo (a1 , a2 , . . . , ak ) es k.

Ejercicio 2.29. Write the possible orders of all the elements in the following
groups: S6 , A6 and A7 .

Ejercicio 2.30. Let H be any subgroup of Sn . Show that either H ≤ An or

exactly half of the elements of H are even.

Ejercicio 2.31. Encuentra el conjugado αβα−1 en cada una de las siguientes

situaciones:

1. aa

2. aa

3. aa

4. aa

Ejercicio 2.32. Demuestra que dos permutaciones α, β ∈ Sn son conjugadas si

y solo si α y β tienen la misma estructura cíclica.

Ejercicio 2.33. Sea H = {(1), (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)}. Demuestra
que H es un subgrupo normal de A4 . Escribe todas las clases laterales del
grupo cociente A4 /H .

Ejercicio 2.34. Demuestra que Sn es generado por los siguientes conjuntos:

1. S := {(1, 2), (2, 3), . . . (n − 1, n)}

2. S := {(1, 2), (1, 3), . . . , (1, n)}
3. S := {1, 2), (1, 2, . . . , n)}
(Sugerencia: en cada caso, demuestra que toda transposición puede escribirse
como productos de elementos en S ∪ S −1 y usa el Teorema 2.76. )

Ejercicio 2.35 (*). Demuestra que An es generado por el conjunto de 3-ciclos.

Ejercicio 2.36. Para n≥3 demuestra que Sn no es abeliano.

Ejercicio 2.37. Para n≥3 demuestra que el centro de Sn es trivial, es decir

Z(Sn ) = {(1)}.
86 CAPÍTULO 2. TIPOS PARTICULARES DE GRUPOS
 Temas selectos
3
3.1. Acciones de grupos
3.1.1. Deniciones y ejemplos
Definición 3.1 (acción de grupo - primera definición). Sean G un grupo y
X un conjunto. Una acción de G en X es una función · : G × X → X que
cumple lo siguiente:

a) e·x=x para todo x ∈ X.

b) g · (h · x) = (gh) · x para todo g, h ∈ G, x ∈ X .
Cuando existe una acción de G en X, la cual está clara en el contexto,
decimos que G actúa en X.
Observación 3.2. En la denición de acción de G en X denotamos a la imagen
de (g, x) ∈ G × X por g · x.

Ejemplo 3.3 (acción regular izquierda). Sea G un grupo y X = G. Denimos

· : G × X → X por
g · x := gx, ∀g, x ∈ G.
Vericamos que esto es una acción de G en G:
a) e · x = ex = x, para todo x ∈ G.
b) g · (h · x) = g(hx) = (gh)x = (gh) · x, para todo g, h, x ∈ G.
Esta acción se llama la acción regular izquierda de G en G, y es equivalente a
multiplicar elementos de G por la izquierda.

Ejemplo 3.4 (acción regular derecha). Sea G un grupo y X = G. Podríamos

pensar en denir una acción análoga a la acción regular izquierda de G en G de
la siguiente forma: g · x := xg , g, x ∈ G. Sin embargo, esto no cumple
para todo
la propiedad b) en la denición de acción: g · (h · x) = (xh)g 6= (gh) · x = x(gh).
−1
Para solucionar esto, multiplicamos por la derecha por g ; es decir, denimos

g · x := xg −1 , ∀g, x ∈ G.

87
88 CAPÍTULO 3. TEMAS SELECTOS

Verecamos que esto es una acción de G en G:

a) e · x = xe−1 = xe = x, para todo x ∈ G.
b) g · (h · x) = (xh−1 )g −1 = x(gh)−1 = (gh) · x, para todo g, h, x ∈ G.
Esta acción se llama la acción regular derecha de G en G.
Ejemplo 3.5 (acción por conjugación). Sea G un grupo y X = G. Denimos
· : G × X → X por
g · x := gxg −1 , ∀g, x ∈ G.
Vericamos que esto es una acción de G en G:
a) e · x = exe−1 = x, para todo x ∈ G.
b) g · (h · x) = g(hxh−1 )g −1 = (gh)x(gh)−1 = (gh) · x, para todo g, h, x ∈ G.
Esta acción se llama la acción por conjugación de G en G.
Ejemplo 3.6 (acción natural de Sn ). Sea G = Sn y X = [n] = {1, 2, ..., n}.
Denimos · : Sn × [n] → [n] por

α · k := α(k), ∀α ∈ Sn , k ∈ [n].

Vericamos que esto es una acción de Sn en [n]:

a) id · k = id(k) = k , para todo k ∈ [n].
b) α · (β · k) = α(β(k)) = (α ◦ β)(k) = (α ◦ β) · k , para todo α, β ∈ Sn , k ∈ [n].

Ejemplo 3.7 (acción en clases laterales). Sea G un grupo, H un subgrupo

de G, y X = G/H = {aH : a ∈ G} el conjunto de clases laterales izquierdas de
H en G. Denimos · : G × G/H → G/H por

g · aH := gaH, ∀g ∈ G, aH ∈ G/H.

Se trata de una función bien denida, pues si aH = bH entonces gaH = gbH .

Vericamos que esto es una acción de G en G/H :
a) e · aH = eaH = aH , para todo aH ∈ G/H .
b) g · (h · aH) = g(ha)H = (gh)aH = (gh) · aH , para todo g, h ∈ G, aH ∈
G/H .

Ejemplo 3.8 (acción por conjugación en subgrupos). Sea G un grupo y X =

{H : H ≤ G} el conjunto de todos los subgrupos de G. Denimos · : G×X → X
por
g · H := gHg −1 = {ghg −1 : h ∈ H}, ∀g ∈ G, H ∈ X.
Para demostrar que se trata de una función bien denida, hay que vericar que
gHg −1 efectivamente pertenece a X, es decir, que gHg −1 es un subgrupo de G
(Ejercicio 3.4). Vericamos que esto es una acción de G en X :
3.1. ACCIONES DE GRUPOS 89

a) e · H = eHe−1 = H , para todo H ∈ X.

b) g · (k · H) = g(kHk −1 )g −1 = (gk)H(gk)−1 = (gk) · H , para todo g, k ∈ G,
H ∈ X.
Ejemplo 3.9 (acción de traslación). Sea G un grupo y A un conjunto. Deno-
G
tamos por A al conjunto de todas las funciones con dominio G y codominio
A; es decir,
AG := {φ : G → A}.
Denimos · : G×AG → AG de la siguiente forma: para cualquier g ∈ G, φ ∈ AG ,
G
obtenemos una función g · φ ∈ A dada por

(g · φ)(h) := φ(g −1 h), ∀h ∈ G.

Vericamos que esto es una acción de G en AG :
a) (e · φ)(h) = φ(e−1 h) = φ(h), para toda h ∈ G. Esto implica que e · φ = φ,
G
para toda φ ∈ A .

b) g · (k · φ)(h) = (k · φ)(g −1 h) = φ(k −1 g −1 h) = φ((gk)−1 h) = (gk · φ)(h),

para toda h ∈ G. Esto implica que g · (k · φ) = gk · φ para toda g, k ∈ G,
φ ∈ AG .
Esta acción se llama la acción de traslación de G en AG .
Existe una denición de acción de grupo equivalente a la denición 3.1, la
cual nos ofrece otro punto de vista interesante.
Dado cualquier conjunto X , Sym(X) es el grupo de todas las biyecciones
deX en X equipado con la composición de funciones. Si X = [n], entonces
Sym([n]) = Sn .
Definición 3.10 (acción de grupo - segunda definición). Sea G un grupo y
X un conjunto. Una acción de G en X es un homomorsmo ρ : G → Sym(X).
Teorema 3.11. Las deniciones 3.1 y 3.10 de acción de grupo son equivalentes.

Demostración. Sea G un grupo y X un conjunto. Demostraremos que toda

acción de G en X en el sentido de la denición 3.1 induce una acción de G en
X en el sentido de la denición 3.10, y viceversa.

Armación: Toda acción · : G × X → X induce un homomorsmo ρ : G →

Sym(X).
Sea · : G × X → X una acción en el sentido de la denición 3.1. Denimos una
función ρ : G → Sym(X) de la siguiente forma: para cada g ∈ G, ρ(g) : X → X
es la función denida por:

ρ(g)(x) := g · x, ∀x ∈ X.
Para demostrar que ρ : G → Sym(X) está bien denida, hay que vericar que
ρ(g) ∈ Sym(X), ρ(g) : X → X es una biyección:
es decir, que
90 CAPÍTULO 3. TEMAS SELECTOS

1. Para demostrar que ρ(g) es inyectiva, supongamos que ρ(g)(x) = ρ(g)(y).

Esto signica, por denición, que g · x = g · y. Aplicando la acción de g −1
de ambos lados de la igualdad, obtenemos

g −1 · (g · x) = g −1 · (g · y) ⇒ (g −1 g) · x = (g −1 g) · y
⇒ e·x=e·y
⇒ x = y.

2. Para demostrar que ρ(g) es sobreyectiva, sea y ∈ X un elemento arbitrario.

Entonces, su preimagen bajo ρ(g) es g −1 · y ∈ X , porque
ρ(g)(g −1 · y) = g · (g −1 · y) = (gg −1 ) · y = e · y = y.

Finalmente, comprobamos que ρ : G → Sym(X) es un homomorsmo: para

toda g, h ∈ G, x ∈ X ,
ρ(gh)(x) = gh · x = g · (h · x) = ρ(g)(ρ(h)(x)) = ρ(g) ◦ ρ(h)(x).
Esto implica que ρ(gh) = ρ(g)ρ(h), para toda g, h ∈ G, por lo que ρ es un
homomorsmo.

Armación: Todo homomorsmo ρ : G → Sym(X) induce una acción · :

G × X → X.
Sea ρ : G → Sym(X) un homomorsmo (una acción de G en X en el sentido de
la Denición 3.10). Denimos una función G×X →X de la siguiente forma:

g · x := ρ(g)(x), ∀g ∈ G, x ∈ X.
Vericamos que esto cumple las propiedades de acción de acuerdo a la Denición
3.1:

a) Observemos que ρ(e) = id ∈ Sym(X), ya que homomorsmos mandan

la identidad de un grupo a la identidad del otro. Por lo tanto, e·x =
ρ(e)(x) = id(x) = x, para toda x ∈ X.
b) g · (h · x) = ρ(g)(ρ(h)(x)) = ρ(g) ◦ ρ(h)(x) = ρ(gh)(x) = (gh) · x, para toda
g, h ∈ G, x ∈ X .
Con esto terminamos la demostración del teorema. 
Observación 3.12. Intuitivamente, podemos visualizar la conexión entre · :
G × X → X y ρ : G → Sym(X) de la siguiente forma: para cualquier g ∈ G,
ρ(g) : X → X es la función de aplicar puntito, es decir ρ(g) = g· , donde g·
denota intuitivamente la función (g·)(x) := g · x, para toda x ∈ X .

Definición 3.13 (kernel de una acción). Sea ρ : G → Sym(X) una acción. El

kernel de la acción es simplemente el kernel de ρ:
ker(ρ) = {g ∈ G : ρ(g) = id} = {g ∈ G : g · x = x, ∀x ∈ X}.
El lado derecho de la igualdad de arriba representa el kernel de la acción usando
la notación · : G × X → X.
3.1. ACCIONES DE GRUPOS 91

Definición 3.14 (acción fiel). Una acción de G en X se dice el si su kernel es

trivial, es decir, ker (ρ) = {e}.

Observación 3.15. Si G actúa elmente en X , entonces el podemos aplicar el

Primer Teorema de Isomorfía a ρ : G → Sym(X) para deducir que

G ∼
= ρ(G) ⇒ G ∼
= ρ(G) ≤ Sym(X).
ker(ρ)

Esto signica que si G actúa elmente en X, entonces G es isomorfo a un

subgrupo de Sym(X).

Ejemplo 3.16 (kernel). A continuación obtenemos los kernels de algunas de las

acciónes de los ejemplos anteriores:

1. Si ρ es la acción regular izquierda de G en G, entonces

ker(ρ) = {g ∈ G : gh = h, ∀h ∈ G} = {e}.

Esto demuestra que la acción regular izquierda de G en G es el.

2. Si ρ es la acción por conjugación de G en G, entonces

ker(ρ) = {g ∈ G : ghg −1 = h, ∀h ∈ G} = {g ∈ G : gh = hg, ∀h ∈ G} = Z(G).

3. Si ρ es la acción de G en sus clases laterales izquierdas G/H , entonces

ker(ρ) = {g ∈ G : gaH = aH, ∀aH ∈ G/H}

= {g ∈ G : a−1 ga ∈ H, ∀a ∈ G}
= {g ∈ G : g ∈ aHa−1 , ∀a ∈ G}
\
= aHa−1 .
a∈G

El siguiente resultado establece que todo grupo puede verse como un sub-
grupo de algún grupo simétrico.

Teorema 3.17 (Cayley). Para todo grupo G existe un conjunto X tal que G es
isomorfo a un subgrupo de Sym(X).

Demostración. Como se vio en el ejemplo anterior, la acción regular izquierda

de G en G es el, por lo que la Observación 3.15 implica que G es isomorfo a
un subrgupo de Sym(G). 
El Teorema de Cayley implica que la comprensión total de los grupos simé-
tricos Sym(X) y sus subgrupos nos llevaría a la comprensión total de todos los
grupos G. Sin embargo, la estructura de los subrgupos de Sym(X) es extrema-
damente compleja, por lo que esto en realidad no representa una simplicación
en la tarea de comprender todos los grupos.
92 CAPÍTULO 3. TEMAS SELECTOS

3.1.2. Órbitas y estabilizadores

Definición 3.18 (órbita). Sea G un grupo que actúa en X. La órbita de x∈X
es el siguiente subconjunto de X

Orb(x) := {g · x : g ∈ G}.

Lema 3.19. Sea G un grupo que actúa en X.

1. Orb(x) = Orb(y) si y solo si y ∈ Orb(x).
2. El conjunto de órbitas {Orb(x) : x ∈ X} forma una partición de X.

Demostración.
1. Supongamos que Orb(x) = Orb(y). Como todo elemento pertenece a su
propia órbita (pues y = e · y ), tenemos y ∈ Orb(y) = Orb(x). Supongamos
ahora que y ∈ Orb(x), es decir, que existe g ∈ G tal que y = g · x. Sea
h · y ∈ Orb(y); sustituyendo,

h · y = h · (g · x) = hg · x ∈ Orb(x).

Esto demuestra que Orb(y) ⊆ Orb(x). Como y = g · x implica que x =

g −1 · y , podemos repetir el argumento anterior para deducir que Orb(x) ⊆
Orb(y). Por lo tanto, Orb(x) = Orb(y).
2. Como x ∈ Orb(x), para toda x ∈ X , claramente tenemos que
[
X= Orb(x).
x∈X

Sean Orb(x) y Orb(y) Orb(x) 6= Orb(y); demostraremos

órbitas tales que
que son disjuntas. Supongamos que existe z ∈ Orb(x) ∩ Orb(y). Luego z ∈
Orb(x) y z ∈ Orb(y). Por el punto anterior, Orb(z) = Orb(x) y Orb(z) =
Orb(y), lo que implica que Orb(x) = Orb(y). Esto es una contradicción.
Por lo tanto, Orb(x) ∩ Orb(y) = ∅.


Observación 3.20. Alternativamente a la demostración anterior, podemos ve-
ricar que la relación ∼ sobre X, denida por x∼y si y solo si existe g∈G tal
que y = g · x, es una relación de equivalencia cuyas clases de equivalencia son
las órbitas de la acción.

Definición 3.21 (acción transitiva). La acción de un grupo G sobre X es lla-

mada transitiva si X = Orb(x), para algún (o, equivalentemente, para toda)
x ∈ X.

Observación 3.22. Si G actúa transitivamente en X , entonces para toda x, y ∈

X tenemos que Orb(x) = X = Orb(y). Así, podemos deducir que una acción
de G en X es transitiva si y solo si para toda x, y ∈ X existe g ∈ G tal que
y = g · x.
3.1. ACCIONES DE GRUPOS 93

Ejemplo 3.23 (órbitas). Obtenemos las órbitas en algunas de las acciones de-
nidas en la sección anterior.

1. Consideremos la acción regular izquierda de G en G. Para cualquier x ∈ G,

Orb(x) = {gx : g ∈ G} = G.

Por lo tanto, esta acción es transitiva.

2. Consideremos la acción por conjugación de G en G. Para cualquier x ∈ G,

Orb(x) = {gxg −1 : g ∈ G} =: Cl(x).

En el caso de esta acción, la órbita de x∈G es igual a la clase de conju-

gación de x.
3. Consideremos la acción de G en las clases laterales G/H . Para cualquier
aH ∈ G/H ,
Orb(aH) = {gaH : g ∈ G} = G/H.
Por lo tanto, esta acción es transitiva.

4. Consideremos la acción por conjugación de G en sus subgrupos. Para

cualquier H ≤ G,

Orb(H) = {gHg −1 : g ∈ G} =: Cl(H).

En el caso de esta acción, la órbita de H ≤ G es igual a la clase de

conjugación de H .
Definición 3.24 (estabilizador). Sea G un grupo que actúa en X. El estabili-
zador de x ∈ X es el siguiente subconjunto de G:
Stab(x) := {g ∈ G : g · x = x}.

Proposición 3.25. Sea G un grupo que actúa en X. Para cualquier x ∈ X,

Stab(x) es un subgrupo de G.

Demostración. Usaremos el Test del Subgrupo I:

1. Claramente e ∈ Stab(x) pues e · x = x.

2. Si g, h ∈ Stab(x), entonces g·x=x y h · x = x. Observemos que

gh · x = g · (h · x) = g · x = x.

Por lo tanto gh ∈ Stab(x).

3. Si g ∈ Stab(x), entonces g · x = x. Aplicando la acción de g −1 en ambos
lados de la igualdad, obtenemos

g −1 · (g · x) = g −1 · x ⇒ x = g −1 · x.

Por lo tanto, g −1 ∈ Stab(x).

94 CAPÍTULO 3. TEMAS SELECTOS


Ejemplo 3.26 (estabilizadores). Obtenemos estabilizadores en algunas de las
acciones denidas en la sección anterior.

1. Consideremos la acción regular izquierda de G en G. Para cualquier x ∈ G,

Stab(x) = {g ∈ G : gx = x} = {e}.

2. Consideremos la acción por conjugación de G en G. Para cualquier x ∈ G,

−1
Stab(x) = {g ∈ G : gxg = x} = {g ∈ G : gx = xg} =: C(x).
En el caso de esta acción, el estabilizador de x ∈ G es igual al centralizador
de x.
3. Consideremos la acción de G en las clases laterales G/H . Para cualquier
aH ∈ G/H ,
Stab(aH) = {g ∈ G : gaH = aH} = {g ∈ G : a−1 ga ∈ H}
= {g ∈ G : g ∈ aHa−1 } = aHa−1 .

4. Consideremos la acción por conjugación de G en sus subgrupos. Para

cualquier H ≤ G,
Stab(H) = {g ∈ G : gHg −1 = H} =: N (H).
En el caso de esta acción, el estabilizador de H ≤G es igual al normali-
zador de H.
Teorema 3.27 (órbita-estabilizador). Sea G un grupo que actúa en X. Para
cualquier x ∈ X ,
|Orb(x)| = [G : Stab(x)],
donde [G : Stab(x)] denota el índice de Stab(x) en G.
Demostración. Denimos una función φ : Orb(x) → G/Stab(x) por

φ(g · x) := gStab(x), ∀g · x ∈ Orb(x).

Observemos que

g · x = h · x ⇔ h−1 g · x = x ⇔ h−1 g ∈ Stab(x) ⇔ gStab(x) = hStab(x).

Esto implica que φ está bien denida y es inyectiva.
Para demostrar que φ es sobreyectiva, sea gStab(x) una clase lateral arbi-
traria en G/Stab(x). Es claro que su preimagen bajo φ es g · x, pues φ(g · x) =
gStab(x), lo que implica que φ es sobreyectiva. 
Observación 3.28. El teorema anterior es válido incluso cuando la cardinalidad
de Orb(x) es innita, pues su demostración se hizo construyendo una biyección.

Corolario 3.29. Sea G un grupo nito que actúa en X. Para toda x ∈ X,

|Orb(x)| divide a |G|.
Demostración. Obtenemos el resultado aplicando el Teorema Órbita-Estabilizador
y el Teorema de Lagrange. 
3.1. ACCIONES DE GRUPOS 95

3.1.3. Aplicación: conteo de collares

Supongamos que un fabricante de collares dispone de q colores y n piedras.
¾Cuántos collares no equivalentes puede fabricar? Aquí consideramos que dos
collares son equivalentes si podemos obtener uno del otro a través de una rota-
ción.
1

La pregunta del párrafo es mucho más complicada de lo que parece. Por

ejemplo, la Figura 3.1.3 ilustra todos los collares no equivalentes que pueden
fabricarse con 2 colores (blanco y negro) y 4 piedras. Para tener una idea de
cómo se complican las cosas cuando q y n crecen, se deja como ejercicio ilustrar
todos los collares no equivalentes con 3 colores y 4 piedras, y con 2 colores y 5
piedras.

Figura 3.1: Collares no equivalentes con 2 colores y 4 piedras.

Para empezar a modelar este proplema, sea A un conjunto con q elementos

(los colores) y consideremos el grupo Zn (cuyos elementos serán las etiquetas de
las piedras). Con esto, un collar es simplemente una función f : Zn → A, la cual
indica el color de cada una de las piedras. Por ejemplo, si A = {negro, blanco}
y n = 4, entonces la siguiente función representa un collar donde la primera

1 Para simplicar las cosas, no consideramos reexiones de los collares, las cuales en realidad
deberían incluirse para hacer un modelado más realista del problema.
96 CAPÍTULO 3. TEMAS SELECTOS

piedra es negra y las demás son blancas:


1 7→


negro
2 7→ blanco
f=
3 7→
 blanco

4 7→

blanco

Las etiquetas de los colores son irrelevantes, así que podemos simplicar las
cosas considerando A = {0, 1, . . . , q−1}, siempre que A tenga q colores. Además,
podemos identicar una función f : Zn → A con una n-tupla, donde la i-ésima
posición contiene a la imagen de i ∈ Zn bajo f , es decir

f = (f (1), f (2), . . . , f (n)).

Para el caso A = {negro, blanco}, podemos hacer la identicación 0= blanco

y 1= negro, y la función f, con la primera piedra negra y las demás blancas,
queda como
f = (1, 0, 0, 0).
Consideramos ahora la acción de traslación de Zn en AZn , dada por

k · f (i) := f (i − k), ∀k, i ∈ Zn , f ∈ AZn ,

donde hay que recordar que la resta i−k se hace módulo n, pues estamos
operando elementos del grupo Zn . En la notación como n-tuplas, esta acción es
equivalente a lo siguiente:

k·(f (1), f (2), . . . , f (n)) := (f (1−k), f (2−k), . . . , f (n−k)), ∀k ∈ Zn , f ∈ AZn .

Si k = 1, vemos que

1 · (f (1), f (2), f (3) . . . , f (n)) = (f (n), f (1), f (2), . . . , f (n − 1)),

es decir, que la acción de 1 ∈ Zn sobre f representa una rotaicón de un lugar

hacia la derecha de los elementos de la n-tupla. Similarmente, la acción de
k ∈ Zn sobre f representa una rotación de k lugares hacia la derecha de los
elementos de la n-tupla.
La Figura 3.1.3 muestra a todos los elementos de AZ4 , con A = {0, 1},
representados por 4-tuplas y agrupados en órbitas bajo la acción de tralsación
de Z4 . Es fácil observar que cada una de estas órbitas representa uno de los
collares no equivalentes dados por la Figura 3.1.3.

Observación 3.30. El número de collares no equivalentes bajo rotaciones que

pueden fabricarse con q colores y n piedras es igual al número de órbitas de la
acción de traslación de Zn sobre AZn , donde |A| = q .

El siguiente teorema es precisamente lo que necesitamos para resolver este

problema, el cual también se conoce como el Lema de Burnside.
3.1. ACCIONES DE GRUPOS 97

Figura 3.2: Órbitas de la acción de tralsación de Z4 en {0, 1}Z4 .

Teorema 3.31 (Cauchy-Frobenius). Sea G un grupo nito que actúa en un

X . El número de órbitas de la acción es
conjunto nito igual a

1 X
|Fix(g)|,
|G|
g∈G

donde Fix(g) := {x ∈ X : g · x = x} es el conjunto de puntos jos bajo g ∈ G.

Demostración. Consideremos el siguiente conjunto:

F := {(g, x) ∈ G × X : g · x = x}.

Vamos a contar la cardinalidad de F de dos formas distintas.

1. Por un lado,
[
F= {(g, x) : x ∈ X, g · x = x}.
g∈G
98 CAPÍTULO 3. TEMAS SELECTOS

Debido a que la unión es disjunta, tenemos que

X
|F| = |{(g, x) : x ∈ X, g · x = x}|
g∈G
X
= |{x ∈ X : g · x = x}|
g∈G
X
= |Fix(g)| .
g∈G

2. Por otro lado,

[
F= {(g, x) : g ∈ G, g · x = x}.
x∈X

De nuevo la unión es disjunta, así que

X
|F| = |{(g, x) : g ∈ G, g · x = x}|
x∈X
X
= |{g ∈ G : g · x = x}|
x∈X
X X |G|
= |Stab(x)| = ,
|Orb(x)|
x∈X x∈X

donde la última igualdad se deduce del Teorema Órbita-Estabilizador.

Sean O1 , O2 , . . . , Ot las órbitas de la acción de G en X . Debido a que

Orb(x) = Orb(y) = Oi , para toda x y y en una misma órbita Oi , tenemos
t X
X 1 X 1
|F| = |G| = |G|
|Orb(x)| i=1
|Orb(x)|
x∈X x∈Oi
t t
X X 1 X 1
= |G| = |G| |Oi |
i=1 x∈Oi
|Oi | i=1
|Oi |
t
X
= |G| 1 = |G|t.
i=1

Comparando lo obtenido en los puntos (1.) y (2.) anteriores,

X
|F| = |Fix(g)| = |G|t,
g∈G

donde t es el número de órbitas de la acción. Con esto el teorema queda demos-

trado. 
Observación 3.32. El Teorema de Cauchy-Frobenius puede interpretarse de la
siguiente forma: el número de órbitas de la acción de G en X es igual al promedio
del número de puntos jos de los elementos de G.
3.1. ACCIONES DE GRUPOS 99

Definición 3.33 (puntos fijos). Sea G un grupo que actúa en X . Para cualquier
subconjunto K ⊆ G, denimos al conjunto de puntos jos de K como

Fix(K) := {x ∈ X : k · x = x, ∀k ∈ K}.

Lema 3.34. Sea G un grupo que actúa en X. Para todo g ∈ G,

Fix(g) = Fix (hgi) .

Demostración. Sea x ∈ Fix (hgi). Luego, g k · x = x, para toda k ∈ Z. En

particular, g · x = x, por lo que x ∈ Fix(g). Esto demuestra que Fix (hgi) ⊆
Fix(g).
Por otro lado, sea x ∈ Fix(g). Luego g · x = x, y, para toda k ≥ 0, tenemos

g k · x = g · (g · . . . (g · x)) = x.
| {z }
k veces

Similarmente, g·x = x g −1 · x = x, por lo que g k · x = x, para toda

implica
k < 0. Esto demuestra que x ∈ Fix (hgi), y Fix(g) ⊆ Fix (hgi). 
Si H es un subgrupo de G, recordemos que H\G = {Hg : g ∈ G} denota al
conjunto de clases laterales derechas de H en G.

Teorema 3.35. Sea A un conjunto, G un grupo y H un subgrupo de G. Respecto

a la acción de traslación de G en AG ,

|Fix(H)| = |AH\G |,

donde AH\G es el conjunto de funciones de H\G en A.

Demostración. Denimos una función β : Fix(H) → AH\G como sigue: para

H\G
toda x ∈ Fix(H), β(x) ∈ A es la función denida por

β(x)(Hg) := x(g), ∀Hg ∈ H\G.

Recordemos que Fix(H) ⊆ AG en esta acción, por lo que tiene sentido evaluar
x:G→A en g ∈ G. Demostraremos que β es una biyección bien denida.
1. β está bien denida. Para mostrar esto, debemos vericar que para toda
x ∈ Fix(H), β(x) : H\G → A es una función bien denida. Supongamos
que Hg1 = Hg2 . Luego g1 = hg2 , para algún h ∈ H y

β(x)(Hg1 ) = x(g1 ) = x(hg2 ) = (h−1 · x)(g2 ) = x(g2 ) = β(x)(Hg2 ),

donde la penúltima igualdad es cierta ya que h−1 · x = x, porque x ∈

Fix(H).
2. β es inyectiva. Supongamos que β(x) = β(y), para algunos x, y ∈
Fix(H). Luego, para toda g ∈ G,

x(g) = β(x)(Hg) = β(y)(Hg) = y(g).

Esto implica que x = y.

100 CAPÍTULO 3. TEMAS SELECTOS

3. β es sobreyectiva. Sea x̂ : H\G → A un elemento arbitrario de AH\G .

Denimos x ∈ AG por x(g) := x̂(Hg). Observemos que x ∈ Fix(H) por-
que, para toda h ∈ H ,

(h · x)(g) = x(h−1 g) = x̂(Hh−1 g) = x̂(Hg) = x(g).

Además, x es una preimagen de x̂ bajo β, ya que para toda g ∈ G,

β(x)(Hg) = x(g) = x̂(Hg),

lo que implica que β(x) = x̂.


Observación 3.36. Es un resultado básico de técnicas de conteo que

|AG | = |A||G| ,

debido a que toda función f ∈ AG se identica con la tupla (f (g) : g ∈ G), y

hay |A| posibles entradas para cada posición de la tupla. Similarmente,

|AH\G | = |A||H\G| = |A|[G:H] ,

donde [G : H] es el índice de H en G.

Teorema 3.37 (conteo de collares). El número de collares no equivalentes ba-

jo rotaciones que pueden fabricarse con q colores y n piedras es igual a

n
1 X mcd(k,n)
q .
n
k=1

Demostración. Sea c(q, n) el número de collares no equivalentes bajo rotaciones

que pueden fabricarse con q colores y n piedras. Como observamos anteriormen-
Z
te, c(q, n) es igual al número de órbitas de la acción de traslación de Zn en A n ,
donde |A| = q . Por el Teorema de Cauchy-Frobenius,

n
1 X 1X
c(q, n) = |Fix(k)| = |Fix(k)|.
|Zn | n
k∈Zn k=1

Por los lemas anteriores, para cualquier k ∈ Zn ,

|Fix(k)| = |Fix(hki)| = |A|[Zn :hki] = q [Zn :hki] .

Por el Teorema de Lagrange,

|Zn | n
[Zn : hki] = = .
|hki| |k|
n
Recordemos que, en Zn , |k| = mcd(k,n) . Por lo tanto, el índice de arriba se
simplica a
[Zn : hki] = mcd(k, n).
3.1. ACCIONES DE GRUPOS 101

Por lo tanto,
n
1 X mcd(k,n)
c(q, n) = q .
n
k=1


Ejemplo 3.38. El número de collares no equivalentes bajo rotaciones que pue-
den fabricarse con 2 colores y 4 piedras es

1  mcd(1,4) 
c(2, 4) = 2 + 2mcd(2,4) + 2mcd(3,4) + 2mcd(4,4)
4
1 1
= (2 + 22 + 2 + 24 ) = (24) = 6.
4 4
Esto coincide con lo obtenido en la Figura 3.1.3.

Palabras clave: acción de grupo, kernel, acción el, teorema de Cayley, ór-
bita, estabilizador, Teorema Órbita-Estabilizador, Teorema de Cauchy-Frobenius,
puntos jos, conteo de collares.
102 CAPÍTULO 3. TEMAS SELECTOS

3.1.4. Ejercicios
Ejercicio 3.1. Sea G un grupo que actúa en X . Demuestra que la relación ∼
sobre X , denida por x ∼ y si y solo si existe g ∈ G tal que y = g · x, es una
relación de equivalencia cuyas clases de equivalencia son las órbitas de la acción

Ejercicio 3.2 (1 pt). Sea ρ:G→ Sym(X) una acción de G en X. Demuestra

que
\
ker(ρ) = Stab(x).
x∈X

Ejercicio 3.3. Teniendo una acción izquierda G×X → X dada por (g, x) 7→ g·x,
podemos denir una acción derecha X × G → X vía x • g := g
−1
· x. Verica
que esto es una acción.

Ejercicio 3.4. Sea H un subgrupo de G. Para toda g ∈ G, demuestra que

gHg −1 es un subgrupo de G.

Ejercicio 3.5. Sea R[x1 , x2 , . . . , xn ] el conjunto de polinomios en n variables con

coecientes en R. Para cualquier α ∈ Sn y f (x1 , x2 , . . . , xn ) ∈ R[x1 , x2 , . . . , xn ],
denimos
α · f (x1 , x2 , . . . , xn ) = f (xα(1) , xα(2) , . . . , xα(n) ).
Responde lo siguiente:

1. Esto dene una acción de Sn en R[x1 , x2 , . . . , xn ].

2. Encuentra un polinomio cuyo estabilizador sea igual a Sn , y otro cuyo
estabilizador sea el subgrupo trivial {(1)} de Sn .

Ejercicio 3.6. Sea A cualquier conjunto y An = {(a1 , a2 , . . . , an ) : ai ∈ A}.

Para cualquier α ∈ Sn y (a1 , a2 , . . . , an ) ∈ An denimos

α · (a1 , a2 , . . . , an ) = (aα−1 (1) , aα−1 (2) , . . . , aα−1 (n) ).

Responde lo siguiente:

1. Demuestra que esto dene una acción de Sn en An .

2. Para el caso A = {0, 1, 2} y n = 3, encuentra las órbitas Orb(0, 1, 2),
Orb(1, 1, 2) y Orb(0, 0, 0).

Ejercicio 3.7. Sea G := Sn y X := [n]2 = {(a, b) : a, b ∈ [n]}, donde [n] =

{1, 2, . . . , n}. Para cualquier σ ∈ Sn , (a, b) ∈ X , denimos

σ · (a, b) := (σ(a), σ(b)).

Responde lo siguiente:
3.1. ACCIONES DE GRUPOS 103

1. Demuestra que esto dene una acción de Sn en X. ¾Cuál es el kernel de

la acción?

2. Para n = 4, encuentra las órbitas Orb(2, 2) y Orb(1, 2), así como los esta-
bilizadores Stab(2, 2) y Stab(1, 2). En estos casos, verica que se cumple
el Teorema Órbita-Estabilizador.

Ejercicio 3.8. Sea G un grupo que actúa en X . Sean x, y ∈ X tales que y = g·x,
−1
para algún g ∈ G. Demuestra que Stab(y) = g Stab(x)g .

Ejercicio 3.9. Sea G un grupo que actúa en X . Decimos que un subconjunto

Y ⊆ X es invariante si g · y ∈ Y para toda g ∈ G, y ∈ Y . Demuestra que un
subconjunto Y ⊆ X es invariante si y solo si Y es igual a la unión de algunas
órbitas de la acción.

Ejercicio 3.10. Sea G un grupo nito que actuúa transitivamente en un con-

junto X . Demuestra que X debe ser nito y que |X| divide a |G|.

Ejercicio 3.11. Sea G un grupo y H un subgrupo de G. Consideremos la acción

de G en las clases laterales G/H dada por g · (aH) := gaH . Sea K := ker(ρ) =
−1
T
a∈G aHa el kernel de la acción. Demuestra que K es el subgrupo normal
0
de G más grande que contiene a H (i.e. si K es un subgrupo normal de G que
0
contiene a H , entonces K ⊆ K ).

Ejercicio 3.12. Let G be a nite group and H a subgroup of G. Suppose that

[G : H] = n. Show that there exists a normal subgroup K of G such that K ≤ H
and [G : K] divides n!. (Hint: Use the previous exercise).

Ejercicio 3.13 (*). Let G be a group acting on X and let H be a subgroup of

G. Show that H acts transitively on X if and only if G acts transitively on X
and G = HGx , for some x ∈ X .

Ejercicio 3.14. How many dierent necklaces can you make with 6 stones that
may be colored with 3 dierent colors? (Hint: Use Cauchy-Frobenius Theorem).

Ejercicio 3.15. ¾Cuántos collares no equivalentes pueden fabricarse con 2 colo-

res y 5 piedras? ¾Y con 2 colores y 7 piedras? Encuentra una fórmula sencilla
para determinar el número de collares no equivalentes que pueden fabricarse con
q colores y p piedras, donde p es un número primo.

Ejercicio 3.16 (?). Sea G un grupo y A un conjunto tal que |A| ≥ 2. Demuestra
que la acción de traslación de G en AG es el.
104 CAPÍTULO 3. TEMAS SELECTOS

3.2. Teoría de Sylow

En esta sección estudiaremos tres teoremas nombrados en honor al mate-
mático noruego Peter Ludwig Sylow que nos proveen de información detallada
sobre la estructura de subgrupos de un grupo nito.

3.2.1. La ecuación de clase

En todo este capítulo, G siempre será un grupo nito. Recordemos que la
clase de conjugación de x ∈ G es el conjunto Cl(x) := {gxg −1 : g ∈ G}. Como
vimos en la Sección 3.1.2, las clases de conjugación son las órbitas de la acción
de conjugación de G sobre sí mismo.

Teorema 3.39 (ecuación de clase). Sea G un grupo nito. Entonces,

r
X
|G| = |Z (G)| + |Cl(xi )| ,
i=1

donde Z (G) es el centro de G y Cl(x1 ), . . . , Cl(xr ) son las clases de conjugación

de G con más de un elemento.

Demostración. Sean Cl(x1 ), . . . , Cl(xs ) la lista de todas las clases de conjuga-

ción de G. Al ser órbitas de la acción por conjugación, forman una partición de
G, por lo que
Xs
|G| = |Cl(xi )|.
i=1

Supongamos que Cl(x1 ), . . . , Cl(xr ) son las clases de conjugación con más de un
elemento y Cl(xr+1 ), . . . , Cl(xs ) son las clases de conjugación con exactamente
un elemento.

s
Armación.
S
Z(G) = Cl(xi ).
i=r+1

Demostración. Sea z ∈ Z(G). Observemos que

Cl(z) = {gzg −1 : g ∈ G} = {zgg −1 : g ∈ G} = {z}.

Entonces |Cl(z)| = 1, lo que implica que Cl(z) = Cl(xi ) para algún i ∈ {r +

Ss
1, . . . , s}. Así, z ∈ Cl(xi ).
i=r+1
s
S
Por otro lado, sea z ∈ Cl(xi ). Entonces z ∈ Cl(xi ), para algún i ∈
i=r+1
{r + 1, . . . , s}. Por el Lema 3.19, Cl(z) = Cl(xi ), así que |Cl(z)| = 1. Luego
gzg −1 = z para toda g ∈ G, lo que implica que z ∈ Z(G). 
3.2. TEORÍA DE SYLOW 105

Usando la armación anterior, concluimos que

r
X s
X r
X
|G| = |Cl(xi )| + |Cl(xi )| = |Cl(xi )| + |Z(G)|.
i=1 i=r+1 i=1


Observación 3.40. Aplicando el Teorema Órbita-Estabilizador a la acción por
conjugación de G sobre G, podemos escribir la ecuación de clase de una forma
alternativa. Dicho teorema establece que, para toda x ∈ G, |Cl(x)| = [G : C(x)],
−1
donde C(x) = {g ∈ G : gxg = x} es el centralizador de x. Por lo tanto,
r
X
|G| = |Z (G)| + [G : C(xi )],
i=1

donde los xi ∈ G son representantes de las clases de conjugación de G con más

de un elemento.

Observación 3.41. Cuando G es un grupo nito, el Corolario 3.29 implica que

para toda x ∈ G, |Cl(x)| divide a |G|. En otras palabras, la cardinalidad de
cualquier clase de conjugación siempre divide a la cardinalidad de G.

Definición 3.42 (p-grupo). Sea p un número primo. Un grupo nito G es un

p-grupo si |G| = pk , para algún k ≥ 1.

Proposición 3.43 (centro de un p-grupo). Sea G un p-grupo. Entonces Z (G) 6=

{e}.

Demostración. Supongamos que |G| = pk y |Z (G)| = 1. Por la ecuación de

clase,
r
X
k
p =1+ |Cl(xi )| ,
i=1

donde Cl(x1 ), . . . , Cl(xr ) G con más de un ele-

son las clases de conjugación de
mento. Por la Observación 3.41,|Cl(xi )| divide a |G| = pk , así que |Cl(xi )| = pki ,
para algunos ki ≥ 0. Como |Cl(xi )| > 1, debemos tener que ki > 0. Sustituyendo
en la ecuación de arriba,

r
X
pk = 1+ pki
i=1
r
!
X
p pk−1 − pki −1 = 1
i=1

Esto implica que p | 1, lo cual es imposible. Por lo tanto, |Z (G)| =

6 1. 
Corolario 3.44. . Sea G un grupo de orden p2 , donde p es un número primo.
Entonces G es abeliano.
106 CAPÍTULO 3. TEMAS SELECTOS

Demostración. Por el Teorema de Lagrange, |Z(G)| | |G| = p2 . La proposi-

ción anterior implica que |Z(G)| =
6 1, así que |Z (G)| = p2 ó p.

Caso 1 |Z (G)| = p2 . En este caso, Z(G) = G, lo que implica que G es abeliano.

Caso 2 |Z (G)| = p. Z(G) siempre es un subgrupo normal de

Recordemos que
G. Por el Teorema de Lagrange, |G/Z (G)| = p, por lo que G/Z(G) es un
grupo cíclico. Por la Proposición 1.95, G debe ser abeliano. Esto implica
que Z(G) = G, lo cual contradice que |Z (G)| = p. Luego, el Caso 2 no
puede ocurrir.

3.2.2. Teoremas de Sylow

Sea G un grupo nito de orden n. Un corolario del Teorema de Lagrange es
que el orden de cualquier elemento de G divide a n. Sin embargo, el recíproco
no es verdad; es decir, si d es un divisor de n, no necesariamente existe g∈G
tal que |g| = d.

Ejemplo 3.45. El grupo alternante A4 tiene orden 12, pero no tienen ningún
elemento de orden 6.

Sin embargo, si p es un divisor primo de n, sí es verdad que debe existir un

g ∈ G tal que |g| = p. Comenzamos demostrando este resultado para el caso
abeliano.

Teorema 3.46 (Cauchy). Sea G un grupo abeliano de orden n. Si p es un divisor

n, entonces G tiene un elemento de orden p.
primo de

Demostración. Haremos la demostración por inducción sobre n.

1. Caso base. Si n = 2, entonces G es cíclico y tiene un elemento de orden 2.

2. Hipótesis de inducción. Supongamos que si H es un grupo abeliano tal
que p | |H| y |H| < n, entonces H tiene un elemento de orden p.

3. Paso de inducción. Consideremos un elemento no trivial g ∈ G, g 6= e.

Sea k := |g|. Si p | k, entonces el elemento g k/p tiene ordenp. En otro
caso, supongamos que p - k. Consideremos al grupo abeliano G := G/ hgi
(claramente hgi C G porque G es abeliano). Observemos que

n
|G| = < n, porque k 6= 1.
k
n
Además, como p | n y p - k, entonces p |
k = |G|. Por hipótesis de
inducción, G tiene un elemento de orden p, digamos a hgi ∈ G. Sea r := |a|.
r r
Como (a hgi) = a hgi = e hgi, entonces p | r (por el Lema 1.25). Por lo
r/p
tanto, el elemento a ∈ G tiene orden p.
3.2. TEORÍA DE SYLOW 107


El siguiente teorema se conoce como el Primer Teorema de Sylow, y establece
la existencia de p-subgrupos en todo grupo nito.

Teorema 3.47 (Primer Teorema de Sylow). Sea G un grupo nito de orden n

k k
y sea p una potencia de un primo tal que p | n. Entonces G tiene un subgrupo
k
de orden p .

Demostración. Nuevamente, haremos la demostración por inducción sobre n.

1. Caso base. El resultado es trivialmente verdadero cuando n = 2.
2. Hipótesis de inducción. Supongamos que si H es un grupo tal que |H| < n
y pr es una potencia de un primo tal que pr | |H|, entonces H tiene un
subgrupo de orden pr .
3. Paso de inducción. Dividimos este paso en dos casos:
Caso 1: p | |Z (G)|. Puesto que Z(G) es abeliano, el Teorema de
Cauchy implica que existe z ∈ Z (G) tal que |z| = p. Como hzi C G,
entonces G := G/ hzi es un grupo. Observemos que
  n
G = < n,
p
 
y que pk−1 | G. Por hipótesis de inducción, G contiene un subgrupo
H de orden pk−1 . Por el Teorema de Correspondencia (Ejercicio 1.72),
existe un subgrupo H tal que hzi ≤ H ≤ G y

H = H/ hzi .
(De hecho, H := {g ∈ G : ghzi ∈ H}). Luego, |H| = |H||hzi| =
pk−1 p = pk , y el resultado queda establecido en este caso.
Caso 2: p - |Z (G)|. Consideremos la ecuación de clase de G:
r
X
|G| = |Z (G)| + |Cl(xi )| ,
i=1

donde Cl(x1 ), . . . , Cl(xr ) son las clases de conjugación de G con más

de un elemento. Si p | |Cl(xi )| para toda i, entonces
r
!
X
p | |G| − |Cl(xi )| = |Z(G)|,
i=1

lo cual es una contradicción. Luego, debe existir un s tal que p -

|Cl(xs )|. Por el Teorema Órbita-Estabilizador,

|G|
|Cl(xs )| = [G : C(xs )] ⇒ |C(xs )| = .
|Cl(xs )|
Como pk | |G| pero p - |Cl(xs )|, entonces pk | |C(xs )|. Además,
|C(xs )| < n porque |Cl(xs )| > 1. Por hipótesis de inducción, C (xs )
k
tiene un subgrupo de orden p , el cual también es un subgrupo de G.
108 CAPÍTULO 3. TEMAS SELECTOS

Corolario 3.48. Sea G un grupo nito de orden n. Si p es un número primo tal

que p | n, entonces G tiene un elemento de orden p.

Demostración. Por el Primer Teorema de Sylow, G tiene un subgrupo de orden

p. Como todo grupo de orden primo es cíclico, G tiene un elemento de orden p.


Ejemplo 3.49. Todo grupo de orden 21 tiene al menos un elemento de orden 3

y al menos un elemento de orden 7.

Ejemplo 3.50. Todo grupo de orden 360 = 23 · 32 · 5 tiene subgrupos de los

2 3 2
siguientes órdenes: 2, 2 , 2 , 3, 3 y 5.

Definición 3.51 (p-subgrupo de Sylow). Sea G un grupo nito de orden n y

p un número primo tal que p | n. Un p-subgrupo de Sylow de G es un subgrupo
de G cuyo orden es igual a la máxima potencia de p que divide a n; en otras
m m
palabras, es un subgrupo H tal que |H| = p donde p | n pero pm+1 - n.

Ejemplo 3.52. Sea G 360 = 23 · 32 · 5. Entonces, un 2-

un grupo de orden
3
subgrupo de Sylow de G tiene orden 2 = 8, un 3-subgrupo de Sylow de G tiene
2
orden 3 = 9, y un 5-subgrupo de Sylow de G tiene orden 5.

Observación 3.53. Por el Primer Teorema de Sylow, si p es un primo que

divide al orden de G, entonces siempre existe al menos un p-subgrupo de Sylow
de G.

Observación 3.54. Sea p-subgrupo de Sylow de G. Para cualquier g ∈ G,

P un
recordemos que el conjugado gP g −1 también es un subgrupo de G (Ejercicio
−1
3.4). Además, puesto que |P | = |gP g | (ya que a 7→ gag −1 es una biyección
−1 −1
de P a gP g ), deducimos que gP g también es un p-subgrupo de Sylow de
G (ya que su orden también es la máxima potencia de p que divide a |G|). En
conclusión, el conjugado de un p-subgrupo de Sylow siempre es un p-subgrupo
de Sylow.

Teorema 3.55 (Segundo Teorema de Sylow). Sea G un grupo nito de orden

n y p un número primo tal que p | n. Sea H un subgrupo de G tal que |H| = pk ,
para algún k ≥ 1, y sea P un p-subgrupo de Sylow de G. Entonces existe g ∈ G
−1
tal que H ≤ gP g .

Demostración. Consideremos la acción de H sobre el conjunto de clases late-

rales G/P = {gP : g ∈ G} por multiplicación izquierda, es decir, h · gP := hgP ,
para toda h ∈ H , gP ∈ G/P . Como las órbitas O1 , ..., Or de la acción forman
una partición de G/P , tenemos

|G/P | = |O1 | + ... + |Or |

3.2. TEORÍA DE SYLOW 109

|Oi | divide a |H| = pk para toda i. Por lo tanto, |Oi | = pmi

Por el Corolario 3.29,
|G|
para 0 ≤ mi ≤ k . Observemos que p - |G/P | =
|P | porque P es un p-subgrupo
de Sylow de G. Si mi ≥ 1 para toda i, entonces

r
X r
X
p |= pmi = |Oi | = |G/P |,
i=1 i=1

lo cual es una contradicción. Luego, debe existir al menos una órbita Oj con
mj = 0 , |Oj | = pmj = p0 = 1. Así, Oj = {gP } para algún g ∈ G.
es decir,
Entonces, para cualquier h ∈ H , hgP = gP , así que hg = ga para algún a ∈ P .
Esto implica que, para toda h ∈ H ,

h = gag −1 ∈ gP g −1 .

Por lo tanto, H ≤ gP g −1 . 
Corolario 3.56. Para cualquier par P1 y P2 de p-subgrupos de Sylow de G existe
g ∈ G tal que P1 = gP2 g −1 .

Demostración. Aplicamos el Segundo Teorema de Sylow con H = P1 y P2 = P

−1 −1
para obtener g ∈ G tal que P1 ≤ gP2 g . Como P1 y gP2 g son p-subgrupos de
−1
Sylow (ver Observación 3.54), deben tener el mismo orden, así que P1 = gP2 g .

Observación 3.57. Sea

Sylp (G) := {P ≤ G : P es p-subgrupo de Sylow}.

Respecto a la acción por conjugación de G sobre sus subgrupos, la Observación

3.54 implica que Sylp (G) es invariante (ver Ejercicio 3.9 para la denición de
invariante ), y el corolario anterior muestra que Sylp (G) está constituido por una
sola órbita; en otras palabras, la acción por conjugación de G sobre Sylp (G) es
transitiva.

Recordemos que el normalizador de un subgrupo H ≤ G es el subgrupo

N (H) := {g ∈ G : gHg −1 = H}.
Teorema 3.58 (Tercer Teorema de Sylow). Sea G un grupo nito de orden n
y p un número primo tal que p | n. Sea np := |Sylp (G)| el número total de
p-subgrupos de Sylow de G. Entonces,

np = [G : N (P )] y np = 1 mód (p),

donde P es cualquier p-subgrupo de Sylow de G.

Demostración. Consideremos la acción por conjugación de G sobre Sylp (G).

Por la Observación 3.57, esta acción es transitiva, así que por el Teorema Órbita-
Estabilizador
 
np := Sylp (G) = |Orb(P )| = [G : N (P )],
110 CAPÍTULO 3. TEMAS SELECTOS

donde P es cualquier p-subgrupo G.

de Sylow de
Para demostrar la segunda igualdad, jamos P ∈ Sylp (G) y consideramos la
−1
acción por conjugación de P sobre Sylp (G). Claramente aP a = P , para toda
a ∈ P , así que {P } es una órbita de cardinalidad 1.

Armación. En la acción por conjugación de P sobre Sylp (G), {P } es la única

órbita de cardinalidad 1 .

Demostración. Supongamos que {S} es otra órbita con un elemento. Luego,

aSa−1 = S para toda a ∈ P , lo que implica que P ≤ N (S). También es claro que
S ≤ N (S), lo que muestra que P y S son p-subgrupos de Sylow de N (S). Por el
−1
corolario del Segundo Teorema de Sylow, existe h ∈ N (S) tal que P = hSh .
−1
Pero hSh = S , por denición del normalizador de S , lo que demuestra que
P = S. 
Sean O1 = {P } , O2 , ..., Or las órbitas de la acción por conjugación de P
sobre Sylp (G). Entonces,

r
X
 
np := Sylp (G) = 1 + |Oi | ,
i=2

Para toda i = 2, . . . , r, sabemos que |Oi | =

6 1 y el Corolario 3.29 implica que
|Oi | | |P | = pm . Luego, p | |Oi | para toda i = 2, ..., r. Por lo tanto,
r
X
p| |Oi | = np − 1,
i=2

lo que implica que np = 1 mód (p). 

Corolario 3.59. El grupo G tiene un único p-subgrupo de Sylow P si y solo si

P E G.

Demostración. El subgrupo P es único si y solo si np = 1. Por el Tercer

Teorema de Sylow, np = [G : N (P )]. Luego, np = 1 = [G : N (P )] si y slo si
N (P ) = G, lo cual se cumple si y slo si P E G (ver Ejercicio 1.51). 

Observación 3.60. Sea np el número de p-subgrupos de Sylow de G y sea

P un p-subgrupo de Sylow de G. El Tercer Teorema de Sylow establece que
np = [G : N (P )], por lo que el Teorema de Lagrange implica que

np | |G|.

Además, como P ≤ N (P ), deducimos que

|G| |G|
≤ ⇒ np ≤ [G : P ].
|N (P )| |P |
3.2. TEORÍA DE SYLOW 111

Ejemplo 3.61. Sea G un grupo de orden 48 y sea P un 2-subgrupo de Sylow

4
de G. Entonces, |P | = 2 = 16. Sea n2 el número total de 2-subgrupos de
|G| 48
Sylow de G. Por la observación anterior, n2 ≤
|P | = 16 = 3 y n2 | 48. Luego,
n2 ∈ {1, 2, 3}. Además, por el Tercer Teorema de Sylow, n2 = 1 mód (2). Por
lo tanto, G puede tener un único 2-subgrupo de Sylow o exactamente tres 2-
subgrupos de Sylow.

3.2.3. Aplicaciones de la teoría de Sylow

Como una primera aplicación, usaremos la teoría de Sylow para demostrar
que grupos de ciertos órdenes no pueden ser simples.
Definición 3.62 (grupo simple). Un grupo G es simple si sus únicos subgrupos
normales son {e} y G mismo.

En otras palabras, un grupo es simple si y solo si no tiene subgrupos normales

propios no triviales.

Proposición 3.63. Ningún grupo de orden 15 es simple.

Demostración. Sea G un grupo de orden 15 y sea P un 5-subgrupo de Sylow

de G, así que |P | = 5. Sea n5 el número de 5-subgrupos de Sylow de G. Por el
Tercer Teorema de Sylow y la Observación 3.60,

n5 | |G| = 15, n5 ≤ [G : P ] = 3 y n5 = 1 mód (5).

Las primeras dos igualdades implican que n5 = 1 ó n5 = 3, pero como 3 6= 1

mód (5), concluimos que n5 = 1. Por el Corolario 3.59, P es normal en G, por
lo que G no es simple. 
Proposición 3.64. Ningún grupo de orden 30 es simple.

Demostración. Sea G un grupo de orden 30, y sean P3 y P5 unos 3- y 5-

subgrupos de Sylow de G, respectivamente. Luego, |P3 | = 3 y |P5 | = 5. Por la
Observación 3.60,

n3 , n5 | 30, n3 ≤ [G : P3 ] = 10, n5 ≤ [G : P5 ] = 6.

Así, n3 ∈ {1, 2, 3, 5, 6, 10} y n5 ∈ {1, 2, 3, 5, 6}. Por el Tercer Teorema de Sylow,

n3 = 1 mód (3) y n5 = 1 mód (5), así que

n3 ∈ {1, 10} y n5 ∈ {1, 6}.

Si n3 = 1 ó n5 = 1, el Corolario 3.59 establece que P3 o P5 son normales en G,

respectivamente, por lo que G no es simple. Supongamos que n3 6= 1 y n5 6= 1,
así quen3 = 10 y n5 = 6. Esto signica que G tiene 10 subgrupos de orden 3 y
6 subgrupos de orden 5. Todos esos subgrupos de G son cíclicos y la intersección
entre cualquier par distinto de ellos es trivial (por el Teorema de Lagrange). Por
lo tanto, G tiene 6 × (5 − 1) = 24 elementos de orden 5 y 10 × (3 − 1) = 20
112 CAPÍTULO 3. TEMAS SELECTOS

elementos de orden 3, lo cual es imposible, pues G tiene 30 elementos en total.


La teoría de Sylow nos permite describir completamente la estructura de
algunos grupos por el solo hecho de conocer su orden. Para lograr esto, primero
es importante poder reconocer cuándo un grupo es isomorfo a la suma directa
de dos de sus subgrupos.
Recordemos que si H, K ≤ G son subgrupos de un grupo G, su producto es
HK := {hk : h ∈ H, k ∈ K}, el cual no necesariamente es un subgrupo de G.
Sin embargo, si H o K son normales en G, entonces HK = KH y HK es un
subgrupo de G (ver Ejercicio 1.53).

Teorema 3.65 (suma directa interna). Sea G un grupo y H, K ≤ G subgrupos

que satisfacen lo siguiente:

1. H EG y K E G.
2. G = HK .
3. H ∩ K = {e}.
Entonces,
G∼
= H ⊕ K.

Demostración. Denimos una función β :G→H ⊕K como

β(hk) = (h, k) , ∀hk ∈ G.

Esta función está denida en todo G porque G = HK por el punto (2.) de la

hipótesis. Demostraremos que β es un isomorsmo.

1. Está bien denida. Supongamos que h1 k1 = h2 k2 , para algunos hi ∈ H ,

ki ∈ K . Por el punto (3.),

h−1 −1
2 h1 = k2 k1 ∈ H ∩ K = {e},

lo que implica que h−1 −1

2 h1 = e y k2 k1 = e.Luego, h1 = h2 y k1 = k2 . Por
lo tanto, β(h1 k1 ) = (h1 , k1 ) = (h2 , k2 ) = β(h2 k2 ).
2. Es un homomorsmo. Consideremos el conmutador [h, k] := hkh−1 k−1 de
cualquier par de elementos h ∈ H, k ∈ K. Como H y K son subgrupos
normales por el punto (1.):

[h, k] = (hkh−1 ) k −1 ∈ K,
| {z }
∈K

[h, k] = h (kh−1 k −1 ) ∈ H.
| {z }
∈H

Así, [h, k] ∈ K ∩ H = {e}, por el punto (3.). Despejando, obtenemos que

hk = kh, ∀h ∈ H, k ∈ K.
3.2. TEORÍA DE SYLOW 113

Con esto podemos demostrar que β es un homomorsmo:

β((h1 k1 )(h2 k2 )) = β(h1 h2 k1 k2 )

= (h1 h2 , k1 k2 )
= (h1 , k1 )(h2 , k2 )
= β(h1 k1 )β(h2 k2 ),
para toda hi ∈ H , ki ∈ K .
3. Es inyectiva. Supongamos que β(h1 k1 ) = β(h2 k2 ). Entonces (h1 , k1 ) =
(h2 , k2 ), por lo que h1 = h2 y k1 = k2 . Por lo tanto, h1 k1 = h2 k2 .
4. Es sobreyectiva. La preimagen de cualquier (h, k) ∈ H ⊕ K bajo β es
hk ∈ G.

Corolario 3.66 (suma directa interna). Sea G un grupo y H1 , H2 , . . . , Hm sub-
grupos de G que satisfacen lo siguiente:

1. Hi E G, para toda i = 1, . . . , m.
2. G = H1 H2 . . . Hm .
3. (H1 H2 . . . Hi ) ∩ Hi+1 = {e}, para toda i = 1, . . . , m − 1.
Entonces,
G∼
= H1 ⊕ H2 ⊕ · · · ⊕ Hm .
Demostración. Haremos la demostración por inducción sobre m.
1. Caso base. Si m = 2, el resultado queda establecido por el teorema ante-
rior.

2. Hipótesis de inducción. Supongamos que el resultado se cumple para m−1.

3. Paso de inducción. Aplicamos el teorema anterior con H := H1 H2 . . . Hm−1
yK := Hm . Es fácil vericar que H E G. Además, por hipótesis del
E G, G = HK y H ∩ K = {e}. Por hipótesis de inducción,
corolario,K
H∼
= H1 ⊕ · · · ⊕ Hm−1 . Por lo tanto,
G∼
=H ⊕K ∼
= H1 ⊕ H2 ⊕ · · · ⊕ Hm−1 ⊕ Hm .


Proposición 3.67. Si G es un grupo de orden 15, entonces G es cíclico.

Demostración. Por el Primer Teorema de Sylow, G tiene un 3-subgrupo de

Sylow H de orden 3 y un 5-subgrupo de Sylow K de orden 5. Luego, H ∼
= Z3 y
K∼= Z5 . Usaremos el Teorema 3.65 para probar que
G∼
=H ⊕K ∼
= Z3 ⊕ Z5 ∼
= Z15 ,
donde la última isomorfía se da porque mcd(3, 5) = 1. Vericamos que se cum-
plen las hipótesis del Teorema 3.65:
114 CAPÍTULO 3. TEMAS SELECTOS

1. Sea n3 el número de 3-subgrupos de Sylow de G y n5 el número de 5-

subgrupos de Sylow de G. Por la Observación 3.60,

|G| |G|
n3 = ≤ =5 y n3 | 15,
|NG (H)| |H|
|G| |G|
n5 = ≤ =3 y n5 | 15.
|NG (K)| |K|

Luego, n3 ∈ {1, 3, 5} y n5 ∈ {1, 3}. Además, por el Tercer Teorema de

Sylow debemos tener que

n3 = 1 mód (3) y n5 = 1 mód (5).

Entonces n3 = 1 y n5 = 1. Por el Corolario 3.59, H CG y K C G.

2. Como H ∩ K es un subgrupo de ambos H y K , su orden debe dividir
|H| = 3 y |K| = 5. Entonces, |H ∩ K| = 1 y H ∩ K = {e}.

3. Para demostrar que G = HK usamos la fórmula para |HK| dada por el

Ejercicio 1.42
|H| |K| 3·5
|HK| = = = 15.
|H ∩ K| 1
Por lo tanto, |G| = |HK| y G = HK (pues HK ⊆ G y G es nito).


La demostración puede generalizarse para demostrar que si G un grupo de
orden pq donde p y q son números primos, p<q y p no divide a q − 1, entonces
G debe ser cíclico (Ejercicio 3.25).

Palabras clave: ecuación de clase, p-grupo, Teorema de Cauchy, Teoremas

de Sylow, p-subgrupo de Sylow, grupo simple, producto directo interno.
3.2. TEORÍA DE SYLOW 115

3.2.4. Ejercicios
Ejercicio 3.17. Sea H un subgrupo normal de G. Muestra que si ambos H y
G/H son p-grupos, entonces G es un p-grupo.

Ejercicio 3.18. Encuentra todos los 3-subgrupos de Sylow de Z18 y todos los
3-subgrupos de Sylow de S4 .

Ejercicio 3.19. Sea G un grupo abeliano nito. Muestra que G tiene un único
p-subgrupo de Sylow para cada divisor primo p de |G|.

Ejercicio 3.20. Sea G un grupo de orden 1925. Si G tiene más de un 5-subgrupo

de Sylow, entonces ¾exactamente cuántos 5-subgrupos de Sylow tiene?

Ejercicio 3.21. Supongamos que G es un grupo de orden pk m, donde p es un

primo y p > m. Demuestra que cualquier p-subgrupo de Sylow de G debe ser
normal en G.

Ejercicio 3.22. Sea G un grupo nito. Para cada divisor primo pi de |G|, sea
P
Si un pi -subgrupo de Sylow de G. Demuestra que G es generado por la unión
i Pi ; en otras palabras, * +
[
G= Pi .
i

Ejercicio 3.23. Demuestra que si un grupo nito G tiene un único p-subgrupo

de Sylow para cada divisor primo p de |G|, entonces G es el producto directo
de sus subgrupos de Sylow.

Ejercicio 3.24. Sea K un p-subgrupo de Sylow de G. Demuestra que si g ∈

NG (K) y el orden de g es una potencia de p, entonces g ∈ K.

Ejercicio 3.25 (2 pts). Sea G un grupo de orden pq donde p y q son núme-

ros primos, p < q y p no divide a q − 1. Demuestra que G debe ser cíclico.
Sugerencia: Usa el Teorema de la Suma Directa Interna.)
(

Ejercicio 3.26 (1 pt). Sea G un grupo que actúa en un conjunto X. Generaliza

la ecuación de clase para la acción de G en X, y úsala para demostrar que si G
es un p-grupo, entonces

|X| = |Fix(G)| mód (p).

116 CAPÍTULO 3. TEMAS SELECTOS

Ejercicio 3.27 (1 pt). Exhibit all Sylow 3-subgroups of A4 and all Sylow 3-
subgroups of S4 .

Ejercicio 3.28 (2 pts). Sea G un grupo de orden 36 no abeliano. Demuestra

que G tiene más de un 2-subgrupo de Sylow o más de un 3-subgrupo de Sylow.

Ejercicio 3.29 (1 pt). Let G be a nite group. For each prime divisor pi of |G|,
let Pi be a Sylow pi -subgroup of G. Prove that G is generated by the union
S
i Pi ; in other words, * +
[
G= Pi .
i

Ejercicio 3.30 (1 pt). Show that if a nite group G has a unique Sylow p-
subgroup for each prime divisor p of |G|, then G is the direct product of its
Sylow subgroups.

Ejercicio 3.31 (2 pts). Let G be a group of order 2907. Show that G is not
simple.

Ejercicio 3.32 (*). Let H be a subgroup of G and P a Sylow subgroup of G.

Show that if NG (P ) ≤ H , then H = NG (H).

Ejercicio 3.33 (*). Sea K un p-subgrupo de Sylow de G. Demuestra que si g∈

N (K) y el orden de g es una potencia de p, entonces g ∈ K .

Ejercicio 3.34. Show that every non-abelian group of order 10 is isomorphic to

D10 . (Hint: Use Sylow Theory and the fact that D10 = ha, b : a2 = b5 = e, aba =
b−1 i).
3.3. DEMOSTRACIÓN DEL TEOREMA FUNDAMENTAL DE GRUPOS ABELIANOS FINITOS117

3.3. Demostración del Teorema Fundamental de

Grupos Abelianos Finitos
Lema 3.68. Sea G un grupo abeliano nito de orden pn m, donde p es primo
y p no divide a m. Entonces G ∼
n
= H ⊕ K donde H = {x ∈ G|xp = e} y
K = {x ∈ G|xm = e}, ademas |H| = pn
Demostración. Vericar realmente que H≤G y K ≤ G.

Ahora asumimos el theorem de la suma directa, asi que necesitamos vericar

lo siguiente
• G = HK .

• H EG y K EG ( Esto se cumple automaticamente por ser G abeliano)

• H ∩ G = {e}.

• G = HK .

Notece que gcd (m, pn ) = 1

⇒ ∃s1 , s2 ∈ Z tal que 1 = s1 m + s2 pn
n n
⇒ ∀g ∈ G, g = g 1 = g s1 m+s2 p = g s1 m g s2 p
|G| pn
⇒ (g s1 ) =e y (g s2 ) =e
• H ∩ G = {e}.
n
Tomemos g ∈ H ∩G ⇒ g p = e y g m = e ⇒ |g||pn y |g||m ⇒ |g| = 1 ⇒ g = e

Que podemos hacer con el lema 1?. Sea G un grupo abeliano de orden
n = pk11 · · · pkr r donde pki i son diferentes.

Aplicando el lema 1 con p = p1 y m = pk22 · · · pkr r , llamemos H = G (p1 ) =

k
p1 1
{x ∈ G|x = e}.
⇒G∼
= G (p1 ) ⊕ K
Aplicando sucesivamente el lema 1 se obtiene que

G∼
= G (p1 ) ⊕ G (p2 ) ⊕ · · · ⊕ G (pr )
Hemos descompuesto G como una suma directa de grupo abelianos con orden
potencias primas, el siguiente lema es sobre grupos abelianos con orden de alguna
potencia prima.

Lema 3.69. Sea G un grupo abeliano nito con orden de alguna potencia prima
y sea g ∈ G un elemento de orden maximal. Entonces:

G∼
= hgi ⊕ S para algún SG
118 CAPÍTULO 3. TEMAS SELECTOS

Lema 3.70. Cualquier grupo abeliano de orden primo es una suma directa de
grupos ciclicos como:

G∼
= G (p1 ) ⊕ G (p2 ) ⊕ · · · ⊕ G (pr ) ∼
= hgp1 i ⊕ hgp21 i ⊕ · · · ⊕ hgpk1 i
⊕hgp2 i ⊕ · · · ⊕ hgpr i ⊕ hgp2r i ⊕ · · · ⊕ hgpkr i

Cualquier grupo abeliano nito es una suma directa de grupos ciclicos.

Lema 3.71. Supongamos que G es un grupo abeliano nito de orden potencia

prima.

Si G∼
= H1 ⊕ H2 ⊕ · · · ⊕ Hm y G∼
= K1 ⊕ K2 ⊕ · · · ⊕ Kn .

Donde los Hi , Ki son sungrupos ciclicos no triviales de G. Entonces n=m

3.4. PRODUCTO SEMIDIRECTO 119

3.4. Producto semidirecto

Definición 3.72 (Producto Semidirecto). Sean A y B dos grupos y sea B que
acta sobre A por automorsmos (hay un homomorsmo φ : B → Aut (A)). El
producto semidirecto de A y B con la accin φ, denotada por A oφ B , es el
conjunto
{(a, b) : a ∈ A, b ∈ B}
con multiplicacin

(a1 , b1 ) · (a2 , b2 ) = (a1 ϕb1 (a2 ) , b1 b2 )

Proposición 3.73. G = A oφ B es un grupo.

Demostraci
 −1  El elemento identidad en G es (eA , eB ). El inverso de (a, b) ∈
ón.
b −1 −1
G is a ,b porque

     
b−1 −1 b−1 −1
(a, b) · a , b−1 = a b
a , bb−1
= (eA , eB )
Eso an requiere checar la asociatividad. Sea (ai , bi ) ∈ G, i = 1, 2, 3. Entonces
((a1 , b1 ) · (a2 , b2 )) · (a3 , b3 ) = a1 b1 a2 , b1 b2 · (a3 , b3 )

= a1 b1 a2 b1 b2 a3 , (b1 b2 ) b3

= a1 b1 a2 b2 a3 , b1 (b2 b3 )

= (a1 , b1 ) · a2 b2 a3 , b2 b3

= (a1 , b1 ) · ((a2 , b2 ) · (a3 , b3 ))


Ejemplo 3.74. Si la accin de B sobre A es trivial, entonces A oφ B = A × B .
Proposición 3.75. Si G = A oφ B y

A0 = {(a, eB ) : a ∈ A}
B0 = {(eA , b) : b ∈ B}
Entonces B ∼
= B0 ≤ G, A ∼ = A0 C G, A0 ∩ B0 = {(eA , eB )}, G = A0 B0 y la
accin conjugacin de B0 on A0 coincide con la accin de ϕ de B sobre A.

Demostración. Es claro que B ∼ = B0 ≤ G, A ∼ = A0 , A0 ∩ B0 = {(eA , eB )} y

G = A0 B0 . Consideremos el homomorsmo de segunda proyeccin π2 : G → B ,
π2 (a, b) = b. Entones ker π2 = A0 as A0 C G. Para la ltima parte obsevemos que
para cualquier a0 = (a, eB ) ∈ A0 , b0 = (eA , b) ∈ B0

−1
b0 a0 b−1
0 = (eA , b) (a, eB ) (eA , b)
= (φb (a) , b) eA , b−1

= (φb (a) , eB )
120 CAPÍTULO 3. TEMAS SELECTOS

Observemos que la conjugacin es en efect una accin bien denida de B0 sobre

b0
A0 por automormos ya que a0 → a0 ∈ A0 since A0 C G. 
Proposición 3.76. Proposicin del Producto Semidirecto Sea G un grupo,
B ≤ G, A C G. Asumamos que AB = G y A ∩ B = {e}. Entonces G ∼
= A oϕ B
donde ϕ es la accin de conjugacin de B sobre A.

Demostración. Primero que todo, notemos que la conjugacin de B sobre

A est bien denida puesto que A C G. Denamos f : A oφ B → G como
f (a, b) = ab ∈ G. Entonces, f es claramente sobreyectiva puesto que G = AB .
Adems

b1


f ((a1 , b1 ) (a2 , b2 )) = f a1 a2 , b1 b2
a1 b1 a2 b−1


= 1 (b1 b2 )
= a1 b1 a2 b2
= f (a1 , b1 ) f (a2 , b2 )
So f es un homomorsmo. Para probar inyectividad, supongamos (a, b) ∈ ker f .
Entonces ab = e so a = b−1 ∈ A ∩ B = {e} and (a, b) = (e, e). Por lo tanto, f es
un isomorsmo. 
Ejemplo 3.77. Consideremos D2n . Consideremos las subgrupos ∼
A = hρi = Cn ,
y B = hσi ∼
= C2 . Claramente A C B , A ∩ B = {e} y D2n = AB . Entonces
D2n ∼
= A oφ B ∼
= Cn oφ C2
B sobre A es ρ = σρk σ = ρ−k para
σ k


donde la accin de cualquier k ∈ Z.
Ejemplo 3.78. Consideremos S4 . Sea V = {e, (12) (34) , (13) (24) , (14) (23)} y
sea B = stab (4) ∼
= S3 . Claramente, V CG porque es la unin de clases conjugadas
en S4 . Adems V ∩ B = {e} y S4 = V B ya que |V B| = 24. Entonces por la
Proposicin del Producto Semidirecto

S4 ∼
= V oφ B ∼
= V oφ S3
donde S3 acta sobre V por conjugacin. Notemos que esta accin puede ser vista
como la accin usual de S3 sobre {x = (12) (34) , y = (13) (24) , z = (14) (23)}.
Teorema 3.79. Sea p un primo y G = Cp × ... × Cp , donde hay k copias de Cp .
k
Entonces G = (V, +), donde V = Fp es un espacio vectorial y

Aut (G) = Aut (V, +) = GL (V )

Demostración. G = (V, +) porque Cp = (Fp , +), el grupo
Es claro que
aditivo del campo ito de p elementos. Tambin GL (V ) ≤ Aut (G) porque para
cualquier f ∈ GL (V ) , f (v + w) = f (v) + f (w) para todo v, w ∈ V . Ahora sea
h ∈ Aut (G). Es claro que h (v + w) = h (v) + h (w) para cualquier v, w ∈ V .
Sea λ ∈ Fp . Entonces λ = nmodp con n ∈ Z, as que

λv = v + v + ... + v (n veces)

Por lo tanto, h (λv) = h (nv) = nh (v) = λh (v). Debido a que h es tambin

invertible, h ∈ GL (V ). 
3.4. PRODUCTO SEMIDIRECTO 121

Corolario 3.80. Aut (Cp ) ∼

= Fp∗ .
Demostración. Tomemos k = 1 en el ltimo Teorema. Observemos que
GL (Fp ) ∼
= Fp∗ . 
Ejemplo 3.81. Aut (C5 ) ∼
= F5∗ = {1, 2, 3, 4}.
Proposición 3.82. Si G es un grupo de orden 14, entonces G ∼
= Z14 ó G∼
= D14 .
Demostración. Por el Primer Teorema de Sylow, G tiene un 7-subgrupo de
Sylow C de orden 7 y un 2-subgrupo de Sylow A de orden 2. Ambos son cíclicos,
así que = hgi de orden 7 y un subgrupo A = hai de orden 2. Como |G : C| = 2
a a
entonces C C G. Consideremos g ∈ G. Por normalidad debemos tener g ∈ C ,
a k
so g = g para algn k ∈ Z. Puesto que |a| = 2,
2
g = a g = a (a g) = a g k

k 2
= (a g) = g k
Por lo tanto, k2 = 1
7, as tambin k = 1mod7 or k = −1mod7.
mod
Supongamos que k = 1 mod 7. Entonces a g = g , esto es ag = ga. Notemos
tambin que AC = G, A ∩ C = {e}, as por la Proposicin del Producto Directo,
G∼ =A×C ∼ = C2 × C7 ∼
= C14 .
a −1
Supongamos que k = −1mod7. Entonces g = g . As G = hg, ai con
g = a = e y aga = g . Por lo tanto, G ∼
7 2 −1
= D14 . 
Proposición 3.83. Hay 5 grupos de orden 20.
Demostración. Sea G un grupo de orden 20. Si G es abeliano entonces
G∼= C20 o G ∼ = C2 × C2 × C5 . Supongamos ahora que G es no-abeliano. Por
Sylow 1, G tiene un subgrupo A = hai de orden 5. El nmero total de 5-subgrupos
de Sylow es
|G : NG (A)| = n | 20
Como A ≤ NG (A) tenemos que n ≤ |G : A| = 4. Adems, por Sylow 3, n =
1mod5. Por lo tanto, n = 1, esto es A C G. Similarmente,G tiene un subgrupo
B de orden 4. Observemos que A ∩ B = {e} porque hcf (|A| , |B|) = 1, y
|A||B|
G = AB porque |AB| = |A∩B| = 20. Entonces por la Proposicin del Producto
Semidirecto, G = A oϕ B . Eso requiere determinar todas las acciones posibles
de B sobre A. Por el Corolario previo, Aut (A) ∼
= C4 con generador f ∈ Aut (A),


f ak = a2k (notemos que f 4 = id).
i) B ∼
= C2 × C2 y ϕ : C2 × C2 → C4 ∼ = Aut (A). Sabemos que ϕ no es trivial,
2
porque de otra manera G = A × B es abeliano. Como B = {e} , entonces
∼

2
Imϕ tiene exponente dos. As Imϕ = f = C2 . Elijamos b1 , b2 ∈ B tal
2
/ hb1 i so B ∼
que ϕ (b2 ) = f y b1 ∈ ker ϕ. Ahora, b2 ∈ = hb1 i × hb2 i. La accin
de ϕ es la siguiente para cualquier a ∈ A

b1
a = a; b2
a = f 2 (a) = a−1
Por lo tanto, G∼= D20 ∼ = C10 oϕ0 C2 donde C10 ∼
= ha, b1 i con generador
−1
ab1 y
b2
(ab1 ) = a−1 b1 = (ab1 ) .
122 CAPÍTULO 3. TEMAS SELECTOS

ii) B = hbi ∼
= C4 y ϕ : C4 → C4 . Otra vez ϕ no es trivial.

i) Supongamos que Imϕ = C4 = hf i. Sin prdida de generalidad, supon-

gamos que ϕ (b)
 = f . Entonces ϕ est determinada nicamente como

b ∼ 1 x
a = a2 y G = : x, y ∈ GF (5) , y 6= 0 .
0 y
−1

2 b
ii) Supongamos que Imϕ = C2 = f . Entonces a = a . Este caso
determina un grupo diferente.

Por lo tanto, hay precisamente 3 grupos no-abelianos de orden 20. 

3.4.1. Producto semidirecto

Definición 3.84 (Producto Semidirecto). Sean A y B dos grupos y sea B que
acta sobre A por automorsmos (hay un homomorsmo φ : B → Aut (A)). El
producto semidirecto de A y B con la accin φ, denotada por A oφ B , es el
conjunto
{(a, b) : a ∈ A, b ∈ B}
con multiplicacin

(a1 , b1 ) · (a2 , b2 ) = (a1 ϕb1 (a2 ) , b1 b2 )

Proposición 3.85. G = A oφ B es un grupo.

Demostraci
 −1  El elemento identidad en G es (eA , eB ). El inverso de (a, b) ∈
ón.
b −1 −1
G is a ,b porque

 −1    −1  
(a, b) · b a−1 , b−1 = a b b a−1 , bb−1
= (eA , eB )
Eso an requiere checar la asociatividad. Sea (ai , bi ) ∈ G, i = 1, 2, 3. Entonces
((a1 , b1 ) · (a2 , b2 )) · (a3 , b3 ) = a1 b1 a2 , b1 b2 · (a3 , b3 )

= a1 b1 a2 b1 b2 a3 , (b1 b2 ) b3

= a1 b1 a2 b2 a3 , b1 (b2 b3 )

= (a1 , b1 ) · a2 b2 a3 , b2 b3

= (a1 , b1 ) · ((a2 , b2 ) · (a3 , b3 ))


Ejemplo 3.86. Si la accin de B sobre A es trivial, entonces A oφ B = A × B .
Proposición 3.87. Si G = A oφ B y

A0 = {(a, eB ) : a ∈ A}
B0 = {(eA , b) : b ∈ B}
Entonces B ∼
= B0 ≤ G, A ∼
= A0 C G, A0 ∩ B0 = {(eA , eB )}, G = A0 B0 y la
accin conjugacin de B0 on A0 coincide con la accin de ϕ de B sobre A.
3.4. PRODUCTO SEMIDIRECTO 123

Demostración. Es claro que B ∼ = B0 ≤ G, A ∼ = A0 , A0 ∩ B0 = {(eA , eB )} y

G = A0 B0 . Consideremos el homomorsmo de segunda proyeccin π2 : G → B ,
π2 (a, b) = b. Entones ker π2 = A0 as A0 C G. Para la ltima parte obsevemos que
para cualquier a0 = (a, eB ) ∈ A0 , b0 = (eA , b) ∈ B0

−1
b0 a0 b−1
0 = (eA , b) (a, eB ) (eA , b)
= (φb (a) , b) eA , b−1

= (φb (a) , eB )

Observemos que la conjugacin es en efect una accin bien denida de B0 sobre

b0
A0 por automormos ya que a0 → a0 ∈ A0 since A0 C G. 

Proposición 3.88. Proposicin del Producto Semidirecto Sea G un grupo,

B ≤ G, A C G. Asumamos que AB = G y A ∩ B = {e}. Entonces G ∼
= A oϕ B
donde ϕ es la accin de conjugacin de B sobre A.

Demostración. Primero que todo, notemos que la conjugacin de B sobre

A est bien denida puesto que A C G. Denamos f : A oφ B → G como
f (a, b) = ab ∈ G. Entonces, f es claramente sobreyectiva puesto que G = AB .
Adems

b1


f ((a1 , b1 ) (a2 , b2 )) = f a1 a2 , b1 b2
a1 b1 a2 b−1


= 1 (b1 b2 )
= a1 b1 a2 b2
= f (a1 , b1 ) f (a2 , b2 )

So f es un homomorsmo. Para probar inyectividad, supongamos (a, b) ∈ ker f .

Entonces ab = e so a = b−1 ∈ A ∩ B = {e} and (a, b) = (e, e). Por lo tanto, f es
un isomorsmo. 

Ejemplo 3.89. Consideremos D2n . Consideremos las subgrupos A = hρi ∼

= Cn ,
y B = hσi ∼
= C2 . Claramente A C B , A ∩ B = {e} y D2n = AB . Entonces

D2n ∼
= A oφ B ∼
= Cn oφ C2

B sobre A es σ ρk = σρk σ = ρ−k para

donde la accin de cualquier k ∈ Z.

Ejemplo 3.90. Consideremos S4 . Sea V = {e, (12) (34) , (13) (24) , (14) (23)} y
sea B = stab (4) ∼
= S3 . Claramente, V CG porque es la unin de clases conjugadas
en S4 . Adems V ∩ B = {e} y S4 = V B ya que |V B| = 24. Entonces por la
Proposicin del Producto Semidirecto

S4 ∼
= V oφ B ∼
= V oφ S3

donde S3 acta sobre V por conjugacin. Notemos que esta accin puede ser vista
como la accin usual de S3 sobre {x = (12) (34) , y = (13) (24) , z = (14) (23)}.
124 CAPÍTULO 3. TEMAS SELECTOS

Teorema 3.91. Sea p un primo y G = Cp × ... × Cp , donde hay k copias de Cp .

k
Entonces G = (V, +), donde V = Fp es un espacio vectorial y

Aut (G) = Aut (V, +) = GL (V )

Demostración. Es claro queG = (V, +) porque Cp = (Fp , +), el grupo

aditivo del campo ito de p elementos. Tambin GL (V ) ≤ Aut (G) porque para
cualquier f ∈ GL (V ) , f (v + w) = f (v) + f (w) para todo v, w ∈ V . Ahora sea
h ∈ Aut (G). Es claro que h (v + w) = h (v) + h (w) para cualquier v, w ∈ V .
Sea λ ∈ Fp . Entonces λ = nmodp con n ∈ Z, as que

λv = v + v + ... + v (n veces)

Por lo tanto, h (λv) = h (nv) = nh (v) = λh (v). Debido a que h es tambin

invertible, h ∈ GL (V ). 
Corolario 3.92. Aut (Cp ) ∼
= Fp∗ .

Demostración. Tomemos k = 1 en el ltimo Teorema. Observemos que

GL (Fp ) ∼
= Fp∗ . 
Ejemplo 3.93. Aut (C5 ) ∼
= F5∗ = {1, 2, 3, 4}.
 A
Apéndice

A.1. Teoría de números elemental

Sea Z = {. . . , −2, −1, 0, , 1, 2, . . . } el conjunto de los números enteros y sea
N = {0, 1, 2, . . . } el conjunto de los números naturales.

Definición A.1 (Divisor). Sean a, b ∈ Z, con a 6= 0. Decimos que a es divisor

(o factor) de b si existe t ∈ Z tal que b = at. Escribimos a | b si a es divisor de
b, y a - b si a no es divisor de b.

Si a | b, también decimos que b es múltiplo de a, o que b es divisible entre a.

La denición de divisor involucra a la multiplicación y no a la división, como
su podría sugerir. La razón de esto es que la división no es una operación bien
denida en Z; es decir, la división de dos números enteros no siempre es un
entero. De cualquier forma, en ocasiones podría resultar cómodo pensar que a
es divisor de b, si división a/b pertenece a Z. Por ejemplo, 5 es divisor de 10
porque 10 = 5 · 2, o, equivalentemente, porque 10/5 = 2 es un entero.

Ejemplo A.2. Consideremos los siguientes ejemplos.

1. 1 | n para toda n ∈ Z, porque n = 1 · n.

2. n|0 para toda n ∈ Z, porque 0 = 0 · n.

3. Si 2n ∈ 2Z es un número par, claramente 2 | 2n.

Definición A.3 (Número Primo). Sea p ∈ Z, p > 1. Decimos que p es un nú-

mero primo si sus únicos divisores positivos son 1 y él mismo.

Definición A.4 (Compuesto). Si t ∈ Z, t > 1, no es un número primo, decimos

que t es un número compuesto.

Las siguientes son algunas propiedades básicas de la divisibilidad.

Lema A.5 (Divisibilidad). Sean a, b, c ∈ Z.

1. Si a|b y b | c, entonces a|c

125
126 APÉNDICE A. APÉNDICE

2. Si c|a y c|b entonces c | (au + bv) para todo u, v ∈ Z

3. a|b y b|a si y sólo si a = ±b

Demostración. Ejercicio ?? 
El siguiente es un resultado importante, cuya demostración se estudia nor-
malmente en un curso de teoría de números elemental.

Teorema A.6 (Algoritmo de la División). Sean a, b ∈ Z, b > 0. Entonces exis-

ten únicos enteros q y r tales que

a = bq + r

donde 0 ≤ r < b.

En el algoritmo de la división, el entero q es llamado el cociente de a entre

b, mientras que r es llamado el residuo.
Ejemplo A.7. Consideremos los siguientes ejemplos.

1. Si a = −5 y b = 2, entonces a = −3b + 1.

2. Si a=0 y b = 250, entonces a = 0b + 0.

3. Si a = 23 y b = 5, entonces a = 4b + 3.

Definición A.8 (Máximo Común Divisor). Sean a, b ∈ Z, a 6= 0, b 6= 0. Deci-

mos que d ∈ Z, d > 1, es el máximo común divisor de a y b, si se cumplen las
siguientes propiedades:

1. Es divisor común: d|a y d | b.

2. Si c es un entero tal que c|a y c | b, entonces c | d.

Denotamos al máximo común divisor de a y b como mcd (a, b).

Definición A.9 (Primos Relativos). Decimos que a, b ∈ Z son primos relativos

si mcd (a, b) = 1.

Una forma de obtener el máximo común divisor de dos números es escribir

todos los divisores de ambos números, y observar cuál es el mayor de los divisores
comunes. Por ejemplo, para encontrar mcd (12, 18) vemos que

Divisores de 12 : 1, 2, 3, 4, 6, 12.
Divisores de 18 : 1, 2, 3, 6, 9, 18.

El máximo de los divisores comunes es 6, así que mcd (12, 18) = 6. Sin embar-
go, este procedimiento puede ser muy lento si se usan números más grandes.
Un método más eciente es el llamado Algoritmo de Euclides, pero antes de
presentarlo, demostraremos algunos teoremas.
A.1. TEORÍA DE NÚMEROS ELEMENTAL 127

Teorema A.10 (Bézout). Para toda a, b ∈ Z, a 6= 0, b 6= 0, existen s1 , s2 ∈ Z

tales que

mcd (a, b) = as1 + bs2 .

Demostración. Consideremos el conjunto

S = {ax1 + bx2 ∈ N − {0} : x1, x2 ∈ Z}.

Como S ⊆ N y N es un conjunto bien ordenado, sabemos que S tiene un mínimo

absoluto. Sea d = as1 +bs2 el mínimo absoluto de S. Demostraremos que d =
mcd(a, b).

1. Por el algoritmo de la división, existen q, r ∈ Z tales que a = qd + r donde

0 ≤ r < d. Si r 6= 0, entonces

r = a − qd = a − q(as1 + bs2) = (1 − qs1)a + (−qs2 )b ∈ S.

Como r < d, esto contradice que d sea el mínimo absoluto de S. Por lo

tanto, r = 0 y d | a. De manera similar, demostramos que d | b.

2. Si c es un entero tal que c | a y c | b, entonces c | (as1 + bs2) = d por el

lema 4.18, 2).


El Teorema de Bézout también se demuestra normalmente en un curso de
teoría de números elemental.

Corolario A.11. Sean a, b ∈ Z, a 6= 0, b 6= 0. Entonces mcd(a, b) = 1 si y sólo si

existen s1 , s2 ∈ Z tales que as1 + bs2 = 1.

Demostración.

(⇒) Si mcd(a, b) = 1, entonces as1 + bs2 = 1 para algunos s1 , s2 ∈ Z por el

Teorema de Bézout.

(⇐) Supongamos que 1 = as1 + bs2 para algunos s1 , s2 ∈ Z. Sea d = mcd(a, b).
Como d|a y d | b, el Lema A.5 (2.) implica que

d | (as1 + bs2 ) =⇒ d | 1.

Claramente, 1 | d por el Ejemplo A.2 (1.), así que el Lema A.5 (3.) implica
que d = ±1. Por denición, el máximo común divisor es positivo, así que
d = 1.

Lema A.12. Si a = qb + r, entonces mcd (a, b) = mcd (b, r).

128 APÉNDICE A. APÉNDICE

Demostración. Sean c = mcd (a, b) y d = mcd (b, r). El Lema A.5 (2.) implica
que
d | (qb + r) = a y c | (a − qb) = r.
Por denición de máximo común divisor, tenemos que

d|a y d | b =⇒ d | mcd(a, b) = c,
c|b y c | r =⇒ c | mcd(b, r) = d.

Por el Lema A.5 (3.), obtenemos que d = ±c, lo que implica que d = c, ya que
el máximo común divisor siempre es positivo. 

Un método computacionalmente más eciente para obtener el máximo co-

mún divisor entre dos números es el famoso algoritmo de Euclides.
Además del algoritmo, el siguiente lema lleva el nombre de Euclides.

Lema A.13 (Euclides). Sean a, b ∈ Z. Si p es un primo tal que p | ab entonces

p | a o p | b.

Demostración. Supongamos que p - a. Demostraremos que p | b. Como p - a,

tenemos que mcd (p, a) = 1, y por el Teorema de Bézout, existen s1 , s2 ∈ Z
tales que
1 = ps1 + as2 .
Multiplicando por b, obtenemos que

b = ps1 b + abs2 .

Como p | abs2 y p | ps1 b, tenemos que p|b por el Lema A.5 (2.). 
Es un error pensar que el Lema de Euclides se cumple si p no es un número
primo. Por ejemplo, 6|3·4 pero 6-3 y 6 - 4.
Por n, el siguiente teorema revela la gran importancia de los números pri-
mos.

Teorema A.14 (Teorema Fundamental de la Aritmética). Cualquier entero ma-

yor que 1 es un número primo o un producto de números primos. Además, este
producto es único excepto por el orden de los factores.

Ejemplo A.15. La factorización de 30 en números primos es

30 = 2 · 3 · 5.

Esta factorización es única excepto por el orden de los factores.

A.1.1. Ejercicios
A.2. Relaciones de equivalencia
Sean A y B conjuntos. Recordemos que una relación R de A en B es un
subconjunto del producto cartesiano A × B. Escribimos aRb si (a, b) ∈ R.
A.2. RELACIONES DE EQUIVALENCIA 129

Ejemplo A.16. Sea f :A→B cualquier función entre los conjuntos A y B. La

siguiente relación se llama la gráca de la función :
R := {(a, b) ∈ A × B|f (a) = b}.
Ejemplo A.17. Sea f :A→C y g:B→C dos funciones. La siguiente relación
se llama el producto brado de f y g:

R := {(a, b) ∈ A × B|f (a) = g(b)}.

Una relación sobre A es simplemente una relación de A en A.
Definición A.18 (relación de equivalencia). Una relación R sobre un conjun-
to A es una relación de equivalencia si se cumplen las siguientes propiedades:

(E1) R es reexiva : aRa para toda a ∈ A.

(E2) R es simétrica : aRb implica bRa.
(E3) R es transitiva : aRb y bRc implican aRc.
Ejemplo A.19. Sea Z el conjunto de los números enteros y sea n ≥ 1 un número
entero. La relación

Rn = {(a, b) ∈ Z × Z : n | (a − b)}
es una relación de equivalencia llamada la congruencia módulo n. Si (a, b) ∈ Rn
escribimos
a ≡ b mód (n).
Es necesario demostrar que las propiedades (E1), (E2) y (E3) se cumplen:
(E1) Para cualquier a ∈ Z, n | (a − a) = 0, así que a ≡ a mód (n).
(E2) Si n | (a − b), entonces n | (b − a). Por lo tanto, a ≡ b mód (n) implica
b ≡ a mód (n).
(E3) Sean a, b, c ∈ Z tales que a ≡ b mód m y b ≡ c mód m. Entonces se
cumple que a − b = k1 m y b − c = k2 m para algunos k1 , k2 ∈ Z. Sumando
las ecuaciones anteriores obtenemos que a−c = (k1 + k2 ) m, lo que implica
que a ≡ c mód m.

Observación A.20. Veamos que a ≡ b mód (n) si y sólo si a = b + kn para

algún k ∈ Z. En particular, a ≡ 0 mód (n) si y sólo si a es un múltiplo de n.
Definición A.21 (clase de equivalencia). Sea R una relación de equivalencia
sobre A. La clase de equivalencia de un elemento a ∈ A, denotada como [a], es
el subconjunto de A denido como

[a] = {x ∈ A : xRa}.
Al conjunto de todas las clases de equivalencia de los elementos de A se le llama
el conjunto cociente de A por R, y se denota como A/R. En símbolos,

A/R = {[a] : a ∈ A}.

130 APÉNDICE A. APÉNDICE

Ejemplo A.22. Sea Rn la relación de congruencia módulo n. Para cualquier

a ∈ Z, la clase de equivalencia módulo n de a es
[a] = {x ∈ Z : x ≡ a mód (n)}.
El conjunto cociente Z/Rn , denotado en este caso simplemente como Zn , es

Zn := Z/Rn = {[a] : a ∈ Z} = {[0], [1], [2], . . . , [n − 1]}.

Es posible demostrar esta última igualdad usando el algoritmo de la división.

Lema A.23 (propiedades básicas de las clases de equivalencia). Sea R una

relación de equivalencia sobre A.

(1) a ∈ [a] para toda a ∈ A.

(2) [a] = [b] si y sólo si aRb.
(3) [a] 6= [b], entonces [a] ∩ [b] = ∅.
Si

(4)
S
A= [a].
a∈A

Demostración. Ejercicio ??. 

Ejemplo A.24. Hay dos clases de equivalencia en la relación módulo 2 sobre
Z. Una de estas clases contiene a los números divisibles entre 2 (los pares)
y la otra contiene a los números que no son divisibles entre 2 (los impares).
Explícitamente,

[0] = {0, ±2, ±4, . . .} = {2n : n ∈ Z},

[1] = {±1, ±3, ±5, . . .} = {2n + 1 : n ∈ Z}.
Por lo tanto, el conjunto cociente es

Z2 = {[0] , [1]} .
Ejemplo A.25. En este ejemplo, encontraremos Z3 . Si a ∈ Z, el algoritmo de la
división implica que existen enteros q y r tales que

a = 3q + r,
donde 0 ≤ r < 3. Por lo tanto, 3|a−r y

a≡r mód 3, donde 0 ≤ r < 3.

Esto signica que cualquier número entero siempre es congruente módulo 3 con
0, 1 o 2. Por lo tanto, Z3 contiene exactamente tres clases de equivalencia:

Z3 = {[0] , [1] , [2]},

donde

[0] = {. . . , −6, −3, 0, 3, 6, . . .} ,

[1] = {. . . , −5, −2, 1, 4, 7, . . .} ,
[2] = {. . . , −4, −1, 2, 5, 8, . . .} .
A.2. RELACIONES DE EQUIVALENCIA 131

Observación A.26. En general, dado cualquier número a ∈ Z es posible encon-

trar, usando el algoritmo de la división, un entero r, 0 ≤ r < m tal que a ≡ r
mód m. Esto signica que las clases de equivalencia módulo m siempre tienen
representantes 0, 1, 2, ..., m − 1.

Ejemplo A.27. Consideremos la clase de equivalencia de 243 en la relación mó-

dulo 11. Para empezar, podemos sumar y restar múltiplos de 11 para obtener
otros números en la misma clase:

[243] = [254] = [265] = [232].

Esto es válido ya que 11k ≡ 0 mód 11 para cualquier k ∈ Z, así que

243 ≡ 243 + 11 ≡ 243 + 22 ≡ 243 − 11 mód 11.

Para encontrar un representante menor que 11, usamos el algoritmo de la divi-

sión:
243 = 11 · 22 + 1.
Por lo tanto, 1 ≡ 243 mód 11, y [243] = [1].

A.2.1. Ejercicios
132 APÉNDICE A. APÉNDICE
 Bibliografı́a

[1] Castillo Pérez, A., Castillo Ramírez, A., De la Cruz García, E. L., Hernández
Magdaleno, A. M., Conjuntos y Números, Editorial Universitaria, Centro
Universitario de Ciencias Exactas e Ingenierías, Universidad de Guadalajara,
2014.

[2] Hernández Magdaleno, A. M., Castillo Ramírez, A., Álgebra Moderna: Ani-
llos y Campos, Editorial Universitaria, Centro Universitario de Ciencias
Exactas e Ingenierías, Universidad de Guadalajara, 2012.

[3] Lluis-Puebla, Emilio, Álgebra Lineal, Álgebra Multilineal y K-Teoría Alge-

braica Clásica, Publicaciones Electrónicas 9, Sociedad Matemática Mexica-
na, 2008.

[4] Roman, S., Advanced Linear Algebra, Tercera Edición, Graduate Texts in
Mathematics 135, Springer, 2008.
[5] Rose, H.E., Linear Algebra: A Pure Mathematical Apporach. Birkhäuser,
2002.

[6] Pretzel, O., Error-Correcting Codes and Finite Fields, Oxford University
Press, 1992.

133