You are on page 1of 91

Jos L.

Bueso

Teora

lgebra 2
Grado en Matemticas

Facultad de Ciencias
Universidad de Granada. (http://150.214.18.236/course/view.php?id=12).

ndice general
1.

2.

Introduccin a la teora de grafos.


1.1. Generalidades sobre grafos. . . . . . . . . . . . .
1.1.1. Concepto de grafo. . . . . . . . . . . . .
1.1.2. Grado de vrtices. . . . . . . . . . . . . .
1.1.3. Grafos regulares y grafos completos. . .
1.1.4. Matrices asociadas a grafos. . . . . . . .
1.1.5. Caminos en grafos. . . . . . . . . . . . .
1.1.6. Grafos conexos. . . . . . . . . . . . . . .
1.2. Grafos eulerianos y hamiltonianos. . . . . . . .
1.2.1. Grafo de Euler. . . . . . . . . . . . . . .
1.2.2. Grafo Hamiltoniano. . . . . . . . . . . .
1.2.3. Grafos bipartidos. . . . . . . . . . . . . .
1.3. Grafos planos. . . . . . . . . . . . . . . . . . . . .
1.3.1. Concepto de grafo plano. . . . . . . . .
1.3.2. Coloracin de grafos. . . . . . . . . . . .
1.3.3. Polinomio cromtico de un grafo. . . .
1.3.4. Concepto de rbol y caracterizaciones. .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

3
4
4
6
9
11
13
17
17
17
21
23
25
25
30
31
33

Introduccin a la teora de grupos.


2.1. Grupos. Ejemplos de grupos. . . . . . . . . . . . . . . . . . . . . . . .
2.1.1. Definicin de grupo. Propiedades elementales. . . . . . . . .
2.1.2. Grupos de permutaciones: Grupos simtricos y alternados.
2.1.3. Grupos didricos. . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Subgrupos. rdenes e ndices. . . . . . . . . . . . . . . . . . . . . . .
2.2.1. Subgrupos, el retculo de subgrupos. . . . . . . . . . . . . . .
2.2.2. Clases laterales.Teorema de Lagrange. . . . . . . . . . . . . .
2.2.3. Grupos cclicos. . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Subgrupos normales. Teoremas de isomorfa . . . . . . . . . . . . . .
2.3.1. Subgrupos normales y grupos cocientes. . . . . . . . . . . . .
2.3.2. Homomorfismos. . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.3. Teoremas de isomorfa. . . . . . . . . . . . . . . . . . . . . . .
2.3.4. Productos directos. . . . . . . . . . . . . . . . . . . . . . . . .
2.4. Acciones de grupo y p-grupos. . . . . . . . . . . . . . . . . . . . . . .
2.4.1. Accin de un grupo sobre un conjunto. . . . . . . . . . . . .
2.4.2. Teoremas de Sylow. . . . . . . . . . . . . . . . . . . . . . . . .
2.4.3. Grupos abelianos finitos . . . . . . . . . . . . . . . . . . . . .
2.4.4. Clasificacin de grupos de orden 15. . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

35
35
35
43
49
52
52
55
59
63
63
65
68
70
72
72
76
79
83

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

ndice alfabtico

87

Bibliografa

89

Captulo

1
Introduccin a la teora de grafos.
El problema de los siete puentes de la ciudad de Knigsberg, en la antigua Prusia
oriental en el siglo XVIII, ciudad natal de Kant y, actualmente Kaliningrado
(Rusia) es un clebre problema matemtico que fue resuelto por Leonhard Euler
en 1736 y dio origen a la Teora de Grafos.

Figura 1.1: Los puentes de Konigsberg


La ciudad estaba dividida en cuatro zonas por el ro Pregel. Estas cuatro zonas
estaban unidas por siete puentes, como se ve en el mapa de la Figura 1.1. Los
habitantes de la ciudad, durante sus paseos, intentaban encontrar una ruta que
cruzase cada uno de los siete puentes una sola vez, y acabase en el mismo lugar
que haban empezado.
Euler enfoc el problema representando las cuatro partes de tierra por un punto y
cada uno de los siete puentes por una lnea, uniendo los puntos que se corresponden. Entonces, el problema anterior se puede trasladar a la siguiente pregunta:
se puede recorrer el dibujo terminando en el punto de partida sin repetir las
lneas?
A
5

2
4
1

I
7

6
B

1.1
1.1.1

Introduccin a la teora de grafos.

Generalidades sobre grafos.


Concepto de grafo.
Definicin 1.1.1
Un grafo consta de:
1. un conjunto finito no vaco V de vrtices,
2. un conjunto finito (que puede ser vaco) E de aristas, y
3. una aplicacin : E P(V ) (aplicacin de incidencia) tal que, para cada
arista e, (e) es un subconjunto de uno o dos elementos de V .
Llamaremos orden del grafo a |V |. El nmero de aristas, se denomina tamao del
grafo y se denota por |E|.
La arista e se dice que une los elementos de (e) = {v, w}.
Un par de vrtices v y w son adyacentes si existe una arista e unindolos, esto es,
(e) = {v, w}. En este caso decimos que v y w son incidentes con e y tambin
que e es incidente con v y w .
Si e1 y e2 son dos aristas tales que (e1 ) = {v, w} = (e2 ), se dice que son aristas
paralelas.
Una arista e diremos que es un lazo si sus extremos coinciden, esto es, (e) = {v}.
Un grafo se denomina simple si no tiene lazos ni aristas paralelas.
Un vrtice se dice aislado si ninguna arista incide en l.
Desafortunadamente, hay muchas variaciones en la definicin de un grafo. Algunos autores utilizan una definicin que excluye la posibilidad de aristas paralelas
en sus grafos, es decir, varias aristas que conectan el mismo par de vrtices. Otras
definiciones excluyen la posibilidad de lazos, aristas que unen un vrtice a s mismo. Vamos a llamar a un grafo que satisfaga a ambas restricciones - que no tiene
lazos ni aristas paralelas - un grafo simple. La terminologa de la teora de grafos es claramente no estndar. Al consultar otros textos se aconseja revisar muy
cuidadosamente las definiciones y terminologa del autor.
Ejemplo 1.1.1
Consideremos el grafo G dado por los siguientes datos:
VG = {v1 , v2 , v3 , v4 }, EG = {e1 , e2 , e3 , e4 , e5 }, G definida por G (e1 ) = {v1 },
G (e2 ) = {v1 , v2 }, G (e3 ) = {v1 , v3 }, G (e4 ) = {v2 , v3 }, G (e5 ) = {v2 , v3 }.
Representaremos dicho grafo de la siguiente manera:

e2

v2

v1
e4
e3

e5
v4

v3

e1

1.1 Generalidades sobre grafos.

La representacin grfica de un grafo no es nica.

Ejemplo 1.1.2
El grafo ciclo o circular Cn , n 3 consta de n vrtices v1 , v2 , . . . , vn y aristas
{{v1 , v2 }, {v2 , v3 }, . . . , {vn1 , vn }, {v1 , vn }}.
El grafo camino simple o lineal Ln , n 3 consta de n vrtices v1 , v2 , . . . , vn y
aristas {{v1 , v2 }, {v2 , v3 }, . . . , {vn1 , vn }}.

Definicin 1.1.2
Un grafo dirigido o digrafo consta de:
1. un conjunto finito no vaco V de vrtices,
2. un conjunto finito E de aristas, y
3. una aplicacin : E V V tal que, para cada arista e, (e) es un par
ordenado de V .
Si (e) = [u, v], entonces u se denomina el vrtice inicial de e y v el vrtice final
de e.

Ejemplo 1.1.3
Consideremos el digrafo G dado por los siguientes datos:
VG = {v1 , v2 , v3 }, EG = {e1 , e2 , e3 }, G definida por G (e1 ) = [v1 , v2 ], G (e2 ) =
[v1 , v3 ], G (e3 ) = [v2 , v3 ].
Representaremos dicho digrafo de la siguiente manera:
v3
e3

e2
v1

e1

v2

Definicin 1.1.3
Un grafo H es un subgrafo del grafo G, denotado H G, si VH VG , EH EG y
H (e) = G (e) para toda arista e EH .

Ejemplo 1.1.4

Introduccin a la teora de grafos.


e4

e4

v1

v1
e1

e1

e2

v2

v3

e7 e6

e9

e5
e8

v5

e2

v2

v3
e3

e3
v4

Figura 1.2: El grafo G

v4

Figura 1.3: El grafo H

En la figura podemos observar que H es un subgrafo en G.


Definicin 1.1.4
Sean G y G0 dos grafos. Un isomorfismo de G en G0 consta de un par (hV , hE ) de
biyecciones
hV : VG VG0
h E : EG EG 0
tal que, para toda arista e de G, si G (e) = {v, w} entonces G0 (hE (e)) =
{hV (v), hV (w)}. Se dice entonces que los grafos G y G0 son isomorfos.
Ejemplo 1.1.5

e1

v4

e7
e8
e9

v3

e4

e6

e5

v1

e2
e3

v2

Figura 1.4: El grafo G

f1

w4

f3
f2

w3

f4

f6

f5

w1

f7
f8
f9

w2

Figura 1.5: El grafo G

En la figura tenemos dos biyecciones hV : VG VG0 dada por hV (v1 ) = w4 ,


hV (v2 ) = w3 , hV (v3 ) = w2 , hV (v4 ) = w1 y hE : EG EG0 dada por hE (e1 ) = f1 ,
hE (e2 ) = f2 , hE (e3 ) = f3 , hE (e4 ) = f4 , hE (e5 ) = f5 , hE (e6 ) = f6 , hE (e7 ) = f7 ,
hE (e8 ) = f8 , hE (e9 ) = f9 .
Claramente se verifica que si G (e) = {v, w}, entonces G0 (hE (e)) =
{hV (v), hV (w)}.

1.1.2

Grado de vrtices.

1.1 Generalidades sobre grafos.

Definicin 1.1.5
El grado, gr(v), de un vrtice v es el nmero de aristas que son incidentes en v .
(Un lazo conectando v consigo mismo, cuenta doble para el cmputo del grado
de v ).

Ejemplo 1.1.6
Los grados de los vrtices del grafo del ejemplo 1.1.1 estn reflejados en la siguiente
tabla:
Vrtice
v1
v2
v3
v4

Grado
4
3
3
0

Definicin 1.1.6
En un digrafo distinguimos entre grado entrante y grado saliente de u, el primero
indica el nmero de aristas que tienen al vrtice u como terminal y el segundo
indica el nmero de aristas que tiene al vrtice u como inicial, y se denotan gr (u)
y gr+ (u) respectivamente.

Proposicin 1.1.7
Sean G y G0 dos grafos y (hV , hE ) un isomorfismo entre G y G0 . Si v VG es un
vrtice de G, entonces gr(v) = gr(hV (v)).

Demostracin:
Sean G y G0 dos grafos y (hV , hE ) un isomorfismo entre G y G0 . Sea v VG
de grado r . Entonces existen r aristas e1 , . . . , er EG incidentes en v . Entonces
hE (e1 ), . . . , hE (er ) son incidentes en hV (v). Como hE es biyectiva, gr(hV (v)) r .
Sea e0 EG0 una arista de G0 incidente en hV (v). Como hE es biyectiva existe
e EG tal que e0 = hE (e). Como hE (e) es incidente en hV (v) en G0 , tenemos que
e es incidente en v en G. Como e1 , . . . , er EG son las nicas aristas incidentes
en v , e = ei para algn 1 i n. Ahora hE (e) = hE (ei ). As gr(hV (v)) = r .

Ejemplo 1.1.7
e1

v1
e5
v4

e6
e4

v2
e7

v5

e2
e3

v3

Introduccin a la teora de grafos.


w1

w2

f1

f7
f4

f5

f2

w5

f3

w4

f6
w3

El isomorfismo viene dado por

hV
v1

w1

v2

w5

v3

w4

v4

w3

v5

w2

hE
e1

f4

e2

f3

e3

f2

e4

f6

e5

f7

e6

f1

e7

f5

vrtice
v1
v2
v3
v4
v5

grado
3
3
2
2
4

vrtice
w1
w2
w3
w4
w5

grado
3
4
2
2
3

Teorema 1.1.8
Sea G un grafo con VG = {v1 , . . . , vp } su conjunto de vrtices y |EG | su nmero
de aristas. Entonces:
p
X

i=1

gr(vi ) = 2|EG |.

1.1 Generalidades sobre grafos.

Demostracin:
Al considerar cada arista e EG , si E (e) = {vi , vj }, encontramos que la arista
contribuye en una unidad al grado de vi y al grado de vj y, en consecuencia, con
Pp
Pp
dos unidades a i=1 gr(vi ). As i=1 gr(vi ) = 2|EG |.
Teorema 1.1.9
Sea G = (V , E) un digrafo. Entonces:
X

gr (v) =

vV

gr+ (v) = |EG |.

vV

Demostracin:
Al considerar cada arista e EG , si E (e) = [vi , vj ], encontramos que la arista
contribuye en una unidad al grado entrante de vj y al grado saliente de vi .
Ejemplo 1.1.8
v3

e1

v2

e2

e5

e4

v5

e3

v1

e6

e7

v4

vrtice
v1
v2
v3
v4
v5

1.1.3

grado entrante
2
1
3
0
1

grado saliente
2
1
0
2
2

Grafos regulares y grafos completos.


Definicin 1.1.10
Un grafo se dice regular si todos sus vrtices tienen el mismo grado. Si dicho
grado es r se dice r -regular.
Definicin 1.1.11
Un grafo simple para el que cada par de vrtices hay una arista que los conecta
se llama grafo completo.

10

Introduccin a la teora de grafos.


Proposicin 1.1.12
Dos grafos completos con el mismo nmero de vrtices son isomorfos.

Demostracin:
Sean G y G0 dos grafos completos con el mismo nmero de vrtices r . Supongamos
que VG = {v1 , . . . , vr } y VG0 = {v10 , . . . , vr0 }. Consideremos la aplicacin
hV : VG VG0

definida por hV (vi ) = vi0 , i = 1, . . . , r . Entonces hV es una biyeccin y por la


definicin de grafo completo, todo par de vrtices vi , vj son adyacentes y como
G0 tambin es completo, tambin lo son vi0 = hV (vi ) y vj0 = hV (vj ) y viceversa.
Por tanto G y G0 son isomorfos.

El grafo completo con n vrtices es denotado por Kn .


A
Figura 1.6: El grafo K1
A

Figura 1.7: El grafo K2


A

Figura 1.8: El grafo K3


A

Figura 1.9: El grafo K4

1.1 Generalidades sobre grafos.

11
A

Figura 1.10: El grafo K5

1.1.4

Matrices asociadas a grafos.


Definicin 1.1.13
Sea G = (V , E) un grafo. Si los vrtices vienen enumerados en la forma v1 , . . . , vn ,
la matriz de adyacencia A = [aij ] Mn (N) de G respecto de esta enumeracin
de los vrtices, se define como
aij = nmero de aristas que conectan los vrtices vi , vj

En el caso de un digrafo
aij = nmero de aristas con vrtice inicial vi y vrtice final vj

La matriz de adyacencia no es nica, pues depende del orden en que se tomen los
vrtices.
1. La matriz de adyacencia de un grafo no dirigido es simtrica, pues si una
arista conecta el vrtice vi con el vrtice vj , esa misma arista conecta el
vrtice vj con el vrtice vi .
2. En el caso de un grafo dirigido, la matriz no es simtrica, ya que puede
haber una arista que parte del vrtice vi y llega al vrtice vj pero no existir
la inversa.
Dos matrices de tamao n n A y A0 son equivalentes por permutacin si existe
una matriz permutacin P tal que A0 = P 1 AP . En otras palabras, A es igual
a A0 despus de una adecuada reordenacin de las filas y la correspondiente
reordenacin de las columnas.

12

Introduccin a la teora de grafos.


Teorema 1.1.14
Consideremos dos grafos G y G0 con respectivas matrices de adyacencia A y A0 .
Entonces G y G0 son isomorfos si y solo si A y A0 son equivalentes por permutacin.
Ejemplo 1.1.9
Dibuja un grafo con matriz de adyacencia

1
0
0
1

1
0
0
1

v1

v2

v4

v3

Ejemplo 1.1.10
Calcula una matriz de adyacencia para el grafo representado por
e1
v1

e2

v2

e3
e5

e4

e9

e6

e8
v4

v3 e10
e7

3
0
1
1

0
1
1
2

Definicin 1.1.15
Sea G un grafo. Si VG = {v1 , . . . , vn } y EG = {e1 , . . . , em }, entonces la matriz de
incidencia respecto de esta ordenacin de los vrtices y las aristas, se define como
la matriz M = [mij ] Mnm dada por
mij =

si la arista ej es incidente en el vrtice vi


2
si
ej es un lazo en el vrtice vi

0 en otro caso

1.1 Generalidades sobre grafos.

13

En el caso de un digrafo

mij

1
=

si el vrtice vi es un vrtice inicial de la arista ej


si el vrtice vi es un vrtice final de la arista ej
si ej es un lazo en el vrtice vi
en otro caso

Ejemplo 1.1.11
v1

e1

e2

e3

v4

v1
v2
v3
v4
v5

1.1.5

v2

e6

e4

e5

v3

v5

e1

e2

e3

e4

e5

1
0
0
1
0

1
0
0
0
1

0
1
0
1
0

0
1
0
0
1

0
0
1
0
1

e6

0
1
1
0
0

Caminos en grafos.
Definicin 1.1.16
Sea G un grafo. Un camino de longitud n es una sucesin de aristas (e1 , e2 , . . . , en ),
junto con una sucesin de vrtices (v1 , v2 , . . . , vn+1 ) tales que (ei ) = {vi , vi+1 }.
En tal caso se dice que el camino (e1 , e2 , . . . , en ) es un camino del vrtice v1 al
vrtice vn+1 .
Si el grafo es simple, el camino (e1 , e2 , . . . , en ) queda perfectamente determinado
por la sucesin de vrtices (v1 , v2 , . . . , vn+1 ).
Un camino en el que no hay aristas repetidas se denomina recorrido.
Un recorrido en el que no hay vrtices repetidos (salvo eventualmente el primero
y el ltimo) se denomina camino simple.
Un camino en el que coinciden el primer y el ltimo vrtice se denomina camino
cerrado.
Un recorrido que es a la vez camino cerrado se denomina circuito.
Un circuito que a su vez es camino simple es un ciclo.

Ejemplo 1.1.12
Consideremos el siguiente grafo:

14

Introduccin a la teora de grafos.


v1

v2

v3

v4

v5

v6

v8

v9

v7

v10

La sucesin (v7 , v3 , v9 , v5 , v4 , v8 , v9 , v3 ) es un camino de longitud 7 que une v7


con v3 . No es recorrido, pues la arista que une v3 con v9 aparece dos veces en el
camino.
La sucesin (v1 , v3 , v9 , v8 , v4 , v3 , v7 ) es un camino de longitud 6 que une v1 con
v7 . Es un recorrido, pues ninguna arista se repite. Sin embargo, el camino pasa
dos veces por el vrtice v3 . No es por tanto un camino simple.
(v3 , v4 , v8 , v9 ) es un camino simple de longitud 3.
La sucesin (v1 , v3 , v7 , v9 , v3 , v4 , v5 , v2 , v1 ) es un camino cerrado de longitud 8.
Es adems un circuito, pues ninguna arista se encuentra repetida. No es un ciclo,
ya que el vrtice v3 se repite.
Un ejemplo de ciclo es (v1 , v2 , v5 , v9 , v7 , v3 , v1 ).

Vrtices repetidos
Si
Si
Si
Si
No
No

Aristas repetidas
Si
Si
No
No
No
No

Cerrado
No
Si
No
Si
No
Si

Nombre
Camino
Camino cerrado
Recorrido
Circuito
Camino simple
Ciclo

Cuadro 1.1: Resumen de caminos

Proposicin 1.1.17
En un grafo G si existe un camino que conecta dos vrtices distintos v y w , existe
un camino simple con extremos v y w .

Demostracin:
Supongamos que el camino es (v = v1 , v2 , . . . , vn = w). Si el camino no es simple,
debe haber dos vrtices repetidos. Sean estos vi y vj , con i < j . En tal caso, se
tiene que (v = v1 , . . . , vi , vj+1 , . . . , vn = w) es un camino de v a w . Si este camino
no fuera simple, repetiramos el proceso, hasta llegar a un camino simple.

1.1 Generalidades sobre grafos.

15

Proposicin 1.1.18
Sea G un grafo, y sean u y v dos vrtices distintos. Si tenemos dos caminos
simples distintos de u a v , entonces existe un ciclo en G.
Demostracin:
Supongamos que u, v VG se conectan por al menos dos caminos simples diferentes (u, u1 , . . . , um1 , v) y (u, u01 , . . . , u0n1 , v). Sea ur el vrtice que verifica:
ui = u0i para i r y ur +1 u0r +1 y sea us el vrtice con la condicin us = u0s
y para todo r i s , ui u0i . Entonces (ur , ur +1 , . . . , us , u0s1 , . . . , u0r +1 , u0r ) es
un ciclo.
Ejemplo 1.1.13
En el ejemplo 1.1.12 tenemos dos caminos simples que unen v3 con v8 , como son
(v3 , v4 , v8 ) y (v3 , v9 , v8 ). A partir de estos dos caminos podemos obtener el ciclo
(v3 , v4 , v8 , v9 , v3 ), recorriendo en primer lugar uno de los caminos que une v3 con
v8 , y recorriendo a continuacin el otro en sentido contrario.
Ntese que si partimos de los caminos simple (v3 , v4 , v8 ) y (v3 , v1 , v2 , v5 , v4 , v8 )
y repetimos lo hecho en el prrafo precedente obtenemos el camino cerrado
(v3 , v4 , v8 , v4 , v5 , v2 , v1 , v3 ) que no es un ciclo, pues el vrtice v4 est repetido (o la arista v4 v8 ). Sin embargo, la existencia de los dos caminos simples s nos
da la existencia de un ciclo, a saber, (v3 , v4 , v5 , v2 , v1 , v3 ).
Proposicin 1.1.19
Sea G un grafo cuyo conjunto de vrtices es VG = {v1 , v2 , . . . , vn } y sea M su
matriz de adyacencia. Entonces el coeficiente (i, j) de la matriz M n es igual al
nmero de caminos de longitud n que unen vi con vj .
Demostracin:
Hagamos la demostracin por induccin. Para n = 1 el resultado no es ms que
la definicin de la matriz de adyacencia. Supongamos que el resultado es cierto
para n 1 y demostrmoslo para n. Sea entonces A = M n1 y B = M n = AM .
Queremos probar que bij es el nmero de caminos de longitud n que unen vi con
vj . Por definicin de producto de matrices tenemos que
bij =

n
X

aik mkj .

k=1

Cada camino de vi a vj de longitud n consiste en un camino de vi a un cierto


vrtice vk de longitud n 1 seguido de una arista de vk a vj . Entonces por
cada arista con un extremo en vj , es decir por cada mkj 0, obtenemos aik
caminos diferentes de longitud n de vi a vj pasando por vk . Es decir, el nmero
de caminos de longitud n entre vi y vj es:
ai1 m1j + ai2 m2j + + ain mnj = bij

como queramos demostrar.

16

Introduccin a la teora de grafos.


Ejemplo 1.1.14
En la siguiente figura hemos representado el recorrido de una lnea de metro con
sus respectivas paradas
p2
p5

p1

p4
p6

p7
p3

La matriz de adyacencia es

M = 1

1
0
0
0
0
0
0

0
1
0
1
0
0
0

0
0
0
0
0
1
1

0
1
0
0
0
0
0

1
0
0
0
0
0
0

Nos encontramos en la parada p6 y queremos ir a la parada p2 . Ya que m62 = 0


no hay ningn camino de longitud 1. Por otro lado

M 2 = 0

0
0
0
1
1
0
0

1
0
0
0
0
1
1

1
0
1
0
0
0
0

1
0
0
0
0
0
0

0
0
0
1
1
0
0

De nuevo la entrada (6, 2) es cero, luego no hay ningn camino de longitud 2.

M 3 = 0

0
1
0
0
0
1
1

1
0
1
1
1
0
0

0
1
0
2
1
0
0

0
0
0
1
1
0
0

0
1
0
0
0
1
1

Ahora la entrada (6, 2) es 1, luego hay un camino de longitud 3 que va de p6 a


p2 , a saber p6 p4 p1 p2 .

1.2 Grafos eulerianos y hamiltonianos.


1.1.6

17

Grafos conexos.
Definicin 1.1.20
Un grafo G es conexo si para cada par de vrtices v y w existe un camino de v
a w . En caso contrario decimos que G es disconexo.

Sea G un grafo arbitrario. Definimos una relacin R sobre VG mediante


vRw si y slo si v y w pueden conectarse mediante un camino en G.

Claramente R es una relacin de equivalencia, pues:


1) Es reflexiva ya que todo vrtice est unido con l mismo por un camino de
longitud cero.
2) Es simtrica pues si (e1 , e2 , . . . , en ) es un camino de v a w entonces
(en , en1 , . . . , e1 ) es un camino de w a v .
0 ) es
3) Es transitiva pues si (e1 , e2 , . . . , en ) es un camino de u a v y (e10 , e20 , . . . , em
0 ) es un camino de u a
un camino de v a w , entonces (e1 , e2 , . . . , en , e10 , e20 , . . . , em
w.
Sea {V1 , V2 , . . . , Vp } la particin del conjunto de vrtices por las clases de equivalencia de R . Ahora podemos formar subgrafos Gi con vrtices Vi y cuyas aristas
son aquellas de G que conectan dos vrtices de Vi . Estos subgrafos Gi son las
componentes conexas de G.
Ejemplo 1.1.15
Consideremos el siguiente grafo:
v1
v2

v3
v4

v5

v6
v7

tiene tres componentes conexas. stas son


v1

v5

1.2
1.2.1

v2

v6

v3

v7

Grafos eulerianos y hamiltonianos.


Grafo de Euler.

v4

18

Introduccin a la teora de grafos.


Definicin 1.2.1
Sea G un grafo, un circuito euleriano es un circuito (esto es, camino cerrado sin
aristas repetidas) que contiene todas las aristas de G. Un grafo que admite un
circuito euleriano se denomina grafo euleriano.
Un camino de Euler es un recorrido (camino sin aristas repetidas) en el que
aparecen todas las aristas.

Todo circuito de Euler proporciona un camino de Euler.


Lema 1.2.2
Sea G un grafo. Si G es euleriano todo vrtice de G tiene grado par.
Demostracin:
Sea v VG . Podemos contar las aristas que tienen como extremo v siguiendo
un circuito euleriano C en G. Si v no es el primer vrtice de c , cada vez que tal
circuito pasa por v contribuye con 2 al grado de v , pues las aristas que preceden
y siguen a v en C tienen como extremo a v . Si v es el primer vrtice de C , el
circuito contribuye con 2 al grado de v en todas las visitas a v salvo en la primera
y en la ltima en que aade uno cada vez. En cualquier caso v tiene grado par
en G.
Ejemplo 1.2.1

v1

v1
e5

e4

e7

e2
v5

v3
e8

e1

e3

e2

e3

v2

e6
v4

Figura 1.11: El grafo G1

e7

v2

e6
e10

e1
v5

e5

v3
e8
e9

e4
v4

Figura 1.12: El grafo G2

En el primer grafo 1.2.1, tenemos que hay dos vrtices de grado 3, un vrtice de
grado 2 y dos vrtices de grado 4.
En el segundo grafo 1.12, se tiene que todos los vrtices tienen grado 4 y un
circuito de Euler viene dado por (e1 e2 e3 e4 e5 e6 e8 e10 e7 e9 ).
Lema 1.2.3
Sea G un grafo en el que cada vrtice tiene grado par. Si u y v son vrtices
adyacentes, entonces existe un circuito C que contiene a la arista e = {u, v}.

1.2 Grafos eulerianos y hamiltonianos.


Demostracin:
Comencemos un camino C por u y la arista e. El camino se contina siguiendo
la siguiente regla: cada vez que el camino C llega a un vrtice distinto de u se
contina el camino usando una arista que no aparezca con anterioridad en C , si
w = u damos por terminado el circuito. El proceso siempre es posible gracias a
que el grado de todo vrtice es par, y que cada vez que C visita un vrtice utiliza
2 aristas con un extremo en tal vrtice. Como el nmero de vrtices y aristas es
finito, C acaba por regresar a u y por construccin C es un circuito.
Teorema 1.2.4
Un grafo conexo G es euleriano, si y slo si, todo vrtice tiene grado par.
Demostracin:
Por el Lema 1.2.2 es suficiente probar que si G es un grafo conexo con todos sus
vrtices de grado par es euleriano. El teorema es trivial para |VG | = 1. Supongamos que |VG | > 1 y sean u,v dos vrtices adyacentes en G, entonces por el Lema
1.2.3 existe un circuito C que contiene a la arista {u, v}. Sea G0 el subgrafo obtenido eliminando las aristas en C , esto es, VG0 = VG y EG0 = EG \ {aristas de C}.
Obsrvese que todos los vrtices de G0 tienen grado par. Si EG0 = entonces C es
un circuito euleriano y por tanto hemos terminado.
Supongamos por tanto que EG0 , entonces existe un vrtice x de grado mayor
que cero en G0 . Por ser G conexo, podemos encontrar un vrtice y en C de grado
mayor que cero en G0 . En efecto si x no es vrtice en C , consideramos un vrtice
cualquiera w en C , y ya que G es conexo construimos un camino c en G de
extremos x y w . Sea {z, y} la primera arista de c que satisface {z, y} C , es
decir, {z, y} EG0 e y es un vrtice de C . Claramente y es el vrtice buscado.
Sea por tanto {z, y} EG0 con y vrtice de C . Aplicando el lema 1.2.3 a G0 y
{z, y} obtenemos un circuito C 0 en G0 conteniendo a {z, y}. Podemos unir C y
C 0 en y de la siguiente manera: de z a y siguiendo C , a continuacin recorriendo
C 0 y finalmente acabando C desde y . De este modo obtenemos un nuevo circuito
C1 con ms aristas que C . Si E 0 = E \ {aristas de C1 } no es el conjunto vaco
repetimos el proceso.
Repitiendo la construccin tantas veces como sea necesario, como el nmero de
aristas de G es finito, y en cada construccin el nmero de aristas del circuito
aumenta, el proceso finaliza, obtenindose un circuito euleriano.
Corolario 1.2.5
Sea G un grafo conexo. G tiene un camino de Euler no cerrado si y solo si G tiene
exactamente dos vrtices de grado impar.
Demostracin:
Sea G un grafo con un camino de Euler g de extremos u y v . Construyamos un
nuevo grafo G0 con VG0 = VG {w} y EG0 = EG {{u, w}, {v, w}} con w VG .
Si g = (u, v1 , . . . , vr , v), entonces (w, u, v1 , . . . , vr , v, w) es un circuito de Euler
de G0 , Por tanto, todos los vrtices de G0 tienen grado par. Como para x u, v ,

19

20

Introduccin a la teora de grafos.


grG (x) = grG0 (x), grG (u) = grG0 (u) 1 y grG (v) = grG0 (v) 1, obtenemos el
resultado.
Sean u y v los dos nicos vrtices de grado impar de G. Construyamos un nuevo
grafo G0 con VG0 = VG {w} y EG0 = EG {{u, w}, {v, w}} con w VG . G0 es
conexo y todos los vrtices de G0 tienen grado par, luego existe un circuito de Euler
g en G0 . Adems podemos construir g del siguiente modo: (w, u, v1 , . . . , vr , v, w).
Entonces (u, v1 , . . . , vr , v) es el camino de Euler buscado.

Ejemplo 1.2.2
El grafo completo Kn is (n 1)-regular ya que todo vrtice tiene grado n 1.
Ya que es conexo, Kn es Euleriano si, y solo si, n es impar (por tanto n 1 es par).
El grafo K3 tiene un obvio circuito de Euler y dejamos como ejercicio encontrar
uno para K5 . (En efecto, K5 tiene 264 circuitos de Euler.)

Ejemplo 1.2.3
Un cartero tiene asignada para el reparto una red de calles representada por el
grafo
J
E

B
A

I
C

G
El reparto de cartas debe comenzar y acabar en la estafeta de correos que se
encuentra en el vrtice A.
Por el lema 1.2.2 el cartero sabe que puede hacer su reparto sin tener que recorrer
dos veces la misma calle utilizando un circuito euleriano.
Comenzamos obteniendo un circuito que parte de A siguiendo las instrucciones
del lema 1.2.3. Supongamos que hemos obtenido el circuito
g = (A, B, C, D, A)

A continuacin borramos las aristas recorridas por g obteniendo el grafo G0

1.2 Grafos eulerianos y hamiltonianos.

21
J

B
A

I
C

G
En el grafo G0 obtenemos una arista con extremo en g , por ejemplo AF y aplicamos de nuevo el proceso del lema 1.2.3 obteniendo
g 0 = (A, F , D, H, C, I, H, G, F , E, A)

Uniendo g 0 a g obtenemos el circuito


g1 = (A, F , D, H, C, I, H, G, F , E, A, B, C, D, A)

Borrando la aristas de g1 obtenemos el grafo G00


J
E

B
A

I
C

G
Tomamos ahora la arista EJ ya que E est en g1 para repetir el proceso del lema
1.2.3. Obtenemos ahora el circuito de G00
g 00 = (E, J, I, B, E)

Como EG00 \ {aristas de g 00 } = el circuito euleriano que puede usar el cartero es


(A, F , D, H, C, I, H, G, F , E, J, I, B, E, A, B, C, D, A)

1.2.2

Grafo Hamiltoniano.

22

Introduccin a la teora de grafos.


Definicin 1.2.6
Un circuito hamiltoniano de un grafo G es un camino cerrado que recorre todos
los vrtices una sola vez.
Un grafo es hamiltoniano si tiene un circuito hamiltoniano.
Un camino de Hamilton es un camino que recorre todos los vrtices una sola vez.
Ejemplo 1.2.4
Los caminos y ciclos hamiltonianos fueron estudiados despus de que el matemtico William R. Hamilton, inventor del juego The icosian game, lanzara un
juguete en 1857 que involucraba encontrar un ciclo hamiltoniano en las aristas
del grafo de un dodecaedro.

Teorema 1.2.7: de Ore


Sea G un grafo simple con n vrtices para n 3. Si para cada par de vrtices no
adyacentes v y w se verifica que gr(v) + gr(w) n, entonces G es hamiltoniano.
Demostracin:
Probemos que si G no es un grafo de Hamilton, hay al menos dos vrtices no
adyacentes tales que la suma de sus grados es menor que n.
Supongamos entonces que G es un grafo que no es de Hamilton. Aadimos una
arista al grafo. Si sigue sin ser de Hamilton, volvemos a aadir una arista, y as
sucesivamente, hasta que encontremos un grafo de Hamilton. Sea ab = v1 v2 la
ltima arista que hemos aadido. El grafo obtenido es un grafo de Hamilton,
y el ciclo de Hamilton debe contener a la arista ab. Sea entonces dicho ciclo
(a, b, v3 , v4 , . . . , vn , a).
Llamemos H al grafo que hemos obtenido justo antes de aadirla arista ab.
Para cada i entre 3 y n, vamos a ver que no pueden estar simultneamente las

1.2 Grafos eulerianos y hamiltonianos.

23

aristas avi1 y bvi en el grafo H .


Si i = 3, entonces avi1 = av2 = ab, que no est en H .
Si i 4, en caso de que estuvieran ambas aristas, podramos construir el circuito
de Hamilton
(b, vi , vi+1 , , vn , a, vi1 , vi2 , , v3 , b)

que no contiene a la arista ab, lo cual no es posible, pues el grafo H no es de


Hamilton.
Tenemos entonces que en el grafo H , se verifica que gr(a) + gr(b) < n, y como
G es un subgrafo de H , entonces en G se verifica la misma propiedad. Hemos
encontrado entonces dos vrtices no adyacentes tales que la suma de sus grados
es menor que n, como queramos.
Teorema 1.2.8: de Dirac
Sea G un grafo simple con n vrtices para n 3. Si para todo vrtice v de G se
verifica gr(v) n/2, entonces G es de Hamilton.
Demostracin:
Para cada par de vrtices no adyacentes v y w se verifica que gr(v) + gr(w)
n/2 + n/2 = n, de donde, por el teorema de Ore, G es de Hamilton.
Ejemplo 1.2.5
Consideremos el siguiente grafo:
v4

v1

v3

v2

Un circuito de Hamilton es (v1 , v2 , v3 , v4 , v1 ).

1.2.3

Grafos bipartidos.
Definicin 1.2.9
Un grafo bipartido es un grafo donde el conjunto de vrtices VG tiene una particin
{V1 , V2 } (VG = V1 V2 , V1 V2 = ) tal que toda arista conecta un vrtice de V1
con un vrtice de V2 .
Un grafo bipartido completo es un grafo bipartido tal que todo vrtice de V1 est
conectado a todo vrtice de V2 mediante una nica arista.

Un grafo bipartito completo est completamente determinado por |V1 | y |V2 |.


El grafo bipartito completo de n y m vrtices, denotado Kn,m , tiene |V1 | = n y
|V2 | = m. Es necesariamente simple.

24

Introduccin a la teora de grafos.


Ejemplo 1.2.6
El grafo bipartido completo K3,3 con V1 = {A, B, C} y V2 = {D, E, F }
A

Lema 1.2.10
Sea G un grafo bipartido con particin del conjunto de vrtices V = V1 V2 .
Supongamos que (v1 , v2 , , vm ) es un camino en G y que v1 V1 . Entonces
{v1 , v3 , v5 , . . .} V1 y {v2 , v4 , . . .} V2 .
Demostracin:
Ya que v1 V1 tenemos que v2 V2 , pues si v2 V1 tendramos una arista, la
de extremos {v1 , v2 }, con los dos extremos en V1 , lo que no es posible por ser
bipartido. Por tanto v2 V2 .
Razonando anlogamente tendramos que v3 V1 y as sucesivamente.
Teorema 1.2.11
Un grafo es bipartido, si y slo si, no tiene ciclos de longitud impar.
Demostracin:
Veamos en primer lugar que si G contiene ciclos de longitud impar entonces G no
es bipartido. Supongamos que (v1 , v2 , . . . , vm1 , vm , v1 ) es un ciclo de longitud
impar, es decir, m = 2k + 1 para algn k N.
Si G fuera bipartido, tendramos que v1 , v3 , . . . , v2k+1 estn en el mismo subconjunto de la particin, mientras que v2 , v4 , . . . , v2k , v1 estn en el otro subconjunto
de la particin. Encontramos entonces un vrtice v1 que est simultneamente
en los dos subconjuntos, lo cual no es posible.
Supongamos ahora que el grafo no tiene ciclos de longitud impar, y veamos que
entonces G es bipartido.
Notemos que si G = K1 entonces es claramente bipartido y no contiene ciclos
de longitud impar (para su existencia se necesitan al menos tres vrtices). As
podemos suponer que |VG | 2. Tambin podemos suponer que G es conexo.
Sean u y v dos vrtices de G. Definimos el nmero d(u, v) como la menor longitud
posible de los caminos que unen u con v . Claramente, si d(u, v) = r entonces
existe un camino simple que une u con v .
Elegimos un vrtice v V , y definimos los conjuntos:
V1 = {x V ; d(v, x) es par }

V2 = {y V ; d(v, y) es impar }

Es claro que V = V1 V2 y que V1 V2 = . Veamos que cualquier arista de G


une un vrtice de V1 con un vrtice de V2 .
Sean x1 y x2 vrtices en V1 y supongamos que existe una arista e incidente con
los vrtices x1 y x2 . Notemos que x1 no es adyacente a v (pues en ese caso, el

1.3 Grafos planos.

25

camino ms corto tendra longitud 1), por tanto v x1 . Anlogamente, x2 no


es adyacente a v (pues en ese caso, el camino ms corto tendra longitud 1), por
tanto v x2 .
Sean
P1 = (v, v1 , v2 , , v2k = x1 ),

P2 = (v, v10 , , v20 l = x2 )

caminos de longitud mnima de v a x1 y de v a x2 respectivamente, ambos de


longitud par.
Si P1 y P2 no tienen vrtices en comn, entonces un ciclo de longitud impar sera
(v, v1 , . . . , x1 , x2 , . . . , v10 , v).

Supongamos ahora que


{v1 , v2 , . . . , v2k } {v10 , v20 , . . . , v20 l } .

La idea aqu es la misma, slo que para obtener un ciclo hemos de eliminar los
vrtices repetidos.
En primer lugar, veamos que si vi {v1 , v2 , . . . , v2k } {v10 , v20 , . . . , v20 l } entonces
vi = vi0 . Esto es cierto pues si vi = vj0 con j i entonces, bien j < i o bien i < j .
En el primer caso tenemos que (v, v10 , , vj0 , vi+1 , , v2k = x1 ) es un camino
que une v con x1 de longitud menor que la de P1 , lo cual no es posible. En el
segundo se razona de la misma forma.
Tomamos ahora el mayor i tal que vi {v1 , v2 , . . . , v2k } {v10 , v20 , . . . , v20 l }. En tal
caso, podemos tomar el ciclo (vi , vi+1 , , x1 , x2 , v20 l1 , , vi0 = vi ), que tiene
longitud impar.
El caso para y1 , y2 V2 es totalmente anlogo.

1.3
1.3.1

Grafos planos.
Concepto de grafo plano.
Definicin 1.3.1
Un grafo se dice que es plano si admite una representacin grfica en el plano
de modo que cada arista corta nicamente a otra arista en un vrtice que sea
extremo de ambas.
Tal representacin se denomina mapa.
Un mapa divide al plano en varias partes que se denominan caras.
Ejemplo 1.3.1
v3
e6
e3

v4

e4
v1

e2
e5

e1

v2

26

Introduccin a la teora de grafos.


Es un grafo plano con 4 vrtices, 6 aristas y 4 caras (las 3 caras encerradas por
las aristas y la cara exterior).

Cada poliedro regular (tetraedro,hexaedro,octaedro,dodecaedro e icosaedro) define un mapa del grafo formado por sus vrtices y aristas.

tetraedro
hexaedro
octaedro
icosaedro
dodecaedro

vrtices
4
8
6
12
20

aristas
6
12
12
30
30

caras
4
6
8
20
12

Cuadro 1.2: Poliedros regulares


Figura 1.13: Poliedros regulares

Es bien conocida la frmula para dichos poliedros


vrtices-aristas+caras=2.
Lema 1.3.2
Sea G un grafo conexo que contiene un ciclo C . Entonces G e es conexo para
toda arista e C .

1.3 Grafos planos.

27

Demostracin:
Sea e = {u, v}. Entonces existe un camino (u, v1 , . . . , vr , v) en G e de u a
v . Sean x, y dos vrtices cualesquiera de G e, ya que VGe = VG y G es conexo existen caminos (x, u1 , . . . , us , u) y (v, w1 , . . . , wt , y) en G e. Por tanto
(x, u1 , . . . , us , u, v1 , . . . , vr , v, w1 , . . . , wt , y) es un camino de x a y en G e y
por tanto G e es conexo.
Teorema 1.3.3: Frmula de Euler
Sea G un grafo plano y conexo. Si |VG | es el nmero de vrtices, |EG | el nmero
de aristas y |RG | el nmero de caras de una representacin plana de G, entonces
|VG | |EG | + |RG | = 2.

Demostracin:
Razonemos por induccin sobre |EG |. Si |EG | = 0 como G es conexo entonces
VG = {v} y EG = y en el mapa hay una sola cara, esto es, |RG | = 1 y la frmula
se verifica.
Supongamos ahora que |EG | 1 y que la frmula es cierta para todo grafo plano
y conexo con nmero de aristas menor que |EG |.
Caso 1). G tiene algn ciclo. Sea G0 = G e donde e es una arista de algn ciclo
en G. G0 contina siendo conexo por el lema 1.3.2 y el nmero de caras disminuye
en una unidad ya que e debe pertenecer al borde de dos caras diferentes. Ya que
la frmula se verifica para G0 , tenemos
|RG | 1 (|EG | 1) + |VG | = 2,

de donde |RG | |EG | + |VG | = 2.


Caso 2). G no tiene ciclos. Entonces existe al menos un vrtice que es extremo de
una sola arista. En efecto, si no existiera tal vrtice podramos construir un ciclo
de la siguiente manera: comencemos con un vrtice cualquiera v0 y a continuacin
tomamos una arista que comienza en v0 , v0 v1 , como v1 es extremo de ms de
una arista, tenemos otra arista diferente de v0 v1 con extremo v1 , por ejemplo,
v1 v2 . A continuacin repetimos el argumento con v2 , as vamos obteniendo un
camino v0 v1 v2 . . .. Como VG es finito, existe un primer nmero s tal que vs = vt
con s > t . El camino vt vt+1 . . . vs es un ciclo, lo que es una contradiccin.
Sea v un vrtice que es extremo de una nica arista vw en G. Sea G0 tal que
VG0 = VG v y EG0 = EG vw . G0 tiene el mismo nmero de caras que G. Por la
hiptesis de induccin,
|RG | (|EG | 1) + |VG | 1 = 2,

de donde |RG | |EG | + |VG | = 2.


Definicin 1.3.4
Se denomina grado de una cara f y se denota gr(f ) la longitud del camino que
la bordea.

28

Introduccin a la teora de grafos.


Corolario 1.3.5
Sea G un grafo simple, plano y conexo. Entonces
X

gr(f ) = 2|EG |.

f RG

En particular
3|RG | 2|EG | y |EG | 3|VG | 6.

Demostracin:
Al sumar los grados de todas las caras estamos contando dos veces el nmero de
aristas, pues cada arista es frontera comn de dos caras.
Es claro que al no tener lazos ni aristas paralelas, el grado de cualquier cara es
P
mayor o igual que 3. Tenemos entonces que 3|RG | f RG gr(f ) = 2|EG |.
La otra desigualdad es consecuencia del teorema de Euler, pues
2 = |VG ||EG |+|RG | |VG ||EG |+

2|EG |
|EG |
= |VG |
6 3|VG ||EG | |EG | 3|VG |6.
3
3

Ejemplo 1.3.2
El grafo completo K5 es simple conexo y tiene |VG | = 5 vrtices y |EG | = 10
aristas. Si el grafo fuese plano, entonces por el corolario 1.3.5
10 = |EG | 3|VG | 6 = 15 6 = 9
lo que es imposible. As K5 no es plano.
El grafo K3,3 es simple conexo y tiene |VG | = 6 vrtices y |EG | = 9 aristas. Si fuera
plano, entonces como cada cara est limitada por al menos 4 aristas, tendramos
4|RG | 2|EG |. Por la frmula de Euler, |VG | |EG | + |RG | = 2, de donde |RG | =
|EG | |VG | + 2 = 9 6 + 2 = 5 y 20 = 4|RG | 2|EG | = 18. As el grafo K3,3 no es
plano.

Definicin 1.3.6
Sea G un grafo. Una contraccin simple de G es el resultado de indentificar en G
dos vrtices adyacentes.
Una contraccin de G es una cadena de contracciones simples.

Teorema 1.3.7: de Kuratowski


Sea G un grafo. Entonces G es plano si, y slo si, ningn subgrafo suyo puede
contraerse a K5 ni a K3,3 .

Ejemplo 1.3.3
Consideramos el siguiente grafo G:

1.3 Grafos planos.

29
v20
v2
v10

v1

v3

v5

v30

v4

v50

v40

Entonces, si identificamos cada vrtice vi con vi0 (es decir, realizamos cinco contracciones) obtenemos el grafo K5 , que sabemos que no es plano. Deducimos por
tanto que este grafo no es plano.
Tambin podemos ver que este grafo no es plano como sigue: Tomamos el subgrafo
de G con los mismos vrtices, y del que se eliminan los lados que unen v3 con v5 ,
y v4 con v40 . El grafo que obtenemos es
v20
v2
v10

v1

v3

v5

v30

v4

v50

v40

Identificamos los vrtices v2 con v4 , v3 con v30 y v5 con v50 , y a continuacin v40
con v3 = v30 . El grafo resultante es:

v10

v20

v20

v2

v2
v30

v1

v50

v40

v10

v1

v50

v30

30

Introduccin a la teora de grafos.


que podemos representar como
v1

v20

v50

v10

v2

v30

Es decir, hemos encontrado un subgrafo de G que puede contraerse hasta K3,3 .

1.3.2

Coloracin de grafos.
Todo mapa en el plano se puede representar mediante un grafo. Para establecer
esta correspondencia, cada regin del mapa se representa mediante un vrtice.
Una arista conecta dos vrtices si las caras representadas por dichos vrtices
tienen frontera en comn. Al grafo simple resultante se le denomina grafo dual
del mapa.
El problema de colorear un mapa se traduce en colorear los vrtices del grafo dual
del mapa, de manera que ningn par de vrtices adyacentes del grafo tengan el
mismo color.

Figura 1.14: Mapa y grafo dual de Andaluca


Definicin 1.3.8
Una coloracin de un grafo simple G es una aplicacin : VG C , donde C es un
conjunto de colores, de manera que para todo e EG tal que G (e) = {v, w} con
v w entonces (v) (w).
Definicin 1.3.9
El nmero cromtico (G) de un grafo G es el nmero mnimo de colores que se
requieren para una coloracin de G.

1.3 Grafos planos.


Ejemplo 1.3.4
1. El grafo K2 necesita al menos dos colores para colorearlo, ya que los dos vrtices no pueden ser coloreados con el mismo color al ser adyacentes. Su nmero
cromtico es por tanto 2.
2. En general, el nmero cromtico del grafo Kn es n, pues todos los vrtices
deben tener colores distintos, ya que dos vrtices cualesquiera son adyacentes.
3. Si G1 es un subgrafo de G2 , entonces (G1 ) (G2 ).
4. Si un grafo es plano, su nmero cromtico es menor o igual que 4. ste es
un problema (El problema de los 4 colores) que se plante por primera vez a
mitad del siglo XIX, cuando se intentaba colorear los condados de un mapa de
Inglaterra de forma que dos condados con frontera comn tuvieran distinto color.
El problema estuvo abierto durante ms de un siglo, hasta que en 1976, Appel y
Haken probaron el resultado basndose en un complicado anlisis computacional.
Proposicin 1.3.10
Un grafo G es bipartido, si y slo si, (G) = 2.
Demostracin:
Si G es un grafo bipartido con {V1 , V2 } una biparticin del conjunto de vrtices
V , cada arista de G une un vrtice de V1 con un vrtice de V2 , por lo que dos
vrtices son adyacentes si, y slo si, estn en un subconjunto Vi distinto. Por
tanto si asignamos a los vrtices de V1 el color C1 , y a los vrtices de V2 el color
C2 , se obtiene una coloracin de G que utiliza nicamente dos colores.
Recprocamente, si existe una coloracin con dos colores C1 y C2 y denotamos
por Vi el conjunto de vrtices que tienen asignados el color Ci , para i = 1, 2, es
claro que cada arista une un vrtice de V1 con un vrtice V2 (pues dos vrtices
adyacentes no pueden tener el mismo color). As, concluimos que G es bipartido.

1.3.3

Polinomio cromtico de un grafo.


Definicin 1.3.11
Sea G un grafo y x N. Vamos a denotar por p(G, x) al nmero de coloraciones
distintas, con x colores, que tiene el grafo G. Lo denominaremos el polinomio
cromtico de G.
El primer k tal que P (G, k) 0 nos dice que (G) = k.
Ejemplo 1.3.5
1. Si G es un grafo cuyas componentes conexas son G1 , G2 , . . . , Gm entonces
p(G, x) = p(G1 , x)p(G2 , x) p(Gm , x). Por tanto, nos limitaremos a estudiar
las coloraciones de los grafos conexos.
2. Si queremos colorear el grafo K2 y disponemos de x colores, entonces para uno
de los vrtices podemos elegir cualquiera de los x colores, mientras que para el
otro podemos elegir entre los x 1 restantes. El principio del producto nos dice
entonces que p(K2 , x) = x(x 1).
En general, se tiene que p(Kn , x) = x(x 1) (x n + 1). De aqu se deduce

31

32

Introduccin a la teora de grafos.


que si m n, p(Kn , m) = 0, mientras que p(Kn , n) = n!. Por tanto, el nmero
cromtico de Kn es n.
3. El polinomio cromtico del grafo vaco Nn . Como no hay aristas, no tenemos
colores prohibidos a la hora de colorear ningn vrtice, as que P (Nn , x) = x n .
Por tanto (Nn ) = 1.
4. Si G es el grafo camino simple o lineal Ln , entonces p(G, x) = x(x 1)n1 . En
efecto tendremos x posibles colores para el primer vrtice, x 1 para el segundo.
Finalmente para el resto de vrtices x 1 colores. Adems, (Ln ) = 2.
Es decir, G = (V , E) donde V = {v1 , v2 , . . . , vn } y E = {e1 , e2 , . . . , en1 } y G (ei ) =
{vi , vi+1 }. En este caso, para elegir una coloracin de G con x colores, podemos
elegir el que queramos para v1 , y para el resto de los vrtices tenemos x 1
posibilidades (todas menos la que hayamos elegido para vi1 ). El principio del
producto nos dice que p(G, x) = x(x 1)n1 .

Dado un grafo G, tomamos una arista e (que no sea un lazo) que una los vrtices
u y v . Entonces el grafo G e es el grafo con los mismos vrtices que G, pero al
que se le ha quitado la arista e, y el grafo Ge es el grafo que resulta de identificar
en G e los vrtices u y v .

Teorema 1.3.12: de descomposicin


Sea G un grafo conexo, y e EG . Entonces
p(G e, x) = p(G, x) + p(Ge , x).

Demostracin:
Vamos a descomponer el conjunto de las posibles coloraciones de G e con x
colores en dos subconjuntos, los cuales los identificaremos con las coloraciones de
G y las de Ge respectivamente (con x colores). Esto, junto con el principio de la
suma, nos dar la relacin que buscamos. Puesto que en G e los vrtices u y
v no son adyacentes, una coloracin de G e puede tener los vrtices u y v del
mismo color o de distinto color. Si tienen distinto color, lo que tenemos es una
coloracin del grafo G (obviamente, toda coloracin de G es una coloracin de
G e). Por tanto, las coloraciones en las que u y v tienen distinto color pueden
identificarse con las coloraciones de G. Si u y v tienen el mismo color, entonces
lo que tenemos es una coloracin de Ge . Recprocamente, cualquier coloracin de
Ge nos da lugar a una coloracin de G e en la que u y v tienen el mismo color.

Esta expresin podemos verla como p(G, x) = p(G e, x) p(Ge , x), lo cual
nos permite reducir el clculo del polinomio cromtico de un grafo al clculo de
polinomios cromticos ms pequeos (con menos aristas o con menos vrtices).
De esta forma, podemos reducirlo siempre al clculo de polinomios cromticos de
grafos completos o de grafos que son caminos simples.

1.3 Grafos planos.

33

Ejemplo 1.3.6
Para simplificar la notacin, vamos a representar el polinomio cromtico de un
grafo
encerrando
el grafo
 
 


 
 entre corchetes.
 
=
=
=


-2

=x(x 1)(x 2)(x 3)x 2x(x 1)(x 2)(x 3) = x(x 1)(x 2)2 (x 3).
As (G) = 4.

1.3.4

Concepto de rbol y caracterizaciones.


Definicin 1.3.13
Un rbol es un grafo conexo sin ciclos. Un bosque es un grafo sin ciclos.
Dado un grafo conexo, un subgrafo suyo se dice rbol generador si tiene todos
los vrtices y es un rbol.
Proposicin 1.3.14
Todo grafo conexo tiene un rbol generador.
Demostracin:
Sea G un grafo conexo; si G no contiene ningn ciclo, entonces no hay nada que
probar ya que G es su propio rbol generador.
Supongamos, entonces, G contiene un ciclo. Al eliminar cualquier arista del ciclo
obtenemos un grafo que tambin es conexo. Si el nuevo grafo contiene un ciclo
de nuevo eliminamos una arista del ciclo. Continuamos este proceso hasta que
el grafo resultante T no contenga ciclos. No hemos eliminado vrtices de manera
que T tiene los mismos vrtices que G, y en cada etapa del proceso anterior se
obtiene un grafo conexo. Por lo tanto T es conexo y es un rbol generador de G.
Proposicin 1.3.15
Todo grafo sin ciclos es un grafo plano. En particular todo rbol es un grafo
plano.
Demostracin:
Lo haremos por induccin en n. Para n = 0 el resultado es trivialmente cierto,
pues al no haber aristas no pueden cruzarse. Supuesto el resultado cierto para
n lo demostramos para n + 1. Si tenemos un grafo sin ciclos con n+1 aristas, le
quitamos una arista y nos resulta un grafo plano (pues no tiene ciclos y tiene n
aristas). Al no tener ciclos no divide al plano en caras. Por tanto, la arista que
aadimos podemos dibujarla sin que corte a ninguna de las ya existentes.

34

Introduccin a la teora de grafos.


Teorema 1.3.16
Sea G un grafo simple con n vrtices. Entonces son equivalentes:
1. G es un rbol.
2. Dos vrtices cualesquiera estn unidos por un nico camino simple.
3. G es conexo, pero si le quitamos una arista deja de serlo.
4. G no tiene ciclos, pero si le aadimos una arista tendr algn ciclo.
5. G es conexo y tiene n 1 aristas.
Demostracin:
1) 2) Sean u y v dos vrtices de G. Ya que G es conexo, existe al menos un
camino simple de u a v . Si existiesen dos caminos simples de u a v , entonces
por la proposicin 1.1.18 existe un ciclo, lo que es una contradiccin. Por tanto
existe un nico camino simple de u a v .
2) 3) Claramente G es conexo. Sea e = {u, v} una arista de G y consideremos
G e. Si G e fuese conexo entonces existiran al menos dos caminos simples en
G de u a v , lo que es una contradiccin.
3) 4) Supongamos que G contiene un ciclo. Sea e = {u, v} una arista del ciclo.
Ya que G es conexo, entonces por el lema 1.3.2, G e es conexo, lo que es una
contradiccin. Por tanto G no contiene ciclos. Sean u y v dos vrtices de G y G0
el grafo obtenido aadiendo a G la arista e = {u, v}. Ya que G es conexo existe
un camino (u = v1 , . . . , vr = v) de u a v en G. Por tanto (u = v1 , . . . , vr = v, u)
es un ciclo en G0 .
4) 5) Sean u y v dos vrtices de G y G0 el grafo obtenido aadiendo a G la
arista e = {u, v}. Entonces existe un ciclo conteniendo e en G0 . Por tanto existe
un camino en G de u a v . As G es conexo. Como no tiene ciclos es un rbol y
por la proposicin 1.3.15 G es plano. Como |RG | = 1, de la frmula de Euler se
deduce que 2 = |VG | |EG | + 1, esto es, |EG | = |VG | 1.
5) 1) Supongamos ahora que existe un ciclo C = (v1 , . . . , vr , v1 ). Ya que G es
conexo, los restantes vrtices vr +1 , . . . , vn pueden ser conectados a los vrtices de
C . Por tanto |E| r + (n r ) = |V |, lo que es una contradiccin.

Captulo

2
Introduccin a la teora de grupos.
2.1
2.1.1

Grupos. Ejemplos de grupos.


Definicin de grupo. Propiedades elementales.
Definicin 2.1.1
Una operacin binaria * sobre un conjunto G es una aplicacin : G G - G
que asigna al par (a, b) de elementos de G, un elemento a b de G.

Por ejemplo la suma y el producto son operaciones binarias sobre el conjunto Z


de nmeros enteros.
Definicin 2.1.2
Un conjunto no vaco G con una operacin binaria * se dice que es un grupo si
verifica las siguientes propiedades:
G1) La operacin * es asociativa, esto es,
a (b c) = (a b) c,

para todo a, b, c G.
G2) Existe un elemento neutro e G, tal que
a e = a = e a,

para todo a G.
G3) Para todo elemento a G, existe un elemento simtrico a0 G, tal que
a a0 = e = a0 a.

G4) Si adems la operacin * es conmutativa, esto es,


a b = b a,

para todo a, b G, el grupo se dice que es un grupo abeliano.

Normalmente adoptaremos para los grupos notacin multiplicativa, donde el producto ab de dos elementos a y b de un grupo G ser denotado ab. La propiedad
asociativa entonces requiere que (ab)c = a(bc) para todo a, b, c G. El elemento neutro, en este caso, es denotado por 1 (o por e) y denominado elemento

36

Introduccin a la teora de grupos.


identidad y el elemento simtrico de un elemento a G es denotado por a1 y
denominado el inverso de a.
Sin embargo para los grupos abelianos es tradicional usar notacin aditiva. En
este caso la operacin de grupo es denotada +, el elemento neutro del grupo es
denotado por 0 y el simtrico de un elemento a del grupo por a.
A continuacin vamos a describir algunas propiedades bsicas de un grupo G,
usando notacin multiplicativa y denotando el elemento identidad del grupo por
e.
Lema 2.1.3
Si G es un grupo, entonces existe un nico elemento identidad.
Demostracin:
Supongamos que e y f son elementos neutros, entonces se verifica:
e = ef = f .

Lema 2.1.4
Sea G un grupo, entonces el inverso de a G es nico.
Demostracin:
Supongamos que a0 y a00 son inversos de a, entonces se verifica:
a0 = ea0 = (a00 a)a0 = a00 (aa0 ) = a00 e = a00 .

Lema 2.1.5
Sea G un grupo. Si a, b G, entonces
(a1 )1 = a

y
(ab)1 = b1 a1 .

Demostracin:
La primera igualdad es consecuencia de que aa1 = e = a1 a.
Para la segunda, basta nicamente considerar las siguientes cadenas de igualdades:
(b1 a1 )(ab) = ((b1 a1 )a)b = (b1 (a1 a))b = (b1 e)b = b1 b = e,
(ab)(b1 a1 ) = ((ab)b1 )a1 = (a(bb1 ))a1 = (ae)a1 = aa1 = e,

y utilizar la unicidad del elemento inverso de ab.

2.1 Grupos. Ejemplos de grupos.

37

Proposicin 2.1.6: Propiedades cancelativas o simplicativas


Si G es un grupo, entonces se verifica
1. Si ab = ac entonces b = c (Propiedad cancelativa por la izquierda)
2. Si ba = ca entonces b = c (Propiedad cancelativa por la derecha)
Demostracin:
Demostraremos la propiedad cancelativa por la izquierda; la otra es anloga.
Si ab = ac entonces a1 (ab) = a1 (ac) de donde por la propiedad asociativa
(a1 a)b = (a1 a)c , y por la propiedad del elemento inverso eb = ec . Finalmente
por la propiedad del elemento neutro b = c .
Proposicin 2.1.7
(D) Si G es un grupo y a, b pertenecen a G, entonces las ecuaciones ax =b y
xa = b tienen solucin nica.
Recprocamente, si G es un conjunto no vaco con una operacin binaria verificando G1), G2) y D), entonces es un grupo.
Definicin 2.1.8
Un grupo G se dice que es un grupo finito si el conjunto G tiene un nmero finito
de elementos. En este caso, el nmero de elementos es llamado el orden de G,
denotado por |G|.
La proposicin anterior proporciona una manera muy fcil de comprobar si un
conjunto finito de elementos y una operacin sobre ellos forman un grupo o no.
Un conjunto finito de elementos y una operacin en ellos es frecuentemente dado
por una tabla que ilustra el resultado de la operacin para cada par de elementos.
Dicha tabla se llama una tabla de Cayley, llamada as por el matemtico Arthur
Cayley. Es una generalizacin de una tabla de multiplicar (tal como se utiliza
para ensear a los escolares la multiplicacin). Se trata de una malla donde las
filas y columnas estn encabezadas por los elementos a multiplicar, y la entrada
en cada celda es el producto de los encabezados de la fila y columna.
Por ejemplo, sto es una tabla de Cayley sobre el conjunto {a, b, c}:
*
a
b
c

a
a
c
c

b
b
a
c

c
a
b
b

Echemos un vistazo a las filas y columnas de la tabla sin encabezados. Tenga en


cuenta que la primera fila representa diferentes resultados de la multiplicacin
por la izquierda, con a. Pero en la primera fila, no hay elemento c . Eso significa
que la ecuacin ax = c no tiene solucin. Por lo tanto, este cuadro no representa
un grupo. Del mismo modo, tenga en cuenta que en la primera columna (sin
encabezado), no hay elemento b. Como consecuencia, la ecuacin ya =b no tiene
solucin.
A partir de este ejemplo, se puede concluir que una condicin necesaria para que
una tabla de Cayley represente un grupo es que en cada fila y columna aparezca

38

Introduccin a la teora de grupos.


cada elemento al menos una vez. Si aparece algn elemento dos veces, entonces
la ley de cancelacin no se verifica. Por tanto
1) Cada elemento aparece exactamente una vez en cada fila y cada columna.
Adems,
2) Tiene que haber un elemento de tal manera que la fila y la columna determinada por el elemento es la misma que la fila y columna de encabezados. En este
caso, ese elemento es la identidad.
Si una tabla de Cayley de un conjunto G satisface las reglas 1 y 2, entonces
G satisface G1) y G3). La propiedad G2) sobre la asociatividad es pesada de
comprobar en una tabla de Cayley. Para la comprobacin de la asociatividad hay
que comprobar que para todas las ternas posibles de elementos (a, b, c) se verifca
(ab)c = a(bc).
Para la propiedad G4) solo hay que comprobar la simetra de la tabla.
Proposicin 2.1.9
Sean a1 , . . . , an elementos de un grupo G, definimos inductivamente un nuevo
elemento a1 an del grupo, su producto, como sigue
(
a1 an =

a1
(a1 an1 )an

si n = 1
si n > 1

Entonces se verifica
1. Para cada 0 < m < n se tiene
a1 an = (a1 am )(am+1 an )

2.
1
1
(a1 an )1 = a
n a1 .

Demostracin:
1. Haremos induccin sobre n. Los casos n = 1, 2, son evidentes. Supongamos, por
tanto, n > 2. Si m = n 1, entonces a1 an = (a1 an1 )an por definicin.
Si m < n 1, entonces
a1 an = (a1 an1 )an = ((a1 am )(am+1 an1 ))an
= (a1 am )((am+1 an1 )an ) = (a1 am )(am+1 an ).

2. Haremos induccin sobre n. El caso n = 1 es evidente, as que supongamos


n > 1. Entonces
1
1
1
1
1 1
1
(a1 an )1 = ((a1 an1 )an )1 = a
= a
n (a1 an1 )
n (an1 a1 ) = an a1 .

Sea G un grupo y a G, definimos

e
an1 a
an =

(an )1

si n = 0
si n > 0
si n < 0

para n Z. El elemento an se llama potencia n-sima de a; n se llama el

2.1 Grupos. Ejemplos de grupos.

39

exponente y a la base de la potencia.


El siguiente resultado se prueba por induccin sobre los exponentes de las potencias.
Proposicin 2.1.10
Sea a un elemento de un grupo G. Entonces
1) (a1 )n = an = (an )1 , para todo n Z.
2) am an = am+n , para todo m, n Z.
3) (am )n = amn , para todo m, n Z.
Demostracin:
1) El caso n=0 es trivial, ya que a0 = e.
Si n >0, entonces an = (an )1 por definicin y (a1 )n = (an )1 por la proposicin anterior.
Si n < 0, entonces m = n > 0. As
(a1 )n = (a1 )m = (a(m) = am = an

y
(an )1 = (am )1 = ((a1 )m )1 = ((am )1 )1 = am = an .

2) Como a0 = e, si m = 0 o n = 0, la igualdad es obviamente cierta.


Si m, n > 0, es consecuencia de la proposicin anterior.
Si m, n < 0, entonces
am+n = (a(m+n) )1 = (a(n)+(m) )1 = (an am )1 = (am )1 (an )1 = am an .

Si m > 0 y n < 0, entonces


si m + n = 0, entonces
am an = am am = am (am )1 = e = a0 = am+n ,

si m + n > 0, entonces, ya que n > 0,


am+n an = a(m+n)n = am .

Por tanto, am+n = am an .


si m + n < 0, entonces
am am+n = (am )1 )(a(m+n) )1 ) = (am a(m+n) )1 = (an )1 = an ,

de donde am+n = am an .
El caso restante, a saber, m < 0, n > 0, es anlogo.
3) Como a0 = e, si m = 0 o n = 0, la igualdad es obviamente cierta.
Si m, n > 0, es consecuencia de la proposicin anterior.
Si m > 0, n < 0, entonces
(am )n = ((am )n )1 = (amn )1 = amn .

Si m < 0, n > 0, entonces


(am )n = ((a1 )m )n = (a1 )mn = amn .

Si m < 0, n < 0, entonces


(am )n = ((am )1 )n = (am )n = amn .

40

Introduccin a la teora de grupos.


Ejemplo 2.1.1
Ejemplos de grupos, ya conocidos, son (Z, +), (Q, +), (Q , ), (R, +), (R , ),
(C, +), (C , ).
Ejemplo 2.1.2
Para cada cuerpo K (por ejemplo, Q, R, C o, Zp para p primo), y cada entero
n 1, tenemos definido el anillo Mn (K de las matrices cuadradas de tamao
n n con coeficientes en K. El grupo multiplicativo U (Mn (K)) de las unidades
de este anillo consiste, como es obvio, en las matrices regulares. Se suele denotar
por GLn (K), y se llama grupo lineal general de orden n sobre K. Observemos que
GLn (K) es no abeliano si n 2. Adems, cuando K = Zp para p primo, se trata
de un grupo finito no abeliano.
En este curso, centraremos nuestra atencin fundamentalmente en los grupos finitos. Los ms sencillos son los abelianos; algunos de cuyos ejemplos fundamentales
se dan seguidamente.
Ejemplo 2.1.3
Cada anillo de restos Zn da lugar a dos grupos conmutativos finitos; el grupo
aditivo (Zn , +) y el grupo multiplicativo (Z
n , ) de las unidades, que ya han debido
ser estudiados. De ellos, el ms sencillo en general es el grupo aditivo Zn =
{[m]; 0 m < n}, que tiene n elementos. El grupo Z
n = {[m]; gcd(m, n) = 1},
que tiene (n).
Ejemplo 2.1.4
El cuerpo de los nmeros complejos C se obtiene de R aadiendo una unidad
imaginaria i que verifica que i2 = 1, y que conmuta con todos los nmeros
reales. Los elementos de C son de la forma a + bi, con a, b R, y se opera con
ellos de la siguiente forma:
Suma: (a + bi) + (c + di) = a + b + (c + d)i.
Producto: (a + bi)(c + di) = ac bd + (ad + bc)i.
En C es de la mayor importancia la conjugacin de nmeros complejos, que asigna
a z = a + bi C su conjugado z = a bi.
Una propiedad esencial aqu es que
zw = (ac bd) + (ac + bd)i = (ac bd) (ac + bd)i = z w

para cualesquiera z = a + bi, w = c + di C. Observemos que


zz = a2 + b2 [0, +)

por lo que zz = 0 si y slo a = b = 0. Por tanto, si z 0, entonces, de la igualdad


obvia z(

z
) = 1, deducimos que
zz

z1 =

z
a bi
=
a2 + b2
zz

2.1 Grupos. Ejemplos de grupos.

41

lo que nos indica cmo calcular inversos en el grupo multiplicativo C . Si vemos


cada complejo z = a + bi como
un vector del plano real con componentes (a, b),

entonces su longitud es |z| = a2 + b2 y, por tanto, tenemos la expresin


z1 =

z
|z|2 .

Observemos ahora que los nmeros u = a2a+b2 , v = a2b+b2 verifican que u2 +


v 2 = 1. Esto significa que existe un nico [0, 2 ] (aunque podramos tomar
cualquier otra determinacin de , por ejemplo en [2 , 0]), tal que u = cos(),
v = sen().

Esto significa que, poniendo r = a2 + b2 = |z|, uno obtiene


z = r (cos() + isen())
y

r sen()
x

r cos()

El ngulo se llama argumento de z. Acabamos de ver que cada nmero complejo


se puede expresar en funcin de su mdulo y su argumento. Veamos que dicha
representacin tiene sus ventajas.
Si z0 = r 0 (cos( 0 ) + isen( 0 )), entonces
zz0 = r (cos() + isen())r 0 (cos( 0 ) + isen( 0 ))
= r r 0 (cos() cos( 0 ) sen()sen( 0 ) + i(cos()sen( 0 ) + cos( 0 )sen()))
= r r 0 (cos( + 0 ) + isen( + 0 ))

Es tradicin escribir ei = cos() + isen(). La frmula anterior se escribe en esta


notacin exponencial como
0

r ei r 0 ei = r r 0 ei(+

De esta manera, si z = r ei , entonces z1 =

1
r

0)

ei y, para cualquier exponente

entero m, se tiene zm = r m eim Veamos ahora cmo obtener las races n-simas
de un nmero complejo. Si z = r , entonces se trata de encontrar r0 0 tal que

r = (r0 0 )n = (r 0n )n 0 . Por tanto r = r 0n y n 0 = + 360k. As r 0 = n r y


0 =

+360k
,
n

con 0 k < n. As existen n races

Ejemplo 2.1.5
Dados nmeros complejos z, w , tenemos que
|zw| = |z||w|.

+2k i
r e n ,0 k < n.

42

Introduccin a la teora de grupos.


De aqu, deducimos que si z y w son ambos nmeros complejos de mdulo 1,
entonces su producto zw tiene asmismo mdulo 1. Este hecho permite comprobar
que la circunferencia
S 1 = {z C; |z| = 1} = {ei ; [0, 2 ]}

es un grupo, cuya operacin es la multiplicacin de nmeros complejos.

Ejemplo 2.1.6
Para cada nmero entero n 1, consideremos
Cn = {z C; zn = 1}

Observemos que si z, w Cn , entonces (zw)n = zn w n = 1, luego zw Cn .


Adems, (z1 )n = (zn )1 = 1. Por tanto, Cn resulta ser un grupo bajo la multiplicacin. Este grupo es finito, ya que sus elementos son las races complejas del polinomio X n 1, cuyo nmero es, a lo sumo, n. Considero para cada
2r i
2r
2r
r = 0, . . . , n 1 el nmero complejo r = e n = cos( n ) + isen( n ), entonces
(r )n = (e

2r i
n

)n = e

2nr i
n

= e2r i = cos(2r ) + isen(2r ) = 1.

As que
Cn = {0 = 1, 1 , . . . , n1 }

Los elementos de Cn se llaman races n-simas de la unidad.

Concluyamos con un ejemplo ms de grupo cuyos elementos son matrices.

Ejemplo 2.1.7
Dentro de GL2 (C), consideremos (existen otras posibilidades para definir i , j y
k , pero todas las elecciones son esencialmente equivalentes) las matrices
1=

1 0
0 1

!
,i =

0 1
1 0

!
,j =

0 i
i 0

!
,k =

0 i

Entonces (y conviene que el alumno lo compruebe) el conjunto de ocho elementos


k}
Q2 = {1 , ii, jj , k

es un grupo con la multiplicacin de matrices. Este grupo es llamado grupo


cuaternio.

2.1 Grupos. Ejemplos de grupos.

2.1.2

43

Q2

Grupos de permutaciones: Grupos simtricos y alternados.


Definicin 2.1.11
Sea X un conjunto. Una aplicacin : X X es llamada una permutacin de X
si es biyectiva.
El conjunto de todas las permutaciones de X ser denotado por S(X).
El conjunto de todas las permutaciones del conjunto X = {1, 2, . . . , n} ser denotado por Sn .
Sabemos por lgebra I que:
(i) Si , son elementos de S(X), entonces est en S(X);
(ii) Si , , son elementos de S(X), entonces ( ) = ();
(iii) 1X est en S(X);
(iv) Si est en S(X), entonces 1 est en S(X).
Esto es, S(X) es un grupo respecto a la composicin de aplicaciones.
La primera observacin que tenemos a propsito del grupo Sn es la siguiente:
Lema 2.1.12
El grupo Sn es finito de orden n!.
Demostracin:
Una permutacin puede aplicar 1 en cualquiera de los nmeros 1, . . . , n. Una
vez elegida la imagen de 1, 2 puede aplicarse en cualquiera de los restantes n 1
nmeros. Una vez elegidas las imgenes de 1,2, 3 puede aplicarse en cualquiera
de los restantes n 2 nmeros. As hasta que las imgenes de 1, . . . , n 1 han
sido elegidas. El nmero restante debe ser la imagen de n. Por tanto existen
n(n 1) 1 elecciones. As Sn tiene n! elementos.

44

Introduccin a la teora de grupos.


El siguiente asunto que trataremos es de la mayor importancia: veremos distintas
maneras en que se pueden representar las permutaciones de n smbolos. Una
manera clsica de hacerlo es mediante una matriz. As, la permutacin S4
dada por {1 3, 2 2, 3 4, 4 1}, se puede representar como sigue
1 2 3 4
3 2 4 1

Ms generalmente, una permutacin cualquiera Sn queda completamente


determinada por la matriz 2 n
1
2

n
(1) (2) (n)

Observemos que, en esta representacin, la segunda fila de la matriz contiene a


los elementos 1, 2, . . . , n reordenados. Esta notacin podra compactarse si acordsemos no representar aquellos elementos fijos por la permutacin (en (*), el 2).
Podemos ahorrar an ms espacio si representamos una sola vez los elementos
que no quedan fijos, de la siguiente forma = (1 3 4) entendiendo que la imagen del primer elemento listado (el 1) es el segundo (el 3), la de este segundo,
el tercero (el 4), y la de este ltimo, el primero de la lista (o sea, el 1). Esto no
puede hacerse, sin embargo, con todas las permutaciones, sino con aquellas que
son ciclos, segn la siguiente definicin.
Definicin 2.1.13
Una permutacin Sn se dice ciclo de longitud r , donde r n, si existe una
sucesin i1 , . . . , ir {1, 2, . . . , n} de nmeros distintos tales que
1.- fija todo elemento distinto de i1 , . . . , ir
2.- (i1 ) = i2 , (i2 ) = i3 ,. . . , (ir 1 ) = ir y (ir ) = i1 .
Se representa mediante la notacin
= (i1 i2 ir ).

Un ejemplo de permutacin no cclica es la siguiente


1 2 3 4 5
2 1 5 3 4

Recordemos sin embargo que S5 es un grupo , lo que significa que podemos pensar
en expresar la anterior permutacin como producto (composicin) de permutaciones ms sencillas. En este caso, podemos escribir
1 2 3 4 5
2 1 5 3 4

!
= (1 2)(3 5 4)

As que hemos descompuesto nuestra permutacin como producto de dos ciclos


(observemos que usamos la yuxtaposicin para denotar la composicin). Esto
puede hacerse en general, como indica el siguiente resultado.

2.1 Grupos. Ejemplos de grupos.

45

Definicin 2.1.14
Sean = (i1 i2 ir ) y = (j1 j2 js ) ciclos en Sn . Entonces y se dice
que son disjuntos si ih jk para todo h, k.
Proposicin 2.1.15
Ciclos disjuntos conmutan.
Demostracin:
Supongamos que , Sn son ciclos disjuntos dados por
= (i1 i2 ir ),

= (j1 j2 js ).

Entonces
((j)) = j = ( (j)),
((ik ) = ik+1 = ( (ik )
((jk )) = jk+1 = ( (jk ))

j {i1 , . . . , ir , j1 , . . . , js }
para 1 k r
para 1 k s

donde hemos usado ir +1 = i1 , js+1 = j1 .


Proposicin 2.1.16
Toda permutacin en Sn puede escribirse como un producto de ciclos disjuntos.
Los ciclos que aparecen en el producto son nicos
Demostracin:
Sea Sn una permutacin. Para demostrar que se descompone como producto de ciclos disjuntos, usaremos induccin sobre n. Para n = 1, la afirmacin
es trivial, as que supongamos n > 1. Tomemos t el primer elemento (en el orden
natural) de {1, . . . , n} que no es fijo por . Sea i (t) el primer trmino repetido
en la sucesin t, (t), 2 (t), . . . , k (t), . . .. Entonces i (t) = j (t) para algn
j i y, al ser una biyeccin, tenemos que ij (t) = t . Como i j i, se sigue
de la eleccin de i que ij = i, con lo que j = 0. De modo que i (t) = t . Ahora es
evidente que (t (t) i1 (t)) es un ciclo, llammosle 1 . Entonces podemos
escribir = 0 1 , donde 0 es una permutacin que deja fijos t, (t), . . . , i1 (t).
Es as que podemos considerar a 0 como una permutacin de menos de n smbolos, lo que permite usar la hiptesis de induccin para escribir 0 = r 2 ,
para k ciclos disjuntos que dejan fijos los smbolos t, (t), . . . , i (t). Finalmente,
hemos obtenido
= r 2 1 ,

con 1 ,. . . ,r ciclos disjuntos.


Definicin 2.1.17
Sea Sn . El menor entero positivo m tal que m = (1) es llamado el orden de
.

46

Introduccin a la teora de grupos.


Proposicin 2.1.18
(a) El orden de un ciclo es la longitud del ciclo.
(b) Sea = 1 r su descomposicin en ciclos disjuntos. Entonces el orden
de es el mnimo comn mltiplo de las longitudes de los ciclos i .
Demostracin:
(a) Si = (i1 ir ) Sn es un ciclo, entonces (i) = i para i {i1 ir }
y (ij ) = ij+1 para j < r con ir +1 = i1 . Por tanto r (i) = i para todo i
{i1 ir }. Adems
(i1 )
2

(i1 )

i2

(i2 ) = i3

(i1 )

ir +1 = i1

En general r (ij ) = ij+r = ij .


(b) Supongamos que | | = n y || = m y | | = M . Como ( )M = 1, entonces
M M = 1, ya que permutaciones disjuntas conmutan. Ya que son permutaciones disjuntas, tenemos que M = 1, M = 1. As m y n dividen a M , luego
lcm(m, n)|M .
Ya que n = 1 y m = 1, tenemos que lcm(m,n) = 1 y lcm(m,n) = 1, de donde
( )lcm(m,n) = lcm(m,n) lcm(m,n) = 1, y por tanto M| lcm(m, n).

Existe otra forma clsica de descomponer permutaciones, que reposa en la idea


de que el tipo de permutacin ms sencillo posible es aquella que, valga la redundancia, permuta justo dos smbolos. La definicin tcnica es la siguiente.
Definicin 2.1.19
Un ciclo de longitud dos es llamado una transposicin.

Tenemos el siguiente corolario de la Proposicin 2.1.16.


Proposicin 2.1.20
Toda permutacin puede escribirse como un producto de transposiciones.
Demostracin:
A la vista de la Proposicin 2.1.16, es suficiente demostrar que cada ciclo se
puede escribir como un producto de transposiciones. Pero esto es fcil: dado el
ciclo (i1 i2 ir ) tenemos
(i1 i2 ir ) = (i1 ir ) (i1 i3 )(i1 i2 )

2.1 Grupos. Ejemplos de grupos.

47

Desde luego, la descomposicin de una permutacin en producto de transposiciones est lejos de ser nica. Por ejemplo, en S3 , tenemos (1) = (1 2)(1 2) =
(2 3)(2 3). Sin embargo, s hay algo que que es comn a todas las formas de
escribir una permutacin como producto de transposiciones: nos referimos a la
paridad del nmero de transposiciones que aparecen en dicha transposicin. Esto
est recogido en la siguiente proposicin.
Lema 2.1.21
Si 1X = 1 2 r donde los i son transposiciones, entonces r es par.
Demostracin:
Es evidente que r 1, ya que una transposicin no es la identidad. Si r =
2, entonces el resultado est probado. Por lo tanto, suponemos que r > 2 y
procedemos por induccin. Puesto que (i, j) = (j, i) el producto 1 2 se puede
expresar en una de las siguientes formas de la izquierda
(a, b)(a, b)
(a, b)(a, c)
(a, b)(c, d)
(a, b)(b, c)

=
=
=
=

1X
(b, c)(a, b)
(c, d)(a, b)
(b, c)(a, c).

Si se produce el primer caso, podemos eliminar 1 2 del producto original para


obtener 1X = 3 r y, por tanto, por la hiptesis de induccin, r 2 es par.
En los otros tres casos, se sustituye la forma de 1 2 de la izquierda por su
contrapartida en la derecha para obtener un nuevo producto de r transposiciones
que sigue siendo la identidad, pero donde la primera aparicin del entero a se
encuentra en la segunda transposicin del producto en lugar de en la primera. A
continuacin repetimos el procedimiento antes descrito con 2 3 y, como antes,
obtenemos un producto de r 2 transposiciones igual a la identidad o un nuevo
producto de r de transposiciones, donde la primera aparicin de a es en la tercera
transposicin. Continuando con este proceso debemos obtener un producto de
r 2 transposiciones igual a la identidad. Por lo contrario, tenemos un producto
igual a la identidad en la que primera aparicin del entero a se encuentra en la
ltima transposicin, y tal producto no fija a mientras que la identidad lo hace.
Por lo tanto, por induccin, r 2 es par y as r es par.
Teorema 2.1.22
Sea Sn y supongamos que = 1 r = 1 s , para 1 , . . . , r ,
1 , . . . , s transposiciones. Entonces r s( m
od 2). Dicho de otro modo (1)r =
(1)s .
Demostracin:
Ya que 1X = 1 = 1 r (1 s )1 = 1 r s1 11 =
1 r s 1 , tenemos que r + s es par. Por tanto r y s tienen la misma
paridad y as (1)r = (1)s .

48

Introduccin a la teora de grupos.


El teorema 2.1.22 garantiza la consistencia de la siguiente definicin.
Definicin 2.1.23
El nmero sign( ) = (1)r definido en la demostracin del Teorema 2.1.22 se llama signo de la permutacin . Vemos que el signo de vale 1 si se descompone
como producto de un nmero par de transposiciones y -1 si se escribe como un
nmero impar de transposiciones. Las permutaciones de signo 1 se llaman pares,
y las de signo -1, impares.
Corolario 2.1.24
Si , Sn , entonces sign( ) = sign( ) sign().
Demostracin:
Supongamos que = 1 r y = 1 s , donde i y j son transposiciones. Ya que = 1 r 1 s , tenemos que sign( ) = (1)r +s =
(1)r (1)s = sign( ) sign().
Proposicin 2.1.25
Sea An el conjunto de todas las permutaciones de n smbolos de signo par. Entonces An , dotado de la operacin composicin es un grupo que contiene n!/2
elementos.
Demostracin:
Sean y dos permutaciones pares. Entonces = 1 r donde i es una
transposicin y r es par y = 1 s donde j es una transposicin y s es
par. As = 1 r 1 s es una descomposicin en un nmero par de
transposiciones, y tenemos que la composicin proporciona una operacin binaria
asociativa en An . Adems, la permutacin identidad es par. Para concluir que An
es un grupo slo nos queda comprobar que el inverso de una permutacin par
es asimismo par. Dada = r 1 una permutacin par, donde 1 , . . . , r son
transposiciones y r es par, tenemos que
1 = 11 r1 = 1 r ,

ya que la inversa de una transposicin es ella misma. Por tanto, 1 An .


Para contar los elementos de An , observamos primero que Sn se descompone como
unin disjunta de An y Sn , donde Sn denota el conjunto de las permutaciones
impares de n smbolos. El lector puede fcilmente razonar que la aplicacin f :
definida por f ( ) = (1 2) est bien definida y es biyectiva. De aqu,
An Sn
el nmero de elementos de An es igual al de Sn . Esto, junto con el hecho de que
Sn tiene n! elementos, completa la justificacin de que el cardinal de An es n!/2.
Definicin 2.1.26
El grupo An se llama grupo alternado de n smbolos.

2.1 Grupos. Ejemplos de grupos.


2.1.3

49

Grupos didricos.

La Geometra proporciona ejemplos interesantes de grupos. Comencemos por uno


de los casos ms sencillos.

Ejemplo 2.1.8
Supongamos un tringulo equiltero y consideremos el conjunto D3 de aquellas
isometras que llevan el tringulo sobre s mismo (isometras del tringulo, en lo
que sigue).
3

Sabemos por Geometra que las isometras del plano que dejan fijo el origen de
coordenadas (centremos nuestro tringulo ah son o bien giros o bien simetras
axiales. Con esta informacin, es fcil ver que el conjunto D3 contiene tres giros, a
saber, la identidad id, el giro r1 de 120 (2 /3 radianes) y el giro r2 de 240 (4 /3
radianes), y tres simetras axiales, s1 , s2 , s3 , que tienen como ejes de simetra
respectivos las tres rectas l1 , l2 , l3 que contienen las alturas del tringulo. Dado
que la composicin de dos isometras del tringulo vuelve a ser una isometra del
tringulo, y que las inversos bajo composicin de stas son del mismo tipo, se
sigue que D3 con la composicin es un grupo de seis elementos. Una observacin
til a la hora de manejar el grupo D3 es que una isometra del tringulo est
completamente determinada por su accin sobre los vrtices. Esto lleva a concluir
que D3 y S3 son esencialmente el mismo grupo (Tcnicamente, como veremos ms
tarde, ambos grupos son isomorfos).

Ejemplo 2.1.9
Si consideramos el grupo D4 de isometras de un cuadrado, vemos que ste contiene cuatro giros y cuatro simetras, en total, ocho elementos.
En este caso ocurre tambin que cada isometra del cuadrado viene determinada
por una permutacin de 4 smbolos, correspondiendo cada smbolo a un vrtice.
Pero, a diferencia del caso del tringulo,
representa una iso no toda permutacin

metra (por ejemplo, la permutacin 12 21 33 44 no representa aqu isometra
alguna, si numeramos los vrtices consecutivamente). En trminos de permutaciones, tenemos

50

Introduccin a la teora de grupos.


4

4


3


3


3


3


3


3


1
1

1
2

1
3

1
4

1
2

1
4

1
3

2
2

2
3

2
4

2
1

2
1

2
3

2
2

3
3

3
4

3
1

3
2

3
4

3
2

3
1


4
4

corresponde al giro de 0 en el sentido de las agujas del reloj.


4
1

corresponde al giro de 90 en el
sentido de las agujas del reloj.


4
2

corresponde al giro de 180 en el


sentido de las agujas del reloj.


4
3

corresponde al giro de 270 en el


sentido de las agujas del reloj.


4
3

corresponde a la simetra con respecto al eje Y.


4
1

corresponde a la simetra con respecto al eje X.


4
4

corresponde a la simetra respecto


a la diagonal P2 P4 .

2.1 Grupos. Ejemplos de grupos.


4

3


1
1

2
4

3
3

51


4
2

corresponde a la simetra respecto


a la diagonal P1 P3 .

Si denotamos la rotacin de 90 grados por r , entonces las rotaciones de 180 y 270


grados son r 2 y r 3 y entonces r 4 = 1. Denotemos la simetra con respecto al eje
y por s . Entonces s 2 = 1, r s es una simetra con respecto a la diagonal principal,
r 2 s es una simetra con respecto al eje x y r 3 s es una simetra con respecto a la
diagonal no principal.
Por tanto, todas las isometras del cuadrado pueden escribirse en funcin de r y
s . Esto significa que r y s son generadores de D4 .
Notemos que sr es la simetra con respecto a la diagonal no principal, por tanto
es diferente de r s la simetra con respecto a la diagonal principal. Por tanto,
D4 no es abeliano. Notemos tambin que sr = r 3 s . Las tres ecuaciones r 4 = 1,
s 2 = 1, y sr = r 3 s sobre los dos generadores r y s son suficientes para determinar
la tabla de D4 . Esto significa que el grupo D4 est dado por la presentacin
D4 = hr , s ; r 4 = 1, s 2 = 1, sr = r 3 si

Esta presentacin permite escribir de manera rpida la tabla sin tener que calcular
giros y simetras.
D4

r2

r3

rs

r 2s

r 3s

r2

r3

rs

r 2s

r 3s

r2

r3

rs

r 2s

r 3s

r2

r2

r3

r 2s

r 3s

rs

r3

r3

r2

r 3s

rs

r 2s

r 3s

r 2s

rs

r3

r2

rs

rs

r 3s

r 2s

r3

r2

r 2s

r 2s

rs

r 3s

r2

r3

r 3s

r 3s

r 2s

rs

r3

r2

Ejemplo 2.1.10
Ms en general, podemos considerar el grupo Dn de las isometras de un polgono
regular de n lados, grupo que contiene n giros y n simetras axiales y que se
puede ver tambin como un grupo de permutaciones de n smbolos (los vrtices
del polgono) ms pequeo que el grupo simtrico Sn . El grupo Dn se llama grupo

52

Introduccin a la teora de grupos.


didrico de orden n, aunque tiene 2n elementos. Sabemos que este grupo consta
de n rotaciones (las correspondientes a los ngulos 2k /n, con k = 1, . . . , n) y n
simetras axiales (con respecto de los ejes de simetra del polgono). Si denotamos
por r al giro o rotacin de ngulo 2 /n, es claro que el resto de las rotaciones
se obtienen como r 2 ,r 3 ,. . . ,r n = 1. Denotemos ahora por s una de las simetras
axiales o reflexiones. El producto de una simetra y una rotacin es siempre una
simetra, por tanto, s ,r s ,r 2 s ,. . . ,r n1 s son simetras. Adems, estas simetras
son todas distintas, ya que si r i s = r j s para i, j {1, . . . , n}, entonces, por la
propiedad cancelativa, r i = r j y, por tanto, i = j . Tenemos entonces que
Dn = {1, r , r 2 , . . . , r n1 , s, r s, . . . , r n1 s},

ya que hemos agotado las 2n isometras que sabemos constituyen Dn . Ahora


surge la siguiente cuestin: si realizamos el producto sr , ste ha de ser una de
las simetras de Dn , que hemos representado en la forma r i s , para algn i =
0, . . . , n 1. Como sr es una simetra, tenemos que (sr )2 = 1, es decir, sr sr = 1,
de donde r 1 = sr s y sr = r 1 s , o, tambin, sr = r n1 s . La observacin crucial
ahora es que, con las relaciones sr = r n1 s , r n = 1 y s 2 = 1, podemos expresar
cualquier producto de elementos de la forma r i s j , con j = 0, 1, i = 0, . . . , n 1,
como un elemento de esta misma forma. Por tanto
Dn = hr , s ; r n = 1, s 2 = 1, sr = r 1 si.

Eso es todo lo que necesitamos saber de Dn para construir su tabla de multiplicar


para cada n dado.

2.2
2.2.1

D3

r2

rs

r 2s

r2

rs

r 2s

r2

rs

r 2s

r2

r2

r 2s

rs

r 2s

rs

r2

rs

rs

r 2s

r2

r 2s

r 2s

rs

r2

Subgrupos. rdenes e ndices.


Subgrupos, el retculo de subgrupos.
Definicin 2.2.1
Sea H un subconjunto no vaco de un grupo G. Diremos que H es un subgrupo
de G si se verifican las siguientes propiedades:
S1) si a, b H , entonces ab H ,

2.2 Subgrupos. rdenes e ndices.


S2) si a H , entonces a1 H .
Es claro, a partir de la definicin, que todo subgrupo H de un grupo G, es un
grupo para la operacin binaria restriccin de la de G. Adems, todo grupo G
tiene al menos dos subrupos, G y {e}.
Definicin 2.2.2
Un subgrupo H de G se dice propio si H G y no trivial si H {e}.
Proposicin 2.2.3
Un subconjunto no vaco H de un grupo G es un subgrupo de G si y solo si verifica
la condicin
S3) Si a, b H , entonces ab1 H .
Demostracin:
Supongamos que H es un subgrupo de G y que a, b H . Entonces por S2)
b1 H y por S1) ab1 H . Recprocamente supongamos que H verifica S3)
y que a, b H . Entonces e = aa1 H y b1 = eb1 H , de donde ab =
a(b1 )1 H .
Proposicin 2.2.4
Sea H un subconjunto finito no vaco de un grupo G. Si H es cerrado para el
producto de G, entonces H es un subgrupo de G.
Demostracin:
Hemos de comprobar que se verifica S2).
Sea a H , entonces {a, a2 , . . .} H . Ya que H es finito, existe n tal que an = e,
por tanto a1 = an1 H .
Ejemplo 2.2.1
Cn y S1 son subgrupos de C , Cm es un subgrupo de Cn para m divisor de n y
el grupo de Klein es subgrupo de D4 y S4 .

Lema 2.2.5
Sean H y K subgrupos de un grupo G. Entonces H K es tambin un subgrupo
de G.
Demostracin:
S1) Si
donde
S2) Si
donde

a, b H K , entonces ab H y ab K , ya que H y K son subgrupos, de


ab H K .
a H K , entonces a1 H , y a1 K , ya que H y K son subgrupos, de
a1 H K .

53

54

Introduccin a la teora de grupos.


Ms generalmente, la interseccin de cualquier familia de subgrupos de un grupo
dado es un subgrupo del grupo.
Definicin 2.2.6
Se llama retculo de los subgrupos de un grupo G al conjunto de todos los subgrupos de G, junto con sus relaciones de inclusin.
Ejemplo 2.2.2
G

C3

C200 C20 C2

{1}

Definicin 2.2.7
Dado cualquier subconjunto X de un grupo G definimos el subgrupo generado
por X , denotado por hXi como el menor subgrupo de G que contiene a X .

Comencemos describiendo los elementos del subgrupo hXi generado por un subconjunto X de un grupo G.
Proposicin 2.2.8
Sea X = {x1 , . . . , xn } un subconjunto finito de un grupo G. Entonces
e

hXi = {x11 xnn ; e1 , . . . , en Z}.

Demostracin:
Denotemos K = {x1e1 xnen ; e1 , . . . , en Z}. Hemos de probar que K es un subgrupo y que contiene a todo subgrupo H conteniendo a X .
Veamos en primer lugar que K es un subgrupo.
f
f
S1) Si x1e1 xnen K e y1 1 ymm K , entonces claramente
f
e
e
(x11 xnn )(y1 1 ym fm K .
en
e1
S2) x1 xn K , entonces (x1e1 xnen )1 = xnen x1e1 K .

2.2 Subgrupos. rdenes e ndices.

55

Sea ahora H un subgrupo conteniendo X .


Para todo 1 i n, ya que xi X , tenemos que xi H y por tanto x1e1 xnen
H , y as K H .
Definicin 2.2.9
Si X = {x1 , . . . , xr } entonces el subgrupo generado por X se denota por
hx1 , . . . , xr i. Si G = hx1 , . . . , xr i, entonces G se dice finitamente generado y los
elementos x1 , . . . , xr se llaman generadores de G. Obviamente, todo grupo finito es finitamente generado. Como caso particular, diremos que G es cclico si
G = hxi, para algn x G.
Ejemplo 2.2.3
El grupo Cn de las races n-simas de la unidad es cclico. En efecto,
Cn = {k = e

2k i
n

; k = 0, 1, . . . , n 1},

con lo que k = (1 )k para k = 0, 1, . . . , n 1 y, por tanto, Cn = h1 i.


Ejemplo 2.2.4
El conjunto de las transposiciones genera Sn . De hecho, podemos tomar slo
algunas de las transposiciones y obtener que
Sn = h(1 2), (1 3), . . . , (1 n)i

En efecto, como toda permutacin se descompone como producto de transposiciones, tenemos que el conjunto de las transposiciones genera Sn . Para ver que
las transposiciones especiales escritas ms arriba generan Sn , nos bastar con demostrar que toda otra trasposicin se expresa como producto de stas. Eso es as
porque dada (i j), tenemos que (i j) = (1 i)(1 j)(1 i).
Ejemplo 2.2.5
El grupo alternado An est generado por los 3-ciclos. Esto es porque cada permutacin de An se escribe como un producto de un nmero par de transposiciones. Entonces,si conseguimos escribir cada producto de dos transposiciones como un producto de 3-ciclos, habremos terminado el razonamiento. Pero
(x y)(z t) = (x y z)(y z t), para productos de transposiciones disjuntas, y
(x y)(y z) = (x y z), para productos de transposiciones no disjuntas (y no
iguales,claro).
Ejemplo 2.2.6
Sabemos que Dn = hr , si.

2.2.2

Clases laterales.Teorema de Lagrange.

56

Introduccin a la teora de grupos.


Definicin 2.2.10
Sea H un subgrupo de un grupo G. Para cada a G, definimos la clase lateral a
izquierda de a respecto de H como el conjunto
aH = {ah; h H}.

Anlogamente, definimos la clase lateral a derecha de a respecto de H como el


conjunto
Ha = {ha; h H}.
Proposicin 2.2.11
Dado un subgrupo H de un grupo G, la relacin aH b definida por a1 b H
es una relacin de equivalencia, esto es, verifica
1) aH a, para todo a G,
2) si aH b, entonces bH a,
3) si aH b y bH c , entonces aH c .
Demostracin:
1) Para todo a G, e = a1 a H , de donde aH a.
2) Si aH b, entonces a1 b H , de donde b1 a = (a1 b)1 H y as bH a.
3) Si aH b y bH c entonces a1 b H y b1 c H , de donde a1 c =
(a1 b)(b1 c) H y as aH c .
Tenemos por tanto que [a] = {b; aH b} = {b; a1 b H} = {ah; h H} = aH
y aH = bH si y solo si aH b, esto es, si y solo si a1 b H .
Definicin 2.2.12
En esta terminologa, el conjunto G/H cuyos elementos son las clases laterales
por la izquierda de G con respecto de H se suele llamar conjunto cociente de G
con respecto de H .
Proposicin 2.2.13
Sea H un subgrupo de un grupo G. Las clases laterales a izquierda mdulo H
forman una particin de G, esto es,
i) dados a, b G, ocurre que o bien aH = bH , o bien aH bH = .
ii) G = ]aG aH .
Demostracin:
Supongamos que aH bH . Entonces existen h, k H tales que ah = bk.
Por tanto, a = bkh1 y, de aqu, es fcil deducir que aH bH . Anlogamente
se comprueba que bH aH y, por tanto, aH = bH . Por otra parte, dado a G,
tenemos que a = ae aH , ya que e H . As G es unin (no disjunta todava) de
los subconjuntos de la forma aH , con a G. Pero en esta unin, hemos visto que
cada dos subconjuntos o bien son iguales, o son disjuntos. Eliminando las copias

2.2 Subgrupos. rdenes e ndices.


redundantes de cada aH , obtenemos la segunda afirmacin.
Cuando G es finito, podemos afirmar que existen a1 , . . . , ar G tales que
G = a1 H ] ] ar H.

Proposicin 2.2.14
Sea H un subgrupo de un grupo G. Para todo a G, la aplicacin H aH
definida por h , ah es una biyeccin y por tanto |H| = |aH| para todo a G.
Demostracin:
Claramente es aplicacin, ya que si h = h0 , entonces ah = ah0 .
Veamos que es inyectiva. Si ah = ah0 , entonces por la propiedad cancelativa de
grupos, tenemos que h = h0 .
Veamos que es suprayectiva. Dado ah aH , tenemos h H verificando que su
imagen es ah.
Proposicin 2.2.15
Sea H un subgrupo de un grupo G. La aplicacin : G/H G/ H definida
por aH , Ha1 es una biyeccin.
Demostracin:
Es aplicacin ya que si aH = bH , entonces a1 b H , de donde a1 (b1 )1 H ,
y as Ha1 = Hb1 .
Es inyectiva, ya que si Ha1 = Hb1 , entonces a1 (b1 )1 H , de donde a1 b
H y as aH = bH .
Es suprayectiva, ya que si Ha G/ H , tenemos que a1 H G/H tiene como
imagen Ha = H(a1 )1 .
Definicin 2.2.16
Se llama ndice de H en G y se denota por [G : H] al cardinal del conjunto G/H .
Teorema 2.2.17: de Lagrange
Sea H un subgrupo de un grupo finito G. Entonces el cardinal de H es un divisor
del cardinal de G. En particular |G| = [G : H]|H|.
Demostracin:
Si llamamos s al cardinal de G/H , tenemos que G = a1 H ] ] as H , donde {a1 , . . . , as } es un conjunto de representantes de las clases laterales por la
izquierda de G con respecto de H . Calculando cardinales obtenemos
|G| = |a1 H| + + |as H| = s|H|

con lo que |H| es un divisor de |G|.

57

58

Introduccin a la teora de grupos.


Ejemplo 2.2.7
En S3 = {(1), (1 2), (1 3), (2 3), (1 2 3), (1 3 2)}, tomemos H = {(1), (1 2)}.
Describir las clases por la izquierda. La tabla de S3 es
S3

(1)

(1 2)

(1 3 )

(2 3 )

(1 2 3 )

(1 3 2 )

(1)

(1)

(1 2)

(1 3 )

(2 3 )

(1 2 3 )

(1 3 2 )

(1 2 )

(1 2 )

(1)

(1 3 2 )

(1 2 3)

(2 3 )

(1 3 )

(1 3)

(1 3 )

(1 2 3 )

(1)

(1 3 2)

(1 2 )

(2 3 )

(2 3 )

(2 3 )

(1 3 2 )

(1 2 3 )

(1)

(1 3)

(1 2 )

(1 2 3 )

(1 2 3 )

(1 3)

(2 3 )

(1 2 )

(1 3 2 )

(1)

(1 3 2 )

(1 3 2 )

(2 3)

(1 2 )

(1 3 )

(1)

(1 2 3 )

Entonces
(1)H

{(1)(1), (1)(12)} = {(1), (12)}

(12)H

{(12)(1), (12)(12)} = {(12), (1)}

(1 3)H

{(1 3)(1), (1 3)(12)} = {(1 3), (1 2 3)}

(2 3)H

{(2 3)(1), (2 3)(12)} = {(2 3), (1 3 2)}

(1 2 3)H

{(1 2 3)(1), (1 2 3)(12)} = {(1 2 3), (1 3)}

(1 3 2)H

{(1 3 2)(1), (1 3 2)(12)} = {(1 3 2), (2 3)}

Ejemplo 2.2.8
Calcular las clases laterales por la derecha de S3 con respecto de H . Tenemos que
H(1)

{(1)(1), (12)(1)} = {(1), (12)}

H(12)

{(1)(12), (12)(12)} = {(12), (1)}

H(13)

{(1)(1 3), (12)(1 3)} = {(1 3), (12)}

H(2 3)

{(1)(2 3), (12)(2 3)} = {(2 3), (1 2 3)}

H(1 2 3)

{(1)(1 2 3), (12)(1 2 3)} = {(1 2 3), (2 3)}

H(1 3 2)

{(1)(1 3 2), (12)(1 3 2)} = {(1 3 2), (1 3)}

Podemos ver que H(1) = H(1), H(1 2) = (1 2)H , pero que H(1 3) (1 3)H , por
ejemplo.

Ejemplo 2.2.9
Para ver que, a veces, las clases laterales por la izquierda y por la derecha coinciden, poner en S3 el ejemplo del subgrupo N = {(1), (1 2 3), (1 3 2)}. Las clases

2.2 Subgrupos. rdenes e ndices.

59

laterales a izquierda son


(1)N

{(1), (1 2 3), (1 3 2)}

(12)N

{(12), (2 3), (1 3)}

(1 3)N

{(1 3), (12), (2 3)}

(2 3)N

{(2 3), (1 3), (12)}

(1 2 3)N

{(1 2 3), (1 3 2), (1)}

(1 3 2)N

{(1 3 2), (1), (1 2 3)}

donde (12)N = (1 3)N = (2 3)N y (1)N = (1 2 3)N = (1 3 2)N . Luego solo hay
dos clases laterales a izquierda.
N(1)

{(1), (1 2 3), (1 3 2)}

N(12)

{(12), (1 3), (2 3)}

N(1 3)

{(1 3), (2 3), (12)}

N(2 3)

{(2 3), (12), (1 3)}

N(1 2 3)

{(1 2 3), (1 3 2), (1)}

N(1 3 2)

{(1 3 2), (1), (1 2 3)}

donde N(12) = N(1 3) = N(2 3) y N(1) = N(1 2 3) = N(1 3 2) Luego solo hay dos
clases laterales a derecha. Adems (1)N = N(1), (12)N = N(12), (1 3)N = N(1 3),
(2 3)N = N(2 3), (1 2 3)N = N(1 2 3), (1 3 2)N = N(1 3 2).

2.2.3

Grupos cclicos.
Definicin 2.2.18
Un grupo G se dice cclico si G = hai, para algn a G.

Ejemplo 2.2.10
El grupo Cn de las races n-simas de la unidad es cclico. En efecto,
Cn = {k = e

2k i
n

; k = 0, 1, . . . , n 1},

con lo que k = (1 )k para k = 0, 1, . . . , n 1 y, por tanto, Cn = h1 i.


Proposicin 2.2.19
Todo grupo cclico G = hai es abeliano.

Demostracin:
Sean ai , aj G dos elementos arbitrarios de G, entonces ai aj = ai+j = aj+i =
aj ai .

60

Introduccin a la teora de grupos.


Definicin 2.2.20
Sea a un elemento del grupo G. Si existe un entero positivo r such that ar = e,
entonces se dice que a tiene orden finito, y el menor de tales enteros positivos es
llamado el orden de a, denotado por |a|.
Si no existe un entero positivo r tal que ar = e, entonces se dice que a tiene
orden infinito.
Lema 2.2.21
Sea a G un elemento de orden finito r . Entonces
(a) hai = {e, a, . . . , ar 1 }.
(b) r = |hai|.
Demostracin:
Los elementos 1, a, a2 , ..., ar 1 son distintos, ya que si ai = aj , para i < j < r ,
entonces aji = a0 = e, en contradiccin con |a| = r . As |hai| r . Sea ahora
at hai, entonces por la divisin eucldea t = qr + s con 0 s < r . Por tanto
at = (ar )q as = as y at {1, a, a2 , ..., ar 1 }, esto es hai = {e, a, . . . , ar 1 } y
r = |hai|.
Ejemplo 2.2.11
Zn es un grupo cclico de orden n. Como generador podemos tomar [1]. En efecto,
Zn = {[0], [1], [2], . . . , [n 1]} y
h[1]i = {m[1]; m Z} = {[m]; m Z} = Zn .

Ms adelante veremos que todos los grupos cclicos de orden n son isomorfos a
Zn .
Lema 2.2.22
Sea a G un elemento de orden infinito. Entonces
(a) hai = {an ; n Z}, donde todas las potencias de a son distintas.
(b) hai es un grupo infinito.
Demostracin:
Ya que |a| es infinito, tenemos que am e para todo m Z. Adems si ai = aj
entonces aij = e, luego i j = 0, esto es, i = j . Por tanto todas las potencias
son distintas y hai es un grupo infinito.
Ejemplo 2.2.12
Z es un grupo cclico infinito generado por 1. En efecto
Z = {m; m Z} = {m1; m Z} = h1i.

Ms adelante veremos que todos los grupos cclicos infinitos son isomorfos a Z.

2.2 Subgrupos. rdenes e ndices.

61

Lema 2.2.23
Sea G un grupo finito y a G de orden r . Entonces an = e si, y solo si, r |n.
Demostracin:
Supongamos que n = r q +s con 0 s < r . Ya que e = an = aqr +s = (ar )q as = as
tenemos una contradiccin, salvo que s = 0. En este caso n = qr , esto es r |n.
Recprocamente, si r |n, entonces n = r q, de donde an = ar q = (ar )q = e.

La importancia del Teorema de Lagrange puede comenzar a apreciarse en los


siguientes corolarios.
Corolario 2.2.24
Sea G un grupo y a G un elemento de orden finito r . Entonces r divide al
orden de G.
Corolario 2.2.25
Sea G un grupo finito cuyo orden es un nmero primo p . Entonces G es un grupo
cclico de orden p que est generado por cualquiera de sus elementos distintos
del neutro.
Demostracin:
Como el orden de G es un nmero primo p , tenemos que G tiene, al menos, dos
elementos. Tomemos a G con a e. El cardinal de hai ha de ser un divisor de
p , que es primo, por lo que |hai| = p . Por tanto, hai = G.

Veamos ahora el nmero de generadores de un grupo cclico.


Proposicin 2.2.26
Sea G = hai un grupo cclico de orden finito r . ak G es un generador de G si y
solo si gcd(k, r ) = 1.
Demostracin:
Supongamos que |ak | = m. Si d = gcd(k, r ) 1, entonces
r

(ak ) d = (ar ) r = e.

Por tanto m dr < r . lo que es una contradiccin.


Recprocamente, ya que e = (ak )m = akm , por el lema anterior, r |km|. Como
gcd(k, r ) = 1), tenemos que r |m. Por otro lado, (ak )r = (ar )k = e y por tanto
m|r .

62

Introduccin a la teora de grupos.


Corolario 2.2.27
Todo grupo cclico G = hai de orden finito r tiene exactamente (r ) generadores,
donde (r ) es la funcin de Euler en r .
Demostracin:
De entre los elementos de G = hai sern generadores aquellos de la forma ak ,
k < r y gcd(k, r ) = 1. El conjunto {k; k < r y gcd(k, r ) = 1} es justamente Z
r,
que tiene (r ) elementos.
Concentremos nuestro inters en los subgrupos de un grupo cclico.
Proposicin 2.2.28
Todo subgrupo de un grupo cclico G = hai de orden finito r es cclico de orden
un divisor de r .
Demostracin:
Sea G = hai un grupo cclico de orden finito r . Si H = G = hai o H = {e} = hei
entonces es cclico. Por tanto supongamos que {e} H G. Sea am H tal que
ak H para todo k < m y sea as un elemento arbitrario de H . Por el algoritmo
de la divisin de Euclides, s = qm + t con 0 t < m. Entonces (am )1 H y
por tanto as (am )q = asmq = at H en contra de la definicin de m, a menos
que t = 0. As cada elemento de H es de la forma (am )q para algn q Z y H es
cclico generado por am . Finalmente por el Teorema de Lagrange su orden es un
divisor de r .
Teorema 2.2.29
Sea G = hai un grupo cclico de orden finito r . Para cada divisor d de r existe
r
un nico subgrupo de orden d, a saber, ha d i.
Demostracin:
r

Consideremos ha d i. Veamos que tiene orden d. Claramente, (a d )d = ar = e.


r
r
Adems, si k < d, entonces k dr < d dr = r , por lo que (a d )k = ak d e.
r
Es claro que a d tiene d potencias distintas, ya que si 0 k < d, k dr < r . Por
r
tanto ha d i es un subgrupo cclico de orden d.
Supongamos que existiese otro subgrupo cclico H de orden d generado por as .
r
Entonces (as )d = e, por lo que r |sd. As s = k( dr ) para algn k, y as = (a d )k .
r
Por tanto H es un subgrupo de ha d i y como tienen igual nmero de elementos
han de ser iguales.
Proposicin 2.2.30
Sea G = hai un grupo cclico con |G| = n. Si m y k son divisores de n, entonces
ham i hak i si y slo si k|m.

2.3 Subgrupos normales. Teoremas de isomorfa


Demostracin:
Si ham i hak i, entonces por el Teorema de Lagrange tenemos que |am |||ak |.
Ahora bien, ya que gcd(m, n) = m y gcd(k, n) = k, por el apartado (a) tenemos
n n
que m
| k , luego k|m.
Recprocamente, si k|m, entonces am hak i, de donde ham i hak i.

2.3
2.3.1

Subgrupos normales. Teoremas de isomorfa


Subgrupos normales y grupos cocientes.
Definicin 2.3.1
Un subgrupo H de un grupo G se dice que es un subgrupo normal de G si aH = Ha
para todo elemento a de G.
La notacin H G significa que H es un subgrupo normal de G.
Ejemplo 2.3.1
Todo grupo G tiene al menos dos subgrupos normales, G y {e}.
Definicin 2.3.2
Un grupo no trivial G se llama simple, si sus nicos subgrupos normales son {e}
y G.
Ejemplo 2.3.2
En el ejemplo 5.17 hemos visto el subgrupo N = {(1), (1 2 3), (1 3 2)} de S3 es
normal.
Proposicin 2.3.3
Sea H un subgrupo de un grupo G. Los siguientes enunciados son equivalentes
a) H es un subgrupo normal de G
b) aHa1 H para todo a G, donde aHa1 = {aha1 ; h H}
c) aha1 H para todo a G y h H .
Demostracin:
a) b) Sea aha1 aHa1 . Ya que ah aH = Ha, existe h0 H , tal que
ah = h0 a, de donde aha1 = h0 aa1 = h0 H .
b) c) Evidente.
c) a) Veamos que aH Ha.
Sea ah aH . Entonces aha1 aHa1 , de donde aha1 H , y as existe
h0 H , tal que aha1 = h0 . Pero entonces ah = h0 a Ha.
La otra inclusin se demuestra por simetra.

63

64

Introduccin a la teora de grupos.


Lema 2.3.4
Todo subgrupo de un grupo abeliano es normal.
Demostracin:
Sea H un subgrupo de un grupo abeliano G. Entonces aha1 = (ah)a1 =
(ha)a1 = h(aa1 ) = he = h H para todo a G y h H .

Si el grupo no es abeliano existen subgrupos que no son normales.


Ejemplo 2.3.3
Sea S3 el grupo de las pemutaciones del conjunto {1, 2, 3} y sea H el subgrupo
de S3 formado por la permutacin identidad y la trasposicin (12). Entonces H
no es normal en S3 , ya que (23)(12)(23)1 = (23)(12)(23) = (13) H o ver el
ejemplo 5.16.

Por definicin de subgrupo normal, tenemos que, si H es un subgrupo normal


de un grupo G, las clases laterales a izquierda y a derecha de H en G coinciden.
Podemos, por tanto, referirnos a ellas como las clases laterales de H en G. En tal
caso, usamos la notacin G/H para referirnos al conjunto de clases laterales por
la izquierda G/H que, obviamente, coincide en este caso con G/ H .
Proposicin 2.3.5
Sea G un grupo y H un subgrupo normal de G. El conjunto G/H de todas las clases
laterales de H en G, es un grupo bajo la operacin binaria (aH) (bH) = abH .
El elemento neutro de la operacin es eH = H y el inverso de una clase aH es
a1 H .
Demostracin:
Veamos en primer lugar que * es una operacin binaria. Si aH = a0 H y bH = b0 H ,
hemos de probar que abH = a0 b0 H . Ya que aa01 H y bb01 H , entonces
(ab)(a0 b0 )1 = (ab)(b01 a01 ) = a(bb01 )a01 H .
G1) aH (bH cH) = a H(bcH) = a(bc)H = (ab)cH = (abH) cH =
(aH bH) cH
G2) (eH) (aH) = (ea)H = aH = (ae)H = (aH) (eH)
G3) (aH) (a1 H) = (aa1 )H = eH = (a1 a)H = (a1 H) (aH)

Definicin 2.3.6
Sea G un grupo y H un subgrupo normal de G. El grupo G/H anteriormente
definido recibe el nombre de grupo cociente de G con respecto H .

2.3 Subgrupos normales. Teoremas de isomorfa


Ejemplo 2.3.4
Volviendo al ejemplo 5.17 hemos visto que el subgrupo N = {(1), (1 2 3), (1 3 2)}
de S3 es normal.Adems
S3 /N = {(1)N, (12)N}.
Ejemplo 2.3.5
En el caso del grupo abeliano Z, sabemos que todos sus subgrupos son de la forma
nZ y que son normales. As
Z/nZ = {[0] = 0 + nZ, . . . , [n 1] = (n 1) + nZ}.

2.3.2

Homomorfismos.
Definicin 2.3.7
Dados dos grupos G y G0 , un homomorfismo de grupos de G a G0 es una aplicacin
: G - G0 tal que (ab) = (a)(b) para todo a, b G.
Ejemplo 2.3.6
1) El compuesto de dos homomorfismos de grupos es otro homomorfismo de
grupos.
2) Si H es un subgrupo de un grupo G, entonces la aplicacin inclusin H > G
que considera cada x H como elemento de G es un homomorfismo de grupos.
3) La aplicacin identidad 1G : G - G es un homomorfismo de grupos.
4) La aplicacin signo sign : Sn - C2 = {1, 1} es un homomorfismo de grupos.
5) La aplicacin determinante det : GLn (K) - K , para K un cuerpo, es un
homomorfismo de grupos.
6) Sea a un elemento de un grupo. La aplicacin Z - hai que asigna a cada
nmero entero n la potencia an es un homomorfismo de grupos.
7) La aplicacin exp : R - S 1 definida como exp() = ei es un homomorfismo
de grupos.

Pasamos directamente a exponer algunas propiedades de los homomorfismos de


grupos.
Proposicin 2.3.8
Sea : G - G0 un homomorfismo de grupos. Entonces
1) Si e G y e0 G0 son los respectivos elementos neutros, entonces (e) = e0 .
2) Para cualquier a G se tiene que (a1 ) = (a)1 .
3) Si H es un subgrupo de G, entonces (H) = {(h); h H} es un subgrupo de
G0 .
4) Si H 0 es un subgrupo de G0 , entonces 1 (H 0 ) = {a G; (a) H 0 } es un
subgrupo de G.

65

66

Introduccin a la teora de grupos.


Demostracin:
1. Como e0 (e) = (e) = (e2 ) = (e)(e), deducimos que e0 = (e).
2. Tenemos que e0 = (e) = (aa1 ) = (a)(a1 ), lo que implica que
(a)1 = (a1 ).
3. Si h, k H , entonces (h)(k)1 = (h)(k1 ) = (hk1 ) (H), ya que
hk1 H .
4. Supongamos a, b 1 (H 0 ). Entonces (ab1 ) = (a)(b)1 H 0 , ya que
(a), (b) H 0 . Por tanto, ab1 1 (H 0 ).
Hay dos casos especiales de los subgrupos descritos en los apartados tercero y
cuarto de la anterior proposicin. As, tomando H = G en el tercer apartado,
obtenemos que im() = {(a); a G} es un subgrupo de G0 , llamado imagen de
. Tomando en el cuarto apartado H 0 = {e0 }, obtenemos lo que se suele llamar
ncleo de , definido por ker() = {a G; (a) = e0 } y que es un subgrupo de
G.
Proposicin 2.3.9
Un homomorfismo de grupos : G - G0 es inyectivo si y slo si ker() = {e}.
Demostracin:
Si es inyectivo y a ker(), entonces (a) = e0 = (e), de donde a = e, lo
que implica que ker() = {e}.
Recprocamente, supongamos que ker() = {e}, y sea a, b G tales que (a) =
(b). Entonces (ab1 ) = (a)(b1 ) = (a)(b)1 = (a)(a)1 = e0 , por
lo que ab1 ker() = {e}. O sea, ab1 = e, de donde a = b y es inyectiva.
Proposicin 2.3.10
Sea : G - G0 un homomorfismo de grupos. Entonces, el ncleo de es un
subgrupo normal de G.
Demostracin:
Si k ker() y a G entonces (aka1 ) = (a)(k)(a1 ) =
(a)e0 (a)1 = e0 , luego aka1 ker(). Por tanto ker() es un subgrupo
normal de G.
Proposicin 2.3.11
Sea K un subgrupo normal de un grupo G y sea p : G - G/K la aplicacin
definida por p(a) = aK para a G. Entonces p es un homomorfismo de grupos.
Adems, K es el ncleo de p .
Demostracin:
En efecto, tenemos p(ab) = abK = (aK)(bK) = p(a)p(b). Adems ker(p) =
{a G; aK = eK} = {a G; a K} = K .

2.3 Subgrupos normales. Teoremas de isomorfa


Teorema 2.3.12: de la correspondencia
Sea : G - G0 un homomorfismo suprayectivo de grupos y sea K = ker().
Entonces existe una aplicacin biyectiva
: {subgrupos de G conteniendo K} {subgrupos de G0 }

que a un subgrupo H de G conteniendo K le hace corresponder (H).


Adems
1) H1 H2 si solo si (H1 ) (H2 )
2) H es normal en G si y solo si (H) es normal en G0 .
Demostracin:
Por la Proposicin 2.3.8 tenemos que, en general, si H es un subgrupo de G,
entonces (H) es un subgrupo de G0 .
Veamos que es una aplicacin. Si H1 = H2 , entonces es claro que (H1 ) =
(H2 ). La aplicacin es inyectiva, ya que si (H1 ) = (H2 ), entonces si a H1 ,
entonces (a) (H1 ) = (H2 ), de donde a H2 y por tanto H1 H2 . La otra
inclusin se demuestra de forma anloga.
Veamos que es suprayectiva.
Sea ahora H 0 un subgrupo de G0 . Consideremos H = 1 (H 0 ) = {a G; (a)
H 0 }. Por la Proposicin 2.3.8 tenemos que H es un subgrupo de G.
Adems, ya que si a K , entonces (a) = e0 H 0 , de donde a H , esto es,
K H.
Veamos ahora que H 0 = (H).
Si a0 H 0 , entonces a0 = (a), con a G y por tanto a H , de donde
a0 = (a) (H). Recprocamente, si (a) (H), entonces a H y por
tanto (a) H 0 .
1 ) Si (a) (H1 ), entonces a H1 H2 , de donde (a) (H2 ).
) Si a H1 , entonces (a) (H1 ) (H2 ), de donde a H2 .
2 ) Sean a0 G0 , (h) (H), entonces a0 = (a), con a G y h
H y ya que H es normal, tenemos que aha1 H , de donde a0 (h)a01 =
(a)(h)(a)1 = (aha1 ) (H).
) Sean a G, h G, entonces (a) G0 , (h) (H) y ya que (H) es
normal, tenemos que (a)(h)(a)1 = (aha1 ) (H), de donde aha1
H.
Corolario 2.3.13
Sea K un subgrupo normal de un grupo G. Todo subgrupo de G/K es de la forma
H/K = {aK ; a H}, para un subgrupo H de G con K H . Todo subgrupo normal
de G/K es de la forma H/K = {aK ; a H}, para un subgrupo normal H de G
con K H .
Demostracin:
Es consecuencia de la proposicin anterior aplicada al homomorfismo suprayectivo
p : G G/K dado por p(a) = aK .

67

68
2.3.3

Introduccin a la teora de grupos.

Teoremas de isomorfa.
Definicin 2.3.14
Un isomorfismo de grupos es simplemente un homomorfismo de grupos biyectivo.
Usualmente se dice que dos grupos son isomorfos si existe un isomorfismo de
grupos entre ellos.
Corolario 2.3.15
Si :G -G es un isomorfismo grupos, entonces existe una aplicacin biyectiva
: {subgrupos de G} {subgrupos de G0 }.

Nos disponemos ahora a demostrar los teoremas de isomorfa, de importancia


capital en este curso.
Proposicin 2.3.16
Sean G y G0 grupos, sea : G - G0 un homomorfismo de grupos y sea H un
subgrupo normal de G. Supongamos que H ker(). Entonces el homomorfismo
induce un homomorfismo suprayectivo de grupos : G/H - im() aplicando
gH en (g). Adems, si H = ker(), entonces es biyectiva.
Demostracin:
Sean a y b elementos de G. Supongamos que aH = bH , entonces a1 b H , de
donde a1 b ker() y por tanto (a) = (b). As induce una aplicacin
: G/H - G0 definida por (aH) = (a). Esta aplicacin es un homomorfismo
ya que ((aH)(bH)) = (abH) = (ab) = (a)(b) = (aH)(bH).
Supongamos ahora que H = K ker(). Entonces (aH) = (bH) si y solo si
(a) = (b) si y solo si a1 b ker() = H si y solo si aH = bH . As es
inyectiva.
Si a0 im(), entonces existe a G tal que a0 = (a). Pero (aH) = (a).
Luego existe aH G/H tal que (aH) = a0 y es suprayectiva.
Supongamos ahora que H = ker(). Entonces (aH) = (bH) si y solo si
(a) = (b) si y solo si a1 b ker() = H si y solo si aH = bH . As es
inyectiva.
Teorema 2.3.17: Primer Teorema de Isomorfa
Sea : G - G0 un homomorfismo de grupos. Entonces
G/ ker() im().

Vamos ahora a deducir algunas consecuencias del Primer Teorema de Isomorfa


para grupos, como son los llamados segundo y tercer teoremas de isomorfa. Antes,
demostremos un lema que ser muy til.

2.3 Subgrupos normales. Teoremas de isomorfa


Lema 2.3.18
Sean K y N subgrupos de un grupo G, y supongamos que N es normal en G.
Entonces
1) K N es un subgrupo normal de K ,
2) KN = {kn; k K, n N} es un subgrupo de G,
3) N es normal en KN ,
4) si adems K es normal en G, KN es un subgrupo normal de G.
Demostracin:
1) Claramente K N es un subgrupo de K . Adems, es normal, ya que si k K
y h K N , entonces khk1 K , ya que k, h K y K es un subgrupo de G.
2) Dados k1 n1 , k2 n2 KN , sea n01 N tal que n1 k2 = k2 n01 . Entonces
k1 n1 k2 n2 = k1 k2 n01 n2 KN , luego KN es cerrado bajo el producto del grupo. Por otra parte, dado kn KN , existe n0 N tal que n1 k1 = k1 n0 KN ,
lo que significa que KN es cerrado bajo inversos. Esto prueba que KN es un
subgrupo de G.
3) Sea kn KN y h N . Entonces knhn1 k1 = k(nhn1 )k1 N , por la
normalidad de N en G.
4) Por ltimo, si ambos subgrupos K y N son normales, dados g G, y kn KN ,
tenemos que gkng 1 = gkg 1 gng 1 KN , de donde KN resulta ser tambin
normal en G.
Teorema 2.3.19: Segundo Teorema de Isomorfa
Sean K y N subgrupos de un grupo G, y supongamos que N es normal en G.
Entonces
K/(K N) KN/N.

Demostracin:
La aplicacin : K - KN/N definida por (k) = kN , para cada k K
es una aplicacin suprayectiva y un homomorfismo, ya que (kk0 ) = kk0 N =
(kN)(k0 N) = (k)(k0 ).
Adems ker() = {k K ; kN = eN} = {k K ; k N} = K N . As por el Primer
Teorema de isomorfa tenemos
KN
K
K
= im()
=
.
N
ker() K N

Lema 2.3.20
Sea G un grupo y H y K subgrupos de G tales que H K . Si H es normal en G,
entonces H es normal en K .
Demostracin:
Sea k K y h H . Entonces hkh1 H , ya que K es normal en G, pero como
H K , tenemos que hkh1 K , luego K es normal en H .

69

70

Introduccin a la teora de grupos.


Teorema 2.3.21: Tercer Teorema de Isomorfa
Sean H y K subgrupos normales de un grupo G. Si H K , entonces
G
G/H
.
K/H
K

Demostracin:
Como H es un subgrupo del ncleo de la proyeccin cannica p : G - G/K ,
podemos aplicar la Propiedad Universal del ncleo (Prop 8.60) y obtener un
homomorfismo suprayectivo : G/H - G/K que aplica gH en gK para todo
g G. Ademas ker() = K/H . As por el Primer Teorema de isomorfa tenemos
G/K = im()

G/H
G/H
=
.
ker() K/H

Proposicin 2.3.22
Todo grupo cclico de orden n es isomorfo a Zn y todo grupo cclico infinito es
isomorfo a Z.
Demostracin:
Sea G = hai un grupo cclico infinito y : Z - G la aplicacin dada por
(r ) = ar . La aplicacin es un homomorfismo, ya que (r + s) = ar +s = ar as =
(r )(s). La aplicacin claramente es suprayectiva. Adems es inyectiva, ya que
si ar = as , entonces ar s = e y por tanto r s = 0, esto es, r = s .
Sea ahora G = hai un grupo cclico finito de orden n y : Zn - G la aplicacin
dada por (r ) = ar . Veamos que efectivamente es una aplicacin. Supongamos
que r = s , entonces n|r s , luego ar s = e, esto es, ar = as .
Claramente es suprayectiva. Veamos que es inyectiva. En efecto, si ar = as ,
entonces ar s = e, de donde n|r s , esto es, r = s .
Adems es un homomorfismo, ya que (r + s) = (r + s) = ar +s = ar as =
(r )(s).

2.3.4

Productos directos.
Proposicin 2.3.23
Sean Gi , i = 1, 2, . . . , n, grupos. El producto cartesiano G1 G2 Gn dotado
de la operacin
0
0
(g1 , g2 , . . . , gn )(g10 , g20 , . . . , gn
) = (g1 g10 , g2 g20 , . . . , gn gn
)

posee estructura de grupo, y recibe el nombre de producto directo de los grupos


Gi , i = 1, 2, . . . , n.

2.3 Subgrupos normales. Teoremas de isomorfa

71

Demostracin:
La operacin interna y la asociatividad son evidentes de la estructura de grupo de
cada Gi . El elemento neutro de G1 G2 Gn es (e1 , e2 , . . . , en ). El elemento
inverso de (g1 , g2 , . . . , gn ) es (g11 , g21 , . . . , gn1 ).

Proposicin 2.3.24
Sea G un grupo y sean H y K subgrupos normales de G. Si H K = {e} y HK = G,
entonces G H K .

Demostracin:
Definamos : H K G mediante (h, k) = hk.
La aplicacin es suprayectiva, ya que si g G existen h H , k K tales que
g = hk, de donde (h, k) = hk = g .
La aplicacin es inyectiva, ya que si hk = h0 k0 , entonces (h0 )1 h = k0 (k)1
H K = {e}, de donde h = h0 y k = k0 , esto es, (h, k) = (h0 , k0 ).
Para demostrar que es homomorfismo, probemos primero que hk = kh para todo
h H, k K.
La normalidad de H y K implica que khk1 h1 = (khk1 )h1 = k(hk1 h1 )
H K = {e} de donde khk1 h1 = e, esto es, kh = hk.
Entonces (hh0 , kk0 ) = hh0 kk0 = hkh0 k0 = (h, k)(h0 , k0 ).

Corolario 2.3.25
Un grupo G es isomorfo al producto directo de sus subgrupos Hi , i = 1, 2, . . . , n
si
1. Hj / G para cada j = 1, 2, . . . , n,
T Q
2. Hj ( ij Hi ) = {e} para cada j = 1, 2, . . . , n, y
Q
3. n
i=1 Hi = G.

Demostracin:
Por 3) para cada g G existen hj Hj , j = 1, 2, . . . , n tales que g = h1 h2 hn .
Esta descomposicin es nica, ya que, si h1 h2 hn = h01 h02 h0n , entonces
(h01 )1 h1 = (h02 h0n )(h2 hn )?1 . Ya que los Hi son normales tenemos que
(h01 )1 h1 = (h02 h0n )(h2 hn )?1 H1 (

Hi ).

i1

Ahora por 2) tenemos que h1 = h01 . Por tanto por induccin tenemos que
(h1 , h2 , . . . , hn ) = (h01 , h02 , , h0n ).
As, podemos definir la aplicacin : G H1 Hn mediante
(g) = (h1 , h2 , , hn ). Esta aplicacin es evidentemente biyectiva, y es
un homomorfismo, pues, si g = h1 h2 hn y g 0 = h01 h02 h0n , (gg 0 ) =
(h1 h01 , h2 h02 , , hn h0n ) = (h1 , h2 , , hn )(h0 1, h02 , , h0n ) = (g)(g 0 ).

72

Introduccin a la teora de grupos.


Proposicin 2.3.26
Sean m, n Z tales que gcd(m, n) = 1. Entonces,
Zm Zn Zmn .

Demostracin:
Sea x un generador de Zm , e y un generador de Zn . Entonces, los elementos
(x, 0), (0, y) Zm Zn tiene rdenes m, n, respectivamente.
Por tanto, por la proposicin 3.2.1, se tiene
|(x, y)| = lcm(|(x, 0)|, |(0, y)|) = lcm(m, n) = mn.

2.4
2.4.1

Acciones de grupo y p-grupos.


Accin de un grupo sobre un conjunto.
Definicin 2.4.1
Sea G un grupo, y X un conjunto no vaco. Una accin a izquierda de G sobre X
es una aplicacin
: G X X ; (g, x) , g x
que cumple las siguientes propiedades:
ACT1) a (b x) = (ab) x para todo a, b G y para todo x X .
ACT2) e x = x para todo x X .

Podemos definir de manera anloga lo que entendemos por una accin a derecha
de un grupo sobre un conjunto no vaco. Mientras no se diga lo contrario todas
las acciones consideradas sern a izquierda.
Ejemplo 2.4.1
Si V es un espacio vectorial sobre un cuerpo K , entonces el grupo aditivo de
K acta sobre V . En efecto, tenemos una aplicacin K V V definida por
a v = av , que verifica
ACT1) (ab)v = a(bv) (propiedad pseudoasociativa)
ACT2) 1v = v (propiedad del elemento 1)
Ejemplo 2.4.2
Una accin del grupo simtrico Sn sobre el conjunto X = {1, . . . , n} viene dada
por i = (i). En efecto
ACT1) ( ) i = (i) = ((i)) = ( i) = ( i)
ACT2) 1 i = 1(i) = i

2.4 Acciones de grupo y p-grupos.


Proposicin 2.4.2
Sean G un grupo y X un conjunto no vaco. Cada accin de G sobre X induce
un homomorfismo de grupos : G S(X), donde S(X) es el grupo de todas las
permutaciones de X , denominado su representacin permutacional.
Demostracin:
Sea a G, definimos a : X X por a (x) = a x . Para a, b G y x
X , usando ACT1) tenemos ab (x) = (ab) x = a (b x) = a (b x) =
a (b (x)) = (a b )(x) de donde ab = a b . Adems, usando ACT2) tenemos
e (x) = e x = x = 1X (x) de donde e = 1X .
As, a a1 = 1X = a1 a y a es biyectiva, esto es, una permutacin de X .
Entonces : G S(X) : (a) = a es un homomorfismo de grupos.
Teorema 2.4.3: de Cayley
Todo grupo finito de orden n es isomorfo a un subgrupo de Sn .
Demostracin:
Un grupo G acta sobre s mismo mediante el propio producto del grupo G G
G : a b = ab. La representacin por permutaciones vendr dada por : G
S(G), a , a , donde a : G G se define para cada a G como a (x) = ax para
todo x G. Es fcil ver que el ncleo de : G S(G) es trivial: si a ker(),
entonces a (e) = e, o sea, ae = e y, por tanto, a = e. As, G es isomorfo con su
imagen mediante , que sabemos es un subgrupo de S(G).
Proposicin 2.4.4
Sea G un grupo actuando sobre un conjunto no vaco X . La relacin definida
sobre X mediante x y si y solo si a x = y para algn a G, es una relacin
de equivalencia.
Demostracin:
1) Propiedad reflexiva. Para todo x X , e x = x , de donde x x .
2) Propiedad simtrica: Si x y , entonces a x = y para algn a G, de donde
a1 y = a1 (a x) = (a1 a) x = e x = x y as y x .
3) Propiedad transitiva: Si x y e y z, entonces a x = y e b y = z para
algn a, b G, de donde z = b y = b (a x) = (ba) x y as x z.
Definicin 2.4.5
La clase de equivalencia de un elemento x X bajo la relacin de la proposicin
anterior recibe el nombre de rbita de x .
OG (x) = {y X ; y x} = {a x ; a G}

73

74

Introduccin a la teora de grupos.


Definicin 2.4.6
Sea G un grupo actuando sobre un conjunto no vaco X y x X . Llamamos
estabilizador de x en G al conjunto
StabG (x) = {a G; a x = x}.

Definicin 2.4.7
FixG (X) = {x X ; a x = x para todo x X}
es llamado el subconjunto de X fijo por G.

Proposicin 2.4.8
Sea G un grupo actuando sobre un conjunto no vaco X , entonces para cada x X
se tiene que StabG (x) es un subgrupo de G. Adems |OG (x)| = [G : StabG (x)].

Demostracin:
Comprobemos primero que StabG (x ) es un subgrupo de G. Para ello, tomados
a, b StabG (x), tenemos que a x = b x = x , luego x = e x = (b1 b) x =
b1 (b x) = b1 x . Por tanto, (ab1 ) x = a (b1 x) = a x = x . As
que ab1 StabG (x).
Consideremos la aplicacin f : G/ StabG (x) OG (x) definida por
f (a StabG (x)) = a x . Es aplicacin, ya que si a StabG (x) = b StabG (x), entonces b1 a StabG (x) y, as, (b1 a) x = x , de donde se obtiene con facilidad
que a x = b x . Claramente es suprayectiva.
Por ltimo, slo hemos de ver que f es inyectiva: si f (a StabG (x)) =
f (b StabG (x)) tenemos que a x = b x , de donde se deduce con facilidad
que (b1 a) x = x , de donde b1 a StabG (x) y, as, b StabG (x) = a StabG (x).
Esto prueba que f es biyectiva y por tanto |OG (x)| = [G : StabG (x)].

Definicin 2.4.9
Sea G un grupo.La accin de G sobre G, : G G G definida por
g x = gxg 1

recibe el nombre de conjugacin de G por G.


La rbita de un elemento g G se denomina clase de conjugacin de g en H .
ClG (x) = {g x ; g G} = {gxg 1 ; g G}
El estabilizador de x G recibe el nombre de centralizador de x en G.
CG (x) = {g G; g x = x} = {g G; gxg 1 = x} = {g G; gx = xg}

2.4 Acciones de grupo y p-grupos.

75

Ejemplo 2.4.3
Tomando la accin por conjugacin de G sobre G, vemos que las rbitas son de la forma OG (x) = {gxg 1 ; g G}. Consideremos S3 =
{(1), (1 2), (1 3), (2 3), (1 2 3), (1 3 2)}. Entonces
conjugado
(1) 1
(1 2) 1
(1 3) 1
(2 3) 1
(1 2 3) 1
(1 3 2) 1

(1)
(1)
(1 2)
(1 3)
(2 3)
(1 2 3)
(1 3 2)

(1 2)
(1)
(1 2)
(2 3)
(1 3)
(1 3 2)
(1 2 3)

(1 3)
(1)
(2 3)
(1 3)
(1 2)
(1 3 2)
(1 2 3)

(2 3)
(1)
(1 3)
(1 2)
(2 3)
(1 2 3)
(1 3 2)

(1 2 3)
(1)
(2 3)
(1 2)
(1 3)
(1 2 3)
(1 3 2)

(1 3 2)
(1)
(1 3)
(2 3)
(1 2)
(1 3 2)
(1 2 3)

de donde

O((1))

{(1)}

O((1 2)) = O((1 3)) = O((2 3))

{(1 2), (1 3), (2 3)}

O((1 2 3)) = O((1 3 2))

{(1 2 3), (1 3 2)}

Definicin 2.4.10
Se llama centro de G al subgrupo
Z(G) =

CG (g) = {g G; gh = hg, para todo h G}

gG

Proposicin 2.4.11
Z(G) es un subgrupo abeliano de G.

Proposicin 2.4.12: Frmula de clases


Sea G un grupo finito, y sea C = {x1 , x2 , . . . , xr } una coleccin completa de
representantes de clases de conjugacin de G en G. Entonces,
|G| = |Z(G)| +

| ClG (x)|.

xC
xZ(G)

Demostracin:
Primero, observemos que para x G se tiene que ClG (x) = {gxg 1 ; g G} = {x}
si y solo si gxg 1 = x para todo g G si y solo si gx = xg para todo g G
si y solo si x Z(G). Por otra parte, como las clases de conjugacin forman
una particin de G, G = ]xi C ClG (xi ), el cardinal del grupo es la suma de los
cardinales de cada una de las clases de conjugacin. As, las clases de conjugacin
unitarias aportan a |G| exactamente |Z(G)|, y el resto de las clases, con ms de
un elemento, aportan el resto de los sumandos.

76

Introduccin a la teora de grupos.


Definicin 2.4.13
Sea G un grupo. La accin de G sobre el conjunto S(G) de subgrupos de G,
definida por
: G S(G) S(G) : g H = gHg 1
recibe el nombre de conjugacin de subgrupos de G por G.
La rbita de un subgrupo H G se denomina clase de conjugacin de H en G.
ClG (H) = {g H ; g G} = {gHg 1 ; g G}
El estabilizador de H G recibe el nombre de normalizador de H en G.
NG (H) = {g G; g H = H} = {g G; gHg 1 = H} = {g G; gH = Hg}.

2.4.2

Teoremas de Sylow.
Definicin 2.4.14
Sea p un nmero primo. Un grupo finito G se dice que es un p -grupo si su orden
es una potencia de p .
Teorema 2.4.15: Teorema de Burnside
Sea G un p -grupo finito no trivial. Entonces, Z(G) es no trivial y |Z(G)| p .
Demostracin:
El teorema es evidente si G = Z(G). Supongamos pues que G Z(G). Consideremos la ecuacin de clases
X

|G| = |Z(G)| +

| ClG (xi )|.

xi C
xi Z(G)

Ya que | Cl(xi )| > 1 y | ClG (xi )| divide a |G| = p n , n > 0, tenemos que | ClG (xi )|
y p dividen a |G|, de donde p divide a |Z(G)|. Como |Z(G)| > 0, entonces
|Z(G)| p .
Lema 2.4.16
Supongamos que n = p r m con p m. Entonces
n
pr

En particular, p

n
pr

!
m

mod p.

Demostracin:
Es fcil comprobar que
(1 + x)p 1 + x p ( m
od p).

2.4 Acciones de grupo y p-grupos.

77

Adems por induccin,


r

(1 + x)p 1 + x p (
r

mod p).

As (1 + x)n = ((1 + x)p )m (1 + x p )m 1 + mxp + +x n( mod p) . Pero


r
el coeficiente de x p en el desarrollo de (1 + x)n es pnr . As pnr m( mod p).
Como p m tenemos que p

n
pr

Proposicin 2.4.17
Sea G un grupo actuando sobre un conjunto finito X , y sea FixG (X) = {x
X ; g x = x para todo g G}. Entonces
1) FixG (X) = {x X ; |OG (x)| = 1}.
2) Si G es un p -grupo entonces, |X| | FixG (X)| mod p .
Demostracin:
Supongamos que X = {x1 , . . . , xm }.
1) FixG (X) = {x X ; g x = x para todo g G} = {x X ; StabG (x) = G} =
{x X ; |OG (x)| = 1}.
P
Pm
2) X = ]1im OG (xi ). As m = |X| = m
i=1 |OG (xi )| =
i=1 [G : StabG (xi )]. Si
ahora G es un p -grupo, entonces |OG (xi )| = 1 o p||OG (xi )|.
Definicin 2.4.18
Sea G un grupo de orden n = p r m donde p m. Los subgrupos de G de orden
p r son llamados p -subgrupos de Sylow.
Teorema 2.4.19: Primer Teorema de Sylow
Sea G un grupo finito. Para cada primo p dividiendo |G| existe un p -subgrupo
de Sylow.
Demostracin:
Supongamos que |G| = n = mp r , donde p m. Sea X elconjunto
de todos los

n
r
subconjuntos de G con p elementos y por tanto |X| = pr . Consideremos la
accin de G sobre X por multiplicacin:
g A = gA = {ga; a A}.

Demostraremos que el estabilizador de uno de dichos subconjunto es el subgrupo


P
que buscamos. Descompongamos X en rbitas, obteniendo |X| = |OG (A)|. Por
el Lema ??, p |X|. Por tanto, por la frmula p r m = |G| = |OG (A)|| StabG (A)|
debe existir alguna rbita tal que p |OG (A)|. Tenemos que p r m = |G| =
|OG (A)|| StabG (A)| y ya que p |OG (A)|, se deduce que p r || StabG (A)|. Pero
dado a A, la aplicacin StabG (A) A dada por g , ga, es una aplicacin
inyectiva, de donde | StabG (A)| |A| = p r . As | StabG (A)| = p r .

78

Introduccin a la teora de grupos.


Teorema 2.4.20: Cauchy
Si G es un grupo finito y p es un divisor primo del orden de G, entonces existe
un elemento de orden p y por consiguiente un subgrupo de G de orden p .
Demostracin:
Por el primer teorema de Sylow, existe un subgrupo H de G de orden p r . Sea
a H , a e. Por el teorema de Lagrange, |a| divide a p r , luego |a| = p s , con
s1
0 < s r . Entonces ap tiene orden p .
Teorema 2.4.21: Segundo Teorema de Sylow
Sean H y K p -subgrupos de Sylow de un grupo finito G. Entonces H y K son
subgrupos conjugados de G, esto es, K = gHg 1 para algn g G.
Demostracin:
Sea X = {gH ; g G} el conjunto de clases laterales a izquierda de H y K actuando
sobre X por traslacin a izquierda
a (gH) = agH

a K, gH X.

Supongamos que |G| = n = mp r , donde p m. Ya que |X| = [G : H] = m,


por el teorema , | FixK (X)| m mod p y como p m, | FixK (X)| 0. Sea
gH FixK (X), entonces agH = gH , para todo a K , de modo que g 1 agH = H
para todo a K . As g 1 ag H para todo a K , de modo que K gHg 1 .
Como |H| = |K|, debemos tener K = gHg 1 de modo que H y K son conjugados.
Corolario 2.4.22
Sea G un grupo finito de orden n = p r m donde p m. Existe un nico p subgrupo de Sylow H , si y solo si, H es normal en G.
Demostracin:
Supongamos que existe un nico p -subgrupo de Sylow. Si existe algn otro K ,
entonces por el segundo teorema de Sylow ser conjugado a H , esto es, K = gHg 1
para algn algn g G. Ya que |H| = |gHg 1 | = |K|, tenemos que H = K .
Recprocamente, si H y K son p -subgrupos de Sylow, entonces por el segundo
teorema de Sylow son conjugados, esto es, K = gHg 1 para algn g G. Si H es
normal en G, entonces K = gHg 1 = H .
Teorema 2.4.23: Tercer Teorema de Sylow
Sea G un grupo finito de orden n = p r m donde p es un nmero primo y p m.
El nmero sp de p -subgrupos de Sylow es congruente con 1 mdulo p , y es un
divisor de m.

2.4 Acciones de grupo y p-grupos.

79

Demostracin:
Sea H un p -subgrupo de G. Sea X el conjunto de todos los p -subgrupos de G y
sea la accin de H en X mediante conjugacin
a K = aKa1 , a H, K X.

Por la proposicin 2.4.17, |X| = | FixH (X)| mod p . Calculemos pues FixH (X).
Si K X , entonces K FixH (X) si y solo si aKa1 = K , para todo a H . As
H NG (K) y claramente K NG (K). Como H y K son p -subgrupos de Sylow de
G, tambin son p -subgrupos de Sylow de NG (K). Pero entonces son conjugados
en NG (K). Como K es un subgrupo normal de NG (K), es su nico conjugado
en NG (K). As H = K . Entonces FixH (X) = {H} y | FixH (X)| = 1, de donde
sp = |X| = 1 m
od p .
Ahora supongamos G actuando sobre X por conjugacin. Como todos los p subgrupos de Sylow son conjugados, entonces solo existe una rbita en X bajo
G. Si H X , entonces StabG (H) = NG (H). Entonces por el teorema sp = |X| =
|OG (H)| = [G : NG (H)] = |G|/|NG (H)| = |G|/(|H|[NG (H) : H]) = m/[NG (H) :
H]. Luego sp es un divisor de m.

2.4.3

Grupos abelianos finitos


Lema 2.4.24
Sea G un grupo finito con |G| = p1n1 p2n2 prnr donde los pi son primos distintos.
Sea Spi un pi -subgrupo de Sylow de G con Spi normal en G. Entonces
G Sp1 Spr .

Demostracin:
Ya que cada Spk es un subgrupo normal de G, para cada k r , Sp1 Sp2 Spk
es un subgrupo de G. Probemos por induccin sobre k que para cada k r ,
|Sp1 Sp2 Spk | = |Sp1 ||Sp2 | |Spk |. El resultado es evidente si k = 1.
Sea H = Sp1 Spk1 y K = Spk . Por la hiptesis de induccin
|H| = |Sp1 ||Sp2 | |Spk1 |.

y ya que pk no divide a |H| tenemos que |H K| = 1. Por tanto


|Sp1 Sp2 Spk | = |HK| = |H||K| = |Sp1 ||Sp2 | |Spk |.

As para k = r , tenemos que Sp1 Spr es un subgrupo de G con |G| elementos,


por tanto G = Sp1 Spr . Tambin hemos visto que (Sp1 Spr 1 ) Spr = {1}.
As G Sp1 Spr .
Corolario 2.4.25
Todo grupo abeliano finito es isomorfo al producto directo de todos sus subgrupos
de Sylow.

80

Introduccin a la teora de grupos.


Demostracin:
Si G es abeliano entonces todo subgrupo es normal y el enunciado resulta del
lema anterior.
Queremos probar que todo grupo abeliano finito es un producto directo de grupos
cclicos. Por el corolario 2.4.25 es suficiente probar que para todo primo p , todo
p -grupo abeliano es un producto directo de grupos cclicos.
Lema 2.4.26
Sea G un p -grupo abeliano finito y a un elemento de orden maximal en G.
Entonces existe un subgrupo K de G tal que G hai K .
Demostracin:
Sea |G| = p n y hagamos induccin sobre n. Si n = 1, entonces G = hai hei.
Ahora supongamos que el enunciado es verdadero para todo grupo abeliano de
orden p k con k < n. Entre todos los elementos de G, elijamos uno de orden
m
maximal p m . Entonces x p = e para todo x G. Podemos suponer que G hai,
pues en caso contrario no hay nada que probar. A continuacin, entre todos
los elementos de G elegimos b de menor orden tal que b hai. Veamos que

|b|
,
p
m
concluimos que bp hai. Por ejemplo, bp = ai . Resaltemos que e = bp =
m1
m1
(bp )p
= (ai )p
, por tanto |ai | p m1 . As ai no es un generador de hai
y por tanto, por el teorema , gcd(p m , i) = 1. Esto prueba que p divide a i, de
donde i = pj . Entonces bp = ai = apj . Consideremos el elemento c = aj b.
Ciertamente, c hai, pues en caso contrario b hai. Tambin, c p = ajp bp =
ai bp = bp bp = e. As, hemos hallado un elemento c de orden p tal que c hai.
Por la definicin de b, tenemos que |b| = p .
Ahora consideremos el grupo cociente G = G/hbi. Para simplificar la notacin,
m1
sea x la clase xhbi en G. Si |a| < |a| = p m , entonces ap
= e. Esto implica que
m1
m1
m1
(ahbi)p
= ap
hbi = hbi, por tanto ap
haihbi = {e}, en contradiccin
con el hecho de que |a| = p m . As, |a| = |a| = p m , y as a es un elemento de orden
maximal en G. Por la hiptesis de induccin, G puede escribirse como hai K
para algn subgrupo K de G . Sea K la imagen inversa de K bajo el homomorfismo
cannico de G en G (esto es, K = {x G; x K}). Veamos que hai K = {e}.
Si x hai K , entonces x hai K = {e} = hbi y x hai hbi = {e}. Ya que
G = haiK , tenemos que G = hai K .

hai hbi = {e}. Claramente, es suficiente probar que |b| = p . Ya que bp =

Proposicin 2.4.27
Sea G un p -grupo abeliano de orden p n . Entonces G es un producto directo de
grupos cclicos de orden p e1 , . . . , p et , donde e1 et y n = e1 + + et .
Demostracin:
Induccin y el lema anterior proporcionan el resultado.

2.4 Acciones de grupo y p-grupos.

81

Veamos a continuacin la unicidad.


Lema 2.4.28
Sea G un p -grupo abeliano. Si G H1 H2 Hs y G K1 K2 Kt ,
donde los Hi y los Kj son subgrupos cclicos de orden potencia de p con |H1 |
|H2 | |Hs | y |K1 | |K2 | |Kt |, entonces s = t y |Hi | = |Ki | para todo i.
Demostracin:
Procedamos por induccin sobre G. Claramente, el caso donde |G| = p es verdadero. Ahora supongamos el enunciado verdadero para todo p -grupo abeliano de
orden menor que |G|. Para todo grupo abeliano L, el conjunto LP = {x p ; x L} es
p
p
p
p
p
p
un subgrupo de L. Se deduce que Gp = H1 H2 Hs 0 y Gp = K1 K2 Kt 0 ,
donde s 0 es el mayor entero i tal que |Hi | > p y t 0 es el mayor j tal que |Kj | > p .
(Esto asegura que nuestros dos productos directos para Gp no tienen factores
p
p
triviales). Ya que GP < G, tenemos por induccin que s 0 = t 0 y |Hi | = |Ki | para
p
p
i = 1, . . . , s 0 . Ya que |Hi | = p|Hi | y |Ki | = p|Ki | tenemos que |Hi | = |Ki | para
0
todo i = 1, . . . , s . Todo lo que queda por probar es que el nmero de Hi de orden
p es igual al nmero de Ki de orden p , esto es, debemos probar que s s 0 = t t 0 .
Esto se deduce de
0

|H1 |H2 | |Hs 0 |p ss = |G| = |K1 ||K2 | |Ht 0 |p tt

y |Hi | = |Ki | y s 0 = t 0 .
Teorema 2.4.29: Teorema fundamental de los grupos abelianos finitos
Todo grupo abeliano finito G es isomorfo a un producto directo de la forma
G Zpe11 Z
1

e1t
p1 1

Zprer 1 Zper tr
r

Esta descomposicin es nica, salvo por el orden.


Demostracin:
Sea |G| = p1n1 p2n2 prnr donde cada uno de los pi son primos distintos. Por el
corolario 2.4.25 obtenemos G Sp1 Spr . Entonces por la proposicin 2.4.27
cada uno de los Spi puede descomponerse como
Spi Zpei1 Zpei2 Z
i

eit

pi

As G es isomorfo a un producto directo de grupos cclicos de orden potencia de


un primo.
Definicin 2.4.30
Sea G un grupo abeliano finito con |G| = p1n1 prnr .
G Zpe11 Z
1

e1t
p1 1

Zprer 1 Zper tr
r

82

Introduccin a la teora de grupos.


e

Los nmeros (p1e11 , . . . , pr r tr ) se llaman divisores elementales del grupo G.

Ejemplo 2.4.4
Determinar todos los grupos abelianos, salvo isomorfismos, de orden 16. |G| =
16 = 24 . Por tanto n = 4, as tenemos las siguientes cinco listas de posibilidades
4
3
2
2
1

1
2
1 1
1 1 1

As existen cinco posibilidades para G. En particular, G debe ser isomorfo a uno


de los siguientes grupos:
Z24

Z16

Z23 Z21

Z8 Z2

Z22 Z22

Z4 Z4

Z22 Z21 Z21

Z4 Z2 Z2

Z21 Z21 Z21 Z21

Z2 Z2 Z2 Z2

Proposicin 2.4.31
Todo grupo abeliano finito G es isomorfo a un producto directo de la forma
G Zm1 Zm2 Zmt

donde m1 2 y mj divide a cada mi con j i y n = m1 mt .

Demostracin:
Ponemos juntos los mayores factores para cada primo, y luego los siguientes
mayores factores, y as sucesivamente.

Definicin 2.4.32
Sea G un grupo abeliano finito
G Zm1 Zm2 Zmt

donde mt 2 y mj divide a cada mi con j i. Los nmeros mi reciben el


nombre de factores invariantes de G.
Ejemplo 2.4.5
Determinar todos los grupos abelianos de orden 56. |G| = 56 = 23 7. Sabemos
que G S2 S7 donde |S2 | = 23 y |S7 | = 7. As los posibles exponentes para los

2.4 Acciones de grupo y p-grupos.

83

divisores elementales estn dados por las siguientes listas


S2

S7

3
2, 1
1, 1, 1

As G debe ser isomorfo a uno de los siguientes grupos:


Z23 Z71

Z8 Z7

Z22 Z21 Z71

Z4 Z2 Z7

Z21 Z21 Z21 Z71

Z2 Z2 Z2 Z7

Ejemplo 2.4.6
Supongamos
que
un
grupo
tienen
como
divisores
elementales
2, 2, 22 , 23 , 3, 3, 3, 5, 52 . Determinar sus factores invariantes. Para hallar los
factores invariantes colocamos nuestros divisores elementales en orden decreciente, con una fila para cada primo.
23
3
52

22
3
5

2
3

Ahora reagrupamos los factores cclicos de G usando las columnas de la anterior


distribucin.
G Z2 (Z2 Z3 ) (Z4 Z3 Z5 ) (Z8 Z3 Z25 )
G Z2 Z6 Z60 Z600

2.4.4

Clasificacin de grupos de orden 15.


Grupos finitos de orden 2,3,5,7,11,13.

Sabemos que todo grupo finito de orden primo p, es cclico e isomorfo a Zp .

Grupos finitos de orden 6,10,14.

Proposicin 2.4.33
Sea p un primo impar. Todo grupo de orden 2p es isomorfo a Z2p o a Dp .
Demostracin:
Sean s2 y sp el nmero de 2-subgrupos de Sylow y de p -subgrupos de Sylow de
G.
Ya que sp |2 y sp 1( m
od p), tenemos que sp = 1. Si H es el nico p -subgrupo
de Sylow de G, entonces H es un subgrupo normal de G.
Ya que s2 |p y s2 1( m
od 2), tenemos que s2 = 1 o p .
Caso s2 = 1.

84

Introduccin a la teora de grupos.


Si K es el nico 2-subgrupo de Sylow de G, entonces K es un subgrupo normal de
G.

Ya que |H K| divide a |H| y a |K|, tenemos que |H K| = 1, esto es, H K = {e}.


Por el segundo teorema de isomorfa, |HK| = |H||K| = 2p = |G|, de donde
HK = G. As
G H K Zp Z2 Z2p .

Caso s2 = p .
Ya que |H| = p , es cclico de orden p , esto es, existe a H , con |a| = p y
H = hai = {e, a, . . . , ap1 }. Como H G, existe b H . Como |G/H| = 2p/p = 2,
tenemos que G = H ] Hb = {e, a, . . . , ap1 } ] {b, ab, . . . , ap1 b}.
Veamos que |b| = 2. Tenemos que |b| divide a 2p , luego |b| = 1, 2 o p .
Si |b| = 1, entonces b = e, lo que es imposible, ya que b H . Si |b| = p , entonces
hbi tambin es un p -subgrupo de Sylow y sera igual a H , lo que es imposible, ya
que b H . Por tanto |b| = 2.
Anlogamente |ab| = 2. As G Dp .
Grupos finitos de orden 15.

Proposicin 2.4.34
Todo grupo de 15 elementos es isomorfo a Z15 .
Demostracin:
Sean s3 y s5 el nmero de 3-subgrupos de Sylow y de 5-subgrupos de Sylow de G.
Ya que s3 |5 y s3 1( m
od 3), tenemos que s3 = 1. Si H es el nico 3-subgrupo
de Sylow de G, entonces H es un subgrupo normal de G.
Anlogamente, ya que s5 |3 y s5 1( mod 5), tenemos que s5 = 1. Si K es el
nico 5-subgrupo de Sylow de G, entonces K es un subgrupo normal de G. Ya que
|H K| divide a |H| y a |K|, tenemos que |H K| = 1, esto es, H K = {e}. Por
el segundo teorema de isomorfa, |HK| = |H||K| = 15 = |G|, de donde HK = G.
As
G H K Z3 Z5 Z15 .

Grupos finitos de orden 4,9.

Proposicin 2.4.35
Sea p un primo. Todo grupo de orden p 2 es abeliano e isomorfo a Zp2 o a Zp Zp .
Demostracin:
Ya que G es un grupo no trivial, Z(G) es no trivial y |Z(G)| p . Por el teorema
de Lagrange |Z(G)| divide a p 2 , luego |Z(G)| es igual a p o p 2 . Si |Z(G)| = p 2 ,
entonces G = Z(G), luego G es abeliano. Si |Z(G)| = p , entonces |G/Z(G)| = p ,
luego G/Z(G) es cclico y por tanto abeliano. Veamos que G es entonces tambin
abeliano.
Supongamos que G/Z(G) = hgZ(G)i y sean a, b G. Entonces aZ(G) = g r Z(G)
y bZ(G) = g s Z(G), esto es, a = g r c , b = g s d, con c, d Z(G). Pero entonces
ab = g r cg s d = g s dg r c = ba.

2.4 Acciones de grupo y p-grupos.


Grupos finitos de orden 8.

Proposicin 2.4.36
Todo grupo de 8 elementos es isomorfo a alguno de los siguientes: Z8 , Z4 Z2 ,
Z2 Z2 Z2 , D4 , Q2 .

Demostracin:
Supongamos que G es un grupo de orden 8 no abeliano. Si G tuviese un elemento
de orden 8, entonces sera cclico y por tanto abeliano. Si todos los elementos de G
tuviesen orden 2, entonces para todo a, b G, tendramos que a2 b2 = (ba)2 = e,
de donde ba = bea = b(ba)2 a = bbabaa = eabe = ab y G sera abeliano.
Por tanto al menos un elemento a G tiene orden 4. Sea H = hai = {e, a, a2 , a3 },
entonces H es normal en G y |G/H| = 2. Por tanto existe b H , tal que G =
H ] Hb = {e, a, a2 , a3 } ] {b, ab, a2 b, a3 b}. Consideremos b2 . Necesariamente
b2 H , pues si b2 Hb, tendramos que b H .
Si b2 = a, entonces G = {e, b2 , b4 , b6 , b, b3 , b5 , b7 } = hbi es cclico y por tanto
sera abeliano.
Si b2 = a3 , entonces G = {e, b6 , b4 , b2 , b, b7 , b5 , b3 } = hbi es cclico y por tanto
sera abeliano.
Por tanto hemos de considerar 2 casos:
Caso b2 = e:
Ya que H es un subgrupo normal de G, tenemos que b1 ab H . Necesariamente
b1 ab = a3 , esto es, ba = a3 b y G D4 = ha, b; a4 = e, b2 = e, ba = a3 bi.
Caso b2 = a2 :
Ya que H es un subgrupo normal de G, tenemos que bab1 H . Necesariamente
bab1 = a3 , esto es, ba = a3 b y G Q2 = ha, b; a4 = e, b2 = a2 , ba = a3 bi.
Grupos finitos de orden 12.

Proposicin 2.4.37
Todo grupo de 12 elementos es isomorfo a alguno de los siguientes: Z4 Z3 ,
Z2 Z2 Z3 , A4 , D6 ,Q3 .

Demostracin:
Supongamos que G es un grupo de orden 12 no abeliano.
Sean s2 y s3 el nmero de 2-subgrupos de Sylow y de 3-subgrupos de Sylow de
G. Entonces s2 |3 y s2 1( m
od 2), luego s2 = 1, 2 y s3 |4 y s3 1( mod 3), luego
s3 = 1, 4.
Sea H un 3-subgrupo de Sylow de G, entonces [G : H] = 12/3 = 4 y si X es el
conjunto de clases laterales a izquierda de H en G, entonces la representacin
T
permutacional de G, : G S4 , verifica ker() = gG gHg 1 H .
1) Si ker() = {e}, entonces G im() S4 , y por tanto G es isomorfo a un
subgrupo de orden 12 de S4 , luego G A4 .
2) Si ker() {e}, entonces, ya que | ker()| divide a |H| = 3, tenemos que
ker() = H y por tanto H es normal, luego nico. Supongamos que H = hxi =
{e, x, x 2 }. Veamos que |CG (x)| = 6 o 12. Ya que [G : CG (x)] = |Cl(x)|, es sufciente comprobar que |Cl(x)|=1 o 2. Pero si y Cl(x), entonces y = gxg 1 , para

85

86

Introduccin a la teora de grupos.


algn g G y por tanto |y| = |gxg 1 | = |x| = 3, luego |Cl(x)|=1 o 2, ya que x ,
x 2 son los nicos elementos de orden 3 de G. Ya que 2||CG (x)|, por el teorema
de Cauchy, existe z CG (x), de orden 2. Sea a = xz, entonces |a| = |x||z| = 6.
Sea K = hai, entonces [G : K] = 2, y por tanto K es normal en G. Adems existe
b K , tal que G = K ] Kb = {e, a, a2 , a3 , a4 , a5 } ] {b, ab, a2 b, a3 b, a4 b, a5 b}.
Como bab1 K y |bab1 | = |a| = 6, tenemos que bab1 = a o a5 . Pero si
bab1 = a, entonces ba = ab y G sera abeliano. Luego bab1 = a5 .
Consideremos ahora b2 . Si b2 Kb, entonces b K, lo que es imposible. Por
tanto b2 K .
Veamos los diferentes casos:
i) b2 = e. Entonces G D6 .
ii) b2 = a. Entonces |b| = 12, ya que b12 = (b2 )6 = a6 = e y G = hbi, lo que es
una contradiccin.
iii) b2 = a2 . Entonces (a1 )2 = (bab1 )2 = bab1 bab1 = ba2 b1 = bb2 b1 =
b2 = a2 , esto es, a4 = e, lo que es imposible.
iv) b2 = a3 . Entonces G Q3 .
v) b2 = a4 . Entonces (a1 )4 = (bab1 )4 = (ba)4 b1 = bb2 b1 = b2 = a4 , esto
es, a2 = e, lo que es imposible.
vi) b2 = a5 . Entonces |b| = 12, ya que b12 = (b2 )6 = (a5 )6 = e y G = hbi, lo que
es una contradiccin.

ndice alfabtico
aplicacin
de incidencia, 3
arbol
rbol
generador, 29
rbol, 29
arista, 3
aristas, 4
paralelas, 3
bosque, 29
camino, 11
cerrado, 11
de Euler, 15
de Hamilton, 18
simple, 11
caras, 22
centralizador, 65
centro, 65
ciclo, 11
ciclos
disjuntos, 39
circuito, 11
euleriano, 15
hamiltoniano, 18
clase
de conjugacin, 66
de conjugacin, 65
clase lateral, 56
a derecha, 49
a izquierda, 49
coloracin, 27
componentes conexas, 14
conjugacin, 65
de subgrupos, 66
conjunto
cociente, 49
contraccin, 24
simple, 24
digrafo, 4
divisores elementales, 71
elemento
neutro, 31
simtrico, 31

estabilizador, 64
Frmula
de clases, 66
de Euler, 23
factores invariantes, 72
grado
de una cara, 24
de vrtice, 5
entrante, 5
saliente, 5
grafo, 3
bipartido, 20
completo, 20
camino simple, 4
ciclo, 4
completo, 8
conexo, 14
dirigido, 4
disconexo, 14
dual, 26
euleriano, 15
hamiltoniano, 18
plano, 22
regular, 7
simple, 3
grafos
isomorfos, 5
grupo, 31
abeliano, 31
alternado, 43
cclico, 48, 52
cociente, 57
cuaternio, 37
finitamente generado, 48
finito, 33
lineal general, 35
simple, 55
homomorfismo
de grupos, 57
ndice, 50
isomorfismo
de grafos, 5
de grupos, 59

88
lazo, 3
mapa, 22
matriz
de adyacencia, 9
de incidencia, 10
nmero
cromtico, 27
normalizador, 66
operacin
asociativa, 31
binaria, 31
conmutativa, 31
rbita, 64
orden
de grafo, 3
de un elemento, 52
de un grupo, 33
de una permutacin, 40
p-grupo, 66
p-subgrupo de Sylow, 67
permutacin, 38
polinomio
cromtico, 27
races
de la unidad, 37
recorrido, 11
retculo
de subgrupos, 47
subconjunto
fijo, 64
subgrupo, 46
generado, 48
propio, 46
trivial, 46
tamao, 3
transposicin, 41
vrtice, 3
aislado, 3
final, 4
inicial, 4
vrtices, 4
adyacentes, 3
incidentes, 3

NDICE ALFABTICO

Bibliografa
[1] Clark, A., Elementos de Algebra Abstracta, Alhambra, 1974.
[2] Dummit, D.S., Foote, R.M., Abstract Algebra, Prentice Hall, 1991.
[3] Fernando, F.S., Gamboa, J.M., Estructuras algebraicas: Teora elemental de grupos,
Sanz y Torres, 2013.
[4] Fraleigh, J. B., Algebra Abstracta, Addison Wesley Iberoamericana, 1987.
[5] Gallian, J., Contemporary Abstract Algebra, Houghton Mifflin, 1998.
[6] Garca Miranda, J., Apuntes de Teora de Grafos, Universidad de Granada,.
[7] Goldstein, L.J., Abstract Algebra. A first course,Prentice Hall, 1973.
[8] Grimaldi, R.P., Matemticas discretas y combinatoria, Prentice Hall, 1997.
[9] Hibbard, A.C., Levasseur, K., Levasseur, K.C., Exploring Abstract Algebra With
Mathematica, Springer, 1999.
[10] Johnsonbaugh, R., Matemticas discretas, Prentice Hall.
[11] Rosen, K. J. , Matemtica discreta y aplicaciones, Mc-Graw Hill 2004.
[12] Scherk, J., Algebra, versin electrnica 2009.