Universidad de San Carlos de Guatemala

Escuela de Ciencias Físicas y Matemáticas

Departamento de Matemática

DEMOSTRACIÓN TOPOLÓGICA DEL TEOREMA DE

ABEL-RUFFINI

Monica Lucía Cabria Zambrano

Asesorado por Dra. Rita Jiménez Rolland

Guatemala, marzo de 2017

.
 UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

ESCUELA DE CIENCIAS FÍSICAS Y MATEMÁTICAS

DEMOSTRACIÓN TOPOLÓGICA DEL TEOREMA

DE ABEL-RUFFINI

TRABAJO DE GRADUACIÓN
PRESENTADO A LA JEFATURA DEL
DEPARTAMENTO DE MATEMÁTICA
POR

MONICA LUCÍA CABRIA ZAMBRANO

ASESORADO POR DRA. RITA JIMÉNEZ ROLLAND

AL CONFERÍRSELE EL TÍTULO DE
LICENCIADA EN MATEMÁTICA APLICADA

GUATEMALA, MARZO DE 2017

.
 UNIVERSIDAD DE SAN CARLOS DE GUATEMALA
ESCUELA DE CIENCIAS FÍSICAS Y MATEMÁTICAS

CONSEJO DIRECTIVO

DIRECTOR M.Sc. Edgar Anibal Cifuentes Anléu

SECRETARIO ACADÉMICO Ing. José Rodolfo Samayoa Dardón

TRIBUNAL QUE PRACTICÓ EL EXAMEN GENERAL PRIVADO

EXAMINADOR Lic. William Roberto Gutiérrez Herrera

EXAMINADOR Lic. Hugo Allan García Monterrosa

EXAMINADOR Lic. Rubén Darío Narciso Cruz

.
ffi Universidad de San Carlos de Guatemala
Escuela de Ciencias Físicas y Matemáticas ,ffi
Ref. D.DTG . AOZ-20L7
Guatemala 23 de marza de 2017

rArnntt, nr
ltvtrnllvll1Jlt.^

MsC. Edgar Aníbal I ."' "'.. . '',

. .. _,i , ¡ ..;-i ir,' i. _

Escuela de Ciencias

EC/pec
 AGRADECIMIENTOS

A mis padres Por haberme apoyado en cada paso de mi vi-

da académica y en los altibajos de la misma.
A mis hermanas Por ser ejemplos en distintas áreas y moti-
varme siempre.
A mis amigos Por creer en mí y por los momentos y cono-
cimientos compartidos.
A mi asesora Rita, por haber aceptado el trabajo a dis-
tancia y ser paciente con el desarrollo de este
trabajo.
Al CCM e IRyA, UNAM Por abrirme las puertas para trabajar en sus
instalaciones.
A Manuel y Hannah Por el apoyo, sugerencias de edición y mate-
rial extra brindado.
A mis profesores Por compartir el conocimiento y gusto por
las matemáticas a lo largo de la carrera.
 DEDICATORIA

A mis papás y a quien lea este trabajo.

 ÍNDICE GENERAL

ÍNDICE DE FIGURAS iv

ÍNDICE DE TABLAS v

LISTA DE SÍMBOLOS vii

OBJETIVOS ix

INTRODUCCIÓN xi

1. GRUPOS 1
1.1. Conceptos preliminares . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1. Homomorsmos e isomorsmos de grupos . . . . . . . . . . . . 9
1.3. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.1. Homomorsmos y subgrupos . . . . . . . . . . . . . . . . . . . 24
1.4. Grupos solubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.4.1. Grupos simétricos y su solubilidad . . . . . . . . . . . . . . . . 30

2. NÚMEROS COMPLEJOS 39
2.1. El campo de los números complejos . . . . . . . . . . . . . . . . . . . 39
2.2. Representaciones de los complejos . . . . . . . . . . . . . . . . . . . 42
2.2.1. Representación geométrica . . . . . . . . . . . . . . . . . . . . 42
2.2.2. Representación polar . . . . . . . . . . . . . . . . . . . . . . . 45
2.3. Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.4. Curvas continuas en el plano complejo . . . . . . . . . . . . . . . . . 52
2.4.1. Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . 52
2.4.2. Imágenes de curvas continuas . . . . . . . . . . . . . . . . . . . 55
2.5. Teorema fundamental del Álgebra . . . . . . . . . . . . . . . . . . . 62

i
3. SUPERFICIES DE RIEMANN 69
3.1. Conceptos topológicos . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.1.1. Topología general . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.1.2. Uniones disjuntas y espacios de identicación . . . . . . . . . . . 71
3.2. Funciones algebraicas . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.3. Continuación analítica . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.4. Supercies de Riemann para funciones solubles por radicales . . . . . . 86

4. GRUPO DE MONODROMÍA Y TEOREMA DE ABEL-RUFFINI 91

4.1. Lazos y grupo fundamental . . . . . . . . . . . . . . . . . . . . . . . 91
4.2. Espacios cubrientes, levantamientos y monodromía . . . . . . . . . . . 96
4.2.1. Espacios cubrientes y levantamiento . . . . . . . . . . . . . . . 96
4.2.2. Monodromía de un espacio cubriente de n-hojas . . . . . . . . . 98
4.3. Grupos de monodromía de funciones algebraicas . . . . . . . . . . . . 98
4.4. Prueba de Arnold del teorema de Abel-Runi . . . . . . . . . . . . . 103

CONCLUSIONES 109
RECOMENDACIONES 111

ii
 ÍNDICE DE FIGURAS

1.1. Rotaciones S3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Reexiones S3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Automorsmo en un triángulo equilátero . . . . . . . . . . . . . . . 17
1.4. Tetraedro inscrito en un cubo . . . . . . . . . . . . . . . . . . . . . 23
1.5. Homomorsmo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6. Cubo de Kepler. . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

2.1. Representación Geométrica en C. . . . . . . . . . . . . . . . . . . . 43

2.2. Desigualdad del triángulo. . . . . . . . . . . . . . . . . . . . . . . 44
2.3. Signicados Geométricos I . . . . . . . . . . . . . . . . . . . . . . 44
2.4. Signicados Geométricos II . . . . . . . . . . . . . . . . . . . . . . 45
2.5. Signicados Geométricos III . . . . . . . . . . . . . . . . . . . . . 45
2.6. Argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.7. Raíz cúbica en C. . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.9. Traslación de curvas. . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.10. Expansión de curvas. . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.11. Rotación de curvas. . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.12. Homotecia de curvas. . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.13. Variación del argumento, curvas. . . . . . . . . . . . . . . . . . . . 59
2.14. Índice de una curva. . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.15. Curvas en los planos z y w . . . . . . . . . . . . . . . . . . . . . . 61

3.1. Espacios de identicación . . . . . . . . . . . . . . . . . . . . . . . 71

3.2. Corte en el plano complejo . . . . . . . . . . . . . . . . . . . . . . 75
3.3. Composición de caminos rodeando el origen . . . . . . . . . . . . . 76
√
3.4. Ramas de z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
√
3.5. Esquema de la supercie de Riemann de z . . . . . . . . . . . . . 78
3.6. Supercie de Riemann: Hojas . . . . . . . . . . . . . . . . . . . . . 78
√
3.7. Supercie de Riemann de z. . . . . . . . . . . . . . . . . . . . . 79

iii
3.8. Supercies de Riemann como dominios. . . . . . . . . . . . . . . . . 79
p
3.9. Imágenes de caminos bajo z(t)2 . . . . . . . . . . . . . . . . . . . 80
3.11. Supercie de Riemann como espacio cubriente . . . . . . . . . . . . 82
3.12. Supercie de Riemann 6 hojas. . . . . . . . . . . . . . . . . . . . . 83
3.13. Continuación Analítica por Caminos . . . . . . . . . . . . . . . . . 85
3.14. Propiedad de Monodromía . . . . . . . . . . . . . . . . . . . . . . 85
√ √
3.16. Esquema de la supercie de Riemann de z + z . . . . . . . . . . 88
√
3.17. Esquema correcto de la supercie de Riemann de z . . . . . . . . . 88

4.1. Homotopía de caminos . . . . . . . . . . . . . . . . . . . . . . . . 92

4.2. Homotopía y puntos singulares. . . . . . . . . . . . . . . . . . . . . 92
4.3. Aplicación cubriente . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.4. Grupo fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . 95
4.5. Generadores grupo libre . . . . . . . . . . . . . . . . . . . . . . . . 95
4.6. Levantamiento. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
√ √
4.7. Esquema de la supercie de Riemann de la función z + z − 1. . . 100
√
4.8. Esquema de la supercie de Riemann de la función z 2 − 1. . . . . . 101
3

4.9. Monodromía grado 5. . . . . . . . . . . . . . . . . . . . . . . . . . 105

iv
 ÍNDICE DE TABLAS

1.1. Tabla de Cayley de S3 . . . . . . . . . . . . . . . . . . . . . . . . 4

1.2. Zn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3. S5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

2.1. Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . 51

4.1. Valores de una función y hojas de una supercie de Riemann. . . . . 99

v
vi
 LISTA DE SÍMBOLOS

Símbolo Signicado

·(a, b) = a · b · es una operación binaria

φ:A→B Función del conjunto A al conjunto B
φ(a) = b Imagen del elemento a de un conjunto, bajo la fucnión φ
φ−1 (b) Pre-imagen del elemento b, bajo la función φ
G Grupo arbitrario
g∈G Elemento del grupo G
g −1 Inverso del elemento g de un grupo G
e Elemento neutro de un grupo
an Elemento a operado n veces
◦(G) Orden del grupo G
◦(g) Orden del elemento g ∈ G
hai Grupo cíclico generado por el elemento a
Zn Grupo de los enteros bajo adición módulo n
G1 ∼ = G2 Grupo G1 isomorfo al grupo G2
H<G H es subgrupo de G
H CG H subgrupo normal de G
aH clase lateral izquiera del subgrupo H
Ha clase lateral derecha del subgrupo H
Aut(G) Automorsmo
Inn(G) Automorsmo Interno
H /G H subgrupo normal de G
G/N Grupo cociente
K(G) Conmutador del grupo G
Sn Grupo simétrico de grado n
An Grupo Alternante de grado n
mcd(a, b) Máximo común divisor de a y b
GwF Grupo G homomorfo al grupo F

vii
Símbolo Signicado

ker(φ) Núcleo de la función φ

R Conjunto de los números Reales
Z Conjunto de los números Enteros
C Conjunto de los números Complejos
z = a + bi Representación algebraica de un número complejo
Re(z) Parte real de un número complejo
Im(z) Parte imaginaria de un número complejo
z Conjugado de un número complejo
P (z) Polinomio con variables complejas
gr(P ) Grado de un polinomio P
|z| Módulo de un número complejo
arg(z) Ángulo del origen a un vector complejo
z = r(cos ϕ + isenϕ)Representación trigonométrica de un número complejo
El número complejo cos 2π + isen 2π



n n n
{Ai }i∈I Familia de conjuntos
(X, τ ) Espacio topológico
{xn } Sucesión de elementos en un conjunto X
xn → x La sucesión {xn } converge al elemento x
f: A9B función multivaluada
C∗ Plano complejo sin el cero
Ĉ Plano complejo extendido
X≈Y Espacios X y Y homeomorfos
X tY Unión disjunta de X y Y
I Intervalo [0, 1]
γ Caminos
id Función identidad
(fi , Ui ) Elementos analíticos de una función f multivaluada
f0 ' f1 Caminos homotópicos
x Camino constante x.
π1 (X, x0 ) Grupo fundamental de X basado en x0
Mon(f ) Grupo de monodromía de la función f

viii
 OBJETIVOS

General
Presentar los detalles de la demostración topológica del teorema de Abel-
Runi.

Especícos
1. Establecer las nociones de teoría de grupos necesarias para introducir al grupo
simétrico e identicar grupos solubles.

2. Introducir las propiedades en el campo de los números complejos, así como de

las funciones continuas en el mismo.

3. Denir las nociones de función algebraica y explicar cómo se le puede asociar

una supercie de Riemann y las propiedades de un espacio cubriente de n-
hojas.

4. Estudiar el grupo de monodromía de un espacio cubriente para determinar la

imposibilidad de una solución por radicales para ecuaciones polinomiales de
grado mayor o igual a cinco siguiendo el enfoque de Arnold.

ix
x
 INTRODUCCIÓN

En los cursos escolares de álgebra se enseña a resolver ecuaciones lineales, de

la forma ax + b = 0, donde la solución es de la forma x = −b/a. También se nos
enseña a resolver ecuaciones de grado dos, de la forma

ax2 + bx + c = 0

con la fórmula que brinda de manera general las soluciones a cualquier ecuación de
este tipo √
−b ± b2 − 4ac
x= .
2a
La fórmula general para encontrar raíces de polinomios cuadráticos fue plan-
teada por los babilonios aproximadamente en el año 2000 a.C. este tipo de soluciones
fueron motivo de estudio en álgebra. Esta fórmula también ayudó al desarrollo de los
números complejos. En algunas ocasiones el discriminante, b2 − 4ac, es un número
√
negativo. De esto, surge la idea de un elemento que sea −1 y más adelante se
comprueba que la fórmula cuadrática también funciona cuando los coecientes del
polinomio son complejos, esto es por las propiedades de campo, que estudiaremos a
partir del capítulo 2.
Sabemos que estas fórmulas que dependen de los coecientes de un polinomio y
operaciones como suma, resta, multiplicación, división, potencias y radicales existen
para las ecuaciones de grado 1 y 2, pero también existen fórmulas generales de
este tipo para grado 3 y 4, que fueron desarrolladas por italianos en la época del
Renacimiento.
A principios del siglo XVI, Scipione del Ferro (1465-1526) encontró un método
para resolver las ecuaciones de la forma x3 + ax = b, que mantuvo en secreto hasta
justo antes de su muerte y lo comunicó a su estudiante Antonio Fiore. Actualmente,
sabemos que todas las ecuaciones cúbicas se pueden reducir a esta forma cuando se
permite a a, b ser negativos, pero en aquella época no eran conocidos estos números.
En 1530 Niccolo Fontana, conocido como Tartaglia (1500-1557) anunció que podía

xi
resolver dos problemas con ecuaciones cúbicas y fue retado por Fiore. Tartaglia
resolvió los de la forma x3 + ax = b y Fiore no pudo resolver los de la forma
x3 + ax2 = b, resultando ganador Tartaglia.
Más adelante, Gerolamo Cardano (1501-1576) persuadió a Tartaglia de revelar
su secreto para resolver las ecuaciones cúbicas y él accedió bajo la condición de
que no se revelara y en caso de que Cardano publicara un libro, le diera crédito al
trabajo de Tartaglia. Años más tarde, Cardano descubrió el trabajo de del Ferro
y lo publicó en un libro en 1545. Luego de eso, el primero sirviente de Cardano y
luego colaborador, Ludovico Ferrari (1522-1565) aceptó las condiciones de Tartaglia
y terminó por ganarle en competencia y prestigio.

Cardano notó que el método de Tartaglia requería eventualmente raíces de

números negativos y probablemente lo publicó sin comprender, fue Rafael Bombe-
lli (1526-1572) quien estudió a detalle este problema y a quien se le adjudica el
descubrimiento de los números complejos.

La fórmula general para resolver una ecuación de la forma

ax3 + bx2 + cx + d = 0

necesita primero calcular

S = b2 − 3ac
T = 2b3 − 9abc + 27a2 d

Con esto, obtenemos

√
s
3 S± T 2 − 4S
C=
2
y nalmente las raíces son de la forma
 
1 k S
xk = − b+ C + k , k ∈ {0, 1, 2} ,
3a  C

donde  es una raíz de la unidad (en complejos).

Por último, fue Ferrari, en 1540, quien resolvió la ecuación general de grado
cuatro, que fue publicado en 1545. El desarrollo de este método es bastante extenso,
pero daremos la fórmula general para este caso a continuación. Dada una ecuación
de la forma
ax4 + bx3 + cx2 + dx + e = 0,

xii
sus soluciones son de la forma:
r
b 1 q
x1,2 =− −S± −4S 2 − 2p +
4a 2 S
r
b 1 q
x3,4 =− +S± −4S 2 − 2p + ,
4a 2 S
donde p y q son las expresiones

8ac − 3b2
p=
8a2

b3 − 4abc + 8a2 d
q=
8a3
y P, Q están dadas por
s  
1 2 1 r
S= − p+ Q+
2 3 3a Q

√
s
3 t+ t2 − 4r3
Q= ,
2
con
r = c2 − 3bd + 12ae

t = 2c3 − 9bcd + 27b2 e + 27ad2 − 72ace.

En el estudio de las soluciones de ecuaciones polinomiales, no se logró encon-

trarlas para grado 5. Paolo Runi (1765-1822) a su vez estaba trabajando en la
resolución de este tipo de ecuaciones, unicando la teoría de ecuaciones con teoría
de grupos, introduciendo la noción de orden de un elemento y un grupo, también
demostró que el grupo de permutaciones S5 no era soluble, basado en las ideas de
Lagrange, quien en 1770 asoció los polinomios con los grupos de permutación (Villa
Salvador, 2011). Runi, en 1799, realizó un primer bosquejo de la prueba de la
imposibilidad de grado cinco, pero no fue aceptada por la comunidad matemática
de la época.
En 1820, el matemático noruego Niels Henrik Abel (1802-1829) propuso una
solución general a la ecuación de grado cinco que dependía de los coecientes, sin
embargo esta falló cuando le pidieron ejemplos, así que continuó estudiando estas
soluciones. En 1824 Abel demostró, con las ideas de Paolo Runi y Lagrange, que
no existe una solución general radical para polinomios de grado cinco o mayor,

xiii
conocido ahora como el teorema de imposibilidad de Abel o teorema de Abel-Runi.
La prueba era muy corta y con contenido muy avanzado para los matemáticos
contemporáneos, por lo que Abel publicó una nueva versión más extensa de la misma
en 1826. Puede leerse más detalles en (Schwartz, 2015).
Esto fue importante porque aparte de resolver la pregunta sobre la solubili-
dad de polinomios, brindó un enfoque abstracto, completamente nuevo al álgebra,
utilizando los avances más recientes hasta esa época sobre grupos de simetrías y
permutaciones, inspirando a jóvenes matemáticos como Galois, Cayley, Hamilton,
Jordan, Kronecker y Sylvester a desarrollar y aplicar teoría de grupos, anillos, cam-
pos y otras estructuras algebraicas. En otras palabras, condujo al desarrollo del
álgebra moderna. Abel trabajó también en análisis, en ecuaciones integrales y desa-
rrolló gran parte de la geometría algebraica.
En 1828, Évariste Galois (1811-1832) presenta una prueba de la imposibilidad
de resolver las ecuaciones de grado 5 por radicales, su trabajo fue independiente al
de Abel y se basaba en estructuras matemáticas más abstractas, como extensiones
de campos y descomposiciones de grupos. Esta prueba de Galois fue una de las
aplicaciones de la rama que surgió con su trabajo, ahora llamada Teoría de Galois.
La prueba de Galois fue rechazada por Cauchy por tener puntos en común con
el trabajo de Abel años antes. Galois siguió trabajando en este y otros temas, en 1830
envía una nueva versión a Cauchy, quien esta vez remitió el artículo a Joseph Fourier
(17681830), pero Fourier falleció poco después de recibir el trabajo de Galois y éste
se traspapeló.
Al morir Galois a temprana edad, su hermano Alfred y su amigo Auguste
Chevalier se encargaron de recopilar el trabajo de Évariste y darlo a conocer a la
academia, llamando la atención de Liouville. Las obras fueron publicadas en 1846
después de la revisión de Liouville, quien declaró que, en efecto, Galois había resuelto
el problema de Abel.
En 1885, los matemáticos John Stuart Glasham, George Paxton Yung y Carl
Runge presentan una nueva prueba utilizando el enfoque de teoría de Galois, rela-
cionando las propiedades de una ecuación con sus propiedades algebraicas, como su
grupo de Galois, permitiendo hacer la transición del análisis al álgebra. Para mayor
detalle, leer (Villa Salvador, 2011).
Hacia el año 1963, el matemático Vladimir Igorevich Arnold (1937-2010) pre-
senta una prueba nueva para el teorema de Abel-Runi con un enfoque topológico,
que asocia supercies de Riemann a ecuaciones algebraicas, variando sus coecien-
tes (complejos) y calcular su grupo de monodromía. Arnold presentó esta prueba

xiv
a alumnos de bachillerato en Moscú. Uno de los participantes de este taller, V.
B. Alekseev plasmó por escrito el contenido de las conferencias en su libro Abel's
theorem in problems and solutions (Alekseev, 2004). Esta referencia autocontenida
introduce fundamentos de teoría de grupos, análisis complejo, supercies de Rie-
mann y grupos de monodromía través de una serie de problemas que se proponen
al lector. Este trabajo de graduación se basa en gran medida en desarrollar los de-
talles de la presentación de (Alekseev, 2004). Se complementa la exposición con el
trabajo de Hannah Santa Cruz (Santa Cruz, 2016), donde se enfatiza la noción de
monodromía y el artículo de Henryk Zoª
adek (Zoª, 2000), que da un tratamiento
más formal a la demostración propuesta por Arnold.
Otras referencias al tema son (Akalin, 2016) en su entrada Why is the Quintic
Unsolvable? en el blog Notes on math, tech, and everything in between, así como
(Schwartz, 2015) en su artículo Abel and the Insolubility of the Quintic.
El propósito de este trabajo de graduación es presentar, basado en las referen-
cias anteriores, los detalles de la prueba del teorema de Abel-Runi de manera que
se introduzcan las nociones necesarias para que alumnos, tanto a nivel de licenciatura
como de bachillerato, comprendan cada paso de la demostración.
Para ello, se introduce primero, en el Capítulo 1, las nociones y propiedades
de grupos nitos, particularmente los grupos de permutaciones y su solubilidad. En
el Capítulo 2 se presentan las bases de análisis complejo para poder entender el
comportamiento de funciones de variable compleja y soluciones de polinomios con
coecientes complejos como ejemplo de funciones algebraicas. Esto permite, en el
Capítulo 3, la construcción de supercies de Riemann asociadas a estas funciones
y su estudio como espacios de recubrimiento del pano complejo perforado. Las per-
foraciones corresponden a los puntos singulares de la función algebraica. Siguiendo
la idea central de Arnold, se estudia en el Capítulo 4 qué sucede con las hojas del
espacio de recubrimiento cuando rodeamos las singularidades. De esta manera se
asocia a la función algebraica un grupo, el grupo de monodromía, cuya solubilidad
está relacionada con la solubilidad por radicales de la ecuación que dene la función
algebraica.

xv
xvi
 1. GRUPOS

Una noción esencial en matemática es la de un grupo, esto es un conjunto

con una operación asociada que cumple con ciertas propiedades que le dan una es-
tructura. Los grupos son importantes en la prueba del Teorema de Abel-Runi,
especícamente la solubilidad de los mismos. En este capítulo se estudiará la no-
ción de grupo y sus propiedades, así como operaciones y funciones entre ellos para
comprender su solubilidad, con el n de asociarla con la solubilidad algebraica de
un polinomio de grado n.

1.1. Conceptos preliminares

Un conjunto G es una colección de elementos bien denidos. Si consideramos
los elementos ai de un conjunto A y le asignamos elementos bi de un conjunto
B , podemos formar pares (ai , bi ). Al conjunto de todos los pares de elementos se
le llama producto de los conjuntos A y B y se denota por A × B . Estos pares
pueden escogerse arbitrariamente o relacionarse a través de funciones, como se verá
a continuación.

Denición 1.1. Una función f : A → B es un conjunto de pares ordenados donde

para cada a ∈ A existe un b ∈ B tales que (a, b) ∈ f y si (a, b0 ) ∈ f , entonces b = b0 .
dominio y
Al conjunto de elementos de A en la primer coordenada se le llama
al conjunto formado por los elementos de la segunda coordenada, se llama contra-
dominio o rango. Denotaremos por f (a) al elemento b ∈ B y lo llamaremos imagen
de a bajo f .

Una función f : X → Y puede ser:

ˆ Inyectiva: Si dos elementos distintos tienen imágenes distintas, esto es:

x1 6= x2 entonces y1 = f (x1 ) 6= f (x2 ) = y2 .

1
 ˆ Sobreyectiva: Si para cada y ∈ Y existe una preimagen x ∈ X tal que
f (x) = y .

Denición 1.2. Una función f es biyectiva si es inyectiva y sobreyectiva, es decir

que cada elemento y ∈ Y tiene una preimagen x ∈ X y ésta es única, denotada por
f −1 (y).

Ejemplo
( 1.1. Consideremos la función f : Z → Z+ ∪ {0}
2n, si n > 0
f (n) =
−2n − 1, si n < 0.
Esta función manda los números no negativos a los enteros pares y los negativos a
los impares.
Tomemos a, b ∈ Z:

a) Si a 6= b con a > 0 y b > 0, entonces

f (a) = 2a 6= 2b = f (b).

b) Si a < 0 y b < 0 y a 6= b entonces

f (a) = −2a − 1 6= −2b − 1 = f (b).

c) Si a < 0 y b > 0 tendrán imágenes −2a − 1 y 2b respectivamente.

Por los casos anteriores, f es inyectiva.

Consideremos ahora un elemento c ∈ Z+ ∪ {0}.

a) Si c es par, existe un número no negativo n = c/2 tal que

f (c/2) = 2(c/2) = c.

b) Si c es impar, existe un número negativo n = − c+1

2
tal que

c+1 c+1
f (− ) = −2(− ) − 1 = c.
2 2

Cualquier elemento en el contradominio tiene una preimagen, armando la sobre-

yectividad. Por lo tanto, f es una función biyectiva.

Ejemplo 1.2. Consideremos un triángulo equilátero y las rotaciones o reexiones de

manera que siga siendo el mismo triángulo. Es decir, rotando 120°, 240° y reejando

2
con respecto a las alturas del mismo. A cada uno de estos movimientos le llamaremos
simetrías del triángulo equilátero.

B A C

O O O
A C C B B A
(a) Triángulo (b) Rotación 120°. (c) Rotación 240°.
Figura 1.1. Rotaciones del triángulo equilátero.

B C A

l2 l3

C A A B B C
l1
(a) Reexión con respecto (b) Reexión con respecto (c) Reexión con respecto
a altura l1 . a altura l2 . a altura l3 .

Figura 1.2. Reexiones del triángulo equilátero.

Todas estas simetrías son biyecciones del triángulo en él mismo, ya que se

conserva la cantidad de vértices y la gura en el plano.

Denición 1.3. Una función biyectiva de un conjunto X en sí mismo es tam-

bién llamada permutación. Denimos al conjunto de permutaciones como SX :=
{f : X → X | f es biyección}, es decir, todas las biyecciones de un conjunto en sí
mismo.

Ejemplo 1.3. Consideremos S = {A, B, C} como el conjunto de vértices de un

triángulo equilátero. Las formas de reordenar un arreglo de 3 elementos son biyec-
ciones, por lo que las llamaremos permutaciones. Resulta ser que las simetrías del
triángulo equilátero coinciden con todas las permutaciones de sus vértices.

ˆ Rotaciones:
! ! !
A B C A B C A B C
a= ,b = ,e =
B C A C A B A B C

3
 ˆ Reexiones:
! ! !
A B C A B C A B C
c= ,d = ,f =
A C B C B A C A B

Llamaremos al conjunto de permutaciones de los vértices del triángulo S3 ,

las cuales pueden aplicarse una después de otra y siguen siendo una simetría. La
operación · : S3 × S3 → S3 es llamada composición de permutaciones. Esta aplica
una transformación luego de otra, así la composición
!
A B C
a·f = =d
C B A

y se puede construir una Tabla de Cayley de S3 , de la siguiente forma:

· e a b c d f
e e a b c d f
a a b e f c d
b b e a d f c
c c d f e a b
d d f c b e a
f f c d a b e

Tabla 1.1. Composición de simetrías del triángulo equilátero o tabla de Cayley de S3 .

Fuente: tomada de (Alekseev, 2004).

Entre las permutaciones existe una única que no modica al triángulo, la si-
metría e, que corresponde a la función identidad. En la tabla 1.1 puede observarse
que bajo la composición, siempre es posible obtener e al componer dos simetrías.

Ejemplo 1.4. La composición ab = e rotando 120° y luego 240° se obtiene de nuevo

la forma inicial del triángulo. Análogamante ba = e. Al elemento b le llamaremos
inverso de a. A continuación estudiaremos estos elementos.
Denición 1.4. sea G un conjunto y g ∈ G, al elemento h tal que gh = hg = e se
le llama inverso de g y se denota por g −1 .

1.2. Grupos
Ya hemos estudiado las permutaciones y algunas de sus propiedades, así, pode-
mos estudiar también las propiedades para un conjunto arbitrario con una operación

4
denida.
Una operación es una función que toma dos elementos y les asigna un tercer
elemento. Cuando al operar dos elementos de un conjunto, siempre el resultado está
en el mismo conjunto, se dice que la operación es cerrada.

Ejemplo 1.5. Consideramos la operación resta y el conjunto de números naturales,

N. Tomando los pares de elementos en N × N, (8, 5) y (5, 8) obtenemos las restas

8 − 5 = 3 y 5 − 8 = −3,

de donde notamos que en los números naturales, la suma es cerrada, mientras la

resta es cerrada en los enteros, mas no en los naturales.

Denición 1.5. Sea G un conjunto con una operación · que satisface:

1. Cerradura o clausura : Para cualesquiera elementos x, y ∈ G, la operación

xy ∈ G.

2. Asociatividad : Para cualesquiera elementos x, y, z ∈ G, (x · y) · z = x · (y · z).

3. Elemento neutro : Existe un elemento e ∈ G tal que e · a = a · e = a para cada

a ∈ G.

4. Existencia de inversos : Para cada a ∈ G existe un elemento a−1 ∈ G tal que

a · a−1 = a−1 · a = e.

Entonces se dice que este conjunto forma un grupo bajo la operación · y es denotado
por (G,·) o simplemente el grupo G.
Si la operación es conmutativa, el grupo se llama grupo abeliano.
Ejemplo 1.6.
1. El grupo trivial es el conjunto {e} formado por el elemento neutro con cualquier
operación.

2. (Z, +) los números enteros con la operación adición forman un grupo abeliano.

3. S2 el grupo de permutaciones de dos elementos con la composición.

Ejemplo 1.7. En el ejemplo 1.2, vimos que la composición de permutaciones (si-

metrías del triángulo equilátero) es cerrada y que todos sus elementos tienen un

5
inverso. Su elemento neutro es
!
A B C
e=
A B C

y es único. Y falta considerar la asociatividad, de la tabla 1.1, tenemos

a(db) = ac = f y

(ad)b = cb = f por lo que

a(db) = (ad)b

y esto se puede vericar para cualesquiera tres elementos en S3 , la operación es

asociativa.
Por lo tanto S3 con la composición es un grupo, llamado grupo simétrico de
3 elementos.

Denición 1.6. En general para un conjunto X , SX con la composición, forman

un grupo, llamado grupo de simetrías de X. Particularmente, para arreglos de
n elementos (1, 2, 3, . . . , n) pueden considerarse todas las permutaciones posibles de
este arreglo. Al grupo formado con el conjunto de todas estas permutaciones con
la operación composición, se le llama grupo simétrico de n elementos, denotado
por Sn y tienen n! elementos. Estos grupos no son abelianos cuando n > 2, como se
mostrará en el lema 1.4.1.
Al considerar cada elemento del arreglo como un vértice de un n-gono regular.
Se obtiene que dentro del conjunto de permutaciones, las que conservan la gura
corresponden a rotaciones del mismo y reexiones respecto a sus alturas. Estas
simetrías también forman un grupo, llamado grupo diédrico y se denotará por
Dn .
En el caso n = 3 se cumple que S3 = D3 . En la sección 1.6 estudiaremos los
grupos simétricos nitos.

Denición 1.7. A la cantidad de elementos de un se le llama orden del grupo y

se denota por ◦(G). Existen tanto grupos nitos como innitos.

Ejemplo 1.8. Consideremos ahora a (Z, ·). Este no forma un grupo, ya que dado un
entero a, su inverso multiplicativo a−1 no es un entero. Por otro lado, si consideramos
a todos los reales menos el cero (R \ {0}, ·), esta propiedad se cumple y por lo tanto
es un grupo abeliano de orden innito.

6
 Existen ciertas propiedades que caracterizan a un grupo, estas son:

1. El elemento neutro es único En efecto, si existen dos neutros, digamos e y ê,

se tiene que:
ea = ae = a = êa = aê, de donde:

ea = êa = a, entonces e = ê.1

2. El inverso de un elemento es único. Sean a−1 y b inversos del elemento a, se

tiene aa−1 = a−1 a = e = ab = ba, entonces

a−1 a = ba, lo que implica que a−1 = b.

3. (ab)−1 = b−1 a−1 y, en general,

(a1 a2 ...an )−1 = a−1 −1 −1

n ...a2 a1 .

Un elemento en un grupo G puede operarse cualquier cantidad de veces, en

este caso, a ∈ G operado n veces se escribe an . Y dados los elementos de un gru-
po, operados con ellos mismos, se tienen las siguientes propiedades (puede verse la
prueba en (Dummit y Foote, 2004), capítulo 1):

ˆ (a−1 )−1 = a.

ˆ (am )−1 = (a−1 )m .

ˆ am · an = am+n .

ˆ (am )n = amn .

ˆ Si m < 0, am = (a−m )−1 .

De la última propiedad, podemos armar que las anteriores valen para cada m, n ∈
Z.

Denición 1.8. En algunos grupos puede suceder que existe un k, tal que ak = e, al
mínimo entero k (distinto de cero) que cumple esto, se le llama orden del elemento
a en un grupo, denotado por ◦(a).
1 Por la ley de cancelación:
Si ab = ac entonces b = c,
esto es fácil de comprobar, multiplicando por el inverso de a en ambos lados de la ecuación.

7
Denición 1.9. Si el orden de un elemento a es n, entonces todos los elementos
e, a, a2 , . . . , an−1 son distintos. Y si estos son todos los elementos que conforman al
grupo, se dice que es un grupo cíclico de orden n, generado por a. Al elemento
a se le llama generador del grupo y denotaremos a G = {e, a, a2 , . . . , an−1 } por
G = hai.

Si el orden de un grupo cíclico generado por a es innito, lo escribiremos de la

forma hai = {. . . , a−2 , a−1 , e, a, a2 , . . .}.

Ejemplo 1.9. El grupo (Z, +) = h1i es un grupo cíclico innito, cuyo generador es
1.

Ejemplo 1.10. Las rotaciones de un n-gono regular, con la composición, forman un

grupo cíclico de orden n cuyo generador es la rotación de 360°/n (otros generadores
pueden ser aquellos con rotaciones de m ∗ 360°/n donde m es primo relativo con n).

Los grupos cíclicos (de orden n) cumplen con las siguientes propiedades:

1. am = e si y sólo si m = nd.

Supongamos que, por el algoritmo de la división2 , m = nd + r , entonces:

e = am = and+r = and ar = (an )d ar = (e)d ar = ar .

Pero r no excede a n, lo cual contradice que n es el orden de a, ar = e si y

sólo si r = 0, así m = nd.

2. Si mcd(m, n) = d y el orden de a es n, el orden de am es n/d.

Dado que d|m y d|n, se puede escribir m = αd y n = βd y se tiene que:

(am )n/d = amn/d = (an )m/d = (an )α = eα = e.

Si se toma un entero arbitrario p tal que (am )p = amp = e, esto se cumple si y

sólo si n | mp, entonces n/d | mp/d, y como α = m/d y β = n/d son primos
relativos, entonces n/d|p, por lo tanto n/d es el mínimo p tal que (am )p = e,
es decir, n/d es el orden de am .

Ejemplo 1.11. Al dividir un entero m entre n, este número genera residuos r tales
que 0 6 r < n de manera que el número m se escribe como m = nd + r donde r es el
2 El
algoritmo de la división asegura que al dividir un natural m entre uno n se obtendrá una
única representación de m, a decir, m = nd + r donde r es un residuo que no excede a n.

8
residuo. Estos residuos bajo adición forman un grupo cíclico, que puede observarse
con mayor claridad en la siguiente tabla:

· 0 1 2 3 ... n-1
0 0 1 2 3 ... n-1
1 1 2 3 4 ... 0
2 2 3 4 5 ... 1
3 3 4 5 6 ... 2
.. .. .. .. .. .. ..
. . . . . . .
n-1 n-1 n 0 1 ... n-2

Tabla 1.2. Tabla de Cayley de los residuos módulo n.

A partir de dos grupos puede obtenerse un tercer denido por los grupos, G y
H.

Denición 1.10. El producto directo de los grupos G y H , denotado por G × H

es el conjunto de pares ordenados (g, h) donde g ∈ G y h ∈ H y tiene un producto
denido por:
(g1 , h1 ) · (g2 , h2 ) = (g1 g2 , h1 h2 ),

donde el producto g1 g2 es un elemento del grupo G y h1 h2 , del grupo H .

Es fácil observar que G × H es un grupo con elemento neutro (eG , eH ) y para

cada (g, h) ∈ G × H , su inverso (g, h)−1 es (g −1 , h−1 ). Si G y H son grupos nitos,
se cumple ◦(G × H) = ◦(G) ◦ (H).

1.2.1. Homomorsmos e isomorsmos de grupos

Ahora estudiaremos las funciones y tipos de relaciones entre grupos y qué
propiedades de grupos se conservan de acuerdo a la función entre ellos.

Denición 1.11. Si consideramos un función entre dos grupos, φ : G → F tal

que φ(ab) = φ(a)φ(b) se dice que φ es un homomorsmo de los grupos G y F .
Llamaremos imagen de G bajo φ al conjunto de elementos en F de la forma φ(g).

En un homomorsmo, φ : G1 → G2 se preservan propiedades de grupos como:

1. Elemento neutro: es decir que la imagen bajo isomorsmo de e1 es el ele-

mento e2 ya que por ser isomorsmo, se tiene

φ(a) = φ(ae1 ) = φ(a)φ(e1 ).

9
 Y esto se cumple sólo si y sólo si la imagen φ(e1 ) = e2 .

2. Elementos inversos: La imagen del inverso de un elemento es el inverso de

la imagen de ese elemento.

Sabemos que φ(aa−1 ) = φ(a)φ(a−1 ) y φ(e1 ) = e2 , entonces

φ(e1 ) = φ(aa−1 ) = φ(a)φ(a−1 ) = e2 = φ(a) [φ(a)]−1 .

3. Orden de un elemento: φ(a) y a tienen el mismo orden. Supongamos que

◦(a) = n y ◦(φ(a)) = m, entonces:
Sabemos que an = e1 y φ(e1 ) = e2 , entonces

φ(a)n = φ(a) · φ(a) · ... · φ(a) = φ(an ) = φ(e1 ) = e2 de donde m 6 n.

De forma similar,

φ(e1 ) = e2 = φ(a)m = φ(am ), esto implica que xm = e1 ,

entonces n 6 m por denición de ◦ (a).

Proposición 1.1. La composición de homomorsmos es también un homomorsmo.

Demostración. Sean φ : G → F y ψ : F → H homomorsmos de grupos. Tomando
elementos a, b ∈ G, y la composición (ψφ)(ab) = ψ(φ(ab)) = ψ(φ(a)φ(b)), don-
de φ(a), φ(b) ∈ F , entonces ψ(φ(a)φ(b)) = ψ(φ(a))ψ(φ(b)), de donde vale que la
armación.

Denición 1.12. Si el homomorsmo φ : G1 → G2 , aparte de cumplir para cada

a, b ∈ G1
φ(ab) = φ(a) · φ(b),

también es biyectivo, se dice que es un isomorsmo.

Los elementos φ(a) y φ(b) pertenecen al grupo G2 . El inverso de un isomorsmo,
φ−1 : G2 → G1 es también un isomorsmo, como consecuencia de la biyectividad. Se
escribirá G1 ∼
= G2 cuando el grupo G1 sea isomorfo al grupo G2 .

Ejemplo 1.12. Todo grupo cíclico de orden n es isomorfo al grupo de residuos

módulo n bajo adición, bajo el la función ϕ : Z → hai tal que m 7→ am . Estos grupos
se denotarán por Zn

10
 En los ejemplos 1.11 y 1.12 trabajamos con los grupos Zn , a continuación
veremos una armación importante con estos grupos.

Proposición 1.1. Zm × Zn ∼
= Zmn si y sólo si m y n son primos relativos.

Demostración.
(⇐) Si m, n son primos relativos, mcm(m, n) = mn. Consideremos el elemento
(1, 1), donde k(1, 1) = (0, 0) sólo si k es múltiplo de m y n, de donde ◦ ((1, 1)) = mn.
Por lo tanto el grupo h(1, 1)i es el grupo cíclico Zm × Zn de orden mn.
(⇒) Si mcd(m, n) = d > 1 podemos considerar un elemento (r, s) ∈ Zm × Zn
y sea k = mn/d , se tiene que
k(r, s) = (0, 0)

para cualesquiera r, s. De donde cualquier elemento tendría orden menor a mn.

Entonces mcd(m, n) debe ser 1.

Proposición 1.2. Todo grupo cíclico de orden innito es isomorfo a (Z, +).

Demostración. Consideremos un grupo cíclico innito G = hgi y la función ϕZ → G

tal que n 7→ g , es decir, ϕ(n) = g n .
n

Probaremos que ϕ es biyectivo.

Sean m, n ∈ Z, tales que ϕ(m) = ϕ(n), entonces

gm = gn,

de donde
g m−n = e,

dado que ◦(g) = ∞, el único valor posible para m − n es cero, lo que implica que
m = n. Entonces ϕ es inyectiva.
Por otro lado, G = {g n | n ∈ Z}, es decir que cada elemento de G es la imagen
de al menos un número entero. Esto signica que ϕ es sobreyectiva.
Por lo tanto, ϕ es una biyección y G ∼
= (Z, +). Dada la arbitrariedad de G,
esto se cumple para todo grupo cíclico innito.

Ejemplo 1.13. El grupo de rotaciones del triángulo equilátero es isomorfo a Z3 ,

asignando φ(k) = ak , con k = 0, 1, 2.

Un isomorsmo es una relación de equivalencia, es decir, cumple:

ˆ Es reexiva (G ∼
= G).

11
 ˆ Es simétrica (si G1 ∼
= G2 entonces G2 ∼
= G1 ).

ˆ Es transitiva (si G1 ∼
= G2 y G2 ∼
= G3 entonces G1 ∼
= G3 ). Esta última propiedad
es consecuencia de que la composición de isomorsmos es isomorsmo.

1.3. Subgrupos
Un grupo es diferente de un conjunto ordinario porque está dotado de una ope-
ración binaria sobre todo el conjunto, por lo que es natural preguntarse qué sucede
con los subconjuntos del mismo. Para responder esto, estudiaremos qué propiedades
cumplen los subconjuntos bajo la operación del conjunto original.

Denición 1.13. Sea (G, ·) un grupo y H ⊆ G. Si (H, ·) es en sí mismo un grupo,

se dice que H es un subgrupo de G y se denota por H 6 G. Cuando H ⊂ G, es
decir, es un subconjunto propio de G, el subgrupo se denota como H < G.

Todo grupo G tiene dos subgrupos triviales, estos son todo G y el conjunto uni-
tario que contiene al elemento neutro, {e}. También pueden generarse subgrupos
cíclicos, dado a ∈ G, de la forma hai = {e, a, a2 , an−1 }, con 0 6 n < ◦(g).
Para mostrar que H 6 G, sólo es necesario comprobar la existencia del elemento
neutro e inversos en H , ya que la operación denida en G es válida para todo el G.

Teorema 1.3.1 (Caracterización de subgrupos). H < G si y sólo si:

1. Si a, b ∈ H , entonces ab ∈ H .
2. e ∈ H .
3. Si a ∈ H , entonces a−1 ∈ H .
Tanto el elemento neutro como los inversos, coinciden en H y en G.
Demostración.
(⇒) Si H es subgrupo entonces es un grupo y vale que la operación es cerrada
en H , además tiene un elemento e tal que para cada a ∈ H , ae = ea = a, y ya que
e ∈ G es el único elemento que cumple estas propiedades, entonces e es el mismo
en G y H . Como el elemento neutro coincide y H mismo es un grupo, los inversos
a−1 ∈ H para cada a ∈ H .
(⇐) Dada · operación cerrada en H con un elemento neutro e ∈ H , para cada
a ∈ H , a ∈ G se sigue cumpliendo

ea = ae = a para cada a ∈ H

12
Y si a ∈ H y a−1 ∈ H tenemos

aa−1 −1
H = e = aaG ,

de donde a−1 −1 −1
G = aH = a , por lo que H es un grupo y entonces H < G.

Ejemplo 1.14. Las rotaciones de un n-gono son un subgrupo de todas las simetrías
del mismo.

Ejemplo 1.15. Sean G1 y G2 dos grupos y H1 < G1 , H2 < G2 . El producto

H1 × H2 < G1 × G2 .
Como H1 y H2 son grupos, tienen elemento neutro {e1 } y {e2 } respectivamente,
así como los inversos de cada elemento. De donde el elemento neutro de H1 × H2 es
(e1 , e2 ) y los inversos, de la forma (a−1 −1
1 , a2 ), entonces H1 × H2 < G1 × G2 .

Para cada subgrupo H < G existe una partición de G en subconjuntos. Una

partición es inducida por una clase de equivalencia, es decir, que separa elementos
o subconjuntos por clases. Cada clase es disjunta de la otra.

Denición 1.14. Sea G un grupo y H < G. Para cada elemento g ∈ G, conside-

remos los conjuntos de la forma gH = {gh | h ∈ H}. A este conjunto se le llama
clase lateral izquierda3 de H , generada por g. Y análogamente, llamamos clase
lateral derecha al conjunto Hg = {hg | h ∈ H}.
Ejemplo 1.16. Consideremos al grupo de simetrías del triángulo equilátero y el
subgrupo {e, c} donde c es una reexión, como en el ejemplo 1.3. Este es un sub-
grupo, ya que c2 = e, y es un grupo de orden 2, por lo que es isomorfo a Z2 . Entonces
la clase lateral izquierda generada por el elemento a (rotación de 120o ) es:

aH = {ae, ac} = {a, f }

y la clase lateral derecha generada por el mismo elemento es:

Ha = {ea, ca} = {a, d}.

Algunas propiedades de las clases laterales son:

Lema 1.3.1. Sea H 6 G.

1. Todo elemento de G pertenece a alguna clase lateral de H .
3 La función f : H → gH tal que h 7→ gh es biyectiva.

13
 2. Si y ∈ xH ⇒ yH = xH .

3. Si xH y yH tienen un elemento en común, entonces son iguales.

Demostración.

1. Dado que e ∈ H para cualquier H < G, cada g ∈ G generará una clase

gH donde ge = g , entonces g ∈ gH y el resultado es análogo para las clases
laterales derechas.

2. Sea y ∈ xH , entonces y = xh para algún h ∈ H , de donde yh−1 = x, entonces

x ∈ yH y, por lo tanto, xH = yH .

3. Basta tomar x 6= y tal que x ∈ yH y, por inciso anterior, xH = yH .

De esto puede concluirse que:

ˆ G = ∪ ai H .
ai ∈G

ˆ ai H ∩ aj H = ∅ para cada i 6= j .

Es decir, las clases (izquierdas) son disjuntas o iguales y forman una partición del
conjunto G. Esto es cierto también para las clases derechas.

Proposición 1.3. Sea G un grupo y Hi < G una familia de subgrupos. La inter-

sección arbitraria de subgrupos Hi es un subgrupo de G.

Demostración. Sabemos que Hi es al menos {e} por denición de subgrupo. Si

T
i
6 {e} entonces existe al menos un a ∈ Hi , es decir, a ∈ Hi para cada Hi :
T T
Hi =
i i

a) Si a = a−1 , entonces Hi ∼
= Z2 , es un grupo.
T
i

b) Si a 6= a−1 , entonces existe un b ∈ Hi , donde ab ∈ Hi y además a−1 ∈

T T T
Hi
i i i
por denición de grupo en cada Hi .

Por lo tanto Hi 6 G.
T
i

Ejemplo 1.17. Regresando al ejemplo 1.16, con la notación del ejemplo 1.3.
Se procederá a encontrar tanto las clases izquierdas como derechas del subgrupo
H = {e, c} del grupo de simetrías del triángulo. Recordando que el grupo G =
{e, a, b, c, d, f }.

14
 Izquierda Derecha
aH = {a, f } Ha = {a, d}
bH = {b, d} Hb = {b, f }
cH = {c, e} Hc = {c, e}
Por los resultados anteriores se sabe que aH = f H , bH = dH y cH = eH = H ; así
mismo, Ha = Hd, Hb = Hf y Hc = He = H .

Y resulta ser que todas las clases tienen el mismo orden que el subgrupo H y
este número cumple con la siguiente armación:

Teorema 1.3.2 (Lagrange). Sea G un grupo nito y H < G. El orden de todo

subgrupo H divide al orden del grupo G. Esto es ◦(H) | ◦(G).
Demostración. Sabemos que G = ∪ ai H donde cada clase es disjunta y ◦(aH) =
ai ∈G
◦(H) ya que son biyecciones, como se observó en la nota de la denición 1.14.
Entonces ◦(G) = ◦ (ai H) sobre los representantes (sin repeticiones). Dado que
P
ai ∈G
cada clase es de orden ◦(H), se tiene que o(G) = k ◦ (H). Por lo tanto ◦(H) |
◦(G).

Al cociente
◦(G)
◦(H)
se le llama índice del subgrupo H y se denota por [G : H].
El teorema de Lagrange tiene como consecuencia:

Corolario 1.3.1. Sea G un grupo nito y a ∈ G. El orden de todo elemento a ∈ G

divide al orden del grupo.
Demostración. Supongamos que ◦(a) = m para algún g ∈ G entonces generará un
subgrupo H de la forma H = {e, a, a2 , . . . , am−1 } que es cíclico, y además, ◦(H) = m
y por el teorema 1.3.2, ◦(H)| ◦ (G) así, ◦(g)| ◦ (G).

Proposición 1.2. Un grupo G de orden primo es cíclico y cualquier elemento (dis-

tinto de e) puede ser su generador.
Demostración. Si el grupo es de orden primo, digamos p, por el teorema 1.3.2 se
tiene que cada subgrupo tendrá únicamente 1 elemento o p elementos. Por consi-
guiente, H = {e} o H = G y sabemos que al tomar un elemento g 6= e ∈ G sus
potencias generarán un subgrupo cíclico de la forma H = {e, a, a2 , . . . , ap−1 } = G
entonces G cíclico.

Proposición 1.3. Todos los grupos de orden p donde p es un número primo son
isomorfos.

15
Demostración. Si se tienen dos grupos G1 y G2 de orden p, se tiene que son cíclicos
del mismo orden, entonces se puede construir una biyección φ : G1 → G2 de manera
p−1
que si G1 = {e, a1 , a21 , . . . , a1 } y G2 = {e, a2 , a22 , . . . , ap−1
2 }, los asociamos de la
siguiente manera:
φ(a1 ) = a2 ,

entonces se cumple

φ(am n m+n
1 a1 ) = φ(a1 ) = am+n
2 = am n m n
2 a2 = φ(a1 )φ(a1 ).

Y concluimos que G1 ∼
= G2 .

Todos los grupos están relacionados con subgrupos de un grupo de permuta-

ciones, como arma el siguiente teorema:

Teorema 1.3.3 (Cayley). Todo grupo es isomorfo a un subgrupo de un grupo de

permutaciones.
Demostración. Consideremos la función ψ : G → SG dada por ψ(a) = ϕa , donde
ϕa : G → G tal que x 7→ ax.
Comenzaremos mostrando que ψ está bien denida, es decir, que ϕa es una
biyección.
Si ϕa (x) = ϕb (x), tenemos
ax = bx

y por la ley de cancelación,

a = b.

Por otro lado, dado ϕa (x) = ax para cada x ∈ G, la imagen de esta función
son ◦(G) elementos distintos. Como G es un grupo, entonces cada elemento tiene
una preimagen. Por lo tanto, ψ es una biyección.
Para concluir, basta mostrar que ψ es un homomorsmo inyectivo y que su
imagen es un subgrupo de SG .
Dado ψ(a) = ϕa (x), se tiene

ψ(ab) = ϕab (x) = abx = a(bx) = ϕa ϕb (x)

y es inyectivo ya que ϕa lo es.

Dada la denición de ψ(a) = ϕa (x), entonces

Im(ψ) = ϕa (G) ⊂ SG .

16
Lema 1.3.2. Los isomorsmos de un grupo con la composición forman un grupo.
Demostración. En la proposición 1.1 se probó que la composición de homomorsmos
es cerrada y de las propiedades de los isomorsmos, sabemos que conservan elemen-
tos neutros y por ser biyecciones, tienen inversos. La asociatividad puede probarse
de manera similar a la composición de permutaciones. Entonces es un grupo.

Denición 1.15. A los isomorsmos φ : G → G los llamaremos automorsmos

de G y se denotarán por Aut(G). Y a los automorsmos de la forma φ : G → G de
la forma φa = axa−1 se les llama automorsmos internos, denotados por Inn(G).
Nota 1.1. Aut(G) con la composición forman un grupo. Este es un caso particular del
lema 1.3.2, donde se probó que todos los isomorsmos de grupos con la composición
son un grupo. En este caso, estamos considerando los isomorsmos de un grupo en
él mismo.
En el caso Inn(G), mostramos que de hecho son automorsmos:
Consideremos φab : G → G tal que x 7→ (ab)x(ab)−1 , entonces

φab = abx(ab)−1 = abxb−1 a−1 = φa (bxb−1 ) = φa (φb (x)) = φa φb (x) ∈ Inn(G).

φab es un automorsmo para cualquier par de elementos a, b ∈ G. Así, la composición

es cerrada en Inn(G), de donde Inn(G) < Aut(G).

Ejemplo 1.18. Consideremos el grupo de simetrías del triángulo equilátero, donde

cada vértice tiene una etiqueta (A, B, C). Al multiplicar dos simetrías, se obtiene
una nueva simetría, que es una permutación de las letras A, B y C. De esta forma,
existe un isomorsmo entre las simetrías del triángulo equilátero y las permutaciones
de las 3 letras. Pero el isomorsmo no está denido de manera única, ya que depende
de cómo sean colocadas las letras A, B y C en cada vértice.

A(B)

B(C) C(A)

Figura 1.3. Cambio de notación en los vértices de un triángulo equilátero

Como se muestra en la gura, se cambió el orden de las etiquetas y esto fue a

través de la permutación !
A B C
g=
B C A

17
a la cual llamaremos nueva notación. Sea h la permutación correspondiente a la
altura trazada en la gura 1.3, obtenemos

h
original : (A, B, C) 7→ (A, C, B)
h
nueva notación : (B, C, A) 7→ (C, B, A)

Obteniendo de esta forma las permutaciones g y gh respectivamente. Se desea averi-

guar cómo se ve el cambio de notación g tras la permutación h. Para ello se necesita
regresar a la notación original, esto es, aplicar g −1 , teniendo la notación original,
realizamos la permutación h, obteniendo el producto hg −1 y por último, se cambia
de notación. El producto nal es ghg −1 , que es un automorsmo interno.

Cada subgrupo bajo un automorsmo interno es, en general, distinto del origi-
nal, por ejemplo si tomamos un subgrupo que consta de la identidad y la reexión con
respecto a una altura del triángulo equilátero, un automorsmo interno lo enviará
al subgrupo que contiene a la identidad y la reexión con respecto a otra altura. Sin
embargo, existen grupos que son invariantes bajo automorsmos internos, llamados
subgrupos normales, como el subgrupo de rotaciones del triángulo.

Ejemplo 1.19. Para encontrar los automorsmos del grupo H = {e, c} < S3 .
Calculamos únicamente los elementos generados con la reexión c, ya que aea−1 = e
para cada a ∈ G:
aca−1 = acb = d
bcb−1 = bca = f
ccc−1 = c3 = c
dcd−1 = dcd = f
f cf −1 = f cf = d
Donde f, d, c son las permutaciones que corresponden a las reexiones con respecto
a las 3 alturas del triángulo equilátero. Obteniendo así, los subgrupos: aHa−1 =
f Hf −1 = {e, d} < G, bHb−1 = dHd−1 = {e, f } < G y cHc−1 = H < G.

Denición 1.16. Sea G un grupo y H < G tal que la imagen de H bajo todos
los automorsmos internos es él mismo, se dice que H es un subgrupo normal de
G, es decir H es subgrupo normal de G si para todo a ∈ H y para todo g ∈ G, el
elemento gag −1 ∈ H . Si H es subgrupo normal de G, se escribe H C G.

De esto se deriva el siguiente resultado:

Proposición 1.4. H es un subgrupo normal de G si y sólo si sus clases laterales

izquierdas coinciden con las derechas, es decir gH = Hg .

18
Demostración.
(⇒) Si H C G, para cada g ∈ G y para cada h ∈ H , como es invariante bajo
Inn(H), cada φg (a) = gag −1 = b donde a, b ∈ H , entonces ga = bg , donde ga ∈ gH
y bg ∈ Hg , como es el mismo elemento, se cumple gH = Hg .
(⇐) Sea a ∈ N y g ∈ G elementos arbitrarios, como gH = Hg , entonces
ga ∈ gN y ga ∈ N g , es decir que existe b ∈ N tal que ga = bg , de donde gag −1 ∈ N
y dada la arbitrariedad de los elementos escogidos, N = gN g −1 , es decir N C G.

Proposición 1.5. Inn(G) C Aut(G).

Demostración. Sabemos (ver nota 1.1) que InnG < Aut(G), falta mostrar que es
normal. Sea a ∈ G probaremos que aInn(G)a−1 = Inn(G).
Tomemos un elemento arbitrario bgb−1 ∈ Inn(G) y el producto

a(bgb−1 )a−1 = ab(g)b−1 a−1 = (ab)g(ab)−1

es un nuevo automorsmo interno, entonces es una biyección de Inn(G) es Inn(G).

Por lo que Inn(G) C Aut(G).

Por el teorema 1.3.2 sabemos que el orden de todo subgrupo divide al de un

grupo. Cuando el número que resulta al dividir el orden del grupo por el del subgrupo
es 2, este subgrupo siempre es normal, en otras palabras:

Proposición 1.6. Todo subgrupo de índice 2 es normal.

Demostración. Sea ◦(G) = m y ◦(H) = m/2, consideremos H = {a1 , a2 , . . . , an/2 }
entonces H c = {an/2+1 , an/2+1 , . . . , am }. Se tiene que la partición divide a los ele-
mentos que estén o no en H . Dado g ∈ G , g ∈ H si y sólo si gH = H = Hg ,
mientras si g ∈
/ H , implica que g ∈ gH = G − H con las particiones izquierdas, y
análogamente, g ∈ Hg = G − H , de donde gH = Hg , es decir H C G.

Todo subgrupo de un grupo G genera una partición, como se vio en 1.3.1 y

cuando H C G esta es una relación de equivalencia.
Si denimos una operación ∗ entre estas clases, tal que si x1 , x2 ∈ x1 H y
y1 , y2 ∈ y1 H donde x1 H, y1 H son clases de la partición generada por el subgrupo
normal H , los productos x1 y1 y x2 y2 pertenecen a la misma clase.
Sabemos que x2 ∈ x1 H y y2 ∈ y1 H , entonces existen a, b ∈ H tales que x2 = ax1
y y2 = y1 b, como y1 H = Hy1 , entonces existe c ∈ H tal que ay1 = y1 c.
así, el producto x2 y2 = x1 ay1 b = x1 y1 bc, como bc ∈ H , entonces x2 y2 , x1 y1 ∈
x1 y1 H .

19
 De esta forma, multiplicando dos elementos en distintas clases de partición, se
genera el producto: Sea A = xH , B = yH , A ∗ B = xyN .

Denición 1.17. La partición generada por H C G con la operación denida an-

teriormente entre elementos de dicha partición, es denotada por G/H y se llama
grupo cociente de G por H .
A continuación, se vericará que los elementos del grupo cociente bajo esta
operación forman un grupo.

1. Sean T1 , T2 , T3 clases laterales, y supongamos que Ti = xi N (i ∈ [1, 3]), enton-

ces
(T1 ∗ T2 ) ∗ T3 = (x1 Hx2 H)x3 H = (x1 x2 H)x3 H

= x1 x2 x3 H = x1 H(x2 x3 H) = T1 ∗ (T2 ∗ T3 ).

2. Sea H un subgrupo normal y T una clase lateral tal que T = bH = Hb para

algún b ∈ G entonces

HT = HbH = (eb)H = H(eb) = Hb = T = bH = (be)H = bHeH = T H,

por lo tanto, HT = T = T H .

3. Para toda clase lateral T existe T −1 tal que T T −1 = T −1 T = H Sea H =

eH = He y T = aH , a ∈ G
)
eH = (aa−1 )H = aHa−1 H = T a−1 H
Donde a−1 H es la clase T −1 .
eH = (a−1 a)H = a−1 HaH = a−1 HT

Ejemplo 1.20. Consideremos ahora al grupo de rotaciones del triángulo equilátero

como subgrupo de las simetrías del mismo. Los grupos cocientes serán:
Dado G = {e, a, b, c, d, f } y H = {e, a, b}, se tiene que G/H = {{e, a, b}, {c, d, f }}
o bien, las clases de equivalencia de los elementos [a] = aH = H y [c] = cH entonces
G/H = {H, cH} = {H, H c }, donde H c es el complemento de H .

Los grupos cocientes cumplen las siguientes propiedades, ver demostración en

(Dummit y Foote, 2004):

1. G/{e} ∼
= G.

2. G/G ∼
= {e}.

20
 3. (G1 × G2 )/(G1 × {e}) ∼
= G2 y (G1 × G2 )/({e} × G2 ) ∼
= G1 .

4. Si H1 C G1 y H2 C G2 , entonces (G1 × G2 )/(H1 × H2 ) ∼

= G1 /H1 × G2 /H2 .

Denición 1.18. En un grupo G, dos elementos a, b ∈ G conmutan si ab = ba.

Cuando estos no conmutan, su grado de no conmutatividad puede medirse con
el producto aba−1 b−1 . Este producto es llamado conmutador de los elementos a
y b. Al grupo formado por los productos nitos de elementos conmutadores se le
llama grupo conmutador o derivado de G, denotado por [G, G] = G0 . Nótese que
G0 = {e} si el grupo G es abeliano, ya que cualquier elemento de la forma aba−1 b−1
es igual al elemento e.

Proposición 1.7. G0 C G.
Demostración. Sean a, b ∈ G0 entonces ab ∈ G0 , con esto tenemos G0 = {x1 · x2 · . . . ·
xn | xi = ai bi a−1 −1
i bi , ai , bi ∈ G}

1. e ∈ G0 : en efecto, al expresar e = eee−1 e−1 se obtiene un conmutador, entonces

e ∈ G0

2. x ∈ G0 entonces x−1 ∈ G0 :

Sea x = aba−1 b−1 , entonces

x−1 = (aba−1 b−1 )−1 = (b−1 )−1 (a−1 )−1 b−1 a−1 = bab−1 a−1 .

x−1 también es un conmutador y en efecto

xx−1 = aba−1 b−1 bab−1 a−1 = aba−1 ab−1 a−1 = abb−1 a−1 = aa−1 = e.

Este principio también se cumple para productos, es decir:

n n
!−1 1
Y Y Y
X= xi ⇒ X −1
= xi = x−1
i
i=1 i=1 i=n

de donde G0 < G

3. G0 C G si para cada X ∈ G0 y para cada g ∈ G, gXg −1 ∈ G0

Qn
sea X = i=1 xi y tomemos gXg −1 entonces,
Q1 −1
g −1 = gx1 x2 . . . xn g −1


g i=n xi =
gx1 (g −1 g)x2 (g −1 g) . . . (g −1 g)xn g −1 = 1i=n (gx−1 −1
Q
i g ).

21
 Sustituyendo xi = ai bi a−1 −1
i bi en gxi g −1 , se tiene

gxi g −1 = g(ai bi a−1 −1 −1

i bi )g = (gai g −1 )(gbi g −1 )(ga−1 −1 −1 −1
i g )(gbi g ),

donde los últimos dos factores son los inversos de los primeros dos factores

(gai g −1 )−1 = (g −1 )−1 a−1

i g
−1
= ga−1
i g
−1
y

(gbi g −1 )−1 = (g −1 )−1 b−1

i g
−1
= gb−1 −1
i g .

Que también son conmutadores, por lo tanto, G0 C G.

Ejemplo 1.21. En las simetrías del triángulo, los únicos subgrupos normales son
los triviales G, {e} y las rotaciones H = {e, a, b} . Si tomamos, por ejemplo las
rotaciones y dos elementos a (una rotación) y f (una reexión con respecto a una
altura). Tenemos que los inversos de rotaciones son también rotaciones y el inverso
de las reexiones son ellas mismas, por ser de orden 2. Entonces independientemente
del elemento a escoger, las rotaciones permanecen invariantes, es decir af a−1 f −1 es
una rotación y todos los productos volverán a generar a H , así G0 = H .

Proposición 1.4. Sea G un grupo, G0 es el subgrupo normal más grande de G tal

que G/G0 es conmutativo.

Demostración. Sea G/N con N C G.

ˆ Si G/G0 es abeliano. Tomando las clases aG0 , bG0 y su producto, tenemos

abG0 = (aG0 )(bG0 ) = ab(a−1 b−1 ba)G0 = ab(b−1 a−1 ba) = a(bb−1 )a−1 baG0 = baG0 .

ˆ Si G/N es conmutativo entonces G0 ⊆ N . Como G/N es abeliano, ab = ba ∈

G/N , de donde abG/N = baG/N , así

ab(G/N )a−1 b−1 (G/N ) = aba−1 b−1 (G/N ) = e(G/N ) = G/N

y todos los elementos de la forma aba−1 b−1 ∈ N entonces N ⊆ G0 .

22
 D1 C1

A1
B1

D C

A B

Figura 1.4. Tetraedro inscrito en un cubo

Ejemplo 1.22. Los vértices B, D, A1 , C1 de la gura 1.4 forman un tetraedro

inscrito en un cubo. Uniendo los otros vértices, B1, D1, A, C se formará un segundo
tetraedro. Las rotaciones del grupo forman un grupo, C 4 , donde dada una rotación
del cubo, se producirá una rotación que deje jos ambos tetraedros o los intercambie
entre sí.
Las rotaciones que dejan jos a los tetraedros forman un subgrupo normal de
las rotaciones del cubo. Las rotaciones de un tetraedro forman un grupo T dentro
del grupo de rotaciones del cubo, por lo que T < S , más aún, T C C , ya que una
rotación g y su inversa g −1 , ambas intercambian o dejan jos a los tetraedros, es
decir T = gT g −1 y puede mostrarse que C 0 = T y además hay un homomorsmo de
T en C .

Anteriormente, vimos que los homomorsmos φ : G → F preservan el elemento

neutro, inversos y el orden de un elemento, en el caso de la conmutatividad, tenemos
que Si G es conmutativo, F también.
Si G es conmutativo, ab = ba, entonces φ(ab) = φ(ba), y tenemos que

φ(ab) = φ(a)φ(b)
φ(ba) = φ(b)φ(a)

Por lo tanto
φ(a)φ(b) = φ(b)φ(a)

Entonces F es conmutativo, por otro lado, el recíproco no es cierto, ya que si tenemos

F conmutativo,
φ(a)φ(b) = φ(b)φ(a),

pero φ es una función sobreyectiva, entonces φ(a) puede tener más de una preimagen,

4 ver (Alekseev, 2004), Cap 1.12.

23
digamos a0 6= a, entonces
φ−1 (b)φ−1 (a) = ba0

φ−1 (a)φ−1 (b) = ab,

entonces ba0 = ab, de donde ba 6= ab, por lo que G no es necesariamente conmutativo.

1.3.1. Homomorsmos y subgrupos

Estudiamos los homomorsmos de grupos y veremos ahora qué propiedades de

los subgrupos se conservan bajo homomorsmos.
Dado un grupo G, H ⊂ G y un homomorsmo de grupos φ : G → F . Al
conjunto de elementos que tienen al menos una preimagen en H es llamado la
imagen de H por el homomorsmo φ y se denota por φ(H). Asimismo, si se tiene
P ⊂ F , al conjunto de elementos cuya imagen están en P es llamado la preimagen de
P bajo el homomorsmo φ y se denota por φ−1 (P ). En consecuencia φ−1 (P ) ⊂ H ,
pero no es necesariamente igual:5

1. Si H < G, entonces φ(H) < F .

2. Si N < F , entonces φ−1 (N ) < G.

Estas propiedades también son válidas para subgrupos normales, es decir:

3. Sea H C G, entonces φ(H) C F .

4. Si H C F , entonces φ−1 (H) C G.

Para el grupo derivado, se cumple:

5. Considérese G0 y F 0 entonces φ(G0 ) ⊆ F 0 y G0 ⊆ φ−1 (F 0 ).

6. φ(G0 ) = F 0 , sin embargo G0 6= φ−1 (F 0 ).

5 Estas armaciones son necesarias para denir a un grupo soluble, la demostración de las mismas
puede verse en el capítulo 1.14 de (Alekseev, 2004).

24
Figura 1.5. En este homomorsmo de grupos, puede notarse que la imagen del homomor-
smo no es necesariamente igual a todo el conjunto F . Fuente: imagen tomada de(Alekseev,
2004).

Denición 1.19. Sea G un grupo y N C G. El homomorsmo φ : G → G/N se

llama homomorsmo natural y es sobreyectivo. En el caso del subgrupo trivial
{e}, φ es una biyección, por lo que G ∼
= G/{e}. A cada subgrupo normal corres-
ponde un homomorsmo y cada homomorsmo sobreyectivo puede verse como un
homomorsmo natural con un subgrupo normal adecuado.

Denición 1.20. Al conjunto de elementos en G tal que φ(g) = eF se le llama

núcleo de φ y se denota por ker(φ).
En todo homomorsmo de grupos φ : G → F , el núcleo está bien denido. En
el caso de que φ : G → F sea sobreyectivo, entonces un elemento en el grupo F
puede tener más de una preimagen, en particular, ◦(ker(φ)) > 1.

Proposición 1.8. ker(φ) C G.

Demostración. ker(φ) = {g ∈ G | φ(g) = eF }.
Sea φ(a) = eF y φ(b) = eF , entonces

φ(ab) = φ(a)φ(b) = eF eF = eF por lo que φ(ab) ∈ ker(φ).

Por otro lado, si a ∈ ker(φ), entonces a−1 ∈ ker(φ), y se cumple

φ(aa−1 ) = φ(a)φ(a−1 ) = φ(a) [φ(a)]−1 = eF e−1

F = eF entonces [φ(a)]
−1
∈ ker(φ).

De esto, ker(φ) < G.

Considérese ahora φ(gag −1 ), entonces se tiene que

φ(gag −1 ) = φ(g)φ(a)φ(g −1 ) = φ(g)eF [φ(g)]−1 = φ(g) [φ(g)]−1 = eF ,

25
de donde φ(gag −1 ) ∈ ker(φ) y por lo tanto ker(φ) C G.

Teorema 1.3.4 (Primer teorema de isomorfía). Sea φ : G → F un homomorsmo

de grupos. Entonces G/ ker(φ) ∼
= F.

Demostración. Para demostrar que ψ : G/ ker(φ) → F es isomorsmo, se mostrará

que:

a) ψ : G/ ker(φ) → F está bien denido.

Sea g ∈ G arbitrario, consideremos la correspondencia g ker(φ) 7→ φ(g), esta está

bien denida, ya que no depende de la clase g ker(φ) que se escoja.

b) ψ es homomorsmo biyectivo.

Sean g, g 0 ∈ G, entonces g ker(φ), g 0 ker(φ) ∈ G/ ker(φ).

ψ(g ker(φ)g 0 ker(φ)) = ψ(gg 0 ) = ψ(g)ψ(g 0 ) = ψ(g ker(φ))ψ(g 0 ker(φ)),

entonces es homomorsmo y supóngase que ψ(g ker(φ) = ψ(g 0 ker(φ)), de donde

g ker(φ) = g 0 ker(φ),

dado que g ∈ g ker(φ) y g 0 ∈ g 0 ker(φ), entonces

φ(g) = ψ(g ker(φ)) = ψ(g 0 ker(φ)) = φ(g 0 ).

De donde g ker(φ) = g 0 ker(φ) entonces ψ es inyectiva, ahora bien, dado que φ es

sobreyectivo, para todo f ∈ F existe algún g ∈ G tal que φ(g) = f y sabemos
que g ∈ g ker(φ) entonces

ψ(g ker(φ)) = φ(g) = f.

Entonces ψ es también sobreyectiva, por lo que ψ es biyectiva.

Proposición 1.9. Sea N1 C G1 y N2 C G2 , entonces N1 × N2 C G1 × G2 y G1 ×G2

N1 ×N2
∼
=
G1 /N1 × G2 /N2

Demostración. Del ejemplo 1.15 se tiene este resultado para subgrupos, falta mos-
trar que conserva la condición de ser subgrupo normales. Dado que G1 ×G2 ∼
= G1 /N1 ×
N1 ×N2
G2 /N2 , vemos que φ : G1 × G2 → G1 /N1 × G2 /N2 es el homomorsmo natural, en-
tonces es sobreyectivo.

26
 Si consideramos ker(φ), es de la forma

φ((g1 , g2 )) = (φ(g1 ), φ(g2 ))donde φ((g1 , g2 )) = (eG1 /N1 , eG2 /N2 ),

que son las clases laterales que contienen a e en cada cociente G1 /N1 y G2 /N2 y esto
si y sólo si

φ(g1 ) = G1 /N1
φ(g2 ) = G2 /N2

si y sólo si ker(φ) = N1 × N2 , por lo tanto, N1 × N2 C G1 × G2 .

1.4. Grupos solubles

Otra clase de grupos tan importantes como los grupos abelianos son lo grupos
solubles. Su nombre proviene de que la posibilidad de resolver ecuaciones algebraicas
por radicales, que depende de la solubilidad de los grupos que asociaremos en el
Capítulo 3 a este tipo de ecuaciones.
Si G es un grupo y G0 su conmutador. Como G0 es un grupo, puede considerarse
también su conmutador de manera recursiva, generando así la serie derivada,

G, G0 , G00 , G(3) , G(4) , . . . , G(n) = {G(j) }j∈N ,

donde G(n) = G(n−1) ' y por la proposición 1.7, se cumple que

G(n) C G(n−1) C . . . C G00 C G0 C G.

Denición 1.21. Si la serie derivada, {G(j) }j∈N termina para algún número entero
n, es decir G(n) = {e} se dice que el grupo G es soluble.
Ejemplo 1.23. Para todo grupo abeliano G, se cumple que G0 = {e}, entonces la
serie derivada termina para n = 1.

Si un grupo es soluble, se cumplirán las siguientes proposiciones:

Proposición 1.10. Todo subgrupo de un grupo soluble es soluble.

Demostración. Si H < G entonces H 0 ⊆ G0 y cada H (j) ⊆ G(j) dado que G soluble,
H (n) ⊆ G(n) = {e} para algún n entonces H (m) = {e} para algún m 6 n.

27
Proposición 1.11. Sea φ : G → F un homomorsmo sobreyectivo, donde G es
soluble, entonces F es soluble.

Demostración. De las propiedades del subgrupo conmutador, se tiene que φ(G0 ) =

F 0 y dado que G es soluble, G(n) = {e} para algún n. Entonces

φ(G(n) ) = φ(eG ) = eF , (1.1)

φ(G(n) ) = F (n) . (1.2)

De las ecuaciones 1.1 y 1.2 se tiene que F (n) = eF , entonces F es soluble.

Proposición 1.12. Sea G un grupo soluble y N C G, entonces G/N es soluble.

Demostración. Consideremos el homomorsmo natural φ : G → G/N como φ es

sobreyectivo, G/N es soluble (por resultado de la proposición 1.11).

Proposición 1.13. Sean G un grupo tal que N < G y G/N son solubles, entonces
G es soluble.

Demostración. Considerando el homomorsmo natural φ : G → G/N donde φ(G0 ) =

(G/N )0 , como G/N es soluble, existe algún n tal que (G/N )(n) = {e}, entonces

(G/N )(n) = φ(G(n) ) = {e}.

Por otro lado, G(n) ⊆ N y dado que N es soluble, existe algún entero m tal que
N (m) = {e}, así:
G(n+m) ⊆ N (m) = {e},

donde m + n es un entero nito y, por lo tanto, G es soluble.

Proposición 1.14. Sea G y F dos grupos solubles, su producto G × F es también

soluble.

Demostración. Por las propiedades del producto directo de grupos y grupos cocien-
tes (propiedad 1), se tiene que:

G×F ∼
=F
G × {ef }
G×F ∼
=G
{eg } × F

28
Entonces consideremos los homomorsmos sobreyectivos

G×F ∼
φ1 : G × F → =F
G × {ef }
G×F ∼
φ2 : G × F → =G
{eg } × F

Como F y G son solubles, se cumplen las condiciones de la proposición 1.14, para

que G × F sea soluble.

Si un grupo no es conmutativo, se cumplirá lo siguiente:

Proposición 1.15. Si un grupo G no es conmutativo y sus únicos subgrupos nor-

males son los triviales, entonces G no es soluble.

Demostración. Si G no es conmutativo, entonces G0 6= {e}, dado que sus únicos

subgrupos son los triviales, G0 = G, de donde G(n) = G para cualquier n, entonces
no existe n tal que G(n) = {e} y por lo tanto G no es soluble.

Otra forma equivalente para denir a los grupos solubles es:

Denición 1.22. G es un grupo soluble, si y sólo si existe una sucesión de subgrupos

del mismo G0 , G1 , . . . , Gn tales que cada Gi C Gi−1 y cada cociente Gi−1 /Gi es
conmutativo, donde G0 = G y Gn = {e}.

Proposición 1.16. Las deniciones de grupos solubles 1.21 y 1.22 son equivalen-
tes.

Demostración.
(⇒) Si G es soluble, podemos considerar la serie derivada, donde G0 = G(0) = G
y Gn = G(n) = {e} para algún n, por la Proposición 1.7, se tiene que G(n) C . . . C
G(2) C G(1) C G(0) = G, es decir que cada Gi C Gi−1 . Y de la propiedad 1.3 se tiene
que cada Gi−1 /Gi es conmutativo.
(⇐) Si Gi C Gi−1 y Gi−1 /Gi es conmutativo, entonces G(i−1) ⊆ Gi (Propiedad
1.3), entonces
G0i−1 ⊆ Gi

G00i−1 ⊆ G0i−1
..
.
(n+1) (n)
Gi−1 ⊆ Gi−1 ,

29
 (n) (n−1)
entonces G0 ⊆ G1 ⊆ . . . ⊆ G(n) = {e}, como Gn es conmutativo, se cumple
(n+1)
G0 = {e}. Por lo tanto G es soluble.

1.4.1. Grupos simétricos y su solubilidad

En esta sección se estudiarán aspectos importantes de los grupos simétricos
Sn , una parte esencial en estos grupos es su solubilidad. Recordando que los grupos
simétricos son el grupo formado por las permutaciones de un arreglo de n elementos,
cada permutación del mismo puede ser representada de la forma
!
1 2 3 ... n
σ= ,
i1 i2 i3 . . . in
donde cada ik es la imagen del elemento k bajo la permutación σ .
Estas permutaciones puede jar algunos elementos e intercambiar el resto de
forma cíclica.

Ejemplo 1.24. Considérese el arreglo

!
1 2 3 4 5 6
.
1 4 3 6 2 5

Esta permutación ja a los elementos 1 y 3, y envía los elementos 2 → 4, 4 → 6, 6 → 5

y 5 → 2. Es decir, que permuta cíclicamente a 2, 4, 6 y 5.

Denición 1.23. Llamaremos ciclos a las permutaciones cíclicas de los n elemen-

tos. En el ejemplo 1.24 el ciclo que permuta a los elementos 2, 4, 6, 5 se denotará
(2 4 6 5). Algunas permutaciones no son cíclicas, por ejemplo
!
1 2 3 4 5 6
,
4 3 6 1 5 2

sin embargo estas pueden ser representadas como un producto de ciclos, así,
!
1 2 3 4 5 6
= (14)(236).
14 3 6 1 5 2

A los ciclos que no tienen elementos en común, los llamamos ciclos independien-
tes.
Así, puede mostrarse fácilmente el siguiente lema, que será importante en los
siguientes capítulos:

30
Lema 1.4.1. Sn no es conmutativo para n > 3
Demostración. Considérense dos permutaciones en S3
! !
1 2 3 1 2 3
a= , b= .
2 1 3 3 1 2

Escritos en forma de ciclos, se tiene que a = (12) y b = (132) y los productos

! !
1 2 3 1 2 3
ab = = (13), ba = = (23).
3 2 1 1 3 2

Entonces ab 6= ba y, en general, para n > 3 pueden tomarse las permutaciones a y

b, dejando jos a los demás elementos y se cumplirá ab 6= ba en todos los casos.

Lema 1.4.2. Toda permutación se puede representar de forma única como producto
de ciclos independientes.
Demostración. Consideremos una permutación en Sn tal que im−1 7→ im donde
2 6 m 6 n donde que im es el primer elemento que cierra un ciclo. Luego se toma
un elemento que no pertenezca al primer ciclo obtenido (i1 i2 . . . im ) y se construye
un segundo ciclo (digamos de r elementos), obteniendo el producto

(i1 i2 . . . im )(im+1 im+2 . . . im+r ) . . .

Se procede tomando un elemento que no pertenece a los elementos del producto

anterior, este procedimiento es nito, ya que el arreglo tiene una cantidad nita de
elementos, de manera que la permutación es de la forma:

(i1 i2 . . . im )(im+1 im+2 . . . im+r ) . . . (ik . . . in ),

donde cada ciclo es independiente. Esta representación es única, ya que entre ciclos
independientes el producto es abeliano.

Denición 1.24. Cuando un ciclo tiene únicamente dos elementos, es llamado

transposición y cuando las transposiciones son de la forma (1 2), (2 3), ..., (n−1 n)
se llaman transposiciones elementales.

A partir de esto, se tienen las siguientes armaciones

Lema 1.4.3. Todo ciclo se puede representar como producto de transposiciones.

31
Demostración. Consideremos el grupo Sn y ciclos de m elementos. En efecto, si m =
1 un 1-ciclo (identidad) puede ser representado como (1k)(k1), cuando m = 2 es ya
una transposición. En general, si m es par, habrá m/2 transposiciones independientes
y si es impar habrá m − 1/2 transposiciones independientes y cualesquiera 2 que
sean la identidad, así la representación no será única, ya que se puede escoger un
elemento arbitrario de las transposiciones anteriores para representar la identidad.
Y, de forma general, se cumple que para todo ciclo de orden m

(i1 i2 . . . im ) = (i1 im )(i1 im−1 ) . . . (i1 i2 ).

Lema 1.4.4. Toda transposición se puede representar de forma única como producto
de transposiciones elementales

Demostración. Sean (i1 i2 )(i2 i3 ) . . . (in−1 in ) las transposiciones elementales y sea

1 6 m 6 k 6 n, consideremos la transposición (im ik ).
Si k = m + 1, entonces (im ik ) = (im im+1 ).
Si K = m + 2, entonces (im ik ) = (im im+1 )(im+1 im+2 )(im im+1 ).
..
.
En general, para cualquier k se tiene

(im ik ) = (im im+1 )(im+1 im+2 ) . . . (ik−1 ik )(ik−2 ik−1 ) . . . (im+1 im+2 )(im im+1 ).

En consecuencia de los lemas 1.4.2, 1.4.3 y 1.4.4 se tiene el siguiente teorema:

Teorema 1.4.1. Si un subgrupo de Sn contiene todas las transposiciones elementa-

les, coincide con Sn .

Demostración. Si tiene todas las transposiciones elementales, tendrá a todos los

productos de las mismas. Por el Lema 1.4.4 esto genera a todas las transposiciones
y, por el Lema 1.4.3, a todos los ciclos.
Entonces se tendrán todos los posibles ciclos disjuntos, que generarán a todas
las permutaciones (Lema 1.4.2) de un arreglo de n elementos, esto es Sn .

Las permutaciones y transposiciones son intercambios de elementos en un arre-

glo, es decir, escribe a (1 2 3 . . . n) de forma arbitraria.

Denición 1.25. En una permutación, se dice que el par de elementos i, j son una
inversión si en el arreglo ordenado arbitrariamente aparece j antes que i, siendo
i < j.

32
 Consideremos la función  : Sn → {±1} tal que
(
1 si (i, j) no es inversión
(σ) =
−1 si (i, j) es inversión

El número de inversiones k dene la paridad de una permutación. Consideremos

ε(σ) = (−1)k el producto de los (σ). Cuando ε(σ) = 1, la permutación será una
permutación par, si ε(σ) = −1, será una permutación impar.
Teorema 1.4.2. Al intercambiar dos números, cambia la paridad de una permuta-
ción.

Demostración. Supóngase que en una permutación se intercambian los elementos in

e im y que existen r = m − n − 1 elementos en medio de ellos.
En el arreglo de in a im de la siguiente forma:

(. . . in a1 a2 . . . ar im . . .),

al intercambiarlos se tendrá

(. . . im a1 a2 . . . ar in . . .).

En el arreglo existen parejas de la forma (in , ai ), (ai , im ) y el par (in , im ) haciendo

un total de 2r + 1 parejas. Al intercambiarlos, se tendrán parejas de la forma (ai , in ),
(im , ai ) y el par (im , in ).
Supongamos que existen k 6 2r + 1 inversiones en esos pares y que el producto
de (σ) de cada pareja es 1 (k es par). Al intercambiar, las r − k que no eran
inversiones, ahora lo son, obteniendo:

2r + 1 − k es par si r es impar.

2r + 1 − k es impar si r es par.

En consecuencia, luego del intercambio, cambiará la paridad del número de

inversiones y por ende, la paridad de la permutación.

Del Teorema 1.4.2, se tiene:

Corolario 1.4.1. Al multiplicar una permutación por una transposición cambia su

paridad.

33
Demostración. Dado que una transposición es un intercambio de dos elementos, por
el teorema anterior, se cumple la armación.

Corolario 1.4.2. Una permutación par puede ser representada únicamente por el
producto de un número par de transposiciones y una impar, en un número impar de
transposiciones.

Demostración. Del Lema 1.4.3, se tiene que una permutación puede representarse
como producto de transposiciones, consideremos una permutación par descompues-
m
ta en m transposiciones σ = ai y sabemos que σ = eσ , donde e es el neutro
Q
i=1
(permutación par).
Dado que el producto de una permutación por una transposición cambia su
paridad, tenemos
e(a1 ) es impar.

e(a1 )(a2 ) es par.

e(a1 )(a2 )(a3 ) es impar.

..
.

e(am ) es par sólo si m es par.

y análogamente, e(am ) es impar sólo si m es impar.

De esto se tiene que el producto de dos permutaciones de la misma paridad,

darán como resultado una permutación par, así como permutaciones de paridades
opuestas darán como resultado una permutación impar. Dado que Sn es un grupo
cuya identidad e es una permutación par, se obtiene que el elemento inverso a−1
debe tener la misma paridad que a, para todo a ∈ Sn . De esto se tiene que las
permutaciones pares de grado n forman un grupo. A este grupo se le llama grupo
alternante de grado n y es denotado por An .
En consecuencia An < Sn y más aún, An C Sn ya que [Sn : An ] = 2, este
generará una partición de los elementos de An , es decir permutaciones pares y Acn ,
que son las permutaciones impares.

Proposición 1.17. El grupo An no es conmutativo para n > 4.

Demostración. Considérense las dos permutaciones pares en S4 escritas en forma de

ciclos

34
 (4 1 2) y (3 1 2) son permutaciones pares, de la forma
! !
1 2 3 4 1 2 3 4
a= = (412), b= = (312).
2 4 3 1 2 3 1 4

Y sus productos son

! !
1 2 3 4 1 2 3 4
ab = = (13)(24), ba = = (14)(23).
3 4 1 2 4 3 2 1

De donde se puede observar que ab 6= ba, utilizando estos ciclos y fjando el resto de
elementos en permutaciones de orden n > 4, se obtiene que los grupos An no son
conmutativos para n > 4.

Proposición 1.18. El grupo A5 no es soluble.

Demostración. Los grupos Sn tienen n! elementos y An tiene entonces n!/2 elemen-
tos. Entonces ◦(A5 ) = 60 del Teorema 1.3.2 sabemos que el orden de los subgrupos
de A5 debe dividir a 60. Entonces consideremos los distintos tipos de permutaciones
en A5
A5 son las permutaciones de orden par en S5 , veremos a continuación las par-
ticiones de 5.

Caso Partición Forma

(a) 1, 1, 1, 1, 1 e
(b) 1, 1, 1, 2 (i1 i2 )
(c) 1, 1, 3 (i1 i2 i3 )
(d) 1, 4 (i1 i2 i3 i4 )
(e) 5 (i1 i2 i3 i4 i5 )
(f) 1, 2, 2 (i1 i2 )(i3 i4 )
(g) 2,3 (i1 i2 )(i3 i4 i5 )

Tabla 1.3. Tipos de permutaciones en S5 .

ˆ El caso (a) nos proporciona 5 formas equivalentes de escribir a la identidad

como 1-ciclo, éste pertenece a todos los subgrupos de A5 .

ˆ En el caso (b), los 2-ciclos del tienen una inversión por ser el intercambio de
dos elementos (es impar), por lo que se necesitan dos, 2-ciclos para que sea
un posible subgrupo (caso (f)) de A5 . Estos pueden representarse de 8 formas,
entonces existen 120/8 = 15 de este tipo.

35
 ˆ Los 3-ciclos o el caso (c), tienen un número par de inversiones, y existen 5!/3! =
5 ∗ 4 = 20 elementos de este tipo. Esto nos permite descartar el caso (g).

ˆ Los 4-ciclos o caso (d) pueden tener 3 inversiones, que son impares, por lo que
no pueden representar a una permutación de grado 5 como ciclo independiente
de otro.

ˆ Por último, el caso (e) o los 5-ciclos son permutaciones pares, cada 5-ciclo
puede representarse de 5 formas equivalentes, entonces existen 120/5 = 24
5-ciclos

Consideremos ahora los casos posibles (c), (e), (f):

1. Si una permutación de la forma (c) pertenece a A5 , todas las demás también:

Tomemos (sin pérdida de la generalidad) a la permutación de tres elementos

h = (123), con (i1 i2 i3 ) arbitrarios y a los elementos i4 , i5 distintos en el arreglo
{i1 , i2 , i3 , i4 , i5 }. Entonces sólo en una de las permutaciones

g1 = (i1 i2 i3 i4 i5 ), g2 = (i1 i2 i3 i5 i4 )

hay un número par de inversiones. En cualquiera de los casos, se tiene

gi hgi−1 = (i1 i2 i3 ).

2. Si una permutación de la forma (e) pertenece a A5 , todas las demás también.

Consideremos dos casos:

ˆ Si g = (i1 i2 i3 i4 i5 ) es par, entonces ghg −1 = (i1 i2 i3 i4 i5 ) para cualquier

permutación g .

ˆ Si g = (i1 i2 i3 i4 i5 ) es impar, entonces podemos obtener una permutación

par g = (i1 i4 i2 i5 i3 ) tal que ghg −1 = (i1 i2 i3 i4 i5 ) y (ghg −1 )2 = (i1 i2 i3 i4 i5 ).

3. Como en los casos (c) y (e), consideraremos para el caso (f) a la permutación
h = (12)(34).
Sólo una de las permutaciones g1 = (i1 i2 )(i3 i4 ), g2 = (i2 i1 )(i3 i4 ) es par, en
ambos casos, el producto gi hgi−1 = (i1 i2 )(i3 i4 ).

Por lo tanto, si algún elementos de los tipos (c), (e), (f) pertenece a A5 , todos los
del respectivo tipo pertenecen a A5 .

36
 Cada clase de ciclos no cuenta a la identidad, por lo que el conjunto de los
5-ciclos más la identidad tiene 25 elementos y 25 - 60. Así mismo con los 3-ciclos,
se tendrán 21 elementos y 21 - 60. En el caso de los pares de 2-ciclos, se tendrán 16
elementos. Dado que ninguno divide a 60, por el Teorema 1.3.2, los únicos subgrupos
normales de A5 son los triviales. Como A5 no es conmutativo, por la Proposición
1.15, se sigue que no es soluble.

Otra forma de ver la no solubilidad del grupo A5 es inscribiendo en un do-

decaedro los 5 tetraedros regulares, de manera que cada rotación del dodecaedro
corresponda a una permutación par de los tetraedros y rotaciones diferentes, co-
rresponden a permutaciones impares, así, se construye un isomorsmo entre las
rotaciones del dodecaedro y el grupo de permutaciones pares de grado 5, A5 . Para
encontrar los tetraedros, se inscriben cubos en el dodecaedro, cuyos vértices son
los pares de vértices opuestos en el dodecaedro. Habiendo encontrado los 5 cubos,
conocidos como cubos de Kepler, se inscribe en cada uno un tetraedro como en el
ejemplo 1.22. Y dado que el grupo de simetrías del dodecaedro sólo tiene subgrupos
normales triviales, es no soluble.

Figura 1.6. Cubo inscrito en un dodecaedro. Fuente: imagen tomada de(Artin, 1991).

Teorema 1.4.3. Sn es soluble para 1 6 n 6 4.

Demostración. En el caso n = 1, es el grupo trivial, entonces es soluble.
Cuando n = 2, se obtienen dos permutaciones, la identidad y el intercambio
de los dos elementos, generando un grupo isomorfo a Z2 , que es abeliano y por
consiguiente, soluble.
Sea n = 3, el grupo S3 isomorfo a las simetrías del triángulo equilátero, no es
abeliano, pero tiene un subgrupo normal formado por las rotaciones, nombremos H
y S30 = S3 /H , que es abeliano, entonces S300 = (S3 /H)0 = {e}.
Si n = 4, encontraremos una cadena de subgrupos normales, así

S40 = A4

37
donde A4 son las permutaciones:

A4 = {(234), (243), (12)(34), (123), (124), (132), (134), (13)(24), (142), (143), (14)(23)}.

Nótese que los 3-ciclos (ijk) tienen inversas de la forma (ikj), mientras los 2-ciclos
A = (12)(34), B = (13)(24), C = (14)(23) con la identidad, forman un subgrupo
normal de A4 que es isomorfo a las rotaciones de un cuadrado, digamos V4 , y este
es un grupo abeliano. De donde

S400 = A04 = V4

y V40 = {e}.

Por lo tanto, es soluble.

Nota 1.2. Otra prueba de esto, es dada la solubilidad de S4 , consideremos las permu-
taciones que dejan jo un elemento y permutan los 3 elementos restantes, generando
un subgrupo de S4 isomorfo a S3 . De manera similar, S2 < S3 < S4 y por la propo-
sición 1.10, sabemos que todo subgrupo de un grupo soluble es soluble.

Teorema 1.4.4. Para n > 5, el grupo S5 no es soluble

Demostración. Sabemos que A5 C S5 y A5 no es soluble, por la proposición 1.10, S5
no es soluble.
Para el caso n > 5, consideraremos las permutaciones que dejen jo al arre-
glo {6, 7, . . . , n} y permuten los primeros 5 elementos. Formando un subgrupo de
Sn ,isomorfo a A5 .
Entonces para n > 5, todo Sn tiene un subgrupo isomorfo a A5 , el cual no es
soluble, por lo que Sn no es soluble para n > 5.

38
 2. NÚMEROS COMPLEJOS

En este capítulo estudiaremos las propiedades del campo de los números com-
plejos C, que son de gran importancia, ya que este C es la cerradura algebraica del
campo R. Por ser cerrado algebraicamente, se cumple el Teorema Fundamental del
Álgebra, es decir que cualquier polinomio con coecientes complejos tiene al menos
una raíz compleja. En particular, nos interesa estudiar ecuaciones polinomiales con
coecientes complejos y sus soluciones, que es equivalente a encontrar las raíces de
polinomios.

2.1. El campo de los números complejos

Denición 2.1. Sea F un conjunto, con dos operaciones binarias (+, ·) de manera
que cumple:

1. F forma un grupo conmutativo bajo adición (+).

2. F \ {0} forma un grupo bajo multiplicación (·).

3. Para cualesquiera a, b, c ∈ F , ambas operaciones se relacionan a través de la

distributividad:
a(b + c) = ab + ac.

Se dice que F es un campo.

Para cualesquiera a, b, c ∈ F , donde F es un campo se cumplen las siguientes
propiedades:

ˆ a0 = 0a = 0.

ˆ (−a)b = a(−b) = −(ab).

ˆ ab = 0 implica que a = 0 o b = 0.

ˆ (a − b)c = ac − bc.

39
 A continuación, analizaremos ejemplos de conjuntos que no son campos y con-
juntos que sí lo son:

Ejemplo 2.1. Los enteros, forman un grupo abeliano con respecto a la adición,
pero no forman un grupo bajo multiplicación, ya que no contiene a los inversos
multiplicativos, que deberían ser de la forma a−1 = 1
a
/ Z. Por lo tanto Z no puede
∈
ser un campo.

Ejemplo 2.2. Q es un grupo abeliano con respecto a la adición y, a diferencia de

los enteros, éste sí contiene a todos los inversos multiplicativos de la forma a−1 = 1
a
cuando a 6= 0.
Otro ejemplo de campo son los números reales, R.

Ejemplo 2.3. El conjunto de los números complejos C, tiene elementos iguales a

R × R = R2 con las operaciones denidas por:

(a, b) + (c, d) = (a + c, b + d),

(a, b) · (c, d) = (ac − bd, ad + bc),

también es un campo.
Notemos que todos elementos de C forman un grupo conmutativo con respecto
a la adición, ya que R lo es y, por lo tanto el producto R × R = R2 también lo es.
Para el producto, vamos a tomar z1 = (a, b), z2 = (c, d) y z3 = (e, f ) y nótese
que es una operación asociativa, esto es:
(z1 · z2 ) · z3 = (ace − bde − adf − bcf, acf − bdf + ade + bce) =
(a, b)(ce − df, de + cf ) = z1 · (z2 · z3 ).
El elemento neutro es e = (1, 0) ya que (a, b) · (1, 0) = (a, b) siempre se cumple.
Falta mostrar que existe (a, b)−1 = z −1 tal que z · z −1 = e. Suponiendo que z −1 =
(c, d), se tiene
z · z −1 = (ac − bd, ad + bc) = (1, 0).

Esto si y sólo si los inversos son de la forma:

 
−1 a −b
z = , 2 .
a + b a + b2
2 2

Estos cocientes existen en C porque z = (a, b) 6= (0, 0).

Puede comprobarse fácilmente la distributividad:

(z1 + z2 )z3 = z1 z3 + z2 z3 .

40
Por lo tanto, C es un campo.

A cada número real a le corresponde el número complejo de la forma (a, 0) a

través de la inclusión R ,→ C tal que a 7→ (a, 0), así mismo se incluirá el elemento i,
al que se le asignará el número complejo (0, 1). Así, el campo de números complejos
contiene a todos los elementos de la forma bi y de la forma a + bi, a esta forma de
representar a los números complejos se le llama representación algebraica de los
números complejos.
El número complejo z = a + bi tiene una parte real, Re(z) = a y una parte
imaginaria, Im(z) = b.
Con la representación algebraica, las operaciones denidas en C son:

(a + bi) + (c + di) = (a + b) + (c + d)i.

(a + bi) · (c + di) = (ac − bd) + (ad + bc)i.

Las potencias de i cumplen:

i = i, i2 = −1, i3 = −i, i4 = 1.

Siendo la n-ésima potencia determinada cíclicamente únicamente por r si es-

cribimos n = 4k + r , es decir, su residuo módulo 4.

Denición 2.2. Llamaremos el conjugado de un número complejo z = a + bi

al número a − bi denotado por z y se puede vericar que:

z + z = 2a y z · z = a2 + b 2

Otras propiedades que cumplen los conjugados son

1. z1 + z2 = z1 + z2 .

2. z1 − z2 = z1 − z2 .

3. z1 · z2 = z1 · z2 .

4. z1 /z2 = z1 /z2 .

5. Si z ∈ R, z = z .

41
Denición 2.3. Una función ϕ : F1 → F2 es un isomorsmo de los campos F1 y
F2 si es biyectiva y para cada a, b ∈ F , se cumple:

ϕ(a + b) = ϕ(a) + ϕ(b) y

ϕ(ab) = ϕ(a)ϕ(b).

Se dice que F1 y F2 son isomorfos y escribimos F1 ∼

= F2 .

Consideremos un campo F que contenga a todos los reales y a un elemento j

tal que j 2 = −1, entonces contiene a todos los elementos de la forma a + bj con
a, b ∈ R. A través del homomorsmo ϕ : C → F tal que:

ϕ(a + bi) = a + bj

que es inyectivo, entonces podemos armar que C ⊆ F y por lo tanto, es el campo

más pequeño (minimal) que contiene un elemento cuyo cuadrado es −1.

2.2. Representaciones de los complejos

El conjunto de los números complejos C, es igual al conjunto R2 , entonces

pueden ser representados en un plano, como puntos y tienen otras representaciones
que veremos a continuación.

2.2.1. Representación geométrica

Puesto que C corresponde a R2 como conjunto, podemos representar gráca-

mente a los números complejos como puntos en el plano cartesiano, de manera que
ahora el eje x será considerado como la parte real y el eje y será la parte imaginaria
para cualquier número complejo.

Ejemplo 2.4. Considerando el punto z = 2 + i se ubicará en el plano C de la

siguiente forma:

42
 Parte imaginaria

2
z =2+i
1

Parte real
-3 -2 -1 0 1 2 3
-1

Figura 2.1. Representación geométrica de un punto en el plano complejo.

Denición 2.4. Tomando dos puntos en el plano complejo, z1 = a1 + b1 i y z2 =

a2 + b2 i, al segmento z1 z2 dirigido de z1 a z2 se llama vector y se denota por −
z−→
1 z2 .

Sus coordenadas se calculan de la siguiente forma:

az−−→ = a2 − a1 y bz−−→ = b2 − b1 .
1 z2 1 z2

Nota 2.1. Un número z ∈ C, corresponde a las coordenadas de un vector con punto

inicial en el origen de C y punto nal en z , por lo que la notación de vector se
omitirá.

Denición 2.5. Se dice que dos vectores son iguales si son paralelos y tienen la
misma longitud. A la longitud de un vector z ∈ C se le llama módulo de z , denotado
por |z|. El módulo de un número complejo z = a + bi se calcula:

√
|z|= a2 + b 2 .

De esta manera, es fácil mostrar que

|z|2 = z · z = Re(z)2 + Im(z)2 .

Los vectores pueden sumarse, restarse, multiplicarse y dividirse, el módulo de

los vectores resultantes de la suma y resta de vectores cumple:

a) |z1 + z2 |6 |z1 |+|z2 |, llamada desigualdad del triángulo.

b) |z1 − z2 |> |z1 |−|z2 |, esta es consecuencia de la anterior.

La desigualdad del triángulo arma que ninguno de sus lados puede medir más que
la suma de los otros dos, como puede verse en la siguiente gura.

43
 |z1 + z2 |
z2 z2
|z1 − z2 |
z1 z1

Figura 2.2. Desigualdad del triángulo.

Demostración. De la denición de módulo, se tiene que

|z|2 = Re(z)2 + Im(z)2 > (Re(z) + Im(z))2 , de donde

|z|> |Re(z)|+|Im(z)| entonces,

Sabemos que
|z1 + z2 |2 = (z1 + z2 )(z1 + z2 ),

considerando el lado derecho de la igualdad, se tiene

z1 z1 +z1 z2 +z1 z2 +z2 z2 = |z1 |2 +2Re(z1 z2 )+|z2 |2 6 |z1 |2 +2|z1 ||z2 |+|z2 |2 = (|z1 |+|z2 |)2

Por lo tanto,
|z1 + z2 |6 |z1 |+|z2 |.

Así como representación gráca, existen funciones de z que tienen un signicado

geométrico, se tiene entonces que para todo z ∈ C

ˆ −z rota al 180o vector z .

z
3
2
1
-3 -2 -1 01 2 3
-1
-2
-3
−z

Figura 2.3. Signicado Geométrico de −z .

ˆ αz = αz aumenta (α > 1) o disminuye (0 < α < 1) el tamaño del vector z .

44
 α1 z
3
2
z
1α z
2
-3 -2 -1 01 2 3
-1

Figura 2.4. Signicado Geométrico de αz .

ˆ Conjugado de z , z : Reeja z con respecto al eje x.

2
z
1
-3 -2 -1 01 2
-1
-2 z

Figura 2.5. Signicado Geométrico de z .

2.2.2. Representación polar

Como vimos anteriormente, los números complejos pueden representarse como

vectores en el plano complejo, es decir que tienen un tamaño y una dirección, así
como un ángulo.

Denición 2.6. Sea z ∈ C − {0}. Llamaremos al ángulo entre el eje real y el punto
z argumento de z, que es la función arg(z) : C − {0} → R dada por z 7→ arg(z) =
θ + 2πn. Obsérvese que esta no es una función, sino lo que se conoce como función
multivaluada, es decir que no está denida de forma única, ya que representa innitos
valores cuya diferencia son múltiplos 2π entre cada valor. Para términos prácticos, se
utilizará uno de los valores de los ángulos de z, siendo arg(z) = θ , donde 0 6 θ < 2π .

De esta manera, es posible separar el vector por componentes, donde la com-

ponente x es la parte real y la componente y la parte imaginaria. Siendo entonces
a = |z|cos(θ) y b = |z|sen(θ) para un número z = a + bi, como se muestra en la
gura 2.6.

45
 z b
θ
a

Figura 2.6. Argumento de un número complejo z .

De manera que si |z|= r ,

z = a + bi = r · cos(θ) + i · r · sen(θ) = r(cos θ + i senθ).

Esta es la representación polar de un número complejo z . Gracias a la fór-

mula de Euler :
eiθ = cos θ + i senθ,

con esto podemos escribir a un número complejo z 6= 0 como z = reiθ , cuyo conju-
gado está dado por z = re−iθ .

√
Ejemplo 2.5. Sea z = −1 + 3i, se tiene que
√ √
r = |z|= 1+3= 4=2

y encontrando el ángulo,

√
ϕ = tan−1 (b/a) = tan−1 ( 3/ − 1) = 2π/3,

entonces z = 2ei2π/3 .

Al multiplicar o dividir vectores, digamos z1 = r1 (cos ϕ1 + isenϕ1 ) = r1 eiθ1 y

z2 = r2 (cos ϕ2 + isenϕ2 ) = r2 eiθ2 , sucede lo siguiente:

z1 · z2 = r1 r2 (ei(θ1 +θ2 ) ).

Con la división, puede verse que:

1 −iθ2
1/z2 = (e ),
r2
entonces
z1 /z2 = r1 /r2 (ei(θ1 −θ2 ) ).

46
Es decir que al multiplicar dos vectores, sus argumentos se suman y el tamaño se
multiplica, mientras con la división, el tamaño es el cociente y los argumentos se
restan.
Como consecuencia, puede vericarse fácilmente para z = reiθ , la fórmula de
De Moivre, que cumple:

z n = rn (cos(nθ) + isen(nθ)) para cada n ∈ N. (2.1)

Sabiendo que el ángulo tiene innitos valores, supóngase ahora que se desea
encontrar todos los valores de z tales que

wn = z

Entonces encontraremos los valores de w tales que w = z 1/n , para esto, se utilizarán
todos los posibles valores del ángulo de z es decir θ + 2πm con m ∈ {0, . . . , n − 1} ,
así:  θ+2πm 
w = z 1/n = r1/n ei( n ) . (2.2)
√
Nota 2.2. La expresión n z es una función multivaluada que pone en correspondencia
a todos los números distintos de cero sus n raíces, cada una de ellas dada por un
valor de m en la ecuación 2.2. En el caso de z = 0 la función z 1/n toma un valor
único.
A cada valor de la función, dado por un valor de m especíco se le llama rama
de la función multivaluada. En el capítulo 3 estudiaremos la importancia de las
ramas de las funciones en la construcción de las supercies de Riemann.

√
Ejemplo 2.6. Consideremos la función w(z) = n z cuando z = 1. Los valores de las
raíces están dados por n = ei2π/n . El conjunto {1, n , 2n , . . . , n−1
n } forma un grupo
cíclico bajo multiplicación, por lo que las raíces se distribuyen en el plano complejo
como los vértices de un polígono regular de n lados inscrito en el círculo unitario.
√
Así, si z1 es un valor de n
z , los otros valores están dados por:

z1 , z1 n , z1 2n , . . . , z1 nn−1 .

√
Ejemplo 2.7. Encontrando los valores de 3
1 + i, se tiene z = 1 + i, entonces
√ π
r= 2yϕ= ,
4
47
 √  π/4+2πm   π/4+2πm 
3
z = r1/3 e(i 3 ) == 21/6 e(i 3 ) ,

para m = 0, 1, 2, los valores son

 π   π 2π   9π   π 4π 
z1 = 21/6 e(i 12 ) , z2 = 21/6 e(i 12 + 3 ) = 21/6 e(i 12 ) y z3 = 21/6 e(i 12 + 3 ) =
 17π 
21/6 e(i 12 ) , respectivamente.
Y grácamente se ve:

z
z2
z1
π
4

z3

Figura 2.7. Representación geométrica de las raíces cúbicas del número complejo z = 1+i.

Aquí se encontraron los tres valores zi que cumplen con la ecuación polinomial
1 + i − z 3 = 0, que es equivalente a encontrar las raíces del polinomio 1 + i − z 3 , a
continuación, estudiaremos los polinomios en un campo y sus propiedades.

2.3. Polinomios
Nuestros objetos de interés son expresiones de la forma

P (x) = a0 xn + a1 xn−1 + . . . + an−1 x + an

donde los a0 , a1 , . . . , an son elementos del campo F , llamados coecientes y a0 6= 0.

A estas expresiones las llamaremos polinomio de grado n (sobre F ), denotado
por P (x), al grado de P (x) se le denotará por grad(P ). A a0 se le llama coeciente
principal del polinomio, an es el coeciente constante.
El teorema de Abel-Runi trata sobre la imposibilidad de que exista una fór-
mula general para encontrar raíces de polinomios de grado mayor o igual a 5 y para
entenderlos, estudiaremos las propiedades generales de los polinomios.

Denición 2.7. Se le llama raíz del polinomio P (x) a un elemento a ∈ F que

cumple que P (a) = 0.

48
 Todos los polinomios sobre cualquier campo pueden ser sumados, restados y
multiplicados, obteniendo como resultado nuevos polinomios. A continuación se des-
cribirá lo que sucede con el grado y los coecientes de los polinomios resultantes en
cada operación.
Considerando dos polinomios P (x) = a0 xn +a1 xn−1 +. . .+an−1 x+an y Q(x) =
b0 xm + b1 xm−1 + . . . + bm−1 x + bm sobre un campo F , entonces

ˆ Adición y resta : P (x) ± Q(x) = R(x), donde el grado de R(x) es a lo más el

grado el de mayor grado entre P (x) y Q(x) y los coecientes de xk son de la
forma (ak ± bk ). Entonces grad(R) 6 máx{grad(P ), grad(Q)}

ˆ Multiplicación : P (x) · Q(x) = R(x), para calcular el producto, se multiplica

cada monomio ax del polinomio P (x) por cada monomio bxl del polinomio
k

Q(x). Este polinomio tendrá como coeciente principal a0 b0 , que tendrá grado
n + m y será de la forma:

P (x) · Q(x) = a0 b0 xn+m + (a0 b1 + a1 b0 )xn+m−1 + . . . + an bm .

Al conjunto de polinomios con coecientes en un campo F se le denota F [x], lla-

mado anillo de polinomios con coecientes en F . Con la suma y multiplicación,
puede verse que F [x] es un anillo,1 a partir de ahora, se utilizarán polinomios con
coecientes en C con variable z , es decir C [z].
Nos enfocaremos en polinomios P (z) con coecientes en C. Para un z ∈ C,
tenemos que P (z) ∈ C [z], por lo que podemos considerar su conjugado, P (z). En
particular, si P (z) = a0 z n +a1 z n−1 +. . .+an−1 z +an donde z ∈ C y cada ai ∈ R ⊂ C,
entonces

P (z) = P (z).

De donde se puede armar, entonces, que si z es una raíz del polinomio P (z)
con coecientes reales, entonces z , también es raíz de dicho polinomio.
Resulta ser que C [z] es un dominio euclidiano, 2 por lo que los polinomios en
C [z] pueden ser sumados, restados y multiplicados en un campo F . Y también es
posible dividirlos, pero habrán residuos. Es decir que al dividir un polinomio P (z)

1 Sepuede estudiar anillos en (Artin, 1991) y (Dummit y Foote, 2004).

2 Losdominios euclideanos son dominios enteros en los cuales se puede realizar el algoritmo de
Euclides, y todos los campos son dominios euclidianos. Más aún, C [z] es un dominio euclidiano,
ver (Gopalakrishnan, 2004).

49
por un polinomio Q(z), se obtendrá un polinomio S(z) llamado polinomio cociente
y uno R(z) llamado residuo, tales que

P (z) = S(z) · Q(z) + R(z)

Donde el grado de R(z) será 0 o menor que el de Q(z). Los polinimios cociente
S(z) y residuo R(z) se pueden construir a través del algoritmo de Euclides3 para
polinomios, que es una serie de pasos nitos.

Descripción del algoritmo de Euclides:

Dados los polinomios

P (z) = a0 z n + a1 z n−1 + . . . + an−1 z + an y Q(z) = b0 z m + b1 z m−1 + . . . + bm−1 z + bm .

Si n < m se colocará S(z) = 0 y R(z) = P (z), que son el cociente y residuo

respectivos.
Sea n > m, entonces considérese el polinomio

P (z) ab 0 z n−m Q(z) = R1 (z).

0

Donde R1 (z) no tiene elementos con z n , ya que si fuera así, su grado no sería menor
que n − 1 (el máximo valor para m). Entonces consideremos un k tal que 0 < k <
n − 1, de manera que

R1 (z) = c0 z k + c1 z k−1 + . . . + ck .

Dado que es de grado nito, el procedimiento también lo es, y en algún paso se

obtendrá el polinomio

d0 l−m
Rs−1 (z) − z · Q(z) = Rs (z).
b0

El algoritmo termina para un s tal que Rs (z) es de grado menor que el de Q(x) o
es de grado cero. Escribiendo el algoritmo de forma completa, se tiene:

a0 n−m
P (z) = b0
z Q(z) + R1 (z)
a0 n−m
= b0
z Q(z) + cb00 z k−m Q(z) + R2 (z)
..
.
3 Análogo al algoritmo euclideano del capítulo 1, para números enteros.

50
 = ab00 z n−m Q(z) + c0 k−m
b0
z Q(z) . . . + db00 z l−m Q(z) + Rs (z)
a0 n−m c0 k−m
= b0
z + b0
z . . . + db00 z l−m · Q(z) + Rs (z).

Tabla 2.1. Algoritmo de Euclides.

Denición 2.8. Se dice que si un polinomio en un campo F puede expresarse como

producto de dos polinomios de menor grado con coecientes en el campo, es un
polinomio reducible sobre F . En el caso contrario, se dice que es irreducible.4

Nota 2.3. Estamos trabajando en el campo C, ya que es el campo más pequeño

que contiene a los reales y un elemento cuyo cuadrado es -1, el elemento i. Otra
forma de vericar la minimalidad de C, es analizando los polinomios irreducibles
en este campo. En R los polinomios irreducibles son de grado 1 o 2, en particular,
los de grado 2 tienen raíces que siempre pertenecen a R o a C. Por ello, a C se le
conoce como cerradura algebraica de R o bien, C es la extensión de campos5 más
pequeña que contiene a las raíces de R [z].

Para encontrar las raíces de un polinomio, se debe resolver la ecuación polino-

mial P (z) = 0, es decir que dado un polinomio

P (z) = a0 z n + a1 z n−1 + . . . + an−1 z + an

encontraremos sus raíces resolviendo la ecuación polinomial

a0 z n + a1 z n−1 + . . . + an−1 z + an = 0

Ejemplo 2.8. Un polinomio de grado dos, az 2 + bz + c induce una ecuación cua-

drática az 2 + bz + c = 0 la cual se resuelve a través de la conocida fórmula de Viète
o fórmula cuadrática √
−b ± b2 − 4ac
x=
2a
Así, también existen soluciones generales para encontrar las raíces de polinomios de
grado 3 y 4. En particular, estudiaremos qué sucede con los polinomios a partir del
grado 5. Estas soluciones son funciones multivaluadas, ya que tienen n valores para
un polinomio de grado n.

4 Un polinomio irreducible es el análogo a un número primo en los números enteros Z.

5 Puede leerse sobre extensiones de campos en (Roman, 2006).

51
2.4. Curvas continuas en el plano complejo
Las funciones continuas en el plano complejo y sus propiedades nos permitirán
pasar a la noción de curvas continuas en el plano, para darnos un enfoque hacia
una de las varias demostraciones al teorema fundamental del álgebra, que asegura
la existencia de soluciones complejas para una ecuación polinomial con coecientes
complejos.
La noción de continuidad será útil también en el capítulo 3 para extender con-
tinuamente funciones analíticas y comprender así la construcción de las supercies
de Riemann.

2.4.1. Funciones continuas

Denición 2.9. Sea f : C → C una función. Se dice que f (z) es continua en z0
si para cualquier número real  > 0, existe un δ > 0 tal que para todos los z que
satisfacen la condición |z − z0 |< δ 6 se cumple la desigualdad:

|f (z) − f (z0 )|< .

Es decir, que si tomamos puntos cercanos, las imágenes también serán cercanas.
Existen varios tipos de funciones continuas, entre ellas:

1. Las funciones constantes f (z) ≡ a para un a ∈ C.

En efecto, tomemos un z0 , un  > 0 y los elementos del disco |z − z0 |< δ donde

δ > 0, entonces,
|f (z) − f (z0 )|= |a − a|= 0 < ,

por lo que las funciones constantes son continuas.

2. La función identidad f (z) = z para z complejo y f (x) = x para x. reales.

Tomando nuevamente δ =  > 0 y |z − z0 |< δ como anteriormente, se tiene

que
|f (z) − f (z0 )|= |z − z0 |< δ = ,

por lo que la función identidad es continua.

Las operaciones entre funciones existen, ya que estas envían elementos z ∈ C

a nuevos elementos f (z) ∈ C. A continuación se mostrarán las propiedades de las
6 La interpretación geométrica de |z − z0 |< δ es un disco de radio δ , centrado en z0 .

52
operaciones entre funciones, dadas f (z) y g(z) funciones continuas en z0 reales o
complejas.

1. h(z) = f (z) ± g(z) es continua en z0 .

Supongamos f (z0 ) = f0 y h(z0 ) = h0 . Considerando |f (z) − f0 |< /2 y |g(z) −

g0 |< /2, entonces

|h(z) − h0 |= |(f (z) + g(z)) − (f0 + g0 )|

6 |f (z) − f0 |+|g(z) − g0 |< /2 + /2 = .

2. h(z) = f (z)g(z) es continua en z0 . Consideremos

|h(z) − h0 |= |f (z)g(z) − f (z)g0 + f (z)g0 − f0 g0 |

6 |f (z)(g(z) − g0 )|+|g(z0 )((f (z) − f0 )|= |f (z)||(g(z) − g0 )|+|g0 ||((f (z) − f0 )|.

Como f es continua, podemos escribir |f (z0 )|> 0 escogiendo un valor apro-

piado, digamos |f (z0 )|= 1 , existe un δ 0 < |z − z0 | tal que |f (z) − f (z0 )|< 1 ,
así

|h(z)|= |f (z) − f (z0 ) + f (z0 )|6 |f (z) − f (z0 )|+|f (z0 )|< 1 + 1 = 21 .

Considérese ahora 2 = /(4|f (z0 )|), y por la continuidad de g , existe un δ 00 > 0

tal que si |z − z0 |< δ 00 , |g(z) − g(z0 )|< 
4|f (z0 )|
, entonces

|f (z)||g(z) − g(z0 )|< /2

Y de forma similar, se obtiene

|g(z0 )||f (z) − f (z0 )|< /2

De esto,
|h(z) − h(z0 )|< .

Por lo tanto, h(z) es continua en z0 . Teniendo como consecuencia principal,

que la función f (z) = z n es una función continua, ya que es la multiplicación
def (z) = z n veces.

3. Construyendo un  adecuado, puede mostrarse también que la función h(z) =

53
 1/f (z) es continua, por lo que una función h̄(z) = f (z)/g(z) es continua, por
ser producto de dos funciones continuas.

Denición 2.10. Sean f : C → C y g : C → C dos funciones. Se le llama

composición de las funciones f (z) y g(z) a la función h(z) que satisface,
en cada punto z0 , la ecuación h(z0 ) = f (g(z0 )). Si el valor de g(z0 ) no está
denido o f (z) no está denida en g(z0 ), el valor de h(z0 ) tampoco lo está.

4. Si f (z) y g(z) son funciones continuas, también lo es su composición.

Tomando z1 = g(z0 ) y asumiendo que f es continua en z1 , se tiene que existe

δ1 > 0 tal que si |z − z1 |< δ1 implica que |f (z)f (z1 )|> 1 y como g es continua
en z0 , existe un δ2 > 0 tal que si |z − z0 |< δ2 , se tiene que |g(z) − g(z0 )|< δ1 ,
es decir,
|g(z) − z1 |< δ1 entonces, |z − z0 |< δ2 ,

por lo que se cumple

|h(z) − h(z0 )|= |f (g(z)) − f (g(z0 ))|< ,

podemos asegurar que todas las expresiones que involucren operaciones entre
funciones continuas, son también continuas, en particular, los polinomios son
funciones continuas. Para analizar las funciones que expresan las raíces de un
√
polinomio, haremos un análisis de la continuidad de la función f (z) = n
z.
Esta función encuentra raíces para polinomios de la forma w n = z .

√
5. Consideremos la función multivaluada f (z) = n
z , p para z > 0. Tomaremos
entonces una de las ramas de esta función.
√ √
Sea |z − z0 |< δ , debe cumplirse que | n
z− n z0 |< , esto se cumple si y sólo si
√ √
− < n
z − n z0 < ,

de donde
√ √
( n z0 )n −  < z < ( n z0 + )n .

Esta función en particular es estrictamente creciente, lo que quiere decir que

si z < z1 entonces f (z) < f (z1 ). De la desigualdad anterior, tenemos

√ √
( n z0 − )n − z0 < z − z0 < ( n z0 + )n − z0 .

54
 √ √
Y supóngase ahora que δ = mı́n{x0 − ( z0 − )n , ( n z0 − )n − z0 }, que es
n

un número positivo, entonces se cumple la condición de que |z − z0 |< δ . Que-

da mostrado entonces que cada rama de la función (multivaluada) radical es
continua.

Existen otras funciones que son continuas y no son combinaciones de la función

constante e identidad o radicales. Un ejemplo de estas, son las funciones trigono-
métricas seno y coseno, que entran en una clasicación de funciones más amplia,
llamada funciones analíticas, sobre las cuales se discutirá posteriormente.

2.4.2. Imágenes de curvas continuas

Otras funciones continuas que son de gran importancia, son las funciones
α : [0, 1] → C que asignan a un valor t 7→ α(t), un valor complejo.

α(t) = x(t) + iy(t)

Denición 2.11. Si las funciones x(t) y y(t) son continuas para todo valor de t,
la imagen de α = z([0, 1]) es una curva continua o camino α en C con punto
inicial, α0 = α(0) y un punto nal z1 = z(1) (tiene orientación). La función α(t) es
conocida como ecuación paramétrica de la curva.
Ejemplo 2.9. A continuación, veremos 3 ejemplos de caminos, dada su ecuación
paramétrica.

1
1 1
-1 0 1
-1 0 1 -1 0 1 -1
-1 -1 (
ei2πt , si 0 6 t 6 1/2
(a) α(t) = t − it (b) α(t) = t2 + it (c) α(t) =
4t − 3, si 1/2 6 t 6 1

Para construir ecuaciones que unen dos puntos dados, digamos z0 = a0 + ib0
con z1 = a1 + ib1 . El parámetro t será entonces

(x − a0 ) (y − b0 )
t= = cuando t ∈ [0, 1] .
(a1 − a0 ) (b1 − b0 )

La curva que se mueve desde z0 hacia z1 está dada por:

55
 x = a0 + (a1 − a0 )t
y = b0 + (b1 − b0 )t,

entonces α(t) = x(t) + iy(t) es de la forma:

α(t) = a0 + (a1 − a0 )t + (b0 + (b1 − b0 )t)i = tz1 + (1 − t)z0

Sea α1 la curva descrita por la función α1 (t). Podemos obtener una nueva curva
α2 con las siguientes funciones α2 (t):

1. α2 (t) = α1 (t) + z0 con z0 ∈ C.

La curva α2 es la curva α1 trasladada en cada eje por las coordenadas de z0

Figura 2.9. Traslación de la curva α1 .

2. α2 (t) = a · α1 (t), donde a ∈ R+ .

Sabiendo que arg(z2 ) = arg(z1 ) + arg < (z0 ) y |z2 |= |z0 |·|z1 |, dado que a ∈ R,
arg(a) = 0 y la α2 es la curva α1 expandida a veces.

Figura 2.10. Expansión de la curva α1 .

3. α2 (t) = z0 · α1 (t), donde |z0 |= 1.

Únicamente rota la curva de acuerdo a arg(z0 ) y conserva el tamaño.

56
 Figura 2.11. Rotación de la curva α1 .

4. α2 (t) = z0 · α1 (t), donde z0 ∈ C.

Rota la curva un ángulo θ = arg(z0 ) y la expande o retrae |z0 | veces.

Figura 2.12. Rotación y expansión de la curva α1 (Homotecia).

5. α2 (t) = α1 (1 − t) cuando t ∈ [0, 1], 1 − t varía en dirección contraria, entonces

α2 = α1 recorrida en dirección contraria.

6. (
α1 (2t), si 0 6 t 6 1/2
α3 (t) =
α2 (2t − 1), si 1/2 6 t 6 1

La curva α3 está recorriendo la mitad de su tiempo a toda la curva α1 y la

otra mitad a la curva α2 , donde α1 (1) = α2 (0) para garantizar la continuidad
de α3 (t), a esto se le llama concatenación de curvas.
Como se vio anteriormente, los vectores tienen un argumento, que es el ángulo
entre el eje real positivo y el vector. Dada una ecuación paramétrica α = α(t). La
función ϕ(t) : I = [0, 1] → R, tal que t 7→ arg(α(t)), que estará bien denida si
imponemos la condición inicial θ0 = arg(z0 ).

57
Ejemplo 2.10. La ecuación paramétrica α(t) = cos πt + isenπt = eiπt describe un
semicírculo en el plano y la función arg(α(t)) = πt describe de manera continua el
argumento de cada vector α(t).
Uno de los valores del argumento de esta función es arg(α(t)) = πt y consi-
derando que arg(α(t)) es una función multivaluada, entonces los otros valores del
argumentos están dados por arg(α(t)) = πt + 2πk . Denimos el argumento inicial
arg(z0 ) = 0, entonces
0 = arg(α(0)) = 2πk,

esto se cumple sólo para k = 0, entonces arg(α(t)) = πt.

Si se dene un nuevo valor para arg(α(0)) = 2π , entonces

2π = arg(α(0)) = 2πk

esto se cumple sólo para k = 1, entonces arg(α(t)) = πt + 2π y puede construirse

así cualquier condición inicial para arg(α(0)) = 2πk .

La función ϕ(t) := arg(α(t)) describe cómo varía arg(α(t)) a lo largo de una

curva. Al cambio del argumento desde α(0) hasta α(1), se le llama variación del
argumento a lo largo de la curva α con ecuación paramétrica α(t) denotada por
var(α) = ϕ(1) − ϕ(0). Esta función cumple las siguientes proposiciones:

Proposición 2.1. Si la curva α dada por α(t) no pasa por el origen de coordenadas
y en su punto inicial, el argumento de la curva es ϕ0 . Es posible escoger un valor
del argumento para todos los puntos de la curva α de manera que a lo largo de la
curva, arg(α(t)) cambia continuamente, comenzando por ϕ0 . Es decir que para cada
t ∈ [0, 1] se puede escoger un valor de ϕ(t) de manera que sea continua para cada t
, con punto inicial ϕ0 .7
Proposición 2.2. Si dos funciones distintas ϕ1 (t) y ϕ2 (t) describen la variación
continua de arg(α(t)) a lo largo de la curva α. La diferencia entre estas no depende
de t, es decir: ϕ1 (t) − ϕ2 (t) = 2πk
Demostración. Si k dependiera de t, se tendría:

ϕ1 (t) − ϕ2 (t)
k(t) = .
2π

Donde k(t) sería una función continua ∀ t ∈ [0, 1] y sabemos que esta diferencia es
un número entero, esto si y sólo si k(t) = 0 o k(t) = k donde k es constante.
7 La prueba de esta armación puede verse con detalle en (Chinn y Steenrod, 1966).

58
Proposición 2.3. Al escoger ϕ0 = ϕ(0), la función ϕ(t) queda denida de manera
única. Y la diferencia ϕ(t) − ϕ(0) está únicamente denida por la función α(t) y no
depende de la elección de ϕ(0).

Demostración. Sean ϕ1 (t) y ϕ2 (t) dos funciones que describen la variación de arg(z(t))
tales que ϕ1 (0) = ϕ2 (0) = ϕ0 , por la proposición anterior, se cumple

ϕ1 (t) − ϕ2 (t) = 2πk,

entonces ϕ1 (t) − ϕ2 (t) = 0 o ϕ1 (t) − ϕ2 (t) = 2πk .

Si ϕ1 (0) − ϕ2 (0) = 0, entonces ϕ1 (t) = ϕ2 (t).
Si ϕ1 (0) − ϕ2 (0) = 2πk , entonces ϕ1 (t) − ϕ1 (0) = ϕ2 (t) − ϕ2 (0) = 2πk = ϕ(t)
está denido de manera única.

Ejemplo 2.11. Calcularemos la variación de ϕ(t) a lo largo de la curva α(t) = eiπt .

Anteriormente se encontró que para esta ecuación, uno de los valores de arg(α(t)) =
πt, entonces calculando la diferencia, se tiene:

ϕ(t) − ϕ(0) = πt − 0 = πt.

Ejemplo 2.12. Al observar un camino en C, puede calcularse la variación de su

argumento jándose en el punto inicial, nal y su orientación.

Figura 2.13. Calculando la variación del argumento a lo largo de una curva.

.

Puede observarse en la Figura 2.13, que las curvas coinciden en el punto inicial
y en el punto nal, sin embargo, la dirección en que se recorren hace que la variación
del argumento a lo largo de ellas cambie. En la primera tenemos ϕ(t) − ϕ(0) =
3π/2 − 0 = 3π/2, mientras que para la segunda, la variación del argumento es
ϕ(t) − ϕ(0) = −π/2 − 0 = −π/2.

59
Denición 2.12. Una curva o camino escerrado o un lazo si la función que la
describe cumple que α(0) = α(1) = x, con punto base x.

Sea α un lazo que no pasa por z0 ∈ C, var(C) = 2πk , donde k determina el

número de vueltas que el camino da alrededor de z0 .
Pueden considerarse traslaciones de la forma α2 (t) = α(t)−z0 y así, si el camino
α da k vueltas alrededor de z0 , el nuevo camino α2 da k vueltas alrededor del origen.
Al número de vueltas que da una curva alrededor de un z0 dado, se le llama índice
de la curva (alrededor de z0 ).
Ejemplo 2.13. Calcularemos el índice de la curva α(t) = 21 e4πt alrededor de z = 0,
de z = 1 y z = 1/4. Esta función describe un círculo de radio 1 centrado en el origen,
donde var(C) = 4π − 0 = 4π = 2(2π), entonces pasa 2 veces alrededor del origen.
En el caso de z = 1/4, sabemos que está dentro del círculo de radio r = 1/2,
por lo tanto, la curva también lo rodea 2 veces, mientras z = 1 está fuera de la curva
descrita, por lo que no es rodeada por esta.

Ejemplo 2.14. En la siguiente gura observaremos los índices respectivos a los

puntos z = 0 y z = 1:

Figura 2.14. Análisis de la variación del argumento a lo largo de una curva desde distintos
puntos. Fuente: tomada de (Alekseev, 2004, Cap. 2).

ˆ z = 0. Al dividir la curva en dos, la variación de cada parte es 2π , entonces el

total son 2 vueltas alrededor del origen.

ˆ z = 1. En la primera parte, no rodea ninguna vez al uno, ya que la curva no

encierra a este punto, sin embargo, añadiendo la segunda parte se obtiene
que la variación de la curva total alrededor de z = 1 es 2π por lo que lo rodea
1 vez.

La variación del argumento también depende de las operaciones entre ecua-

ciones de curvas. Supóngase que se tienen dos caminos α1 y α2 dados por α1 (t) y

60
α2 (t) y variaciones de argumento a lo largo de la curva ϕ1 y ϕ2 respectivamente. Se
calculará la variación del argumento a lo largo de la curva α si su ecuación es:

1. α(t) = α1 (t) · α2 (t).

Dado que α1 α2 suma arg(α1 ) + arg(α2 ), entonces ϕ(t) = ϕ1 (t) + ϕ2 (t).

2. α(t) = α1 (t)/α2 (t).

Análogamente, la división de α1 /α2 resta arg(α1 ) − arg(α2 ), por lo que ϕ(t) =

ϕ1 (t) − ϕ2 (t).

Consideremos un camino α descrito por la ecuación paramétrica α(t) y una

función continua f : C → C tal que α(t) 7→ w = f (α(t)). En el plano z se tendrá al
camino α, mientras en el plano w tendremos un nuevo amino, al cual llamaremos
imagen continua del camino α bajo f , denotado por f (α).
Ejemplo 2.15.


Sea un camino α con ecuación α(t) = 0.7 eiπt/2 y una función
w = f (z) = z . La curva α describe un cuarto de círculo de radio 0.7 en el plano z ,
2

ya que su argumento varía π/2. Al considerar f , se tiene f (z) = z 2 = (0.7)2 eiπt , que
describe un semicírculo de radio 0.72 en el plano w , la variación del argumento de
f (α) es el doble de la de α.

α
f (α)

(a) Plano z (b) Plano w

Figura 2.15. Imagen continua en el plano w de un camino en el plano z .

En general, si la variación del argumento a lo largo del camino α es ϕ, entonces

cuando f (z) = z n , la variación del argumento de f (α) es nϕ. Y si la curva da k
vueltas alrededor del origen en el plano z , entonces la función f (α) dará kn vueltas
alrededor del origen en el plano w , esto se debe a la fórmula de De Moivre ( 2.1).

Ejemplo 2.16. Otras funciones que dependen de z pueden determinar la cantidad

de vueltas que da una curva alrededor de un punto.
Sea α una curva en el plano, para la cual se conoce cuántas veces rodea a
un conjuntos de puntos {zi } con i = 1, 2, . . . , n. Consideraremos las siguientes
funciones f (z). Si los índices alrededor de z = 0, z = 1, z = i, z = −i son k1 , k2 :

61
a) f (z) = z 2 − z .

Se puede factorizar z 2 − z = z(z − 1) entonces igualando a cero, se tiene z = 0 o

z = 1 ambas aparecen con potencia 1, de donde:

var(α) = 2πk1 + 2πk2 = 2π(k1 + k2 ),

por lo que f (z) da k1 + k2 vueltas alrededor de w = 0.

b) f (z) = z 2 + 1.

Factorizando, se obtiene f (z) = (z − i)(z + i) , por lo que var(C) está dada por

var(α) = 2π(k3 + k4 ),

entonces la función rodea a w = 0 k3 + k4 veces.

c) f (z) = (z 2 + iz)4 .

Al factorizar esta función, tenemos (z(z + i))4 en esta función, la variación del
argumento alrededor de los puntos z = 0 y z = −i se multiplica por 4, debido a
la potencia. Por lo que

var(α) = 4(2πk1 + 2πk4 ) = 2π(4(k1 + k4 )),

así, la función rodea a w = 0, 4(k1 + k4 ) veces.

d) f (z) = z 3 − z 2 + z − 1.

Esta función es z 2 (z − 1) + (z − 1) = (z 2 + 1)(z − 1) = (z + i)(z − i)(z − 1).

Haciendo un cálculo similar a los anteriores, se obtiene que la curva pasará k2 +

k3 + k4 veces alrededor de w = 0.

2.5. Teorema fundamental del Álgebra

Para encontrar soluciones de ecuaciones polinomiales, es necesario saber que
éstas existen y el teorema fundamental del Álgebra (FTA por sus siglas en inglés)
asegura que todo polinomio P (z) ∈ C [z] tiene al menos una raíz en C. Con las ideas
anteriores, se presentará un esbozo de la demostración.

Teorema 2.5.1 (Teorema Fundamental del Álgebra). La ecuación

a0 z n + an−1
1 + . . . + an−1 z + an = 0,

62
donde todos los ai s son números complejos arbitrarios, n > 1, y a0 6= 0, tiene al
menos una raíz compleja.8
Demostración. (Esbozo) Sea w = f (z) = a0 z n + a1n−1 + . . . + an−1 z + an = 0, una
función continua cuya imagen es una curva, denotaremos por A al máximo valor de
las normas de los ai , es decir A = máx{|a0 |, |a1 |, . . . , |an |} y números reales c > 0,
R1 6 1 y R2 > 1 tales que cumplen:

R1 > |an |/(cAn) R2 > cAn/|a0 |

Y analizaremos qué sucede cuando |z|= R1 y cuando |z|= R2 , donde z(t) =

Re i2πt
es una curva cerrada en el plano complejo z , cuya imagen también será una
curva cerrada en el plano w

ˆ Si |z|= R1 , entonces se cumple

|a0 z n + . . . + an−1 z|6 |a0 z n |+ . . . + |an−1 z|

= |a0 ||z n |+ . . . + |an−1 ||z|6 A(R1n + . . . + R1 )

 
|an | |an |
6 A(nR1 ), ya que R1 6 1 < An = ,
Anc c
|an |
tenemos el polinomio inicial |f (z) − an |= |a0 z n + . . . + an−1 z|< c
.

Esto es un círculo en el plano w , centrado en an con radio sucientemente

|an |
pequeño como para no cubrir a w = 0, ya que c
con c > 0, entonces la
cantidad de vueltas alrededor de w = 0 es 0.

ˆ Por otro lado, si |z|= R2 , se tiene que

a1 an a1 an
| + . . . + n |6 | |. . . + | n |
z z z z

|a1 | |an | |a1 |+ . . . + |an |

= + ... + | n 6 , ya queR2 > 1
|z| |z | R2
nA nA|a0 | |a0 |
< = = ,
R2 cAn c
tenemos el polinomio inicial |f (z)/z n − a0 |= | az1 + . . . + an
zn
|< |ac0 | cuando z
recorre la curva C con radio R2 en el plano z , la variación del argumento de
8 Puede verse una demostración más formal en (Ahlfors, 2004), (Dejon y Henrici, 1969) y (Fra-
leigh y Katz, 2003).

63
 la función f (z)/z n se hace 0, ya que en f (z), ϕ = 2πn y para z n , ϕ = 2πn, la
resta de estos es cero. Pero, sabemos quef (z) = f (z)/z n · z n y utilizando las
propiedades de la variación del argumento a lo largo de la curva, obtenemos
la suma de las variaciones 0 + 2πn, por lo que la curva, f (C) da n vueltas
alrededor de w = 0.

Si ahora aumentamos el radio R de R1 a R2 , tomamos un radio R∗ tal que R1 <

R∗ < R2 y entonces la imagen f (CR ) puede ser continuamente deformada de f (CR1 )
a f (CR2 ). Si f (CR∗ ) no pasa por el punto w = 0 se puede hacer pequeñas variaciones
en el radio de manera que la cantidad de vueltas alrededor de w = 0 no varía, ya
que la variación del argumento a lo largo de una curva es continuo y anteriormente
se mostró que para ser continuo sólo puede ser una constante, sin embargo, también
encontramos que para R1 la cantidad de vueltas es 0 y para R2 es n, lo cual contradice
la continuidad. Esta contradicción viene a partir de asumir que la curva no pasa por
w = 0, entonces debe existir z ∈ C tal que f (z) = 0.

A continuación veremos algunas consecuencias del TFA y propiedades de las

raíces de los polinomios en C [z].

Teorema 2.5.2. Si z0 es raíz de la ecuación a0 z n + an−1 1 + . . . + an−1 z + an = 0,

entonces el polinomio a0 z + a1 + . . . + an−1 z + an es divisible por el binomio z − z0
n n−1

sin residuo.

Demostración. Suponiendo que existe un residuo, por el algoritmo de la división,

tenemos que
P (z) = Q(z)(z − z0 ) + r

y por ser z0 raíz de P (z), entonces P (z0 ) = 0, entonces sustituyendo z = z0 , se

obtiene
0 = P (z0 ) = Q(z0 )(z0 − z0 ) + r

Por lo que r = 0 entonces no existe residuo y, por consiguiente, el binomio (z − z0 )

divide a P (z).

Corolario 2.5.1. El polinomio a0 z n + an−1

1 + . . . + an−1 z + an , donde a0 6= 0, puede
representarse en la forma

a0 z n + an−1
1 + . . . + an−1 z + an = a0 (z − z1 )(z − z2 ) . . . (z − zn ).

64
 El polinomio P (z) descompuesto en factores es igual a cero solo si al menos uno
de los factores es igual a cero, es decir zi es una raíz de P (z), para ciertos números
complejos z1 , z2 , . . . , zn , entonces las raíces de P (z) son precisamente z1 , z2 , . . . , zn .
Para encontrar los polinomios irreducibles en los números reales necesitamos
saber en qué momento los polinomios con coecientes reales dejan de tener raíces
en R, para esto, se encontrarán los polinomios irreducibles en R [z].
Supongamos entonces que el polinomio P (x) = a0 z n +a1 z n−1 +. . .+an−1 z+an ∈
R [z] tiene una raíz z0 ∈ C, entonces también z0 es raíz y del Corolario 2.5.1,
podemos expresar a P (z) como:

P (z) = Q(z)(z − z0 )(z − z0 ),

donde

(z − z0 )(z − z0 ) = z 2 − zz0 + z0 z0 − zz0 = z 2 − 2zRe(z0 ) + |z0 |,

que es un polinomio de grado 2 con coecientes reales. Lo que implica que un tipo
de polinomios irreducibles en R son los cuadráticos que tienen raíces complejas.
Por otro lado, para factorizar un polinomio con coecientes reales en polinomios
irreducibles, podemos escribir

P (z) = Q(z)(z − z0 ),

donde z0 es una raíz para la cual se tienen dos casos

a) z0 ∈ R.

b) z0 ∈ C.

Si se da el caso a), este factor será de grado 1 y se procede a buscar la siguiente

raíz, de manera que
P (z) = Q0 (z)(z − z0 )(z1 ),

para la cuela pueden darse, de nuevo los dos casos anteriores.

En el caso b), la siguiente raíz es el conjugado, por lo que P (z) tiene como factor
a un polinomio de grado 2 y se procede con las siguientes raíces. Este procedimiento
es nito, ya que el polinomio inicial es de grado n.
Como resultado de esto, se tiene que en R los polinomios irreducibles son de
grado 1 o 2, mientras en C, todos son de grado 1.

65
Denición 2.13. Sea z0 una raíz de la ecuación,

a0 z n + an−1
1 + . . . + an−1 z + an = 0.

se dice que z0 es una raíz de multiplicidad k si el polinomio a0 z n + an−1

1 + ... +
an−1 z + an es divisible por (z − z0 )k y no por (z − z0 )k+1 .

Una armación equivalente al teorema fundamental del álgebra es que todo

polinomio de grado n tiene n raíces complejas, contando su multiplicidad.

Ejemplo 2.17. En la ecuación

z 5 − z 4 − 2z 3 + 22 + z − 1 = 0

tenemos,

z 5 −z 4 −2z 3 +22 +z −1 = (z 4 −2z 2 +1)(z −1) = (z 2 −1)2 (z −1) = (z +1)2 (z −1)3 = 0

tiene dos raíces z = 1, de multiplicidad 3 y z = −1, de multiplicidad 2.

Denición 2.14. Sea P (z) = a0 z n + an−1

1 + . . . + ak z n−k + . . . + an−1 z + an un
polinomio, se le llama derivada de P (z) al polinomio

P 0 (z) = a0 nz n−1 + a1 (n − 1)z n−2 + . . . + ak (n − k)z n−k−1 + . . . + an−1

0
A la derivada, la denotaremos por el símbolo (prima).

Las derivadas también son polinomios y tienen propiedades distintas, conside-

rando los polinomios P (z) Q(z) y c una constante, se cumple:

1. (P (z) + Q(z))0 = P 0 (z) + Q0 (z)

2. (c · P (z))0 = c · P 0 (z)

3. (P (z)Q(z))0 = P 0 (z)Q(z) + P (z)Q0 (z)

4. Si P (z) = (z − z0 )n entonces P 0 (z) = n(z − z0 )n−1

Proposición 2.4. Si la ecuación P (z) = 0 tiene una raíz z0 de multiplicidad k > 1,

entonces la ecuación P 0 (z) = 0 tiene raíz z0 de multiplicidad k − 1 y si la ecuación
P (z) = 0 tiene una raíz z0 de multiplicidad 1, entonces P 0 (z0 ) 6= 0.

66
Demostración. Como z0 es raíz de multiplicidad k , entonces podemos expresar P (z)
como
P (z) = (z − z0 )k Q(z)

Entonces, por las propiedades anteriores, se tiene

P 0 (z) = ((z − z0 )k )0 Q(z) + (z − z0 )k Q0 (z) = k(z − z0 )k−1 Q(z) + (z − z0 )k Q0 (z),

donde kQ(z) + (z − z0 )Q0 (z) no es divisible por (z − z0 )k , ya que Q(z) no es divisible

por (z − z0 ). Por lo tanto, P 0 (z) es divisible por (z − z0 )k−1 pero no por (z − z0 )k ,
es decir, z0 es raíz de multiplicidad k − 1.

67
68
 3. SUPERFICIES DE RIEMANN

El teorema de Abel-Runi habla sobre la imposibilidad de encontrar una fór-

mula general para calcular las raíces de polinomios de grado mayor o igual a cinco.
Por el teorema fundamental del álgebra, todo polinomio de grado n tiene exacta-
mente n soluciones hasta por su multiplicidad. Entonces las fórmulas que sirven para
encontrar estas raíces deben tener más de un valor. Recordando que una función es
una correspondencia entre los conjuntos A y B que asigna a a ∈ A un único elemento
f (a) = b ∈ B .

A las funciones que admiten más de un valor a estas les llamamos funciones
multivaluadas y las denotaremos por f : A 9 B . Para convertir éstas en funciones
genuinas necesitamos extender su dominio considerando sus ramas continuas y uni-
valuadas. Al pegar estas ramas se construirá un nuevo dominio llamado supercie
de Riemann, en honor al matemático alemán Bernhard Riemann. Estas supercies
nos darán la intuición geométrica para analizar conceptos algebraicos como el gru-
po de monodromía de las funciones que hemos trabajado en el capítulo anterior.
Se estudiarán también las propiedades de estas funciones, como subconjunto de las
funciones analíticas, para construir las supercies de Riemann a través de la con-
tinuación analítica, en particular se construirán éstas para funciones solubles por
radicales.

Para ello, estudiaremos primero los conceptos topológicos básicos que nos ayu-
darán a entender la construcción de supercies a través de uniones disjuntas o co-
pias del plano complejo1 C. Posteriormente estudiaremos las funciones algebraicas,
particularmente las solubles por radicales y su continuación analítica, así como la
propiedad de monodromía para dar una construcción abstracta para las supercies
de Riemann.

1A partir de ahora trabajaremos con C, C∗ = C \ {0} o Ĉ = C ∪ {∞} según convenga, como

dominios y contradominios.

69
3.1. Conceptos topológicos
Para tener la noción de lo que es una supercie y saber especícamente qué
son las supercies de Riemann, es necesario conocer algunos conceptos topológicos
generales.

3.1.1. Topología general

Comenzaremos con la noción de topología y las relaciones entre espacios topo-
lógicos. Dado un conjunto X , una topología τ es una familia de subconjuntos de
X que cumplen con tres propiedades:

1. X ∈ τ y ∅ ∈ τ .

2. Si Ai ∈ τ , Ai ∈ τ , con i ∈ I , un conjunto arbitrario de índices.

S
i∈I

3. Si A1 y A2 ∈ τ , entonces A1 ∩ A2 ∈ τ .

Al par (X, τ ) se le llama espacio topológico y a los elementos de τ se les llama

conjuntos abiertos.

Ejemplo 3.1.

1. (R, τ ) es un espacio topológico donde τ es la topología usual en R (generado

por intervalos abiertos).

2. (C, τ ) donde τ es generada por discos abiertos centrados en un punto z (usa-

remos z ∈ C), con radio r > 0.

En el capítulo anterior se dio una denición de función continua para R y R2 ,

en general, una función f : X → Y es continua si dado un abierto V de Y , su
preimagen f −1 (V ) es un abierto en X . Una forma de considerar equivalencias entre
espacios topológicos es que existan homeomorsmos entre ellos. Escribimos X ≈ Y
y decimos que X es homeomorfo a Y .

Denición 3.1. Un homeomorsmo entre dos espacios X y Y , es una biyección

f : X → Y tal que f y f −1 son continuas.

70
3.1.2. Uniones disjuntas y espacios de identicación
En algunas ocasiones, necesitamos tomar dos valores donde hay uno único, para
generar el segundo, usaremos las uniones disjuntas.

Denición 3.2. Dados dos conjuntos X, Y , su unión disjunta es

X t Y := X × {1} ∪ Y × {2}.

El producto con 1 y 2 sirve cuando un punto x está en ambos conjuntos, es decir,

X ∪ Y . En este caso, la unión disjunta lo convierte en dos puntos: (x, 1) y (x, 2).
Esta diferencia es aún más útil cuando hacemos una unión disjunta de dos o más
copias de un solo conjunto. En general,

G [
Uk = Uk × {k}.
k k

Este proceso nos ayuda a construir conjuntos o espacios más grandes. Para el
propósito contrario, tenemos los espacios de identicación. En topología existe el
concepto de pegar puntos o subespacios.

Ejemplo 3.2. Por ejemplo, tomaremos el segmento [0, 1] y pegaremos o identica-

remos el 0 con el 1, esto se verá como un círculo.

(a) Espacio [0, 1].

(b) Identicación de los pun-
(c) Espacio de identicación.
tos 0 y 1.
Figura 3.1. Círculo como espacio de identicación del segmento [0, 1].

Así, obtenemos un nuevo espacio homeomorfo a un círculo, esto sucede cuando

a este cociente le ponemos una topología particular, la topología cociente, tomaremos
la idea de este ejemplo anterior para denir el pegado o identicación.

Denición 3.3. Sea X un espacio topológico y ∼ una relación de equivalencia que

particiona a X en clases de equivalencia. Denimos a Y := X/ ∼ como el conjunto
de clases de equivalencia inducidas por la relación ∼, obteniendo una función sobre-
yectiva φ : X → Y . Dotaremos de una topología a Y , llamada topología cociente
o de identicación. Esta topología cumple:

71
 ˆ Un subconjunto V ⊆ Y es abierto si y sólo si p−1 (V ) es abierto en X .

Al espacio Y con la topología cociente, le llamamos espacio cociente o espacio

de identicación.
En el ejemplo 3.2, había una clase de equivalencia con los elementos {0, 1} y
las demás clases eran los conjuntos singulares, cada uno con un punto del segmento
(0, 1), de esta forma estamos identicando a los puntos 0 y 1. Podemos probar que
[0, 1] /0 ∼ 1 ≈ S 1 , considerando la función

f : [0, 1] → S 1

t 7→ e2πit .

Estas herramientas nos ayudarán a modicar los dominios para ciertas funcio-
nes que veremos en la siguiente sección. Es de particular interés el tratamiento de
supercies, pues los dominios que formaremos son objetos de este tipo.

Denición 3.4. Una supercie es un espacio de Hausdor,2 segundo numerable,3

donde todo punto tiene una vecindad homeomorfa a una bola en R2 .

En particular, nos interesan las supercies conexas por caminos y compactas,

ya que las supercies con las que trabajaremos son de este tipo. No incluimos la
prueba de esto por lo que referimos al lector a (Ahlfors y Sario., 1960).

Denición 3.5. Decimos que un espacio es conexo por caminos si para cada par
de puntos z0 y z1 existe un camino C en X que une a z0 con z1 .

Denición 3.6. Una colección A = {Ui }i∈I de abiertos en un espacio X tales

que ∪i Ui = X se llama cubierta abierta de X . Una subcolección B ⊂ A se
llamasubcubierta si la unión de sus elementos también es todo el espacio X .
Decimos que X es compacto si cualquier cubierta abierta admite una subcubierta
nita. Intuitivamente, quiere decir que al tomar dos puntos en el espacio, podemos
acercarnos de uno al otro en una cantidad nita de pasos, sin escapar al innito.

Nota 3.1. Hay espacios que no son compactos, como el plano. Estos espacios pueden
ser compacticados agregando elementos. La razón por la que agregamos el punto
∞ al plano complejo C, es que Ĉ es homeomorfo a una esfera, como se vio en el
capítulo anterior, y las esferas son objetos compactos.
2 Un espacio de Hausdor si para cada dos puntos distintos p y q existe una vecindad U (p) y
V (q) tales que U ∩ V = ∅. (Dugundji, 1978, cap VII).
3 Un espacio es segundo numerable si tiene una base numerable (Dugundji, 1978, cap. VIII).

72
3.2. Funciones algebraicas
Los polinomios, las funciones racionales y las radicales son ejemplos de lo que
se llaman funciones solubles por radicales.

Denición 3.7. En general, decimos que una función h(z) : Ĉ → Ĉ es solu-

ble por radicales si puede ser escrita en términos de la función f (z) = z y de
funciones constantes g(z) = a, con a ∈ C, a través de operaciones como suma,
resta, multiplicación, división, potencias y raíces enteras. Por ejemplo, la función
p√ √
h(z) = ( 3 z + 5z 4 − 6/ z)4 es soluble por radicales.

Las funciones solubles por radicales pertenecen a una clase de funciones llama-
das algebraicas, estas funciones nos interesan, ya que para este tipo de funciones es
posible construir una supercie de Riemann por continuación analítica, método que
describiremos en la sección 3.3.

Denición 3.8. Una función en una variable w(z) es una función algebraica si
es solución de una ecuación algebraica cuyos coecientes Pk (z) son polinomios en la
misma variable, de la forma:

F (z, w) = Pn (z)wn + Pn−1 (z)wn−1 + . . . + Po (z) = 0 (3.1)

Asumiremos, sin perder la generalidad, que Pn (z) ≡ 1.

Nota 3.2. Las funciones algebraicas son un subconjunto de una clase más grande de
funciones, llamadas funciones analíticas. Estas son las que pueden representarse
como series de Taylor (ver (Ahlfors, 2004) y (Porter, 1983)). Algunos ejemplos de
funciones analíticas son:

1. Trigonométricas
1 3 1 1
sen(z) = z − z + 5
− + ...
3! 5!z 7!
1 1 1
cos(z) = 1 − z 2 + z 4 − z 6 + ...
2! 4! 6!
2. Exponencial
1 2 1 3 1 4
ez = 1 + z + z + z + z + ...
2! 3! 4!
3. El logaritmo en la bola unitaria, centrada en z = 0

1 1 1
log(1 + z) = 1 − z + z 2 − z 3 + z 4 − ...
2 3 4

73
 4. Polinomios, centrados en z = 0, su radio de convergencia siempre es innito,
es decir, convergen en todo el plano C.

De los ejemplos anteriores, sólo los polinomios son funciones algebraicas.

En otras palabras, una función algebraica es toda aquella que puede ser expre-
sada como una ecuación con dos variables, donde una es un número complejo y la
otra es un polinomio en esa variable. Estas ecuaciones se resuelven encontrando los
ceros del polinomio.

Ejemplo 3.3. Algunas funciones algebraicas son:

1. Funciones lineales: w = az + b.

Éstas cumplen con la ecuación w − (az + b) = 0.

2. Las cuadráticas: w = az 2 + bz + c.

Éstas cumplen con la ecuación w − (az 2 + bz + c) = 0. De esta forma, podemos

vericar que cualquier polinomio de grado n es una función algebraica.

p(z)
3. Las funciones racionales: w = q(z)
.

Como solución a la ecuación q(z)w − p(z), donde q(z) y p(z) son polinomios.

4. Las funciones solubles por radicales son algebraicas, pues dada f (z) soluble
por radicales, f (z) es solución a la ecuación w − f (z) = 0, manipulando a w
√ p √
para eliminar las funciones de la forma n
z , consideremos h(z) = 3
z + 5z 4
p √
como solución a w − 3
z + 5z 4 = 0, eliminando las expresiones radicales,
obtenemos la ecuación algebraica

64w6 − 80w2 z 4 + 25z 8 − z = 0.

√
Ejemplo 3.4. Consideremos la función z : Ĉ 9 Ĉ, que es solución a la ecuación:

w2 − z = 0

entonces es algebraica y toma dos valores para cada z ∈ C∗ , en los puntos z = 0 y

z = ∞, toma un valor único. A estos puntos les llamaremos puntos singulares de la
función. Los valores de la función están dados por

√
1 z = r1/2 eiθ/2 y

74
 √ √
2 z = r1/2 eiθ/2+π = −1 z.

A los valores distintos que toma una función los llamamos ramas de la función.
En la sección 2.4.2 vimos que si tenemos un camino α denido por z(t) y
una función f continua, entonces f (α) es continua, llamada imagen continua del
camino, por esto podemos considerar cómo varía el argumento de la imagen de una
p √
curva. Si var(α) = θ , entonces bajo la función z(t) es var( α) = θ/2, probando
así el siguiente lema.

Lema 3.2.1. Sea α un camino cerrado dado por z(t), entonces

p p
(z(0)) = (z(1))
si y sólo si el camino α tiene un índice par alrededor de 0.
Dado que hay dos imágenes, necesitamos construir un dominio mayor para que
la función sea genuina. Para ello, haremos un corte el plano C a lo largo de R− ,
generando entonces al plano C como la unión disjunta de los semiplanos P + = {z |
Im(z) > 0} ∪ R ∪ {∞} y P − = {z | Im(z) < 0} ∪ R ∪ {∞} a lo largo de R+ , con dos
ejes R− . Escribimos C̄ = C \ R− .

Figura 3.2. Corte en el plano complejo

Lema 3.2.2. Dado un camino C :

√ √
a) La imagen de C en C̄, C satisface (z(t)) = i z , para t ∈ [0, 1] con un i = 1, 2
p

jo.
b) Si el camino C atraviesa el corte, su imagen cambia de rama.
Demostración.
p p
a) Se sigue del lema anterior. Tomemos t ∈ [0, 1] tal que z(0) 6= z(t), entonces
p p p p p p
puede ser z(0) = 1 z(0) y f (z(t)) = 2 z(t) o z(0) = 2 z(0) y z(t) =
p
1 z(t). Y esto sólo sucede al rodear al menos una vez a 0. Entonces al tomar un
p p
camino cerrado C con ecuación z(t), podemos jar z(0) = i z(0) y obtener
p p
así z(t) = 1 z(t) para un i jo.

75
b) Consideremos dos puntos z1 , z2 ∈ C fuera del corte y dos caminos que los unen
C1 no atraviesa el corte y C2 sí y sabemos que C1 permanece en la misma rama.
√ √ √
Si jamos z1 = 1 z1 , denimos por continuidad a lo largo de C1 el valor 1 z2
en la misma rama. Consideremos ahora el lazo C1−1 C2 con índice 1 alrededor de
0 como se muestra en la gura:

z1

C2 C1−1

z2

Figura 3.3. Composición de los caminos C1−1 C2 y cómo rodean el origen.

√ √
Sabemos que su imagen bajo no es cerrada, esto signica que el valor
z2 6=1
√ √ √
z2 que habíamos jado y dado que 1 z2 estaba en la misma rama que 1 z1 ,
√
entonces el valor z2 pertenece a otra rama.

Tomemos dos copias de C: C × {1} y C × {2}, para cada z ∈ C̄, tenemos que
√
π < arg(z) < −π y su imagen bajo z , cumplirá π/2 < arg(z) < −π/2, es decir que
√
están en el lado derecho del plano, a esta rama la denotamos con 1 z . Al tomar la
otra rama de la función, tendremos valores al lado izquierdo del plano, pues es la
√
rotación de la otra con ángulo π y la llamaremos 2 z.
En la siguiente gura, la parte superior izquierda es una copia del plano C
√
para el cual denimos a la rama z , cuya imagen aparece en azul, mientras en una
1
√
segunda copia del plano C en la parte inferior denimos a la rama 2 z , con imagen
en color rojo.
√ √ √
Las ramas de la función z , 1 z y 2 z son funciones continuas denidas en
las correspondientes copias de C, que llamaremos también hojas. A la primera la
denotaremos por C × {1} y la segunda será C × {2}, para indicar que es el mismo
conjunto, pero el punto (z, 1) pertenece a la copia 1, mientras (z, 2) tiene las mismas
coordenadas en la copia 2.

76
 C × {1}
(a, 1) √
1 z
(b, 1)
p p
2 (b, 2) 1 (a, 1)

ϕ1 ϕ2

C × {2} p p
(a, 2) 1 (b, 1)
2
(a, 2)
√
2 z
(b, 2)

√
Figura 3.4. Ramas continuas de z.

Para conservar la continuidad de la función, se necesita pasar de una hoja a

otra en la supercie vía ϕ1 , mostrada en gris en la gura 3.4, que identica la parte
superior del corte de la hoja 1 con la parte inferior de la hoja 2, y ϕ2 , en celeste,
que identica la parte inferior del corte de la hoja 1 con la parte superior del corte
en la hoja 2. Y así, denimos w : S → Ĉ
( p
1 (z, i), si i = 1
w(z, i) = p
2 (z, i), si i = 2

Si z = ∞, w(∞, i) = ∞ y si z = 0, entonces w(z, i) = 0.

Consideramos la supercie

S := C × {1} t C × {2}/ ∼ .

Los puntos (z, 1) y (z, 2) corresponden vía la proyección π : S → Ĉ al punto z ∈ Ĉ,

como se muestra en la gura 3.6, donde ∼ es la relación correspondiente a ϕ1 y ϕ2 .
De manera que si un punto z0 fuera del corte y tomamos una vecindad |z−z0 | <
δ , donde δ > 0, al dar una vuelta alrededor de él, es posible no tocar el corte con
un radio muy pequeño. Para el punto z0 = 0, la curva forzosamente atraviesa el
corte, obligando a los puntos de esta a moverse de rama, haciendo que se pierda la

77
continuidad, en la gura 3.4 puede verse que los puntos (a, 1) y (b, 1) son cercanos,
√ √
así como (a, 2) y (b, 2). Sin embargo, en sus imágenes bajo y
están alejadas.
1 2
p p p p
1 (a, 1) está cerca de 2 (b, 2) así como 1 (b, 1) es cercana a 2 (a, 2).

Denición 3.9. Los puntos en S , en los cuales es posible cambiar de hoja al dar
una vuelta alrededor de ellos, se llaman puntos de ramicación de una función
algebraica.

Conociendo los puntos de ramicación, puede construirse el esquema de la

supercie de Riemann de dicha función. En la siguiente gura se muestra el esquema
√
de la supercie de Riemann de la función z , con punto de ramicación z = 0. Donde
cada hoja es representada por una recta, las echas indican las identicaciones entre
cada hoja de la supercie a través de los círculos pequeños, que representan a los
puntos de ramicación, indicando que al rodear una vez a ese punto, se puede mover
de una hoja a otra, tanto al dar una vuelta alrededor de ellos, como al atravesar el
corte entre 0 e innito.

0
√
Figura 3.5. Esquema de la supercie de Riemann de z.

C × {1}
(a,1)
0
(b,1)

C × {2}
(a,2)
0
(b,2)

a
C
0

√
Figura 3.6. Hojas correspondientes a la función z y la proyección π : S → Ĉ.

√
Al dominio resultante del pegado para la función z lo llamamos supercie
de Riemann.

78
 √
Figura 3.7. Supercie de Riemann de z . Fuente: imagen tomada de(Alekseev, 2004).

Nota 3.3. En las guras de las supercies de Riemann que utilizaremos a lo largo
del capítulo, el punto al innito corresponde al borde de las hojas.
√
Tenemos las funciones w : S → Ĉ y z : Ĉ 9 Ĉ, ambas están relacionadas por
la proyección π : S → Ĉ, π(z, i) 7→ z . De manera que el siguiente diagrama conmuta
y las funciones π y w(z) están dadas explícitamente por continuación analítica, como
veremos en las siguientes secciones.

w
S Ĉ

π √
z

Ĉ
Figura 3.8. Diagrama de funciones y una supercie de Riemann como dominio de la nueva
función continua.

√
Ejemplo 3.5. Si ahora consideramos la función z 2 : Ĉ → Ĉ. Buscaremos, al igual
√
que en z , sus ramas univaluadas continuas. Se considera el plano z cuyos valores
√ √
de las ramas de la función están dados por 1 z 2 = z y 2 z 2 = −z . Al tomar una
√
curva que rodea a 0, var(z 2 ) varía 4π mientras var( z 2 ) varía 2π , es decir que el
valor de la función no cambia.
√
Por esto, z = 0 no es un punto de ramicación de la función z 2 y las imágenes
de las curvas que pasan por este punto no están denidas de manera única.

79
 B D

0 A E 0 C
F

Plano z Plano w

Figura 3.9. En el lado izquierdo tenemos a la curva BA que pasa por O. Al lado derecho,
las imágenes de esta curva.

En la gura 3.9, las imágenes del segmento BA pueden ser DO o F O , inde-

pendientemente de la elección, al pasar por w = 0 hay de nuevo dos imágenes para
el segmento OA, estas son OE y OC , de esta forma podemos ver que los caminos
que pasan por z = 0 no tienen una imagen bien denida y que la supercie consta
de dos hojas disjuntas, representada en la siguiente gura, con su correspondiente
esquema.

0
(a)Esquema
√ de la supercie de Rie- √
mann de z 2 . (b) Supercie de Riemann de z2.

Denición 3.10. Los puntos en los que se pierde la unicidad de las imágenes de
las curvas continuas, pero no son puntos de ramicación, se llaman puntos de
no unicidad. Al conjunto de puntos de ramicación y puntos de no unicidad le
llamaremos puntos especiales de la supercie de Riemann.
Al construir supercies de Riemann, no se hacen cortes desde un punto de no
unicidad, pero las curvas continuas deben evitar tocar estos puntos.
√
Con la idea de cómo construir la supercie de Riemann para la función z.
Podremos generalizar a cualquier función algebraica, para ello, usaremos las ideas
principales y notación de (Porter, 1983).

80
Denición 3.11. Una supercie de Riemann concreta es un par (S, π) donde
S es una supercie y π : S → Ĉ es una función continua con la propiedad de que
para todo punto s0 ∈ S donde π(s0 ) 6= ∞ existe un entero n 6 1, una vecindad
V0 ⊂ S de s0 y un homeomorsmo h : V0 → h(V0 ) ⊂ Ĉ con h(s0 ) = 0 tal que

π(s) = π(s0 ) + h(s)n

para todo s ∈ V0 . Para los puntos s0 tales que π(s0 ) = ∞, se necesita que

π(s) = h(s)−n

para todo s0 ∈ V0 .
índice de ramicación del punto s0 . Cuando n 6 2,
Al número n se le llama
se dice que s0 es un punto de ramicación de π . La proyección es n-a-1 en todos
los puntos, excepto en estos puntos.

Nótese que la denición 3.9 no contradice la denición 3.11, pues al rodear

a un punto de ramicación, estamos atravesando el corte al innito y habíamos
identicado las copias de C a lo largo de este corte. Es decir, al atravesar el corte
desde la hoja k , paso a la hoja k + 1 y por tanto, una función w(z), pasaría de su
k -ésima rama a la k + 1.

Nota 3.4. Ahora, es conveniente mencionar a los espacios cubrientes, esta condición
será importante para el estudio del grupo de monodromía.

Denición 3.12. Sea f : Y → X una aplicación entre espacios topológicos, decimos

que es una aplicación cubriente si cada punto x ∈ X tiene una vecindad abierta
−1
Ux tal que f (Ux ) es una unión de abiertos disjuntos donde cada uno es homeomorfo
a Ux , a la cual llamamos vecindad regular de x. Decimos que Y es un espacio
cubriente de X s existe tal proyección. Al conjunto f −1 (x) se le llama bra y a su
cardinalidad se le llama número de hojas del espacio cubriente.

En la denición de supercies de Riemann, la proyección

π : S \ {puntos de ramicación} → C \ {puntos singulares de f (z)}

es una aplicación cubriente de n hojas cuando el índice de ramicación es n. La

prueba de esto puede verse en (Porter, 1983) y (Zoª, 2000).

81
 √
Figura 3.11. Supercie de Riemann asociada a z como espacio cubriente de C∗.

Por esta razón, los caminos en Ĉ pueden ser levantados a las supercies de
Riemann, propiedad que estudiaremos en el Capítulo 4.

Ejemplo 3.6. El ejemplo más simple es (Ĉ, id), donde Ĉ es la esfera de Riemann e
id es la función identidad.
Consideremos a h(s) = s − s0 para cada punto nito s0 ∈ C ⊂ Ĉ cuya vecindad
V0 no contenga al innito, de esta forma, h(s0 ) = 0, entonces

π(s) = s = s0 + h(s) = s0 + (s − s0 ) = π(s0 ) + h(s),

donde el índice de ramicación es siempre n = 1. En el caso s0 = ∞, tomaremos

h(s) = 1/s y en cualquier vecindad V0 que no contenga al cero, se cumple h(s0 ) = 0,
de donde
π(s) = s = s0 + 1/s = s0 + h(s),

también con índice de ramicación 1. S es un espacio cubriente 1-a-1, es decir, de 1

hoja.

Ejemplo 3.7 (Ejemplo 3.4 revisitado). Hemos construido una supercie de Rie-
√
mann para la función multivaluada z a través uniones disjuntas e identicaciones,
pero falta vericar que, en efecto, es una supercie de Riemann concreta.
Consideremos un punto z ∈ C∗ , es decir, puntos distintos de 0 e ∞. Entonces
obtenemos un homeomorsmo de la forma

w(s) = π(s) − π(s0 ),

82
es decir que tenemos índice de ramicación 1, conrmando así que no son puntos de
ramicación.

Si tomamos un punto tal que π(s0 ) = 0, tenemos que la proyección

π(s) = π(s0 ) + [w(s)]2 ,

donde el homeomorsmo w tiene índice de ramicación n = 2.

Para un punto tal que π(s0 ) = ∞, tenemos que la proyección

π(s) = π(s0 ) + [w(s)]−2 ,

donde el homeomorsmo w tendría índice de ramicación n = 2. Con esto, obtene-

mos un espacio de recubrimiento de 2 hojas.

Ejemplo 3.8. (S, π) donde S son n copias del plano C pegadas vía ϕk 1 6 k 6 n,
que asignan la parte inferior de R− de la k−ésima copia, con la superior de la copia
k + 1, módulo n.
Este es un espacio cubriente de n hojas, pues se construye de manera análoga
√
a la supercie de z . Sus puntos de ramicación son z = 0, z = ∞ y el índice de
ramicación de cada uno es n. π es la proyección, donde hay un homeomorsmo
p
w : S → Ĉ es la función w(z, i) = k n (z, k), donde i = k .

√
Figura 3.12. Supercie de Riemann de 6
z . Fuente:imagen tomada de(Alekseev, 2004).

83
3.3. Continuación analítica
En las secciones anteriores se mencionó que las funciones solubles por radicales
eran algebraicas y que éstas son parte de un conjunto más general de funciones, lla-
madas analíticas. Nos interesa hablar de estas funciones porque podemos extender
su dominio por continuación analítica y obtener de esta manera un procedimiento
más general para construir supercies de Riemann y asegurar así su existencia para
las funciones algebraicas y a su vez, estudiar la monodromía de las mismas. Consi-
deremos un punto a ∈ C tal que la función algebraica F (a, w) = 0 tiene n soluciones
distintasw = z1 , z1 , . . . , zn . Entonces F 0 (a, zi ) 6= 0, por el Teorema de la Función
Implícita (ver (Bartle, 1967)), si se toma un punto x 6= a en una vecindad Ua de a,
la ecuación F (z, w) = 0 también tiene n soluciones. Estas n soluciones denen fun-
ciones (univaluadas) fa,1 (z), fa,2 (z), . . . , fa,n (z) con dominio Ua . donde las funciones
fa,i (z) se expanden en series de Taylor4 convergentes en a, entonces podemos tomar
un disco Ua en la intersección de los discos de convergencia de estas series.
Llamamos elemento de función analítica a cada par ordenado (fa,i , Ua ),
donde fa,i es analítica en el disco Ua descrito anteriormente. Y llamaremos función
global analítica de (f0 , D0 ) a la función f , que es la colección de elementos tales
que existe una cadena

(f0 , D0 ), (f1 D1 ), . . . , (fn , Dn ) = (f, D)

donde fj es continuación analítica directa de fj−1 para j = 1, 2, . . . , n.

Un elemento analítico puede ser extendido a un dominio más grande, en caso
de que la ecuación 3.1 tenga soluciones univaluadas, el dominio es todo C. Cada
solución está denida en una copia de C, que es conexo por caminos, en particular,
podemos tomar puntos en C \ {z1 , z2 , . . . , zn }, donde {z1 , z2 , . . . , zn } es el conjunto
de puntos donde la función f se hace cero, junto con el cero e innito.
Para construir supercies de Riemann a partir de la continuación analítica,
tomaremos puntos a, b ∈ C \ {z1 , z2 , . . . , zn } y al elemento analítico (fa , Ua ). Expan-
dimos este elemento a través de caminos C ⊂ C \ {z1 , z2 , . . . , zn } hasta el punto b y
cubrimos a los caminos con una cantidad nita de vecindades Uai , que son dominios
de los elementos analíticos (fa,i , Uai ) y son compatibles cuando fai ≡ fai−1 , esto es
en las intersecciones de los discos Uai ∩ Uai−1 , como se muestra en la gura 3.13. El
último elemento analítico (fb , Ub ) es una extensión del elemento (fa , Ua ) a lo largo
del camino C .
4 Ver(Porter, 1983).

84
 Figura 3.13. Continuación analítica por caminos.

Ejemplo 3.9. Sea F (z, w) = (w − z)(w − z0 ) entonces se tienen dos elementos

analíticos, extendidos a las funciones w = z y w = z0 en todo el plano C. Esta tiene
un corte imaginario cuando z = z0 , pero es removible, ya que es univaluada. Sin
embargo en el ejemplo 3.4 no puede removerse el punto de ramicación z = 0.

Pero, ¾es la continuación analítica única? En este punto armaremos que dos
caminos C 1 y C 2 , ambos uniendo a los puntos a y b, pueden ser deformados uno en
el otro siempre que al concatenarlos no rodeen a un punto sinuglar de una función.
A esta posibilidad de deformar caminos se le llama propiedad de monodromía,
que será fundamental en el siguiente capítulo.

Figura 3.14. Propiedad de Monodromía

Denición 3.13. La unión de todos los elementos analíticos obtenidos de (fa , Ua )

a lo largo de todos los posibles caminos con la propiedad de monodromía, es decir,
elbarrido de las curvas, forma una supercie, que es precisamente la supercie de
Riemann S , de una función sin contar los puntos de ramicación. Esta supercie
cumple con:
π : S → Ĉ \ {z1 , z2 , . . . , zn }

que asocia cada valor wi (z) con su argumento z . Sin embargo, falta unir a los puntos
de ramicación para obtener una supercie de Riemann compacta con la topología
inducida por los discos de los elementos analíticos.

85
Ejemplo 3.10 (Construcción equivalente para el ejemplo 3.4). Estudiaremos la
√
función w(z) = z tomando la curva e2πit con t ∈ [0, 1] (el círculo unitario en el
plano C). Al completar una vuelta al círculo a partir de z = −1 en una copia de C,
análogo al ejemplo ??, el camino que se obtiene (imagen) es un semicírculo en la
√
parte derecha del plano al utilizar la función 1 z , denida previamente.
Haciendo continuación analítica, partiendo del mismo punto pero en la segunda
copia de C, como se estableció en el ejemplo 3.4, se da una vuelta en la segunda
√
copia, generando, a través de la función 2z el semiplano derecho de C. La supercie
nal es el barrido de los círculos de todos los radios r > 0, hasta innito, que se
muestra en todas las guras como el borde de las hojas.

(a) Hoja 1 del plano C. (b) Hoja 2 del plano C.

(c) Supercie de Riemann con los cami-

nos circulares y las vecindades tomadas
para la continuación analítica (d) Imagen de la función w(z).

3.4. Supercies de Riemann para funciones solubles por ra-

dicales
En general, podemos construir supercies de Riemann para todas las funcio-
nes algebraicas, pero para propósitos de esta tesis es de particular interés entender
la construcción para funciones solubles por radicales. Si consideramos una función
h(z) = f (z)g(z), donde la casilla  puede ser cualquiera de las operaciones suma,
resta, multiplicación, división, potencias y raíces, podemos construir sus supercies
de Riemann a través de las siguientes construcciones:

Construcción 3.1. Para construir el esquema de las supercies de Riemann de las

funciones h(z) = f (z)g(z), comenzando con los esquemas de las funciones f (z)

86
g(z), con los mismos cortes, basta con seguir el procedimiento descrito a continua-
ción:

a) Poner en correspondencia cada par de ramas fi (z) y gi (z), una hoja con la cual
rama hi,j (z) = fi (z)gj (z) está denida.

b) Si al girar una vez alrededor del punto z0 se mueve de una rama fi1 (z) a una
nueva rama fi2 (z) y de la rama gj1 (z) a gj2 (z), entonces para la función h(z),
con el mismo giro se moverá de la rama hi1,j1 a la rama hi2,j2 .

c) Identicar las hojas en las que las ramas hi,j coinciden y reducirlas a una sola
hoja.

A esto se le conoce como método formal.

Construcción 3.2. Para construir el esquema de la supercie de Riemann de la

función h(z) = [f (z)]n , comenzando con el esquema de la supercie de Riemann de
la función f (z), denida con los mismos cortes, son sucientes los siguientes pasos:

a) Considerar las ramas hi (z) = [fi (z)]n , en vez de las ramas fi (z) en el esquema
de f (z)

b) Identicar qué ramas de h(z) coinciden.

Construcción 3.3. Para construir el esquema de la supercie de Riemann de la

función h(z) = n f (z) comenzando con el de la función f (z), denidas en los
p

mismos cortes, es suciente hacer lo siguiente:

a) Reemplazar cada hoja del esquema de la supercie de Riemann de la función f (z)

por un paquete de n hojas.

b) Al dar una vuelta alrededor de un punto de ramicación arbitrario de h(z), se

mueve de las hojas de un paquete a todas las hojas de un paquete distinto.

c) Cada movimiento de un paquete de hojas a otro paquete, corresponde a pasar de

una hoja a otra en la f (z).

d) Si las ramas dentro de los paquetes están enumeradas de manera que fi,j (z) =
fi,0 (z)kn , entonces al moverse de un grupo de hojas a otro, las hojas del paquete
correspondiente que las contiene no están mezcladas, sino que permutan cíclica-
mente.

87
 Todos estos procedimientos se cumplen cuando la función compuesta h(z), tiene
los mismos cortes que las funciones de las que depende, a continuación, veremos cómo
construir supercies de Riemann para funciones compuestas.
√√
Ejemplo 3.11. Consideramos la función h(z) = z + z se tiene que ambas
funciones f (z) = g(z) y el único punto de ramicación es z = 0. Si comenzamos en
la rama h0,0 , al dar una vuelta alrededor de este punto, cambiará de f0 a f1 y de g0
a g1 , pasando a la hoja h1,1 . Análogamente, si se comienza en h0,1 , se pasará a h1,0 ,
siendo su esquema:

h1,1

h1,0

h0,1

h0,0
0
√ √
Figura 3.16. Esquema de la supercie de Riemann de z+ z con el método formal.

Sin embargo, al evaluar para algún z 6= 0, z 6= ∞ se tiene:

h0,0 (z) = f0 (z) + f0 (z) = 2f0 (z)

h0,1 (z) = f0 (z) + f1 (z) = 0

h1,0 (z) = f1 (z) + f0 (z) = 0

h1,1 (z) = f1 (z) + f1 (z) = f1 (z)

Puede notarse que dos hojas son idénticamente 0, entonces coinciden en el cambio
de argumento y pasos de una hoja a otra, por lo que el esquema correcto de la
supercie de Riemann para esta función se ve así:

h1,0 = h0,1 ≡ 0

h1,1

h0,0
0
√ √
Figura 3.17. Esquema correcto de la supercie de Riemann de z+ z.

88
 √ √ p
Ejemplo 3.12. Al considerar la función h(z) = ( z + z)/ 3 z(z − 1), regresare-
√ √
mos a f (z) = z + z , función de la cual conocemos que tiene 3 ramas univaluadas
continuas, f0 (z) ≡ 0, f1 (z), f2 (z) = −f1 (z), con punto de ramicación z = 0 y la fun-
p
ción g(z) = 3 z(z − 1), que tiene 3 ramas univaluadas, con puntos de ramicación
z = 0 y z = 1. Las ramas son g0 (z), g0 (z)3 , g0 (z)23 , entonces

h0,0 (z) = f0 (z)g0 (z) = 0

h0,1 (z) = f0 (z)g1 (z) = 0

h0,2 (z) = f0 (z)g2 (z) = 0

h1,0 (z) = f0 (z)g0 (z)

h1,1 (z) = f0 (z)g1 (z) = h1,0 3

h1,2 (z) = f0 (z)g2 (z) = h1,0 23

De donde puede observarse que tres hojas coinciden y son idénticamente 0. Se nece-
sitan 3 vueltas alrededor del punto z = 1 para regresar a la rama inicial y el punto
z = 0 por ser punto de ramicación de f (z) y g(z), permutará ambos índices en
hi,j (z) cambiando cíclicamente i ∈ {1, 2} y el índice j ∈ {0, 1, 2}. Dejando las hojas
i = 0 jas, ya que h0,j ≡ 0.

h2,2
h2,1
h2,0
h1,2
h1,1
h1,0
h0,0 = h0,1 = h0,2
0 1
(a) Esquema de la supercie
√
de
Riemann
√ p
de la función ( z + (b) Supercie
√ √ p
de Riemann de la fun-
z)/ z(z − 1).
3
ción ( z + z)/ 3 z(z − 1).

Ejemplo 3.13. Cuando un punto distinto de z = 0 aparece como denominador,

la variación del argumento está en dirección contraria, a continuación, se analizará
p
la función (z + i)2 /(z(z − 1)3 ), donde los puntos de ramicación son z = −i con
4

multiplicidad dos, entonces asigna las hojas por parejas, z = 0 asigna las hojas
cíclicamente, al igual que z = 1.

89
 0 1 −i
(a)Esquema
p de la supercie de Rie- (b) Supercie de Riemann de
mann de 4 (z + i)2 /(z(z − 1)3 ). (z + i)2 /(z(z − 1)3 ).
p
4

90
4. GRUPO DE MONODROMÍA Y TEOREMA DE

ABEL-RUFFINI

En este capítulo mostramos el teorema de Abel-Runi, siguiendo las ideas de

la prueba de Arnold. En el capítulo anterior, vimos cómo asociar a una función
algebraica una supercie y una aplicación cubriente. En este capítulo, estudiamos
primero cómo capturar la información de los lazos que rodean los puntos singulares
de la función algebraica a través de un grupo, el grupo fundamental. Posteriormen-
te discutimos cómo estos lazos inducen permutaciones de las hojas del espacio de
recubrimiento. El grupo generado por estas permutaciones es el llamado grupo de
monodromía de una función algebraica. Veremos cómo se relaciona el hecho de que
una función algebraica sea soluble por radicales con la solubilidad de dicho grupo y
cómo se puede usar esto para concluir el teorema de Abel-Runi.

4.1. Lazos y grupo fundamental

Para rodear los puntos singulares de un espacio, consideraremos y establecere-
mos cuándo son equivalentes. Esta información estará capturada en lo que se llama
grupo fundamental del espacio. Estudiaremos esta noción y propiedades relevantes
en esta sección. Recordemos que un camino es una función continua en un espacio
topológico f : I → X con punto inicial f (0) = x0 y nal f (1) = x1 . Podemos defor-
mar caminos manteniendo sus extremos jos, para ello, estudiaremos la homotopía
de caminos.

Denición 4.1. Una homotopía de caminos F : I × I → X, denida por

F (s, t) = ft (s)

es una función que deforma continuamente a los caminos f0 (t) y f1 (t), a través de la
familia de camino ft : I → X con punto inicial ft (0) = x0 y punto nal ft (1) = x1 .
Decimos que dos caminos f0 , f1 : I → X que están conectados de esta forma,

91
son homotópicos y escribimos f0 ' f1 .
Si pensamos en t como una variable que parametriza el tiempo, tenemos un
camino f0 : I → X que varía continuamente desde t = 0 hasta el tiempo t = 1,
al camino f1 : I → X . Por eso, decimos que una homotopía es una deformación
continua de caminos.

Puede verse que la homotopía de caminos, dene una relación de equivalencia:

dos caminos se consideran equivalentes si pueden deformarse uno en otro dejando
los extremos jos1 . A la clase de caminos equivalentes homotópicamente a f la
denotaremos por [f ].

Figura 4.1. Caminos equivalentes homotópicos.Fuente: Imagen tomada de (Munkres,

2000).

En la siguiente gura mostramos dos caminos con extremos jos que no son
equivalentes homotópicamente, pues existe una singularidad entre ellos y al deformar
continuamente siempre pasa por ese punto.

x1

x0

Figura 4.2. Caminos que no son homotópicos, pues no se puede deformar uno en el otro
sin tocar el punto.

Con las clases de equivalencia, escribimos al producto entre ellas como

[f ] [g] = [f ∗ g]
1 Ver (Hatcher, 2002).

92
donde el producto ∗ al lado derecho es la concatenación de caminos y está bien
denido en clases de equivalencia siempre que f (1) = g(0).
Dados f , g , h caminos en un espacio X , las principales propiedades de este
producto son:

1. El producto entre clases de equivalencia es asociativo

([f ] [g]) [h] = [f ] ([g] [h]),

siempre que f (1) = g(0) y g(1) = h(0).

2. Si x ∈ X , la clase de equivalencia del camino constante x : I → X , tal que

x (t) = x para cada t ∈ I , se comporta como elemento identidad, esto es,

[a ] [f ] = [f ] = [f ] [b ] ,

si f : I → X es un camino de a a b.

3. El camino en dirección contraria actúa como inverso, es decir si f : I → X es

un camino de a a b y f −1 : I → X es tal que f −1 (t) = f (t − 1)

[f ] f −1 = [a ] y f −1 [f ] = [b ] .
   

Para denir al grupo fundamental de un espacio X tomamos un punto x0 ∈ X ,

restringiremos los caminos a caminos cerrados, tales que f (0) = f (1) = x0 , a los
cuales llamaremos lazos basados en x0 .
Cuando consideramos lazos, la operación siempre está denida y el elemento
neutro es único y corresponde al camino constante x (t) = x0 para cada t ∈ I .

Denición 4.2. El conjunto de clases de equivalencia de lazos basados en x0 forma

un grupo con el producto descrito anteriormente. A este grupo lo llamamos grupo
fundamental de X basado en x0 y se denota por π1 (X, x0 ).

Nota 4.1. El grupo fundamental de un espacio X , π1 (X, x0 ) es invariante bajo ho-

meomorsmos de espacios y más aún, de homotopía. Es decir, espacios topológicos
homeomorfos (homotópicos) tienen grupos fundamentales isomorfos, como se mues-
tra en (?) y puede probarse que π1 (S 1 , 1) ∼
= Z.
Otra propiedad importante del grupo fundamental es que al cambiar de punto
base, es decir, tomando y0 , siempre que el espacio sea conexo por trayectorias, se
cumple que π1 (X, x0 ) ∼
= π1 (X, y0 ). Véase (Munkres, 2000).

93
Ejemplo 4.1 (El grupo fundamental del círculo). Consideremos el círculo S 1 ⊂ C
y el punto base 1 ∈ S 1 . Resulta que π1 (S 1 , 1) ∼
= Z y está generado por el lazo
γ : I → S 1 , t 7→ e2πit . Para probar esto, consideramos un espacio de recubrimiento
de S 1 dado por p : R → S 1 (t 7→ (cos(2πt), sen(2πt)).
Para visualizar este espacio de recubrimiento, consideramos un encaje de R a
R3 , donde se formará una hélice que asigna las coordenadas de la siguiente forma
t 7→ (cos 2πt, sen2πt, t) y p es la proyección al plano C desde R3 , (x, y, z) 7→ x + iy .

Figura 4.3. Aplicación cubriente p.

n
Sea n ∈ Z, observemos que [γ] = [γn ], donde γn : I → S 1 , es el lazo dado por
t 7→ e2πitn para n ∈ Z. Más aún, podemos considerar los caminos γ˜n : I → R.
Dado un lazo α : I → S 1 basado en 1, veremos en la Sección 4.2 que existe un
único levantamiento α̃ : I → R, que comienza en α̃(0) = 0. Observemos que el punto
nal α̃(1) de este camino es un punto en Z = p−1 (1). De esta manera podemos
considerar
ψ : π1 (S 1 , 1) → Z dado por [α] 7→ α̃(1).

Resulta que ψ es un homomorsmo de grupos bien denido y más aún, es

isomorsmo, puede verse los detalles en (Hatcher, 2002). En particular, observamos
que ψ([γ]) = 1, lo que signica que el lazo γ genera el grupo fundamental π1 (S 1 , 1).

Ejemplo 4.2. Consideremos a los espacios que se muestra en la gura, un anillo A

y un disco D .

94
 A x0 x0 D

Figura 4.4. Puntos base en el espacio.

En este caso, π1 (D, x0 ) = {e} es el grupo trivial, ya que cualquier lazo en el

disco D puede contraerse al punto x0 , pues es un espacio convexo2 sin singularidades
y estos lazos actúan como el elemento identidad. En (Hatcher, 2002) se muestra
que el anillo A es homotópico al círculo S 1 y, como discutimos en el ejemplo 4.1,
π1 (S 1 , 1) ∼
= Z. En consecuencia, π1 (A, x0 ) ∼
= Z.

En el contexto de funciones algebraicas, nos interesa estudiar el comportamien-

to de las soluciones alrededor de las singularidades y, como mencionamos antes, lo
hacemos considerando lazos que rodean estas singularidades. Por ejemplo, la función
√
algebraica z tiene a 0 como único punto singular. Para rodear a 0 consideramos el
grupo fundamental π1 (C∗ , 1).
Resulta, de la inclusión de S 1 en el plano perforado C∗ , que el grupo funda-
mental del plano perforado basado en 1, es el grupo libre generado por el lazo que
rodea a 0, es decir π1 (C∗ , 1) ∼
= Z.

C∗

Figura 4.5. Lazo alrededor de 0 como generador del grupo fundamental del plano perfo-
rado.

En general, si la función algebraica f , tiene un número nito de puntos singula-

res {z1 , z2 , . . . , zm }, consideramos el grupo fundamental π1 (C \ {z1 , z2 , . . . , zm }, x0 ).
Puede probarse que este grupo fundamental es un grupo libre en generadores y cada
2 Ver (Hatcher, 2002).

95
generador corresponde a un lazo γi : I → C \ {z1 , z2 , . . . , zm } basado en x0 que ro-
dea a la singularidad zi (Hatcher, 2002).A continuación describimos cómo podemos
levantar estos lazos y cómo permutan las ramas de una función algebraica.

4.2. Espacios cubrientes, levantamientos y monodromía

En esta sección consideraremos espacios cubrientes de n-hojas con la aplica-
ción cubriente p : Y → X . Deniremos la noción de levantamientos y veremos cómo
pueden utilizarse los levantamientos de lazos basados en el espacio X y explicare-
mos cómo estos levantamientos inducen permutaciones de las hojas del espacio de
recubrimiento.

4.2.1. Espacios cubrientes y levantamiento

Ahora veremos cómo la noción de espacios cubrientes nos da las herramientas
necesarias para armar la existencia de un levantamiento de caminos y por ende, del
grupo fundamental. Este levantamiento conserva la estructura algebraica, es decir,
también es un grupo, que está asociado a la función que correspondía a la supercie
construida previamente.

Denición 4.3. Sea p : Y → X una aplicación cubriente. Si γ : Z → X es una

aplicación continua, un levantamiento de γ es una aplicación continua γ̃ : Z → Y
ta que p ◦ γ̃ = γ , es decir, el siguiente diagrama conmuta.

γ̃ p

Z X
γ

Figura 4.6. Diagrama que representa la propiedad de levantamiento.

Entre los resultados más importantes sobre levantamientos, tenemos los siguien-
tes teoremas que aseguran la unicidad de levantamiento de caminos y más aún, de
homotopías, las pruebas pueden ser revisadas en (Hatcher, 2002) y (Munkres, 2000).

Teorema 4.2.1 (Levantamiento de curvas). Sea x0 ∈ X y p : Y → X una función

cubriente y supongamos que p(y0 ) = x0 . Entonces cualquier camino γ : I → X que

96
comienza en x0 tiene un levantamiento único a un camino γ̃ en Y que comienza en
y0 .

Así como podemos levantar caminos, podemos levantar también homotopías.

Para ver esto, necesitamos el siguiente lema, cuya demostración se encuentra en
(Munkres, 2000).

Lema 4.2.1. Sea Z un espacio arbitrario y {Uj } una cubierta abierta de Z × I .

Entonces para cada z ∈ Z existe una vecindad Nz de z en Z y un entero positivo n
tal que Nz × [tr−1 , tr ] ⊂ Uj para alguna j , para cada 1 6 r 6 n.
Teorema 4.2.2 (Levantamiento de Homotopías). Sea p : Y → X una aplicación
cubriente. Sea Z un espacio arbitrario y γ : Z → X una aplicación continua que
tiene un levantamiento γ̃ : Z → Y . entonces toda homotopía F : Z × I → X con
F (z, 0) = γ(z) para cada z ∈ Z puede ser levantada a una homotopía F̃ : Z × I → Y
con F̃ (z, 0) = f˜(z) para cada z ∈ Z . Además, si F es una homotopía relativa a un
subconjunto Z 0 de Z , entonces F̃ también lo es.
Sea ϕ : X → Y una aplicación continua, tenemos los siguientes hechos:

1. Si α, β son caminos en X , entonces ϕα y ϕβ son caminos en Y .

2. Si α ∼ β , entonces ϕα ∼ ϕβ .

3. Si α es un lazo en X , basado en x, ϕα es un lazo en Y , basado en ϕ(x).

Así, si [α] ∈ π1 (X, x), [ϕα] es un elemento bien denido de π1 (Y, ϕ(x)). Y denimos

ϕ∗ : π1 (X, x) → ϕ(Y, ϕ(x)),

donde
ϕ∗ ([α]) = [ϕα] .

Y podemos probar que este es un homomorsmo de grupos, al cual llamamos ho-

momorsmo inducido por ϕ, ver (Hatcher, 2002).
Corolario 4.2.1. Sea p : Y → X una aplicación cubriente, y0 ∈ Y y x0 = p(y0 ) ∈
X . Entonces el homomorsmo inducido por los lazos basados en x0 , p∗ : π1 (Y, y0 ) →
π1 (X, x0 ) tal que p∗ [γ] = [pγ] es inyectivo.

Demostración. Sean [α̃], [β̃] ∈ π1 (Y ) tales que [p ◦ α̃] = [p ◦ β̃] ∈ π1 (X). Entonces los
lazos α̃, β̃ son levantamientos de los lazos [α] = [p ◦ α̃] y β = [p ◦ β̃]. Como [α] = [β],
es decir que α y β son equivalentes homotópicos, entonces α̃ y β̃ también lo son.

97
4.2.2. Monodromía de un espacio cubriente de n-hojas
Consideremos entonces a la aplicación cubriente π : Y → X , donde Y es un
espacio cubriente de n hojas, un punto x0 ∈ X y su bra que consta de n elementos,
F := {a ∈ Y | a = π −1 (x0 )}. Tomamos el grupo fundamental de X y denimos una
acción3 de π(X, x0 ) en la bra F de x0 .
Sea γ : I → X un lazo basado en x0 , tomaremos a ∈ F . El Teorema 4.2.1 nos
asegura que f se levanta a un único camino γ˜a : I → Y que inicia en γ˜a (0) = a. Como
Y es un recubrimiento de n hojas y π(γ˜a (1)) = γ(1), la preimagen π −1 (γ(1)) ∈ F
aunque no necesariamente coincide con a. Esto signica que cada lazo en X induce
una permutación de los elementos de F y habrá una cantidad nita de las mismas,
pues la cantidad de hojas del espacio de recubrimiento es nita. Al homomorsmo
ϕπ : π1 (X, x0 ) → Aut(F ) que corresponde a esta acción, lo llamamos monodromía
del espacio de recubrimiento y la imagen de este homomorsmo es el grupo
de monodromía de π. Nótese que F es un conjunto de n elementos, por lo que su
grupo de monodromía es un subgrupo de Sn = Aut(F ).

Ejemplo 4.3. En el Ejemplo 3.4.Tenemos un espacio de recubrimiento de 2 hojas

y la aplicación cubriente ß : S → C∗ , al dar una vuelta alrededor de cero en el plano
C∗ , en la supercie pasamos de la hoja 1 a la hoja 2 y viceversa. Entonces el grupo
de monodromía de este espacio es Z2 .
√
En general, para las funciones de la forma n z se permutan cíclicamente las
n hojas al dar vueltas alrededor de z = 0, por lo tanto, el grupo de monodromía
correspondiente a estos espacios es Zn .
√
Ejemplo 4.4. La función z 2 tiene como grupo de monodromía al grupo trivial
{e}, pues las hojas no están conectadas entre sí.

4.3. Grupos de monodromía de funciones algebraicas

En esta sección consideraremos una función algebraica f . Como vimos en el ca-
pítulo anterior, a f podemos asociarle una supercie de Riemann S y una aplicación
cubriente de n-hojas π : S → Ĉ \ {puntos singulares de f }.
3 Una acción (derecha) de un grupo G en un conjunto X es una función ϕ : G × X → X tal que
para cada x ∈ X y para cada g, h ∈ G, se cumple
1. x · e = x
2. x · (gh) = (x · g) · h, (gh) es el elemento resultante de la operación en G.

98
 Teniendo una función algebraica f n-valuada, consideraremos un punto base
x0 en el plano Ĉ \ {puntos singulares de f }. Tenemos una función con n elementos
analíticos (fj , Dj ), j = 1, . . . , n y cuyos valores en ese punto son fj (x0 ), es decir, la
bra.
Sea γ un lazo en Ĉ \ {puntos singulares de f } un lazo dado por x(t) tal que
x(0) = x(1) = x0 y jamos un valor fj (x) = fj . Denotamos por Fx0 = {f1 , . . . , fn } a
la bra sobre x0 . Y denimos el punto nal de la imagen de la curva por continuidad
a lo largo de γ , de manera que fj = f (x(1)). Notemos que al iniciar en distintos
valores, como vimos en el capítulo 2, terminamos en distintos valores de la función.
Así, estamos deniendo entonces una acción del lazo γ ∈ π1 (X, x0 ) en la bra Fx0 .

Nota 4.2. Podemos ver que el grupo de monodromía de la función algebrai-

ca f es el grupo de monodromía del espacio cubriente de n-hojas π : S → Ĉ \
{puntos singulares de f }. Denotamos a este grupo por Mon(f ). Notemos que Mon(f )
está generado por las permutaciones de los valores de f aa lo largo de los lazos γ
que rodean los puntos singulares de f .

Dado que la bra de un punto en Ĉ \ {puntos singulares de f } son los n valores

de la función en ese punto, cada uno está denido en una hoja de la supercie de
Riemann asociada a la función. Podemos considerar entonces una biyección entre
las ramas de una función y las hojas de la supercie.
Sean h1 , h2 , . . . , hn las hojas de la supercie de Riemann asociada a f , hacemos
corresponder distintos valores con distintas hojas del esquema de la supercie a
través de ψ : Fx → S tal que fi 7→ hi .

Valores de w(z) a lo largo de C , fi Hoja correspondiente hi = ψ(fi )

fi hi
fi+1 hi+1
fi+2 hi+2
.. ..
. .
fi+k hi+k
.. ..
. .
fi+(n−1) hi+(n−1)

Tabla 4.1. Correspondencia entre valores de una función y hojas de una supercie de
Riemann.

Ahora consideramos las acciones de π1 (Ĉ \ {puntos singulares de f }, x0 ) sobre

estos elementos.

99
Denición 4.4. Al grupo libre generado por las permutaciones que corresponden
al levantamiento de los lazos alrededor de todos los puntos de ramicación, le lla-
maremos grupo de permutación del esquema al subgrupo generado por las
elementos g1 , g2 , . . . , gk .

Denición 4.5. Sean g1 , g2 , . . . , gk las permutaciones de las hojas del esquema de la

supercie de Riemann inducidas por los lazos en π1 (Ĉ\{puntos singulares de f }, x0 ).
Al subgrupo de Sn generado por estas permutaciones lo llamamos grupo de mo-
nodromía de la supercie de Riemann o asociado al esquema.
Así, cada permutación de los valores fj corresponde a una única permutación
de las hojas de la supercie, puede probarse que existe una biyección entre ellos y
con esta biyección, probamos la siguiente propiedad importante:

Proposición 4.1. El grupo de monodromía de una función algebraica f y el grupo

de monodromía del esquema asociado a la misma, son isomorfos.
A continuación veremos ejemplos de esquemas de algunas funciones especícas.

Ejemplo 4.5. Observemos el esquema de la supercie de Riemann para la función

√ √
z+ z − 1 y enumeraremos las hojas de abajo hacia arriba.

4 h1,1
3 h1,0
2 h0,1
1 h0,0
0 1
√ √
Figura 4.7. Esquema de la supercie de Riemann de la función z+ z − 1.

Ahora veremos sus permutaciones correspondientes, si se enumeran las hojas

de 1 a n comenzando en la de abajo.

ˆ Alrededor de z = 0
!
1 2 3 4
= (13)(24).
3 4 1 2
ˆ Y alrededor de z = 1, tenemos:

!
1 2 3 4
= (12)(34).
2 1 4 3

100
Su grupo de monodromía es el generado por las permutaciones anteriores, es decir
h(13)(24), (12)(34)i.
√
Ejemplo 4.6. De la misma manera, observamos el esquema de la función 3 z 2 − 1+
p
1/z

6 h2,1
5 h2,0
4 h1,1
3 h1,0
2 h0,1
1 h0,0
0 1

Las permutaciones correspondientes a este esquema están dadas por

ˆ Alrededor de z = ±1
!
1 2 3 4 5 6
= (135)(246).
3 4 5 6 1 2
ˆ Alrededor del punto z = 0
!
1 2 3 4 5 6
= (12)(34)(56).
2 1 4 3 6 5
El grupo de monodromía asociado a este esquema es h(135)(246), (12)(34)(56)i.
√
Ejemplo 4.7. Consideremos el esquema de la función
3
z 2 − 1.

−1 1
√
Figura 4.8. Esquema de la supercie de Riemann de la función 3
z 2 − 1.

Ambos puntos de ramicación, z = 1 y z = −1, permutan las 3 hojas cíclica-

mente, por lo que el grupo correspondiente a este esquema es Z3 .
√ √
Ejemplo 4.8. Del ejemplo 3.11, en la función
z+ z , el esquema construido por el
√ √
método formal tiene 4 hojas que se permutan por pares, es decir Mon( z + z) ∼ =
Z2 × Z2 . Sin embargo, al observar el esquema real, que solamente tiene 3 hojas
y únicamente dos están conectadas, alternándose de forma cíclica. Por lo tanto
√ √
Mon( z + z) ∼
= Z2 .

101
 √
Ejemplo 4.9.
p
En el esquema de la función 1/z , analizado en el ejem-
3
z2 − 1 +
plo 4.6, alrededor de los puntos z = ±1 jamos el segundo índice 0 o 1 y permuta
cíclicamente los primeros índices 0,1,2. Alrededor de z = 0, se ja el primer índice 0,
√
1/z) ∼
p
1 o 2 y permutamos el segundo índice 0 y 1. Por lo tanto Mon( z 2 − 1 +
3
=
Z2 × Z3 .

Recordando las propiedades de las funciones solubles por radicales cumplen

con la propiedad de monodromía, describiremos ahora qué sucede con sus grupos de
monodromía, estas propiedades son una parte crucial para la prueba de Arnold del
teorema de Abel-Runi.

Proposición 4.2.
1. Sea h(z) = f (z)g(z), donde  puede ser cualquier operación aritmética,
+, −, ·, /. Con Mon(f ) = F y Mon(g) = G, entonces el grupo de monodromía
de Mon(h) < F × G, construida por el método formal.
2. Si H1 es el grupo de monodromía del esquema obtenido por el método formal
y H2 el grupo del esquema real, existe un homomorsmo sobreyectivo de H1
en H2 .
Demostración.

1. Tomemos un punto de ramicación z0 de h(z) y que dar una vuelta alrededor

de este punto corresponde a las permutaciones a1 y a2 del esquema de las
funciones f (z) y g2 respectivamente. Nótese que si z0 es punto de ramicación
únicamente de f (z), entonces a2 = e y g1 = e cuando z0 es únicamente punto
de ramicación de g(z).

Tomando las ramas hi,j (z) de h(z) con subíndices i, j correspondientes a las
ramas de f (z) y g(z) respectivamente, al rodear el punto z0 , las ramas i y
j permutan de forma independiente, es decir, el índice i es permutado por
g1 ; y j , por g2 , siendo una permutación de h(z) el par (g1 , g2 ) ∈ F × G. Al
corresponder estas permutaciones a todos los puntos de ramicación de h(z),
estamos generando un subgrupo de F × G.

2. Al construir un esquema por el método formal, resulta que algunas ramas coin-
ciden. Sea zi un punto de ramicación de h(z), al dar una vuelta alrededor
del mismo, nos movemos de un paquete de hojas a otro (en el método for-
mal). Entonces obtenemos una permutación arbitraria gi ∈ H1 de los paquetes

102
 de hojas, conservando los que coinciden. Entonces el producto de dos permu-
taciones g1 g2 , que conservan los paquetes, también los conservará. Todas las
permutaciones de H1 conservan la cantidad de hojas.

Sea ϕ : H1 → H2 , gi 7→ g˜i , dado que gi conserva los paquetes repetidos y g˜i conserva
únicamente un paquete que representa a los repetidos en el esquema real, entonces
se seguirán conservando en el producto, es decir:

ϕ(g1 g2 ) = g˜1 g˜2

que es un homomorsmo que hace corresponder a cada conjunto de hojas en H1 una

única hoja en H2 . Es decir que cada hoja del esquema correcto tiene un conjunto de
hoja en H1 como preimagen, lo cual implica que el homomorsmo es sobreyectivo.

4.4. Prueba de Arnold del teorema de Abel-Runi

En esta sección probaremos el teorema de Abel-Runi, basándonos en las
ideas de Arnold, plasmadas en (Alekseev, 2004). Como detallamos a continuación,
la prueba consiste en considerar una familia de ecuaciones polinomiales de grado 5
particular (ver ecuación 4.1) y estudiar la función algebraica que expresa sus raíces.
Con lo desarrollado en este capítulo y los capítulos anteriores calculamos el grupo
de monodromía de esta función y obtenemos que es el grupo simétrico S5 .
Como probaremos a continuación, en el Teorema 4.4.1, las funciones algebrai-
cas solubles por radicales tienen grupo de monodromía soluble. En el capítulo 1
probamos que S5 no es soluble, en consecuencia la función algebraica denida por
la ecuación 4.1 no puede ser soluble por radicales, lo que implicará la imposibilidad
de la existencia de una fórmula general para solucionar ecuaciones polinomiales de
grado 5, como vemos a detalle en el Teorema 4.4.2.

Teorema 4.4.1. Si la función multivaluada h(z) es representable por radicales, su

grupo de monodromía es soluble.4

Demostración. Si F y G son solubles, también lo será el grupo de monodromía, H ,

de la función h(z) = f (z)g(z), construidos por el método formal.
4 Esteteorema es válido en general para funciones analíticas. Utilizando combinaciones de la
función identidad, operaciones aritméticas y funciones analíticas. En este caso, podemos obtener
grupos de orden innito. Ver (Porter, 1983).

103
 Sabemos que H ⊆ F × G, el cual es soluble, ya que F y G lo son. Y como
existe un homomorsmo sobreyectivo ϕ : H1 → H2 , H2 , el grupo de monodromía
del esquema real, es soluble, donde  es cualquiera de las operaciones +, −, ·, /.
n
Por otro lado, si F es soluble y h(z) = [f (z)] , entonces se hace corresponder
hi (z) = [fi (z)]n . Obteniendo entonces un homomorsmo sobreyectivo ϕF → H , por
lo que H es soluble.
p
En el caso h(z) = n f (z), considerando el homomorsmo φ : H → F tal
que φ(gi ) = g˜i , cumplirá que φ(gi gj ) = g˜i g˜j , que es un homomorsmo sobreyectivo
que hace corresponder cada hoja de F con un paquete en H . Entonces el cociente
H/ker(φ) ∼ = F por el teorema 1.3.4. Como ker(φ) es conmutativo y F es soluble,
entonces H es soluble.
Por lo tanto si una función es representable por radicales, tiene grupo de mo-
nodromía soluble.

Nos interesa probar que la fórmula general para las raíces de una ecuación de
grado 5 o mayor no es soluble por radicales, entonces consideraremos la siguiente
función y veremos paso a paso lo que sucede con sus raíces.

Pz (w) = 3w5 − 25w3 + 60w − z = 0. (4.1)

Primero analizaremos sus puntos singulares. Para ello, usaremos la Proposi-

ción 2.4. Esta asegura que si w0 es raíz de Pz (w), entonces w0 es raíz de Pz0 (w) con
un grado menor de multiplicidad y tenemos que

Pz0 (w) = 15w4 − 75w2 + 60 = 15(w2 − 1)(w2 − 4),

de donde encontramos las raíces w0 = ±2 y w0 = ±1, sustituyendo estos valores en

4.1 obtenemos que para los valores z = ±16 y z = ±38 respectivamente, éstas son
raíces. Por lo que la ecuación 4.1 tiene 4 raíces distintas y para z ∈ C \ {±16, ±38},
tiene 5 raíces distintas.
Supongamos ahora que existe una función que representa las raíces de 4.1,
w(z), sabemos que es multivaluada y depende de z . Entonces tomamos un z0 ∈ C,
jando uno de sus valores w(z0 ) = w0 y consideremos un disco D = |w − w0 | < r
donde r es muy pequeño, delimitado por el círculo γ = |w −w0 | = r . Consideraremos
la imagen de γ bajo τ = Pz0 (w) y la llamaremos C 0 .
Al descomponer Pz0 (w) en polinomios de grado 1, obtenemos Pz0 = 3(w −
w1 )(w − w2 )(w − w3 )(w − w4 )(w − w5 ), donde cada wi es solución de Pz0 = 0.

104
Notamos que la variación del argumento de γ alrededor de cada wi , depende de que
wi esté o no en D.
(
2π, si wi ∈ D
ϕ(γ) =
0, si wi ∈
/D

Por lo que ϕ(γ 0 ) = 2πm donde m es la cantidad de raíces de Pz0 (w) = 0 con su
multiplicidad, dentro de D , es decir, γ 0 tiene índice m alrededor de τ = 0, como se
muestra en la siguiente gura.

w τ

γ
r
w0
γ0
ρ

Figura 4.9. Comportamiento de los lazos γ y γ 0 alrededor de un punto dentro del disco
D y τ = 0 respectivamente.

Consideremos ahora el plano z y un punto z00 cercano a z0 . Entonces tenemos

un nuevo polinomio τ 0 = Pz00 (w) y la imagen de γ bajo τ 0 se llamará γ 00 . Sabemos
que
Pz00 (w) = Pz0 + (z0 − z00 ),

entonces la curva C 00 es un desplazamiento de γ 0 dado por el vector z0 − z00 . Siempre

que |z0 − z00 | < ρ, el índice de γ 00 y γ 0 alrededor de τ = 0 coinciden, entonces el
disco contiene también a una raíz de la ecuación 4.1 cuando z = z00 . Es decir, que
variando continuamente z a lo largo de un camino comenzando en z0 , w(z) queda
denido por continuidad a lo largo de un camino que comienza en w0 .
Conociendo los puntos singulares de Pz (w), que son z = ±38 y z = ±16, mos-
traremos que son los únicos puntos de ramicación que puede tener este polinomio.
Los puntos z0 ∈ C \ {±16, ±38} tienen 5 imágenes bajo w(z), digamos wi
i = 1, 2, 3, 4, 5. Cada una de éstas dene una imagen continua a lo largo de un
camino γ bajo w(z), que comienza en z0 y está en denida en los discos Di , con
centro en wi disjuntos entre sí. Si hubiesen dos imágenes de γ que comienzan en wi ,
entonces habría al menos 6 imágenes y no es posible, pues el grado de Pz (w) es 5.

105
Sabemos que existe D0 con centro en z0 tal que para cada z00 ∈ D0 existe al menos
una imagen en cada Di en el plano w .
Cuando γ ⊂ D0 , todas sus imágenes están en los Di , pero no existe ninguna
función continua que permita pasar de un Dj a otro disco Dk , ya que son disjuntos,
por lo tanto, todas las imágenes pertenecen a algún único Dj . Si γ comienza en
z00 , sus puntos nales son las imágenes de z00 bajo w(z). Como γ 0 ⊆ Di y el disco
contiene una única imagen de z00 , entonces γ 0 tiene sólo un punto nal que coincide
con el inicial cuando γ ⊂ D0 . En particular, esto sucede con todos los círculos con
centro en z0 y radio ρ > 0, lo que implica que z0 no es punto de ramicación.
Ahora sabemos que para los valores distintos a z = ±38 y z = ±16, la ecua-
ción 4.1 tiene raíces w1 , w2 , w3 , w4 donde una tiene multiplicidad 2, digamos w1 .
Tomando z00 cerca de z0 tenemos entonces que cerca de w1 hay dos imágenes de z00
bajo w(z), mientras para las otras, tenemos una sola imagen. Entonces un lazo γ
de radio pequeño con centro z0 y basado en z00 , tiene imagen bajo w(z) cerrada en
w2 ,w3 , w4 , mientras en w1 puede tomar punto nal distinto. Por lo que z00 puede
unir dos hojas.
Consideremos un camino que γ : I → Ĉ \ {±38, ±16} que une a a, b ∈ Ĉ \
{±38, ±16} y γ 0 su imagen bajo z(w) = 3w5 − 25w3 + 60w, como z(w) es continua,
la imagen γ 0 es continua. Notemos que z(w) y w(z) representan la relación 3w 5 −
25w3 + 60w − z = 0, entonces γ es la imagen misma de γ 0 bajo w(z) y no pasa
por los puntos singulares. Por esto, z = ±38 y z = ±16 son los únicos puntos de
ramicación y procedemos a construir el esquema de la supercie de Riemann.
Las formas posibles de obtener un esquema de 5 hojas con 4 puntos de rami-
cación donde cada uno une dos hojas son:

5 5 5
4 4 4
3 3 3
2 2 2
1 1 1
(a) Esquema 1 (b) Esquema 2 (c) Esquema 3

Notemos que el esquema 1 tiene todas las transposiciones elementales (12),

(23),(34) y (45). Por el teorema 1.4.1, sabemos que S5 , el cual no es soluble.
En los esquemas 2 y 3, podemos expresar las transposiciones como (por el
Lema 1.4.4) de la siguiente forma:

(23) = (12)(13)(12),

106
 (34) = (13)(14)(13),

En el esquema 2,
(45) = (14)(15)(14),

mientras en el 3 corresponde únicamente a la permutación correspondiente a la cuar-

ta raíz. Por lo tanto, Mon(f ) = S5 , que mostramos anteriormente (teorema 1.4.4)
que no es soluble. Con esto, procedemos a probar el teorema de Abel-Runi.

Teorema 4.4.2 (Abel-Runi). Para n > 5, la ecuación general algebraica de grado

n
a0 wn + a1 wn−1 + . . . + an−1 w + an = 0

no es soluble por radicales.

Demostración. Consideremos el caso general, las ecuaciones de la forma

a0 w5 + a1 w4 + a2 w3 + a3 w2 + a4 w + a5 = 0.

A la expresión para sus raíces w(z) le correspondería una supercie de Riemann

de 5-hojas, por lo que su grupo de monodromía sería un subgrupo de S5 .
En particular, para la ecuación 4.1 y siendo w(z) la función que expresa sus
raíces, vimos qu Mon(w) ∼
= S5 , esto implica que w no es soluble por radicales,
probando así, que el caso general no será soluble por radicales.
Para las ecuaciones polinomiales de grado n > 5, consideramos la ecuación

Pz (w) = (3w5 − 25w3 + 60w − z)wn−5 = 0 (4.2)

Donde la expresión w(z) para las raíces de ésta, es la misma que para la ecuación 4.1,
entonces su grupo de monodromía es un subgrupo de Sn , isomorfo a S5 , es decir,
es un grupo que no es soluble. Por lo tanto, las raíces de los polinomios de grado
mayor o igual a 5, no son solubles por radicales.
Por lo tanto, la expresión general de las soluciones de ecuaciones polinomiales
de grado mayor o igual a 5 no es soluble por radicales.

107
108
 CONCLUSIONES

1. Se identicó la solubilidad de un grupo estudiando sus subgrupos normales y

se probó que los grupos Sn a partir de 5 no son solubles.

2. Se estudiaron las propiedades de curvas y funciones continuas en el plano

complejo y sus imágenes bajo funciones continuas, especícamente polinomios.
Se esbozó una prueba del teorema fundamental del Álgebra, que garantiza la
existencia de las raíces de los polinomios en C.

3. Se describió cómo asociar un espacio de recubrimiento a una función algebraica

y se estudió cómo se permutan las hojas de este espacio al circundar los puntos
singulares a través de caminos. Esta información se capturó al estudiar sus
grupos de monodromía.

4. Se probó que si una función es soluble por radicales, su grupo de monodromía

es soluble. Con esto, se prueba el teorema de Abel-Runi, mostrando que
existe una familia de ecuaciones de grado 5 que denen una función algebraica
con grupo de monodromía no soluble. Esto implica la imposibilidad de la
existencia de una fórmula general para ecuaciones de grado mayor o igual a 5.

109
110
 RECOMENDACIONES

1. Comparar la prueba topológica del teorema con la prueba clásica que se estudia
en un curso de Teoría de Galois para establecer el isomorsmo entre el grupo
de monodromía y el grupo de Galois de un polinomio.

2. Utilizar el material del capítulo 3 y 4 como introducción a la topología alge-

braica.

3. Tomar estas notas como material de apoyo en español para estudiantes a nivel
de licenciatura para el estudio de supercies de Riemann y monodromía.

111
112
 BIBLIOGRAFÍA

Ahlfors, L. V. (2004). Complex Analysis. Mc-Graw Hill,Inc., New Jersey, second

edition.

Ahlfors, L. V. y Sario., L. (1960). Riemann Surfaces. Princeton University Press,

New Jersey.

Akalin, F. (2016). Why is the quintic unsolvable.

Alekseev, V. B. (2004). Abel's Theorem in Problems y Solutions. Kluwer Academic

Publishers, Dordrecht.

Artin, M. (1991). Algebra. Prentice Hall, New Jersey.

Bartle, R. G. (1967). The Elements of real Analysis. John Wiley & Sons, Inc., New
York.

Chinn, W. y Steenrod, N. E. (1966). First Concepts of Topology. The Mathematical

Association of America, Washington, D. C.

Conway, J. B. (1978). Functions of One complex Variable. Spinger-Verlag, New

York, second edition.

Dejon, B. y Henrici, P. (1969). Constructive Aspects of the Fundamental Theorem

of Algebra. John Wiley & Sons, Inc., New York.

Dörrie, H. (1965). 100 Great Problems of Elementary Mathematics. Dover Publica-

tions, Inc, New York.

Dugundji, J. (1978). Topology. Allyn and Bacon, Inc, Boston.

Dummit, D. y Foote, R. (2004). Abstract Algebra. John Wiley & Sons, Inc, New
Jersey, third edition.

Fraleigh, J. B. y Katz, V. J. (2003). A First Course in Abstract Algebra. Pearson

Education, Inc, 7th edition. s.l.

113
Gallian, J. (2013). Contemporary Abstract Algebra. Cenage Learning, Boston, eighth
edition.

Gopalakrishnan, N. S. (2004). University Algebra. New Age International Publishers,

New Delhi, second edition.

Hatcher, A. (2002). Algebraic Topology. Cambridge University Press, Cambridge.

Herstein, I. N. (1988). Álgebra Abstracta. Grupo Editorial Iberoamérica, México.

Muciño, J. (1985). Supercies de Riemann y uniformización. México.

Munkres, J. (2000). Topology. Prentice Hall, New Jersey, second edition.

Porter, M. (1983). Supercies de Riemann. CINVESTAV I.P.N., México.

Roman, S. (2006). Field Theory. Springer, second edition, s.l.

Santa Cruz, H. (2016). A survey on the monodromy groups of algebraic functions.

Chicago.

Schwartz, R. K. (2015). Abel and the insolubility of the quintic. Consultado en

octubre de 2015 en http://www.researchgate.net/publication/272181262.
s.l.

Teleman, C. (2003). Riemann surfaces: class notes. Cambridge. Consultado noviem-

bre de 2016 en http://www.jchl.co.uk/maths/Riemann.pdf

Villa Salvador, G. (2011). Las ecuaciones polinomiales como el origen de la teoría

de galois. México. Miscelánea Matemática.SMM.
Zoª, H.(2000). The topological proof of abel-runi theorem. Journal of the Juliusz
Schauder Center.s.l.

114