Grupo So Ctu Bre

lgebra moderna I
Hugo Alberto Rincn
23 de junio de 2012
ii
ndice general
1. Grupos 1
1.0.1. Operaciones . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1. Denicin y ejemplos . . . . . . . . . . . . . . . . . . . 5
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.1. El Teorema de Lagrange . . . . . . . . . . . . . . . . . 13
1.3. Morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Cocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5. Monos, epis e isos . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6. Subgrupos normales . . . . . . . . . . . . . . . . . . . . . . . 28
1.6.1. Caracterizacin de los grupos cclicos . . . . . . . . . . 34
1.7. Subgrupos y normalidad . . . . . . . . . . . . . . . . . . . . . 37
1.7.1. La relacin de conjugacin . . . . . . . . . . . . . . . . 40
1.8. Los teoremas de isomorsmo . . . . . . . . . . . . . . . . . . . 40
1.9. Retculas de subgrupos . . . . . . . . . . . . . . . . . . . . . . 48
1.10. Productos de grupos . . . . . . . . . . . . . . . . . . . . . . . 48
1.11. El subgrupo conmutador . . . . . . . . . . . . . . . . . . . . . 50
1.11.1. Acerca del recproco del Teorema de Lagrange . . . . . 54
1.11.2. El Teorema de Cayley . . . . . . . . . . . . . . . . . . 55
1.11.3. El Teorema de Cauchy y la ecuacin de clase. . . . . . 57
1.12. El grupo simtrico . . . . . . . . . . . . . . . . . . . . . . . . 60
1.13. Automorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . 71
1.13.1. Productos semidirectos . . . . . . . . . . . . . . . . . . 75
1.14. Acciones de grupos . . . . . . . . . . . . . . . . . . . . . . . . 79
1.14.1. rbitas y estabilizadores . . . . . . . . . . . . . . . . . 82
1.14.2. Aplicaciones al conteo . . . . . . . . . . . . . . . . . . 84
1.15. Los Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . 85
iii
iv NDICE GENERAL
1.16. El Teorema fundamental de los grupos abelianos nitamente

generados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
1.17. Grupos abelianos . . . . . . . . . . . . . . . . . . . . . . . . . 102
1.17.1. Grupos abelianos nitamente generados . . . . . . . . . 102
1.18. Grupos libres, productos libres, presentaciones y coproductos . 102
1.19. Extensiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
1.20. Grupos solubles y nilpotentes . . . . . . . . . . . . . . . . . . 103
1.21. Grupos nilpotentes . . . . . . . . . . . . . . . . . . . . . . . . 105
1.21.1. Teorema de Jordan Holder. . . . . . . . . . . . . . . . 108
Captulo 1
Grupos
1.0.1. Operaciones
Denicin 1 Una operacin en un conjunto X es una funcin f : X
X ! X.
Solemos usar smbolos como o para denotar una operacin y escribimos

a b en lugar de escribir (a; b).
Denicin 2 Una operacin :X X ! X es asociativa si a (b c) =

(a b) c 8a; b; c 2 X:
No ejemplo 1 :Z Z ! Z no es asociativa: 0 (1 2) = 1 6= 3=
(0 1) 2:
Ejercicio 1 Sea X un conjunto no vaco. Demuestre que la diferencia de

conjuntos r : } (X) } (X) ! } (X) no es una operacin asociativa.
Ejercicio 2 Demuestre que =): f0; 1g f0; 1g ! f0; 1g dado por la tabla
=) 0 1
0 1 1
1 0 1
no es asociativa.
Denicin 3 Si es una operacin asociativa en X se dice que (X; ) es

un semigrupo.
1
2 CAPTULO 1. GRUPOS
Como estamos trabajando con operaciones binarias, es claro que para

realizar un producto como a b c es necesario poner parntesis: por ejemplo
(a b) c. Primero se calcula a b y el resultado se multiplica por c: La otra
posibilidad es a (b c) :
Teorema 1 Sea (X; )un semigrupo y a1 ; a2 ; :::; an , n = 3; una lista de

elementos de X; cualquier manera de colocar parntesis para evaluar a1 a2
::: an produce el mismo resultado.
Demostracin. Base, si n = 3; entonces (a1 a2 ) a3 = a1 (a2 a3 )

pues por hiptesis es asociativa.
Supongamos que n > 3 y que la armacin es cierta para listas con menos
de n elementos.
Notemos que como quiera que se pongan los parntesis, al nal se
coloca un ltimo par (cuando uno va a realizar la ltima operacin) en ese
momento uno tiene (a1 ::: ak ) (ak+1 ::: an ) con parntesis anidados de
cada lado. Note que por hiptesis de induccin cualquier manera de colocar
parntesis en a1 ::: ak y en ak+1 ::: an produce el mismo resultado.
Comparemos (a1 ::: ak ) (ak+1 ::: an ) con otra manera de colo-
car los parntesis, digamos que con (a1 ::: al ) (al+1 ::: an ) :Como ya
dijimos, si k = l ambos productos coinciden de acuerdo con la hiptesis de
induccin.
Si k < l podemos escribir:
(a1 ::: ak ) (ak+1 ::: an ) =
= (a1 ::: ak ) ((ak+1 ::: al ) (al+1 ::: an ))

y
(a1 ::: al ) (al+1 ::: an ) =
= ((a1 ::: ak ) (ak+1 ::: al )) (al+1 ::: an )
o bien, denotando
A = (a1 ::: ak ) ; B = (ak+1 ::: al ) ; C = (al+1 ::: an ) ;
el primer producto es A (B C) y el segundo producto es (A B) C; que

coinciden por el caso n = 3: Con esto completamos la induccin.
3
1. Se dice que e 2 X es un neutro derecho para : X X ! X si

a e = a, 8a 2 X:
2. Se dice que e 2 X es un neutro izquierdo para :X X ! X si

e a = a, 8a 2 X:
3. Se dice que e 2 X es un neutro para : X X ! X si e es un neutro

derecho y un neutro izquierdo para :
Lema 1 Si : X X ! X tiene neutro izquierdo e y tiene neutro derecho

f entonces e = f .
Demostracin. e = e f = f: La primera igualdad ocurre porque f es

un neutro derecho y la segunda ocurre porque e es un neutro izquierdo.
Corolario 1 Cuando una operacin tiene neutro este es nico.
Demostracin. Si e y f son neutros para una operacin ;entonces e es

un neutro izquierdo y f es un neutro derecho. Conclumos usando el lema
anterior.
Si en el enunciado de un ejercicio aparece slo una proposicin el ejercicio
consiste en demostrar la proposicin.
Ejercicio 3 Si una operacin tiene dos neutros izquierdos entonces no puede

tener neutro.
Denicin 4 Sea una operacin en el conjunto X con neutro e: Si a b =

e, a; b 2 X; diremos que a es inverso izquierdo de b y que b es inverso derecho
de a: Diremos que b es inverso de a si b es inverso derecho e izquierdo de a
(es decir, si a b = e = b a).
Denicin 5 Si e 2 X es un neutro para la operacin asociativa :X

X ! X; diremos que (X; ; e) es un monoide.
Lema 2 Si (X; ; e) es un monoide y a 2 X tiene inverso izquierdo b e

inverso derecho c; entonces b = c.
Demostracin. b = b e = b (a c) = (b a) c = e c = c:
Por lo anterior podemos notar que el inverso de un elemento a en un
monoide, cuando existe es nico.
4 CAPTULO 1. GRUPOS
Ejemplo 2 Sea X un conjunto y denotemos por

n o
f
X X = X ! X j f es funcin ;
1
entonces la composicin es una operacin asociativa en X X ; IdX es neu-
tro para la operacin. Los elementos que tiene inverso por la izquierda son
las funciones inyectivas y las que tiene inverso derecho son las funciones
suprayectivas.
()+1
Ejemplo 3 La funcin N ! N tiene inverso izquierdo pero no tiene in-
verso derecho.
Denicin 6 Sea una operacin en un conjunto X: a 2 X es cancelable

por la derecha si b a = c a =) b = c: a es cancelable por la izquierda si
a b = a c =) b = c: a es cancelable cuando es cancelable por la izquierda
y por la derecha.
Ejercicio 4 Demuestre que si a 2 X y es una operacin en X con neutro

e;entonces:
1. a tiene inverso por la derecha =) a es cancelable por la derecha.

2. a tiene inverso =) a es cancelable.
Denicin 7 Un monoide (M; ; e) en donde cada elemento es cancelable,

se llama monoide con cancelacin.
Ejercicio 5 Demuestre que (N ; +; 0) es un monoide con cancelacin.
Ejercicio 6 Demuestre que (N r f0g ; ; 1) es un monoide con cancelacin.
Ejercicio 7 Considere un tringulo equiltero
1 2 3
denotemos con r la rotacin ; denotemos con a la reexin
2 3 1
1 2 3
; etctera. Haga una tabla de multiplicar para el grupo de simetras
1 3 2
(6 elementos y la multiplicacin es la composicin).
1
En general AB denota el conjunto de funciones de B en A.
1.1. GRUPOS 5
Ejercicio 8 Muestre que el grupo anterior no es abeliano (abeliano = con-

mutativo).
Ejercicio 9 Muestre que para cada n existe un grupo con n elementos (Sug-
erencia: Z n ).
Ejercicio 10 Denotemos P (X) = fA X j A 6= ?g :Cmo tiene que ser
X para que en el semigrupo (P (X) ; [) exista un neutro?
Ejercicio 11 Denotemos P 0 (X) = fA X j A 6= Xg :Cmo tiene que ser
X para que en el semigrupo (P (X) ; \) exista un neutro?
1.1. Grupos
1.1.1. Denicin y ejemplos
Denicin 8 Un grupo es una terna (G; ; e) ,donde G es un conjunto,
es una operacin asociativa en G, e 2 G es un neutro para y adems cada
elemento de G tiene un inverso.(Si a es inverso de g, entonces a g = e =
g a).
Observacin 1 El neutro es nico. El inverso de cada elemento es nico
Teorema 2 Si (G; ; e) es una terna, con G conjunto, asociativa, e neutro
derecho y 8a 2 G; 9b 2 G tal que a b = e; entonces (G; ; e) es un grupo.
() e
Demostracin. Notemos que G ! G es la funcin identidad. Tambin
g7!g e
() (c d)
note que G ! G la funcin multiplicar por c d por la derecha es la
composicin (() d) (() c) (primero se multiplica por c y luego por d: Esto
se debe a que x (c d) = (x c) d.
As que si a b = e entonces IdG = () e = () (a b) = [() b]
[() a] ;de donde tenemos que [() a] : G ! G es una funcin inyectiva
(porque tiene inverso izquierdo 8a 2 G: Mientras que [() b] : G ! G es
suprayectiva (y por lo anterior es inyectiva), siempre que a b = e:
Como () b : G ! G es biyectiva, entonces es invertible. Como () a
es inverso derecho de () b : G ! G;entonces () a es el inverso.2 de () b:
Pero entonces () a : G ! G es invertible 8a 2 G:
2 1 1
Si f g = Id y f es invertible, entonces g = Id g = f f g=f (f g) =
1
f Id = f 1 :
6 CAPTULO 1. GRUPOS
() a
Ahora, como G ! G es suprayectiva, existe f 2 G tal que f a = a:
multipliquemos por b a la derecha:
f =f e=f a b = a b = e:
De donde e a = a ( 8a 2 G). Luego e es un neutro ya que adems de ser

un neutro derecho, result ser un neutro izquierdo.
() a
Si a b = e; considerando que G ! G es suprayectiva, entonces
existe x 2 G tal que x a = e: Luego a tiene inverso derecho e izquierdo.
Como estos deben coincidir tenemos que a tiene inverso (para toda a 2 G).
Sea c 2 G:
Teorema 3 Son equivalentes para un semigrupo no vaco (G; ) :
1. 9e 2 G tal que (G; ; e) es un grupo.
2. 8a; b 2 G; las ecuaciones a x = b y x a = b tienen solucin nica en

G.
Demostracin. 1)) 2)
Si (G; ; e) es un grupo entonces x = a 1 b es la nica solucin de a x = b
y ba 1 es la nica solucin de a = b.
2)) 1)
Notemos que la peticin de que a x = b tenga solucin nica para cada
a ()
a; b 2 G equivale a que la funcin G ! G sea biyectiva. Mientras que la
peticin de que x a = b tenga solucin nica 8a; b 2 G equivale a que
() a
G ! G sea biyectiva.
Sea a 2 G (G 6= ?) y llamemos ea la nica solucin de xa = a: Entonces
ea a = a; es decir que a tiene una especie de neutro particular.
Tomemos otra b 2 G; como a () es biyectiva, sea c tal que a c = b
(equivalentemente: escogemos c como la solucin de a x = b), entonces
ea b = ea (a c) = (ea a) c = a c = b: Como el argumento vale
8b 2 G;tenemos que ea es un neutro izquierdo para : Adems, dada a 2 G,
la ecuacin x a = ea tiene solucin. Por el lema anterior (versin izquierda),
G es un grupo.
Lema 3 Las siguientes armaciones se cumplen en un grupo (G; ; e) :
1. a b = b ) a = e:
1.1. GRUPOS 7
2. a b = a ) b = e:
1
3. a b = e ) b = a y a = b 1:
1
4. (a 1 ) = a:
1 1
5. (a b) =b a 1:
1
()
6. G ! G es biyectiva con inverso ella misma.
(() b 1 )
Demostracin. 1. a b = b ) (a b) b 1 = b b 1 = e: Pero
(a b) b 1 = a (b b 1 ) = a e = a:
2. Anlogamente (se multiplica por a 1 a la izquierda).
3. Multiplique a la izquierda por a 1 y luego multiplique a la derecha por
1
b .
1
4. Como a 1 a = e, por 3. tenemos que a = (a 1 ) :
5. (a b) b 1 a 1 = a (b b 1 ) a 1 = a e a 1 = a a 1 = e:
1 1
() ()
6. G ! G ! G , luego () 1
es inversa de s misma.
1
a 7 ! a 1 7 ! (a 1 ) =a
Ejercicio 12 Demuestre que si G es un grupo nito de orden par, entonces

9a 2 G r feg tal que a a = e: (Sugerencia use 6. en el lema anterior y note
que e 1 = e).
Denicin 9 Si a 2 G; G un grupo, denimos:
1. a0 = e:
2. an+1 = a an ; si n 0:
n
3. an = (a 1 ) ; si n < 0:
1 1
Ejercicio 13 Muestre que si en un grupo (a b) =a b 1 ; 8a; b 2 G;
entonces G es abeliano.
Ejercicio 14 Muestre que si en un grupo (a b)2 = a2 b2 ; 8a; b 2 G; en-

tonces G es abeliano.
8 CAPTULO 1. GRUPOS
Ejercicio 15 Muestre que si en un grupo a2 = e; 8a 2 G; entonces G es

abeliano.
Ejercicio 16 Muestre que si en un grupo (a b)i = ai bi ; 8a; b 2 G; i 2

f3; 4; 5g entonces G es abeliano.
1. Por denicin, un grupo no puede ser vaco. (feg ; ; e) es un grupo con

la nica operacin posible: e e = e:
e a
2. El grupo con dos elementos tiene la tabla e e a .
a a e
3. (Z ; +; 0) es un grupo abeliano.
4. Si X es un conjunto, denotamos Biy (X) = fX ! X j f es biyectivag :
Si X es un conjunto nito denotamos Biy (X) = SX : Sf1;2;::;ng se denota
Sn : (Biy (X) ; ; IdX ) es un grupo (comprobarlo).
5. (Q r f0g ; ; 1) es un grupo.
6. (fz 2 C j jzj = 1g ; ; 1) es un grupo.
7. (fz 2 C j z n = 1, para n 2 N g ; ; 1) es un grupo. (El grupo de las races
n simas de 1.)
8. (fz 2 C j 9 2 N tal que z n = 1,g ; ; 1) es un grupo. (El grupo de las
races de 1.)
9. (fa 2 Zn j (a; n) = 1g ; ; 1) es un grupo (el grupo de las unidades de
Zn : Este grupo se denota Z n :
a b 1 0
10. 2 M2 (R ) j ad bc 6= 0 ; ; es un grupo, donde
c d 0 1
denota la multiplicacin usual de matrices.
a b 1 0
11. 2 M2 (R ) j ad bc = 1 ; ; es un grupo, donde
c d 0 1
denota la multiplicacin usual de matrices.
12. En general, si F es un campo GLn (F ) denota el grupo de las matrices
invertibles de n n con coecientes en F , junto con la operacin de
multiplicacin de matrices.
1.1. GRUPOS 9
13. En general, si F es un campo SLn (F ) denota el grupo de las matrices

invertibles de n n con determinante 1, con coecientes en F , junto
con la operacin de multiplicacin de matrices.
Notacin 1 Se dene la funcin de Euler ' : N r f0g ! N r f0g por:

' (1) = 1; ' (n) = jZ n j ; si n > 1:
Ejercicio 17 Muestre que S3 no es abeliano.
Ejercicio 18 Demuestre que si jXj 3; entonces Biy (X) no es abeliano.
Ejercicio 19 Haga una tabla para Z 12 y para Z 15 :
Ejercicio 20 Sea X un conjunto y consideremos la operacin de diferencia

simtrica 4 en } (X) dada por A4B = (A [ B) r (A \ B) : Muestre que 4
es una operacin asociativa y que (} (X) ; 4; ?) es un grupo abeliano.
Ejercicio 21 Sea G un conjunto nito con una operacin binaria ;con neu-
tro e:Demuestre que G es un grupo si y slo si la tabla de tiene las siguientes
propiedades:
1. Todo rengln y cada columna de la tabla de contiene todos los ele-

mentos de G:
2. Para cada par x; y 2 G r feg y cada rectngulo R en el cuerpo de
la tabla que tenga e en uno de sus vrtices, x en el otro vrtice en el
mismo rengln que e y que tenga y en el vrtice en la misma columna
que e;entonces el cuarto vrtice depende slo de (x; y) :
Una distancia es una funcin d : X X ! R+ [ f0g tal que d (x; y) = 0

si y slo si x = y y tal que d (x; y) + d (y; z) d (x; z) : En este caso
decimos que (X; d) es un espacio mtrico. Los ms conocidos son R 2 y
R 3 con la distancia dada por la norma euclidiana, es decir d ((a; b) ; (c; d)) =
q
(a c)2 + (b d)2 en R 2 :
Si S es un conjunto de puntos de un espacio mtrico (X; d) (por ejemplo,
el conjunto de vrtices de un polgono) decimos que una simetra de S es una
f
funcin S ! S que preserva las distancias, es decir d (f (a) ; f (b)) = d (a; b) ;
8a; b 2 S:
10 CAPTULO 1. GRUPOS
Ejercicio 22 Muestre que un cuadrado tiene 8 simetras. (Hay 4 rotaciones

incluyendo la identidad, y 4 reexiones).
Lema 4 Si dos elementos a; b de un grupo G conmutan, entonces abz =

bz a; 8z 2 Z:
Demostracin. Por induccin. Si z = 0, entonces ab0 = ae = a, tambin

0
b a = ea = a:
Supongamos que abn = bn a; entonces abn+1 = abbn = babn =
z }| {
h ip te sis
d e in d u c c i n
bbn a = bn+ 1 a: Lo que establece el resultado para z 0:

z
Si z < 0;entonces abz = a (b 1 ) ; como ab = ba =) ab 1 = b 1 a,
z z
entonces podemos aplicar el caso anterior: a (b 1 ) = (b 1 ) a = bz a:
Lema 5 Si dos elementos a; b de un grupo G conmutan, entonces aw bz =

bz aw ; 8z; w 2 Z:
Demostracin. Se sigue del anterior.
Lema 6 En un grupo G; aaz = az+1 ; 8a 2 G; 8z 2 Z:
Demostracin. Si z = 0; entonces aa0 = ae = a; a0+1 = a1 = aa0 =

ae = a:
Supongamos que para n 0; aan = an+1 : Entonces aan+1 = a(n+1)+1 =
an+2 :
Si z < 0; entonces z + 1 0: As, z = 1 o bien z + 1 < 0:
Si z = 1; entonces aaz = aa 1 = e = a0 = a 1+1 :
z z
Si z < 1 entonces aaz = a (a 1 ) ; quisiramos ver que az = (a 1 ) =
z
az+1 ; lo que equivale a demostrar que a (a 1 ) = a 1 az+1 : Como z + 1 < 0;
(z+1)
tenemos por lo que ya hemos demostrado, que a 1 az+1 = a 1 (a 1 ) =
1 (z+1)+1 1 z z
(a ) = (a ) = a :
1 z
Lema 7 En un grupo (az ) =a z
= (a 1 ) :
Demostracin. La armacin es claramente cierta para z 2 f0; 1g :

1.1. GRUPOS 11
n n
Si n > 0 entonces a n = (a 1 ) ; por denicin. Nos falta ver que (a 1 ) =
(an ) 1 ; para esto tomemos
1 n 1 n 1 1 n 1
an a = a (a)n 1
a 1
a = a (a)n 1
a a 1
=
1 n 1
= a (a)n 1
a a 1
= aa 1
= e (por induccin).
1
1 n
Si n < 0 (an ) = (a 1 ) ; podemos aplicar lo que acabamos de
1
1 n ( n)
demostrar, usando que n > 0 : (an ) = (a 1 ) = (a 1 ) =
1 n n 1 n
(a ) : Resta mostrar que esto ltimo coincide con a : Pero (a ) =
n
1
(a 1 ) =a n
:
Lema 8 En un grupo G; az+w = (az ) aw ; 8a 2 G; 8z; w 2 Z :
Demostracin. Si w = 0; entonces az+0 = az = az e = az a0 :

Suponiendo que az+n = (az ) an con n 0; entonces az+n+1 = aaz+n =
aa a = az aan = az an+1 (se us el lema previo y que toda potencia de a
z n
conmuta con a).

Si w < 0; entonces
w 1 1 w
az aw = az a 1
= (az ) a 1
=
z 1 1 w 1 z 1 w 1 z w
= a a = a a = a = az+w :
Usando los lemas previos.
Lema 9 En un grupo G; azw = (az )w ; 8a 2 G; 8z; w 2 Z :
Demostracin. Si w = 0; entonces az0 = a0 = e = (az )0 :

Supongamos que n 0 y que azn = (az )n ; entonces az(n+1) = azn+z =
azn az = az azn = az (az )n = (az )n+1 :
n n
1 z z( n)
Si n < 0 entonces (az )n = (az ) 1
= (a) = (a 1 ) =
zn
(a 1 ) = azn :
1.2. Subgrupos
Denicin 10 Decimos que un subconjunto S de un grupo (G; ; e) es un
subgrupo si S; jS S ; e0 es un grupo.
Notemos que para que esto tenga sentido necesitamos que jS S : S

S ! S sea una operacin en S: Es decir, necesitamos que el producto
de dos elementos de S sea un elemento de S:Por otra parte podemos notar
que e0 tiene que coincidir con e : e0 e0 = e0 jS S e0 = e0 = e0 e , as
que multiplicando por (e0 ) 1 del lado izquierdo, obtenemos e0 = e: Notemos
tambin que el inverso de a en el grupo S; jS S ; e0 ; debe coincidir con el
inverso de a en G : pues si llamamos b y c a dichos inversos, tenemos que
a b=a jS S b = e0 = e = a c;
de donde b = c.
De hecho, podemos demostrar que:
Teorema 4 Son equivalentes para S G; (G; ; e) un grupo:
1. S es un subgrupo de G; (S G).
a) e 2 S
b) S es cerrado bajo (a; b 2 S =) a b 2 S).
1
c) a 2 S =) a 2 S:
Demostracin. Hemos observado que 1) =) 2):

2)=) 1)
La condicin b) es equivalente a que jS S es una operacin en S: Como
es una operacin asociativa, entonces jS S tambin lo es, ya que si a (b c) =
(a b) c 8a; b; c 2 G; en particular a (b c) = (a b) c 8a; b; c 2 S:
Por la condicin a) tenemos que e es el neutro para jS S : Y por ltimo
c) dice que todo elemento en S tine inverso en S:
Lema 10 Son equivalentes para S G; G un grupo:
1. S G:
1
2. S 6= ?; a; b 2 S =) ab 2 S:
1.2. SUBGRUPOS 13
Demostracin. Debe se claro que 1) =) 2):

2) =) 1) Sea a 2 S; por hiptesis aa 1 2 S; por lo que e 2 S:
Si a 2 S; como ya vimos que e 2 S; entonces ea 1 2 S: por lo que
a 2 S =) a 1 2 S:
1
Ahora, si a; b 2 S, entonces a; b 1 2 S: por lo tanto a (b 1 ) 2 S; es
decir, ab 2 S:
Notaremos ahora que un subconjunto nito no vaco de un grupo es un
subgrupo cuando es cerrado bajo la operacin del grupo.
Lema 11 Sea (G; ; e) un grupo y S un subconjunto nito no vaco de G:

Son equivalentes:
1. S G:
2. S es cerrado bajo :
Demostracin. Es claro que 1) =) 2):

2) =) 1):
N n f0g ! S
Sea a 2 S, y consideremos la funcin , que est deni-
n 7! an
da porque S es cerrado bajo : Como S es nito esta funcin no puede
ser inyectiva, as que 9m > n > 0 tales que am = an : As tenemos que
am n = e; con m n > 0: De aqu tenemos que e 2 S y que e = aam n 1 ;
con m n 1 0; as que a 1 = am n 1 2 S:
Corolario 2 Si G es un grupo nito entonces cualquier subconjunto cerrado

nito y no vaco es un subgrupo de G:
1.2.1. El Teorema de Lagrange

Sea H G, con G un grupo nito, veremos que el nmero de elementos
de H (orden de H) divide al orden de G:
Denicin 11 Si X; Y G denimos XY = fxy 2 G j x 2 X; y 2 Y g :

En particular H fag = fha j h 2 Hg :
Notacin 2 Escribimos Ha en lugar de H fag : Escribimos aH en lugar de

fag H.
Lema 12 Si G es un grupo, X G y a 2 G, entonces jXaj = jXj :

() a
Demostracin. Notemos que la funcin X ! Xa es una biyec-
x 7 ! xa
() a 1
cin. (con inverso Xa ! X ).
1
Lema 13 Si H G, a; b 2 G entonces Ha = Hb si y slo si ab 2 H:
Demostracin. Para empezar notemos que Ha = H () a 2 H:

Si Ha = H entonces a = ea 2 Ha = H: Recprocamente, si a 2 H
entonces Ha H por la cerradura de H bajo el producto, adems dada
h 2 H;tenemos que h = he = (ha 1 ) a 2 Ha ya que a 1 2 H; dado que
a 2 H:
Ahora, si Ha = Hb entonces a = ea 2 Ha = Hb; por lo que a =
hb;p.a. h 2 H; entonces ab 1 = h 2 H:
Recprocamente, si ab 1 2 H;entonces Hab 1 = H, as que (Hab 1 ) b =
Hb:
Pero (Hab 1 ) b = Ha; ya que hab 1 b = ha; 8h 2 H: Por lo tanto Ha =
Hb:
H H
Lema 14 Sea H G: La relacin denida en G por a b si y slo si
ab 1 2 H es una relacin de equivalencia.
H 1
Demostracin. a a ya que aa = e 2 H; 8a 2 G:
H 1 1 1 H
a b =) ab 2 H =) (ab 1 ) = (b 1 ) a 1
= ba 1
2 H =) b a:
H H 1 1 1 1 1
a b c =) ab 2 H; bc 2 H =) (ab ) (bc ) = ac 2 H:
f
Observacin 2 Si X ! Y es una funcin, esta funcin induce otras dos:
f`
} (X) ! } (Y ) ;
A 7 ! f (A)
donde f (A) = fc 2 Y j c = f (a) ; a 2 Ag y
f 1 ()
} (Y ) ! } (X) ;
B 7 ! f 1 (B)
1
donde f (B) = fa 2 A j f (a) 2 Bg :
1.2. SUBGRUPOS 15
El lector puede recordar que la segunda funcin es mejor comportada re-

specto a la presevacin de uniones e intersecciones, es decir que f 1 \ fBi gi2I =
\ ff 1 (Bi )gi2I y tambin f 1 [ fBi gi2I = [ ff 1 (Bi )gi2I : En cambio
f respeta uniones o intersecciones slo en casos especiales, por ejemplo si
f 1
X ! Y es biyectiva, ya que en este caso f = (f 1 ) :
Observacin 3 Sea G un grupo, sea a 2 G; y sea fXi gi2I una familia de

subconjuntos de G; entonces a \ fXi gi2I = \ faXi gi2I ; a [ fXi gi2I =
[ faXi gi2I y \ fXi gi2I a = \ fXi agi2I ; [ fXi gi2I a = [ fXi agi2I :
a ()
Demostracin. Se sigue del prrafo precedente, notando que G ! G
() a
y G ! G son funciones biyectivas.
() a
Observacin 4 H ! Ha es una biyeccin, para toda a 2 G (H G).
Teorema 5 Si H G, entonces fHa j a 2 Gg es una particin de G y todos

los elementos de la particin tienen o (H) elementos.
Demostracin. Se sigue de lo observado anteriormente.
Denicin 12 jfHa j a 2 Ggj se llama el ndice de H en G (el nmero de

clases laterales derechas mdulo H), se suele denotar iG (H) o [G : H].
Teorema 6 (Lagrange) Si G es un grupo nito y H G; entonces o (H) j

o (G) :
Demostracin. o (G) = j[ fHa j a 2 Ggj = iG (H) o (H) :
Ejemplo 4 En el grupo S de simetras del cuadrado, hfH; Lgi = S :

Para ver esto, notemos que Id; H; V; HL; LH son 5 elementos distintos en
hfH; Lgi ; y 8 es el nico divisor de 8 mayor que 4.
o (H) o (K)
Lema 15 Si H; K son subgrupos de G; entonces jHKj = :
o (H \ K)
Demostracin. Consideremos el producto cartesiano H K denamos

H K ! HK
es claro que esta funcin es suprayectiva. Denamos
(h; k) 7 ! hk
ahora un relacin en H K por (a; b) ' (c; d) , ab = cd:
Notemos que ' es una relacin de equivalencia en H K :

(a; b) ' (a; b) pues ab = ab; (a; b) ' (c; d) =) ab = cd =) cd = ab =)
(c; d) ' (a; b) ;la transitividad tambin es inmediata. Cul es la clase de
equivalencia de (a; b) y cuntos elementos tiene? (c; d) ' (a; b) =) cd =
ab =) a 1 c = bd 1 2 H \ K; ya que a; c 2 H y c; d 2 K: Entonces
1 1
cd = (aa 1 ) cd (b 1 b) = a (a 1 c) (db 1 ) b ya que db 1 = (bd 1 ) = (a 1 c) :
Veamos que [(a; b)]' = f(ax; x 1 b) j x 2 H \ Kg :
Si (c; d) ' (a; b) entonces cd = ab; as que c = abd 1 y d = c 1 ab;
1
por lo que (c; d) = (abd 1 ; c 1 ab) con bd 1 2 H \ K y c 1 a = (bd 1 ) : Por
lo tanto (c; d) 2 f(ax; x 1 b) j x 2 H \ Kg : Recprocamnete, (ax; x 1 b) '
(a; b) ; ya que (ax) (x 1 b) = ab:
En vista de lo anterior [(a; b)]' tiene tantos elementos como H \ K:
Luego j(H K) = 'j = jHKj ; lo que dice que H K est partido en
jHKj clases de equivalencia. Por otro lado, cada clase de equivalencia tiene
o (H \ K) elementos. Por lo tanto,
o (H) o (K) = jH Kj = jHKj o (H \ K)
o (H) o (K)
de aqu tenemos que jHKj = :
o (H \ K)
Ejercicio 23 Sea S G; G un grupo, dena sS en G por a a sS b si

1
ab 2 S: Demuestre que sS es una relacin de equivalencia en G , S es un
subgrupo de G:
Ejercicio 24 Determine el nmero de elementos en los grupos de simetras

del cubo, del tetraedro del dodecaedro y del icosaedro.
1.3. Morsmos
f
Una funcin G ! H es un morsmo de grupos si G y H son grupos
y f (a b) = f (a) f (b) ;donde denota la operacin de G y denota la
operacin de H:
G 1
1. La identidad G ! G en un grupo es un morsmo.
G ! H
2. La funcin constante es un morsmo.
a 7! e
1.3. MORFISMOS 17
3. Sea (G; ; e) un grupo y sea H un subconjunto de G:

i
H ,! G es un morsmo , H G:
Veamos esto.
=)) Si la inclusin de H en G es un morsmo entonces H debe ser
un grupo, con la operacin ;digamos y con neutro e0 ; digamos. Sean
a; b 2 h; entonces a b = i (a b) = i (a) i (b) = a b; lo que demuestra
que la operacin en H coincide con la restriccin de : Por otro lado
e e0 = e0 = e0 e0 = e0 e0 ; de donde e = e0 . Entonces H; jH H ; e es
un grupo, es decir, H G:
() Si H G, y a; b 2 H entonces i (a b) = a b = i (a) i (b) :
4. Los reales positivos R+ son un subgrupo de (R n f0g ; ; 1) y la expo-

e()
nencial (R; +; 0) ! (R+ ; ; 1) es un morsmo.
x 7! ex
a()
5. Si a 2 G; Z ! G es un morsmo.
z 7 ! az
Lema 16 Si f : G ! H es un morsmo de grupos entonces:
1. f (eG ) = eH :
1
2. f (a 1 ) = f (a) ; 8a 2 G:
3. f (az ) = f (a)z ; 8z 2 Z:
Teorema 7 Si f : G ! H es un morsmo de grupos entonces:
1. Si K G entonces f (K) H:
1
2. Si L H entonces f (L) G:
Demostracin. 1) Como eG 2 K (K G), entonces eH = f (eG ) 2

f (K) :
Si x; y 2 f (K) ;digamos que x = f (a) ; y = f (b) ; con a; b 2 K; entonces
xy = f (a) f (b) = f (ab) 2 f (K), ya que ab 2 K dado que K es cerrado.
Si x = f (a) ; a 2 K; entonces x 1 = f (a) 1 = f (a 1 ) 2 f (K) ; ya que
a 1 2 K:
2) f (eG ) = eH 2 L (L H), esto equivale a eG 2 f 1 (L) :
Si a; b 2 f 1 (L) ; entonces f (a) 2; f (b) 2 L; por lo que f (ab) =

f (a) f (b) 2 L: Es decir que ab 2 f 1 (L) :
Si a 2 f 1 (L) entonces f (a) 2 L; as que f (a 1 ) = f (a) 1 2 L: Por lo
tanto a 1 2 L:
Existen dos casos importantes que podemos notar.
1. Si f : G ! H es un morsmo de grupos, entonces Im (f ) = f (G) H

(G G).
1 1
2. Como feH g H, entonces f (feH g) G: f (feH g) se llama el
ncleo (kernel) de G;
ker (f ) = fx 2 G j f (x) = eH g :
a()a 1
Observacin 5 Si a 2 G; G un grupo entonces G ! G es un

1
x 7 ! axa
a 1 ()a
morsmo con inverso G ! G ; que tambin es un morsmo.

x 7! a 1 xa
1
a ( ) a se llama conjugacin por a o automorsmo interior.
1
Demostracin. Veamos que a ( ) a es un morsmo.
1 1 1
a () a (xy) = a (xy) a = a (xey) a =
= a xa 1 ay a 1
= axa 1
aya 1
=
1 1
= a () a (x) a () a (y) :
Denicin 13 Decimos que H G es un subgrupo normal si H es invari-

ante bajo cualquier conjugacin, es decir si aHa 1 H 8a 2 G:
Notemos que si aHa 1 H 8a 2 G; tambin tendremos que a 1 Ha =

1
a 1 H (a 1 ) H: Multiplicando por a y por a 1 a la izquierda y a la
1
derecha, respectivamente tenemos que aa 1 H (a 1 ) a 1 aHa 1 :
Lema 17 El ncleo de un morsmo es un subgrupo normal.

1.4. COCIENTES 19
f
Demostracin. Sea G ! H un morsmo de grupos. Ya sabemos
que Ker (f ) G: Falta observar la normalidad. Queremos demostrar que
8a 2 G; a (Ker (f )) a 1 Ker (f ) : Tomemos x 2 Ker (f ) ; f (axa 1 ) =
f (a) f (x) f (a 1 ) = f (a) eH f (a 1 ) = f (a) f (a) 1 = eH : Luego axa 1 2
Ker (f ) :
a()
Ejemplo 5 Si consideramos el morsmo Z ! G tenemos dos casos:
z 7! az
1. Ker a() = f0g , a es de orden innito.
2. Ker a() = nZ; n > 0; en cuyo caso n = o (a) :
1.4. Cocientes
G ! G
Nos haremos la siguiente pregunta: Cundo la funcin natural
a 7 ! [a]
es un morsmo de grupos si es una relacin de equivalencia?
Para empezar, necesitamos que [ab] = (ab) = (a) (b) = [a] [b] ; lo
que signica que el producto en G debe estar dado por [a] [b] = [ab] :
Necesitamos que este producto est bien denido, es decir, necesitamos
que
si a yb entonces ab :
Llamaremos congruencia de G a una relacin de equivalencia con la
propiedad anterior.
Observacin 6 Si es una relacin de equivalencia en G; entonces
G ! G
a 7! [a]
es un morsmo de grupos.
Demostracin. Notemos que G es un grupo con la operacin dada

por [a] [b] = [ab] : Esta operacin es asociativa: [a] ([b] [c] ) =
[a] [bc] = [a (bc)] = [(ab) c] = [ab] [c] = ([a] [b] ) [c] :
El neutro de es [eG ] , y el inverso de [a] es [a 1 ] : Como se puede
comprobar con un clculo.
Se sigue inmediatamente que es un morsmo.

Podemos notar ahora que ker ( ) G; y tambin que ker ( ) = [eG ] :
Adems ker ( ) es un subgrupo normal de G:
Teorema 8 Las siguientes armaciones son equivalentes para una relacin

de equivalencia en un grupo G:
1. G ! G= es un morsmo de grupos, donde (a) = [a] .
2. es una congruencia en G:
H
3. = ; donde H es un subgrupo normal de G y H = [e] :
Demostracin. 1) =) 2) Ya hemos observado que si es un morsmo,

entonces es una congruencia en G:
2) =) 1) Si es una congruencia en G; entonces a ;b =) ab
: Luego el producto [a] [b] = [ab] est bien denido y hace que G=
sea un grupo y que sea un morsmo de grupos.
1) =) 3) ker ( ) es un subgrupo normal de G y
ker ( ) = fa 2 G j (a) = [e] g =
= fa 2 G j [a] = [e] g = [e] ;

ya que [e] es el neutro del grupo G= : Llamemos H = ker ( ) :
H
Ahora tenemos que demostrar que = :
1 1
a b , [a] = [b] : Entonces [e] = [a] ([a] ) = [a] ([b] ) =
1 1 1 H
[a] [b ] = [ab ] , ab 2 [e] = H , a b:
H
3) =) 1) Slo tenemos que demostrar que G ! G= es un morsmo,
H H
pero esto se sigue de 2)=) 1) y de que es una congruencia en G : si a
H
yb entonces a 1 2 H y b 1 2 H; entonces a 1 = h1 ; b 1 = h2 2 H;
entonces ab ( ) 1 = ab 1 1 = a (h2 ) a 1 2 H; si recordamos que H es un
subgrupo normal de G:
H
Observacin 7 es una congruencia , H E G:
1.4. COCIENTES 21
Demostracin. (=) Si H E G entonces HaHb = HaHa 1 ab = H (aHa 1 ) ab =

HHab = Hab; ya que HH H (H es cerrado) y H = eH HH: Note
H H 1 1 1
que a ;b ; entonces H H = H y ab ( ) = ab =
a b 1 1
2 aHa 1 H; por lo que Hab = H :
H
=)) Si es una congruencia, entonces HaHb = [a]H [b]H = [ab]H = Hab:
En particular, aHa 1 HaHa 1 = Haa 1 = He = H; 8a 2 G:
Denicin 14 Sea en G denida por a b , a 1 b 2 H:

H H
Podemos demostrar que es una relacin de equivalencia en G y que la

H
clase de equivalencia de a es aH: (Note que aH = bH , a 1 b 2 H). aH se
llama clase lateral izquierda.
Lema 18 H E G , Ha = aH; 8a 2 G:
Demostracin. Ha = aH; 8a 2 G , a 1 Ha = a 1 aH = H; 8a 2 G ,
H E G:
H
Observacin 8 H E G , = :
H
Ejercicio 25 Muestre que el conjunto de clases laterales derechas de H G

tiene la misma cardinalidad que el conjunto de clases laterales izquierdas. Es
decir, de una biyeccin G=H ! G= :
H
123
Ejemplo 6 6E S3 :
132
Note que:
Id a b c r r 1
Id Id a b c r r 1
a a Id r r 1 b c
1
b b r Id r c a
c c r r 1 Id a b
1
r r c a b r Id
r 1 r 1 b c a Id r
ab = r; ac = r 1 ; bc = r; ba = r 1 ; ca = r; cb = r 1 ; ara = r 1 ; brb =
r 1 ; crc = r 1 :
hai = fId; ag tiene las clases laterales derechas:

hai e = hai = fe; ag ; hai b = fb; rg ; hai c = fc; acg = fc; r 1 g y tiene las
clases laterales izquierdas fe; ag ; b hai = fb; r 1 g ; c hai = fc; rg :
Note que fc; rg es una clase lateral izquierda pero no es una clase lateral
derecha.
Denicin 15 C (G) = fa 2 G j ab = ba 8b 2 Gg :(El centro de G).
C (G) E G:
Ejemplo 7 Sea a 2 G tal que o (a) = 2: hai E G , a 2 C (G) :
Demostracin. =)) Si hai E G entonces 8g 2 G; g hai g 1 = hai : As

que g hai g 1 = g fe; ag g 1 = fe; gag 1 g = fe; ag ; luego gag 1 = a; 8g 2 G;
es decir que ga = ag; 8g 2 G; es decir que a 2 C (G) :
(=) Si a 2 C (G) es claro que hai E G:
Lema 19 Un subgrupo de ndice 2 es normal.
Demostracin. Si H es un subgrupo de G de ndice 2 entonces H tiene

dos clases laterales derechas: H; Ha (donde a 2 G r H) y dos clases laterales
izquierdas: H y aH (recordar que hay el mismo nmero de clases laterales
derechas que de izquierdas, Ha 7! a 1 H da una biyeccin). Es claro que
Ha = G r H = aH; de donde tenemos que cada clase lateral izquierda es
una clase lateral derecha (y Recprocamente). Luego H E G:
Denicin 16 C (a) = fb 2 G j ab = ba; 8b 2 Gg :
1. C (a) G.
2. C (G) = \ fC (a) j a 2 Gg :
3. a 2 C (G) , C (a) = G:
Observacin 9 Si G es abeliano, entonces todos sus subgrupos son nor-

males.
Denicin 17 Se dice que un grupo es hamiltoniano cuando todos sus sub-

grupos son normales.
1.4. COCIENTES 23
Notacin 3
gHg 1 = fghg 1 j h 2 Hg
gH = fgh j h 2 Hg
Hg = fhg j h 2 Hg
gH se llama clase lateral izquierda de H con representante g: Hg es una

clase lateral derecha.
Corolario 3 Hay una correspondencia biyectiva entre las congruencias de

G y el conjunto de los subgrupos normales de G:
Demostracin. Denotemos Congr(G) al conjunto de las congruencias

de G
y por [(e); G]C el conjunto de los subgrupos normales de G:
f
Congr(G) ! [(e); G]C
7 ! e
g
[(e); G]C ! Congr(G)
H
H 7 !
H
donde a b , ab 1 2 H:
Armamos que f; g estn bien denidas y son inversas una de la otra
f
Congr(G) ! [(e); G]C
7 ! e
Hemos observado que e es un subgrupo normal de G:
H
Vimos antes que si H C G; entonces es una congruencia en G; es decir
que
H H H
a a1 , b b1 ) ab a1 b 1
f
Congr(G) [(e); G]C
g
H
7 ! H
Nos falta notar que f; g son funciones inversas una de la otra.
f e
7 !e7 ! ,
e
p.d. = .
e 1 e 1
Ahora, a b , ab 1 = e:Pero ab 1 = ab 1 = a(b) )a b , a(b) =e
e
, a = b , a b: Por lo tanto =
Ahora, sup H C G , entonces
g H
H7 ! 7 ! e:
H
Aqu , e denota la clase de e mdulo :
H 1
e = fg 2 G j g eg = fg 2 G j ge 2 Hg = fg 2 G j g 2 Hg = H:
Entonces f y g son inversas una de la otra.

Podemos hacer varias observaciones al respecto:
g( )g 1
1. G ! G es un morsmo invertible con inverso g 1 ( )g:

1
a 7 ! gag
H
2. se puede denir para cualquier subgrupo de G y no necesariamente
es una congruencia (si H 6 G) pero siempre es una relacin de equiv-
alencia en G:
f
Ejercicio 26 Muestre que (R; +; 0) ! (C n f(0; 0)g ; ; 1) es un mors-
r 7! eir
mo de grupos. Describa ker f , imf:
Ejercicio 27 Muestre que [0; 1) R es un grupo conmutativo con la op-

r + s si r + s 1
eracin denida por r s = y demuestre que
r + s 1 si r + s > 1
f
(R; +; 0) ! [0; 1) es un morsmo, donde brc = max fz 2 Z j z rg :
r 7! r brc
Describa el ncleo y la imagen de f:
1.5. MONOS, EPIS E ISOS 25
1.5. Monos, epis e isos

Denicin 18 Sea f : G ! H un morsmo de grupos, se dice que f es
1. monomorsmo si f es un morsmo cancelable por la izquierda (respec-

g
to a morsmos) es decir que f g = f h =) g = h si K G son
h
morsmos.
2. epimorsmo si f es un morsmo cancelable por la derecha (respecto a

g
morsmos de grupos), es decir que gf = hf =) g = h si H L son
h
morsmos.
3. isomorsmo si f tiene inverso (morsmo).
Teorema 9 Son equivalentes para un morsmo f : G ! H :
1. f es un monomorsmo.
2. kerf = feG g :
3. f es un morsmo inyectivo.
Demostracin. 1) =) 2) Si existiera e 6= x 2 ker f; consideremos

i f
Kerf G ! H; donde i es la inclusin y e denota el morsmo trivial.
e
Entonces f i = e = f e pero i 6= e; ya que i (x) = x 6= e = e (x) :
2) =)3) f (a) = f (b) , f (a) f (b) 1 = eH : Esto equivale a f (a) f (b) 1 =
f (a) f (b 1 ) = f (ab 1 ) = eH ; es decir ab 1 2 ker f = feG g ; de donde ten-
emos que ab 1 = e;es decir que a = b:
3) =)1) Si f es un monomorsmo inyectivo, entonces f es cancelable por
la izquierda (respecto a funciones), en particular es en monomorsmo.
Tambin podemos demostrar que 1) =) 2) de la siguiente manera:
Si f no fuera inyectiva, entonces 9a 6= b tales que f (a) = f (b) . FALTA!!!
1. f es un isomorsmo.
2. f es un morsmo biyectivo.
Demostracin. Si f es un isomorsmo, entonces tiene inverso por lo que

f es biyectivo.
f
Recprocamente, si G ! H es un morsmo biyectivo, entonces f tiene
f 1
inverso (como funcin) H ! G y hay que demostrar que tambin es un
morsmo. Sean a; b 2 H; y sean x; y 2 G tales que a = f (x) y b = f (y) (f
es suprayectiva) entonces f 1 (ab) = f 1 (f (x) f (y)) = f 1 (f (xy)) = xy =
f 1 (a) f 1 (b) : Ya que a = f (x) , f 1 (a) = x:
Desde el punto de vista del lgebra, dos grupos isomorfos son el mismo
grupo.
Es importante determinar cuando dos grupos son o on isomorfos. La man-
era de demostrar que son isomorfos es exhibiendo un isomorsmo y la manera
de demostrar que no lo son es mostrando una propiedad que tenga uno de
los dos grupos y que no la tenga el otro, y que sea una propiedad que los
isomorsmos respetan.
Observacin 10 Si dos grupos son isomorfos, entonces sus conjuntos sub-

yacentes tienen la misma cardinalidad.
Ejemplo 8 (Q; +; 0) y (R; +; 0) son grupos no isomorfos ya que jQj = jNj <
jRj :
1. f es un epimorsmo.
2. f es un morsmo suprayectivo.
Es claro que un morsmo biyectivo tiene que ser un epimorsmo ya que

si es cancelable por la derecha respecto a funciones, tambin es cancelable
por la derecha respecto a morsmos.
Que un epimorsmo necesariamente es una funcin suprayectiva, tambin
es cierto pero conviene dejar la demostracin para ms tarde.
Lema 20 Dos grupos cclicos sin isomorfos si y slo si tienen la misma

cardinalidad.
Demostracin. Si G = hai = aZ es un grupo cclico, tenemos dos posibil-

Z ! aZ
idades: o todas las potencias de a son distintas, en cuyo caso es
z 7! az
1.5. MONOS, EPIS E ISOS 27
un isomorsmo y jZj = aZ = jGj ; o bien G = hai es nito y jGj = o (a) = n;

f
en cuyo caso Zn ! Gz es un isomorsmo. Vale la pena comprobar es-
z 7! a
to ltimo, es claro que f es suprayectiva. Veamos que est bien denida,
n
y que es un morsmo inyectivo. z = w , z w , z w = ns p.a.
z w ns n s s
s2Z,a = a = (a ) = e = e: As que multiplicando por la derecha
por aw tenemos que az = aw ; es decir que f (z) = f (w) y f est bien denido.
f es un morsmo: f (z + w) = f (z + w) = az+w = az +aw : Por ltimo, segn
vimos, para ver que f es inyectiva, basta ver que ker (f ) = f0g : En efecto,
n
e = f (z) = az =) n = o (a) j z; as que z 0 o lo que es lo mismo, z = 0:
En resumen, un grupo cclico innito es isomorfo a Z, mientras que un
grupo cclico de orden n es isomorfo a Zn :
f
Observacin 11 Si G ! H es un morsmo, y a 2 G es de orden nito,
entonces o (f (a)) j o (a) :
Demostracin. e = f (e) = f ao(a) = (f (a))o(a) ; as que o (f (a)) j

o (a) :
Observacin 12 Un isomorsmo preserva el orden de los elementos. Es

decir que si f : G ! H es un isomorsmo y a 2 G; entonces o (f (a)) =
o (a) :
Demostracin. Si a es de orden nito, por la observacin previa tenemos

que o (f (a)) j o (a) : Como f 1 tambin es un morsmo, tenemos que o (a) =
o (f 1 (f (a))) j o (f (a)) :
Si a es de orden innito entonces f (a) no puede ser de orden nito
(ya que entonces o (a) = o (f 1 (f (a))) j o (f (a))) entonces f (a) tambin es
de orden innito.
Observacin 13 Si G es un grupo, denotemos t (G) = fa 2 G j o (a) < 1g :

Si G es isomorfo a H entonces jt (G)j = jt (H)j :
f
G ! H
Demostracin. Si en el diagrama " " ; f es un isomor-
fjt(G)
t (G) ! t (H)
smo, entonces fjt(G) es una biyeccin.
Ejercicio 28 Demuestre que si G u H entonces G y H tienen el mismo

nmero de elementos de orden n; 8n 2 N:
Ejercicio 29 Demuestre que en un conjunto de grupos, la relacin de ser

isomorfo a es una relacin de equivalencia.
1
Ejercicio 30 Si G es un grupo y bab = ai ; para a:b 2 G; i 2 Z; entonces
j
bj ab j = ai ; 8j 2 Z.
Veremos ahora que los epimorsmos mandan conjuntos generadores a

conjuntos generadores.
f
Teorema 12 Si G ! H es un epimorsmo y X G genera, entonces f (G)
genera H:
1.6. Subgrupos normales

H
Como hemos observado H E G , es una congruencia en G , (G ; ;e
) es un grupo y
G !G H
a 7 ! a
1 1
es un morsmo de grupos. , 8 a 2 G; aHa H , 8 a 2 G; aHa =
H y H G:
Como
g( )g 1
G ! G
b 7 ! aba 1
es un morsmo con inverso (es decir un isomorsmo) entonces H G )
aHa 1 G:
Notacin 4 Al conjunto de subgrupos normales de G lo denotaremos [(e); G]C
Notemos que (e) C G y G C G:

f
Lema 21 Si G ! H es un morsmo de grupos entonces
1. U C H ) f 1
(U ) C G
1.6. SUBGRUPOS NORMALES 29
2. En particular ker f = f 1
(feg) C G:
Demostracin. U C H ) f (eG ) = eH 2 U ) eG 2 f 1 (U ) (eG ; eH

denotan los neutros de G y de H respectivamente).
Sean a; b 2 f 1 (U ) ) f (ab 1 ) = f (a)f (b 1 ) = f (a)f (b) 1 2 U ) ab 1 2
f (U ) y as f 1 (U ) G:
1
Finalmente, si b 2 f 1 (U ); entonces
f (aba 1 ) = f (a)f (b)f (a 1 ) = f (a)f (b)f (a) 1

2U
(pues U es normal). ) aba 1 2 f 1 (U ) 8 b 2 f 1 (U ) ) f 1 (U ) C G:

Podemos observar que una interseccin arbitraria de subgrupos normales
de G es un subgrupo normal de G:
Lema 22 Sea f : X ! Y una funcin entonces f induce una funcin

f 1( )
}(Y ) ! }(X) :
U 7 ! f 1 (U )
que respeta uniones , intersecciones y el orden.

Demostracin. Sean U V Y y f (a) 2 U ) f (a) 2 V ) a 2 f 1 (U )
) a 2 f 1 (V ) ) f 1 (U ) f 1 (V ):
Sea fUi gi2I una familia de subconjuntos de Y:Si f (a) 2 \fUi gi2I ;entonces
f (a) 2 Ui 8 i 2 I ) a 2 f 1 (Ui ) 8 i 2 I ) a 2 \ff 1 (Ui )g ) f 1 (\fUi gi2I )
\ff 1 (Ui )gi2I :Recprocamente a 2 \ff 1 (Ui )gi2I ) a 2 f 1 (Ui ); 8 i 2 I )
f (a) 2 Ui 8 i 2 I ) f (a) 2 \fUi gi2I ) a 2 f 1 (\fUi gi2I ):
f 1 respeta uniones. Sea a 2 f 1 ([fUi gi2I ) , f (a) 2 [fUi gi2I , f (a) 2
Ui para alguna i 2 I , a 2 f 1 (Ui ) para alguna i 2 I , a 2 [ff 1 (Ui )gi2I:
f
Lema 23 Si X ! Y es biyectiva entonces:
1. A B X ) f (A) f (b) Y:
2. Si fAi gi2I es una familia de subconjuntos de X; entonces
f (\fAi gi2I ) = \ff (Ai )gi2I

f ([fAi gi2I ) = [ff (Ai )gi2I
1
Demostracin. Si f es biyectiva, f = (f ) 1:
Observacin 14 Si G es un grupo
_a
1. G ! G es una biyeccin.:
b 7 ! ba
a_
2. G ! G es una biyeccin.:
b 7 ! ab
a_a 1
3. G ! G es un isomorsmo.
Demostracin. Recuerde que ( a) 1 = ( a 1 ); que (a _) 1 = (a 1 _)

y que (a( )a 1 ) 1 = a 1 ( )a: Adems a _ a 1 = (_ a 1 ) a _ (composi-
cin de biyecciones) y a _ a 1 es un morsmo: (a _ a 1 ) () = a xy a 1 = a
x (a 1 a) y a 1 = (a x a 1 ) (a y a 1 ) = [(a () a 1 ) (x)] [(a () a 1 ) (y)] :
Observacin 15 Si H G es el nico subgrupo de G con orden o (H) ;

entonces H E G:
1
Demostracin. gHg G y o (gHg 1 ) = o (H) : Por lo tanto gHg 1
=
H; 8g 2 G:
Corolario 4 Si G es un grupo y a 2 G entonces
a(\i2I fAi g) = \i2I (aAi )

a([i2I fAi g) = [i2I (aAi )
donde fAi gi2I es una familia de subconjuntos de G y aAi = fax j x 2 Ai g:
Corolario 5 Si fHi gi2I es una familia de subgrupos de G entonces:

1
1. a(\i2I fHi g)a = \i2I faHi a 1 g:
1
2. a([i2I fHi g)a = [i2I faHi a 1 g:
Corolario 6 Si fHi g es una familia de subgrupos normales de G; entonces

\fHi g es un subgrupo normal de G:
1
Demostracin. a(\i2I fHi g)a = \i2I faHi a 1 g = \i2I fHi g:
Observacin 16 En vista del corolario anterior, cada subconjunto X de un

grupo G; genera un subgrupo normal, al que denotaremos hXi4 :
Es claro que hXi4 es la interseccin de los subgrupos normales de G que

contienen a X; enseguida daremos una descripcin elemental.
1
Teorema 13 hXi4 = hfaxa j a 2 G; x 2 Xgi :
Demostracin.
hfaxa 1 j a 2 G; x 2 Xgi = \ fH G j axa 1 2 H; 8x 2 X; 8a 2 Gg : Nece-
sitamos ver que este es el menor subgrupo normal de G que contiene a X:
Es un subgrupo porque es una interseccin de subgrupos.
Es normal: para esto veamos que es invariante bajo una conjugacin:
1 1
b \ H G j axa 2 H; 8x 2 X; 8a 2 G b =
1 1
= \ bHb G j axa 2 H; 8x 2 X; 8a 2 G
ahora basta ver que
1 1
bHb G j axa 2 H; 8x 2 X; 8a 2 G =
1
= H G j axa 2 H; 8x 2 X; 8a 2 G :
1
Para ver esto consideremos el isomorsmo G b()b! G y recordemos
que induce una funcin } (G) ! } (G) ; que manda el subconjunto X al
subconjunto bXb 1 : Como un morsmo manda subgrupos en subgrupos, en-
tonces tenemos
[hei ; G] ! [hei ; G]
H 7! bHb 1
es una biyeccin del conjunto de los subgrupos de G al conjunto de los sub-
grupos de G (que respeta el orden, las intersecciones y las uniones).
Ahora queremos notar que
1 1 1
axa j a 2 G; x 2 X H , axa j a 2 G; x 2 X bHb
1 1
=)) axa 2 bHb , b 1 axa 1 b 2 H: Pero
1
b 1 axa 1 b = b 1 a x b 1 a 2 H;
por hiptesis.
1
(=) axa 1 2 H , baxa 1 b 1 2 bHb 1 : Como baxa 1 b 1
= (ba) x (ba)
tenemos que baxa 1 b 1 2 bHb 1 :
Con esto tenemos que
1
H G j axa 2 H; 8x 2 X; 8a 2 G
coincide con
1 1
bHb G j axa 2 H; 8x 2 X; 8a 2 G ;
por lo que sus intersecciones tambin coinciden.

Como ya dijimos , de aqu se sigue que
\ H G j axa 1
2 H; 8x 2 X; 8a 2 G E G:
Tambin es claro que

1
X \ H G j axa 2 H; 8x 2 X; 8a 2 G ;
ya que por hiptesis x = exe 1 2 H; 8x 2 X.

Por ltimo, si X K E G; entonces 8a 2 G; aXa 1
aKa 1
= K;
es decir que
axa 1 2 K; 8a 2 G8x 2 X;
es decir que K pertenece a
1
H G j axa 2 H; 8x 2 X; 8a 2 G
y as
1
\ H G j axa 2 H; 8x 2 X; 8a 2 G K:
Ejemplo 9 Si K E H E G no necesariamente K E G:
Demostracin. En el grupo de simetras del cuadrado, hHi E hH; V i E

S ; pero hHi E
6 S :
Teorema 14 Si K hai E G entonces K E G:

Demostracin. Como un subgrupo de un grupo cclico es cclico, en-

tonces K = hai i para alguna i 2 N: Como hai E G; si b 2 G; entonces
bab 1 2 hai ; por lo que 9j 2 N tal que bab 1 = aj : Como b () b 1 es un
i i
morsmo, entonces b (ai ) b 1 = (bab 1 ) = (aj ) = aij : Entonces bKb 1 =
iz iz jz
b hai i b 1 2 K; ya que baiz b 1 = (bab 1 ) = (aj ) = aijz = (ai ) 2 hai i = K:
Ejemplo 10 Un grupo no abeliano hamiltoniano.

Consideremos GL2 (C) el grupo multiplicativo de las matrices de 2 2
i 0
con coecientes complejos y de determinante 6= 0: Sea I = ;J=
0 i
0 1 0 i i 0 0 1
;yK = ; entonces IJ = =
1 0 i 0 0 i 1 0
0 i 0 1 i 0 0 i
= K; JI = = = K; IK =
i 0 1 0 0 i i 0
i 0 0 i 0 1 0 i i 0
= = J, KI = =
0 i i 0 1 0 i 0 0 i
0 1 0 1 0 i i 0
= J: JK = = = I; KJ =
1 0 1 0 i 0 0 i
0 i 0 1 i 0
= = I:
i 0 1 0 0 i
1 0
Entonces el conjunto de las 8 matrices H ; I; J; K es
0 1
cerrado bajo el producto y por lo tanto es un subgrupo de GL2 (C) : o( I) =
1 0 1 0
4; o ( J) = 4 y o ( K) = 4; o =2yo = 1: Todos
0 1 0 1
los subgrupos son normales: los de orden 4 lo son porque son de ndice 2, el
subgrupo de orden 2 es normal porque es el centro del grupo (o porque es el
nico subgrupo de orden 2).
Podemos hacer un diagrama para recordar las relaciones
IJ = K; JK = I; KI = J; y al cambiar el orden de los factores introducimos

un signo". Tambin hay que recordar que I 2 = 1 = J 2 = K 2 :
Hay 6 elementos de orden 4 : I; I; J; J; K; K; un elemento de orden
2 : -1, y un elemento de orden 1:
Todos los subgrupos de H son normales, pues los subgrupos de orden

4 son de ndice 2; los subgrupos de rdenes 1; 2 y 8 son subgrupos nicos
respecto a su cardinalidad.
Denicin 19 Se dice que un grupo es hamiltoniano cuando todos sus sub-

grupos son normales. Un grupo abeliano siempre es hamiltoniano.
Ejercicio 31 Describa el centralizador C (J) en el grupo H descrito arriba.
1.6.1. Caracterizacin de los grupos cclicos

Hemos visto que un grupo cclico nito G tiene exactamente un subgrupo
de orden m para cada m que divida el orden de G: Ahora demostraremos el
recproco.
Lema 24 Si en un grupo G, ab = ba entonces 9c 2 G tal que o (c) =

[o (a) ; o (b)] :
Demostracin. Por induccin sobre m el nmero de factores primos en

la factorizacin en primos de (o (a) ; o (b)) :
Si m = 0, entonces (o (a) ; o (b)) :no tiene factores primos, por lo que
(o (a) ; o (b)) = 1: En este caso [o (a) ; o (b)] = o (a) o (b) :
Ahora (ab)o(a)o(b) = ao(a)o(b) bo(a)o(b) = ee = e; entonces o (ab) j o (a) o (b) :
Por otra parte, (ab)o(ab) = e: Entonces ao(ab) = b o(ab) 2 hai \ hbi : Si
o(a)
x 2 hai\hbi ; entonces o (x) jo(b) ; por lo que o (x) j (o (a) ; o (b)) = 1; de donde
x = x1 = e: Entonces hai \ hbi = hei : As tenemos que ao(ab) = e por lo que
o (a) j o (ab) tambin tenemos que o (b) j o (ab) ; entonces o (a) o (b) j o (ab) y
as o (ab) = o (a) o (b) = [o (a) ; o (b)] :
Supongamos ahora que hay m primos en la factorizacin de (o (a) ; o (b))
y digamos que p j (o (a) ; o (b)), y que p +1 - (o (a) ; o (b)) ; entonces, como es
bien sabido, = m n f ; g donde p es la mayor potencia de p que divide a
o (a) y p es la mayor potencia de p que divide a o (b) :Supongamos sin perder
generalidad que = ; es decir que :
o (a)
Tomemos a0 = ap y b: Entonces a0 y b conmutan, o (a0 ) = ;
p
o (a)
por lo que p no divide a o (a0 ) : Entonces (o (a0 ) ; o (b)) = ; o (b) =
p
(o (a) ; o (b)) 3
: . Entonces (o (a0 ) ; o (b)) tiene menos factores primos que (o (a) : o (b)),
p
as que por hiptesis de induccin 9c 2 G tal que o (c) = [o (a0 ) ; o (b)] =
o (a)
0
o (a ) o (b) p o (a) o (b)
0
= = =
(o (a ) ; o (b)) (o (a) ; o (b)) (o (a) ; o (b))
p
[o (a) ; o (b)] :
Teorema 15 Si un grupo nito G tiene exactamente un subgrupo de orden

m para cada m j o (G) entonces G es cclico.
Demostracin. Por induccin sobre el orden de G:

La base es trivial porque un subgrupo con un elemento es cclico.
Supongamos que o (G) = n y que la armacin vale para grupos con
menos de n elementos que satisfagan las hiptesis.
Note que todos los subgrupos de G son normales, ya que si H G
1
y a 2 G entonces H y aHa son dos subgrupos de G con el mismo orden,
y tienen que coincidir por hiptesis.
Sea a 2 G un elemento de orden mximo.
Supongamos que 9b 2 G n hai ; note que o (b) - o (a) ya que en caso
contrario, el grupo cclico hai contendra otro subgrupo de orden o (b) ; contra
las hiptesis. Como o (b) - o (a) ; entonces 9p tal que divide a o (b) pero que
o(b)
no divide a o (a) : Tomemos b0 = b p ; entonces o (b0 ) = p ; sea p la mayor
potencia de p que divide a o (a) ; (note que < porque p - o (a)), tomemos
o (a)
a0 = ap entonces o (a0 ) = ; por lo que p - o (a0 ) : Ahora hb0 i \ ha0 i = hei
p
dado que el orden de b0 es primo con o (a0 ) : Como ha0 i y hb0 i son subgrupos
normales de G; entonces a0 conmuta con b0 as que debe existir un elemento
o(a)
3 (o (a) ; o (b)) o (a) (o (a) ; o (b)) p
Es claro que j ; o (b) ; ya que jo(b) y tam-
p p p
o (a) (o (a) ; o (b)) o (a)
bin ; o (b) j ya que p ; o (b) j (o (a) ; o (b)) ya que
p p p
o (a) o (a) o (a) o (a)
p ; o (b) j o (a) (pues ; o (b) j ) y p ; o (b) j o (b) (ya que
p p p p
p o(a)
0 1 j o (b) y p es primo con p ; o (b)
o(a)
@ A
p ;o(b)
o (a)
c 2 G tal que o (c) = [o (a0 ) ; o (b0 )] = o (a0 ) o (b0 ) = p = o (a) p >
p
o (a) ; contradiciendo la eleccin de a:
Por lo tanto G = hai :
Teorema 16 Un subconjunto nito multiplicativamente cerrado de elemen-

tos distintos de cero de un campo es un grupo cclico.
Demostracin. Sea G con las hiptesis, por el Lema ???; G es un grupo.

Notemos que cada elemento x de G satisface xo(G) = 1: En un campo hay a
lo ms n races para un polinomio de grado n: As que las races de xo(G) = 1
(xo(G) 1 = 0) son los elementos de G:
Tomemos un elemento a 2 G de orden mximo; G = hai : Si 9b 2 G n
hai entonces o (b) - o (a) ; ya que en caso contrary hai contendra un subgrupo
K de orden o (b) tal que b 2 = K; pero entonces K [ fbg tendra 'o (K) + 1
o(K)
soluciones de x = 1; lo que es imposible. Si o (b) - o (a) ; entonces 9c 2 G
o (a) o (b) o (b)
tal que o (c) = [o (a) ; o (b)] = = o (a) > o (a) ;
(o (a) ; o (b)) (o (a) ; o (b))
contradiciendo la eleccin de a:
Por lo tanto G = hai :
Corolario 7 Un subconjunto nito no vaco multiplicativamente cerrado de

elementos distintos de cero en un campo forman un grupo cclico.
Demostracin. Supongamos que ? 6= H F n f0g es nito, cerrado

bajo el producto de F un campo. ya sabemos que H tiene que ser un grupo
(lema 11).
Notemos que slo puede haber un subgrupo multiplicativo de orden
m; para cada m:
Si K 6= L fueran dos subgrupos multiplicativos de orden m; entonces
cada x 2 K [ L satisfara xm = 1; por el Teorema de Lagrange, pero entonces
el polinomio xm 1 = 0 tendra ms de m races, contradiciendo el hecho
conocido de que todo polinomio con coecientes en un campo tiene a lo ms
tantas races como su grado.
Sea a 2 H un elemento de orden mximo, hai contiene un subgrupo
por cada divisor de su orden, dado que es cclico. Si b 2 H n hai ; entonces
o (b) - o (a) ; ya que en caso contrario hai tendra que tener un subgrupo
de orden o (b) ;pero este tendra que ser hbi (ya que slo hay un subgrupo
de orden o (b)), esto contradice que b 2= hai : As si 9b 2 H n hai ; entonces
1.7. SUBGRUPOS Y NORMALIDAD 37
o (a) o (b)
habra c 2 H tal que o (c) = [o (a) ; o (b)] = > o (a) ; dado
(o (a) ; o (b))
o (b)
que > 1;pues o (b) > (o (a) ; o (b)) : o (c) > o (a) contradice la
(o (a) ; o (b))
eleccin de a:
Corolario 8 Si F es un campo nito entonces (F n f0g ; ; 1) es un grupo

cclico.
19 19 19
Ejemplo 11 Z19 es un grupo cclico: ' (19) = 18: 2; 22 4; 8; 16 3; 25
19 19 19 19 19 19
6; 26 12 7; 27 14 5; 28 10; 29 20 1;
19
as que 218 1: Entonces Z19 = h2i :
Ejercicio 32 Encuentre un generador de Z23 :
Ejercicio 33 Demuestre que Si H G entonces H = hH n fegi :
1.7. Subgrupos y normalidad

Hemos visto que todo subconjunto X G genera un subgrupo normal
hXi4 . Tambin podemos ver que dado H G hay un mayor subgrupo de
G en donde H es normal, N (H) : H contiene un mayor subgrupo normal de
G; H. Habr un mayor subgrupo de H que sea normal en H?
El subgrupo normal generado por X es hXiE = \ fH j X H E Gg =
hgxg 1 j g 2 G; x 2 Xi :
Observacin 17 Si H G entonces el mayor subgrupo de G en donde H

es normal es N (H) = fx 2 G j xHx 1 = Hg :
Demostracin. e 2 N (H) pues

1 1
eHe = H:a; b 2 N (H) ) abH (ab) = abHb 1 a 1
= aHa 1
= H:
a 2 N (H) ) aHa 1 = H ) H = a 1 aHa 1 a = a 1 Ha ) a 1 2

N (H) :
Luego N (H) G: Por denicin, H E N (H) : Y si H E K G entonces
kHk 1 = H: Es decir que K N (H) :
Notemos que H E G , N (H) = G:
Lema 25 Si fNi gi2I es una familia de subgrupos normales de G; entonces
_ fNi gi2I = [ fNi gi2I E G:
Demostracin.
_ fNi gi2I = \ H j [ fNi gi2I H = \ fH j Ni2I H; 8i 2 Ig :
Sea a 2 G; tenemos que

1 1
a (\ fH j Ni2I H; 8i 2 Ig) a = \ aHa j Ni2I H; 8i 2 I :
a()a 1
Ya hemos notado que [hei ; G] ! [hei ; G] es una biyeccin. Hagamos K =
aHa 1 ; entonces
1 1
Ni2I H , Ni = aNi a aHa = K , Ni K:
De lo anterior, tenemos que

1
aHa j Ni2I H; 8i 2 I = fK j Ni2I K; 8i 2 Ig ;
por lo tanto
1
a (\ fH j Ni2I H; 8i 2 Ig) a =
= \ aHa 1 j Ni2I H; 8i 2 I =
= \ fK j Ni2I K; 8i 2 Ig :
Es decir que
\ fH j Ni2I H; 8i 2 Ig E G:
Teorema 17 [hei ; G]4 ; \; _; hei ; G es una subretcula completa de

([hei ; G] ; \; _; hei ; G) :
Demostracin. Lo que arma el teorema esencialmente signica que la

interseccion de una familia arbitraria de subgrupos normales es un subgrupo
normal y que la ni{on de grupos (la yunta) de una familia de subgrupos
normales es un subgrupo normal.
Corolario 9 Si H G, H contiene un mayor subgrupo normal de G:

1.7. SUBGRUPOS Y NORMALIDAD 39
Demostracin. Tomemos _ fK j H K E Gg :
1
Observacin 18 Si H G entonces \ faHa j a 2 Gg es el mayor sub-
grupo normal de G contenido en H:
Demostracin. \ faHa 1 j a 2 Gg eHe 1 = H:

\ faHa 1 j a 2 Gg G; pues es una interseccin de subgrupos de G:
Si b 2 G;entonces b (\ faHa 1 j a 2 Gg) b 1 = \ fbaHa 1 b 1 j a 2 Gg =
= \ fcHc 1 j a 2 Gg :Ya que b () b 1 : G ! G es una biyeccin (as que
cuando a corre en G; bab 1 corre en G).
Por lo tanto \ faHa 1 j a 2 Gg E G:
Por otra parte, si K H y K E G entonces K = aKa 1 aHa 1 ; 8a 2
G; por lo tanto K \ faHa 1 j a 2 Gg :
aHa 1 se llama conjugado de H.
1. El nmero de subgrupos conjugados de H es iG (N (H)) :
2. El nmero de elementos conjugados de a 2 G es iG (C (a)) :
1 f
Demostracin. 1) faHa j a12 Gg ! G=N (H)1 es una biyeccin:
aHa 7! N (H) a
1 1 1 1 1
aHa = bHb , b aHa b = H , b a 2 N (H) ,
a 1 b 2 N (H) , N (H) = N (H) a 1 b , N (H) b 1 = N (H) a 1 :
Lo anterior demuestra que f es inyectiva y est bien denida. Es claro
que N (H) g = f (g 1 N (H) g) ; por lo tanto f es biyectiva.
1 h
2) faga j a 2 Gg ! G=C (g) : h es una biyeccin:
aga 1 7! C (g) a 1
aga 1 = bgb 1 , b 1 aga 1 = gb 1 , b 1 ag = gb 1 a , b 1 a 2 C (g)
, C (g) b 1 a = C (g) , C (g) b 1 = C (g) a 1 : Lo que muestra que h es
inyectiva y est bien denida. Adems C (g) c = h (c 1 gc) :
Ejercicio 34 En el grupo S de las simetras del cuadrado, describa C (V ),

N (hV i) ; hV iE : Describa todos los conjugados de hV iE y verique que el
nmero de conjugados de hV i es el ndice de N (hV i) en S :
1.7.1. La relacin de conjugacin

Es claro que 8a 2 G; la funcin a () a 1 : G ! G es un isomorsmo (su
inversa es a 1 () a:
Veamos ahora que la relacin "ser conjugado de.es una relacin de equiv-
alencia en G : a sc b si existe g 2 G tal que a = gbg 1 :
Reexividad. a = eae 1 :
Simetra. a = gbg 1 ) g 1 ag = b:
Transitividad a = gbg 1 ; b = hch 1 ) a = g (hch 1 ) g 1 = (gh) c (gh) 1 :
En vista de lo anterior, G queda partido en clases de equivalencia, la clase
de equivalencia de a es [a]sc = fgag 1 j g 2 Gg :
Podemos contar el nmero de elementos en [a]sc :
gag 1 = hah 1 () h 1 gag 1 h = a () h 1 ga = ah 1 g () h 1 g 2
(C (a)) 4 () h (C (a)) = g (C (a)) : De aqu vemos que hay una corre-
spondencia biyectiva entre el conjunto de los conjugados de a y el con-
junto de clases laterales izquuierdas del centralizador de a: Por lo tanto
o (G)
[a]sc = :
o (C (a))
Observacin 19 H E G () H = [ [a]sc j a 2 H :
Demostracin. Si H E G; entonces, para cada a 2 H; tenemos que

[a]sc H; de donde tenemos que [ [a]sc j a 2 H H: Por otra parte,
dada a 2 H;tenemos que a 2 [a]sc ; por lo que H H [ [a]sc j a 2 H H:
Recprocamente, si H = [ [a]sc j a 2 H ; dada a 2 H, g 2 G;tenemos
que gag 1 2 [a]sc H: Por lo tanto gHg 1 H; as que H E G:
El argumento anterior se usar con fuerza para demostrar que An 5 es un
grupo simple para n 5:
1.8. Los teoremas de isomorsmo

f
Teorema 18 (de la correspondencia biyectiva) Si G ! H es un mor-
smo suprayectivo, entonces
f
[ker (f ) ; G] ! [hei ; H]
L 7! f (L)
4
Recuerde que C (a) denota el subgrupo de los eleemntos que conmutan con a:
5
An denota el grupo de las permutaciones pares en el conjunto f1; 2; ::; ng :
1.8. LOS TEOREMAS DE ISOMORFISMO 41
es una biyeccin entre los subgrupos de G que contienen a ker ( ) y los subgru-
pos de H (el inverso es f 1 ()). Adems f respeta inclusiones, intersecciones
arbitrarias y yuntas arbitrarias.
Demostracin. Ya sabemos que L G ) f (L) H: Si ker f

L1 ; ker f L2 y f (L1 ) = f (L2 ) entonces 8x 2 L1 f (x) 2 f (L2 ) por lo que
f (x) = f (y) ; con y 2 L2 : Entonces x = yy 1 x = y (y 1 x) 2 L2 ker (f )
L2 L2 = L2 : Por lo tanto L1 L2 ; por simetra L2 L1 : Entonces f es
inyectiva.
Si K H entonces f 1 (K) G y ker f f 1 (K) (dado que
1
f (ker (f )) = feg K). Ahora, f (f (K)) = K ya que f es suprayectiva: Es
claro que f (f 1 (K)) K por otro lado x 2 K ) x = f (a) ; y a 2 f 1 (K) ;
luego, x 2 f (f 1 (K)) : Por lo tanto K f (f 1 (K)) :
Toda vez que f es biyectiva y respeta el orden es claro que respeta
intersecciones y yuntas arbitrarias.
f
Teorema 19 Sea G ! H es un morsmo suprayectivo entonces la biyeccin
f
[ker (f ) ; G] ! [hei ; H]
L 7! f (L)
se restringe a una biyeccin

f
[ker (f ) ; G]E ! [hei ; H]E ;
L 7! f (L)
1
que preserva orden, intersecciones y yuntas (y tambin f las preserva).
Demostracin. Tenemos que demostrar que si L E G entonces f (L) E

H y que si U E H entonces ker f f 1 (U ) E G:
Supongamos que L E G; sea b 2 H: Como f es suprayectiva, entonces
b = f (a) para alguna a 2 G; entonces bf (L) b 1 = f (a) f (L) f (a) 1 =
f (aLa 1 ) = f (L) ; 8b 2 H:
Supongamos ahora que U E H; es claro que ker (f ) f 1 (U ) ya
que f (ker (f )) = feH g U:
Ahora, si a 2 G entonces
1 1 1 1 1
f af (U ) a = f (a) f f (U ) f a = f (a) (U ) f (a) = U;
luego af 1 (U ) a 1 f 1 (U ) :
Veamos ahora que
f
[ker (f ) ; G]E ! [hei ; H]E :
L 7! f (L)
respeta orden, uniones, intersecciones y yuntas. (y f 1 () tambin)..

Que f respeta el orden es claro. tambin es claro que f f 1 (U ) = U;
8U E H; ya que f y f 1 son inversas una de la otra.
Sea fLi gi2I una familia en [ker (f ) ; G]E ; entonces f \ fLi gi2I =
\ ff (Li )gi2I y este es un subgrupo normal de H por se la interseccin de
los subgrupos normales f (Li ) :
Con el mismo argumento notamos que f _ fLi gi2I = _ ff (Li )gi2I
es un subgrupo normal de H.
El resto de la demostracin concerniente a f 1 , es similar.
Ejemplo 12 Sea H el grupo de Hamilton, consideremos el epimorsmo

H ! H = h 1i : Notemos que H = h 1i tiene 4 elementos, por lo que tiene
que ser uno de los dos grupos de orden 4. Un vistazo a la retcula de subgrupos
de Hnos da la siguiente informacin:
el Teorema de la correspondencia nos dice que la retcula de subgrupos de

H = h 1i es lo que nos dice que H = h 1i no es cclico. (hay ms de un
subgrupo de orden 2).
f
Corolario 10 Si G ! H es un isonorsmo de grupos entonces:
f
1. [(e) ; G] ! [(e) ; H] es una biyeccin que respeta el orden las intersec-
ciones y las yuntas.
f
2. [(e) ; G]E ! [(e) ; H]E es una biyeccin que respeta el orden las inter-
secciones y las yuntas.
Denicin 20 Si P es una propiedad de grupos que se preserva bajo iso-

morsmos, diremos que P es un invariante de grupos.
El Corolario anterior dice que el nmero de subgrupos de un grupo es

un invariante y que tmbin lo es el nmero de subgrupos normales de un
grupo. As por ejemplo dos grupos que tengan distintos nmeros de subgrupos
normales no pueden ser isomorfos.
VARIANTES Otros invariantes son:
Ejercicio 35 Use el corolario anterior para mostrar que el grupo de Hamil-

ton no es isomorfo al grupo de simetras del cuadrado.
Ejercicio 36 Muestre que S3 no es isomorfo con Z6 :
Lema 26 Si X ,! G y G H es un morsmo suprayectivo, entonces

gen
f (X) ,! H:
gen
Demostracin. X ,! G , el nico subgrupo de G que contiene a X es

gen
G mismo.
Queremos ver que el nico subgrupo de H que contiene a f (X) es H:
Supongamos que f (X) L f (X) ; entonces X f 1 (f (X))
1 1
f (L) G: Por la hiptesis de unicidad, f (L) = G es decir que L =
1
f (f (L)) = f (G) = H:
Ejercicio 37 Demuestre que si f : G H es un morsmo suprayectivo,

entonces f manda subgrupos nitamente generados de G en subgrupos ni-
tamente generados de H:
Ejercicio 38 Demuestre que si G y H son grupos isomorfos entonces hay

una biyeccin entre el conjunto de los subgrupos nitamente generados de G
y el conjunto de los subgrupos nitamente generados de H:
Ejercicio 39 Demuestre que si a=b y c=d 2 Q n f0g entonces Za=b + Zc=d =

(ad; bc)
Z :
bd
Ejercicio 40 Demuestre que todo subgrupo de Q nitamente generado es

cclico.
Ejercicio 41 Encuentre un subgrupo de Q que no sea nitamente generado.

1
(Considere jn2N : Podra ser cclico?).
2n
Ejercicio 42 Demuestre que el grupo aditivo de los enteros no es isomorfo

al grupo adtivo de los racionales.
Teorema 20 (primer teorema de isomorsmo) Sea f : G ! H un

morsmo suprayectivo entonces G= ker f es isomorfo a H:
G ! G= ker (f )
Demostracin. Consideremos el diagrama # f ; den-
H
f : G= ker (f ) ! H
imos ; veremos que la funcin denida es in iso-
g ker (f ) 7! f (g)
morsmo.
f est bien denida: g ker (f ) = a ker (f ) =) a 1 g 2 ker (f ) =)
f (a 1 g) = eh =) f (a) 1 f (g) = eH =) f (a) = f (g) :
Entonces es fcil ver que es un morsmo inyectivo: f ([a ker (f )] [b ker (f )]) =
f (ab ker (f )) = f (ab) = f (a) f (b) = f (a ker (f )) f (b ker (f )) y a ker (f ) 2
ker f , f (a) = eH , : Luego ker f = (e ker (f )) que es el neutro de
G= ker (f ) :
Por ltimo es claro que f es suprayectiva: pues si h 2 H; entonces
h = f (a) para alguna a 2 G as que h = f (a ker (f )) :
Ejercicio 43 Demuestre que R=Z es isomorfo al grupo multiplicativo U de

los complejos de tamao 1: Note que basta dar un morsmo suprayectivo de
R a U cuyo ncleo sea Z:
Ejercicio 44 Demuestre que todo grupo cclico es isomorfo a Z o a Zn ; para

Z ! hai
alguna n 2 N n f0g : ( es un morsmo suprayectivo).
z 7! az
Ejercicio 45 Demuestre que dos grupos cclicos son isomorfos , tienen el

mismo nmero de elementos.
Teorema 21 (segundo teorema de isomorsmos) Si H E G y K G

entonces H E HK G; H \ K E H y HK=H es isomorfo a K= (H \ K) :
Demostracin. Notemos primero que H E HK : hk (H) (hk) 1 =

hkHk 1 h 1 = h (kHk 1 ) h 1 = hHh 1 = H: Entonces HK=H es un grupo
de la manera natural.
Denamos K ! HK=H por (k) = kH; es un morsmo porque

es la composicin de los morsmos K ,! HK y HK ! HK=H: es
1 1
suprayectivo pues hkH = (kk ) hkH = k (k hk) H = kH = (k) (pues
k 1 hk 2 H).
Ahora, ker ( ) = fk 2 K j kH = Hg = fk 2 K j k 2 Hg = K \ H:
Por el primer Teorema de isomorsmo, tenemos que im ( ) = HK=H
K= (H \ K) ! HK=H
es isomorfo a K= (H \ K) el isomorsmo es (la
k (H \ K) 7! kH
clase de k va a la clase de k).
Ejercicio 46 Demuestre que (n; m) Z=nZ u nZ= [n; m] Z: Note que nZ
(n; m) Z ya que (n; m) j n:
Teorema 22 (Tercer teorema de isomorsmos) Si H L 2 [(e) ; G]E
entonces
1. existe un epimorsmo G=H ! G=L:
2. ker ( ) = L=H:
3. (G=H) = (L=H) es isomorfo a G=L:
Demostracin. 1) Denamos G=H ! G=L por (gH) = gL: Notemos
que esto est bien denido, ya que si gH = aH, entonces a 1 g 2 H L;
por lo que a 1 gL = L;es decir que gL = aL: es morsmo: (aHbH) =
(abH) = abL = aLbL: es suprayectivo: aL = (aH) :
2) ker ( ) = fgH j gL = Lg = fgH j g 2 Lg = L=H:
3) Se sigue de 1) y 2), y del Primer teorema de isomorsmo. Note que
(G=H) = (L=H) ! G=L
el isomorsmo (la clase de gH va a la clase de
gH (L=H) 7! gL
g).
0 1
Ejercicio 47 Sea M el subgrupo de (M2 2 (R)) generado por y
1 0
0 1
muestre que M es isomorfo al grupo de las simetras del cuadrado.
1 0
0 1
Ejercicio 48 Sea N el subgrupo de (M2 2 (Z3 )) generado por y
1 0
1 1
muestre que M es isomorfo al grupo de las simetras del cuadra-
1 1
do.
Ejercicio 49 Demuestre que si un grupo G tiene un nmero nito de sub-

grupos entonces G es nito.
Ejercicio 50 Si G es un grupo abeliano demuestre que t (G) = fg 2 G j o (g) < 1g

es un subgrupo de G:
Ejercicio 51 Un grupo innito es cclico si y slo si es isomorfo a cualquiera

de sus subgrupos no triviales.
Ejercicio 52 Sea G un grupo con dos elementos a 6= b tales que i) o (a) =

4 = o (b) ii) a2 = b2 iii) bab 1 = a 1 iv) G = hfa; bgi, entonces G u H ; el
grupo de Hamilton.
Ejercicio 53 Si G no es abeliano entonces G=C (G) no es cclico.
Ejercicio 54 Compruebe lo anterior en S3 , S y H :
Ejercicio 55 Demuestre que el grupo de simetras del cubo es isomorfo al

grupo de simetras del octaedro.
Ejercicio 56 Demuestre que los grupos de simetras de los slidos platnicos

tienen todos un subgrupo de ndice 2:
Ejercicio 57 Demuestre que el grupo multiplicativo Q est generado por

1
j p es un primo :
p
Ejercicio 58 Demuestre que (R ; ; 1) no es isomorfo con (C ; ; 1) :
Ejercicio 59 Demuestre que si a=b y c=d 2 Q entonces Z (a=b) + Z (c=d) =

Z ([ad; bc] =bd) : Concluya que todos los subgrupos nitamente generados de
Q son cclicos.
Ejercicio 60 Muestre un subgrupo de Q que no sea nitamente generado.
Ejercicio 61 Demuestre que (Z; +; 0) no es isomorfo a (Q; +; 0) :
Ejercicio 62 Considere M2 2 (Zp ) el grupo multiplicativo de las matrices

de 2 2 con coecientes en Zp de determinante 6= 0: Cul es el orden
de M2 2 (Zp ) ? Muestre que fA 2 M2 2 (Zp ) j det (A) = 1g es un subgrupo
det
normal de M2 2 (Zp ) ; mostrando que M2 2 (Zp ) ! Zp es un morsmo
suprayectivo. Use esto para determinar o(fA 2 M2 2 (Zp ) j det (A) = 1g) :
N
Ejercicio 63 Sea C ! R+ denida por N (z) = z z; donde z denota el
conjugado de z: Demuestre que N es un epimorsmo y que C = fz j jzj = 1g u
R+ : Donde R+ denota el grupo multiplicativo de los reales positivos.
Ejemplo 13 Sea G e1 grupo de todas las funciones con valores reales deni-
das en el intervalo unitario [0; 1]. Donde, para f; g 2 G, se dene la adicin
f + g por (f + g)(x) = f (x) + g(x) para todo x 2 [0; 1]. Si N = ff 2 G j
f (1) = 0g, entonces G=N u (R; +; 0).
Denamos la funcin .evaluar en 1"
ev
G !1 R
;
f 7! f (1)
entonces ev1 es un morsmo: ev1 (f + g) = (f + g) (1) = f (1) + g (1) =

ev1 (f ) + ev1 (g) : El ncleo de ev1 es N y la imagen de ev1 es R: Para ver
esto ltimo, escojamos r 2 R: La funcin h (x)=rx tiene la propiedad de que
en 1vale r: Por lo que r = ev1 (h) 2 Im (ev1 ) :Conclumos usando el primer
Teorema de isomorsmo. Note que el isomorsmo G=N u (R; +; 0) enva
f + N a f (1) :
Ejemplo 14 Sean G el grupo de los nmeros reales distintos de cero respec-

to a la multiplicacin y N = f1; 1g : Demostrar que G=N u (R+ ; ; 1) :
j j
! R+ por jxj = x si x = 0
Denamos la funcin R ; (j j de-
x 7! jxj x si x < 0
nota la funcin valor absoluto). Notemos que es un morsmo (jxyj = jxj jyj)
su ncleo es precisamente f1; 1g que son los reales de valor absoluto = 1:
La imagen de j j es todo R+ : As que por el primer Teorema de Isomorsmo
tenemos que G=N u (R+ ; ; 1) :
Ejemplo 15 Si G1 ; G2 son grupos y G = G1 G2 := f(a; b) j a 2 G1 ; b 2 G2 )g,

en donde se dene
(a; b)(c; d) = (ac; bd);
demustrese que:
1. N = f(a; e; ) j a 2 G2 ); donde e es el elemento neutro de G2 , es un

subgrupo normal de G.
2. N u G1 .
3. G=N u G2 .
Ejemplo 16 Si F es un campo, entonces det : Mn n (F ) ! F es un mor-

smo del grupo multiplicativo de las matrices invertibles al grupo multiplicati-
vo de los escalares distintos de 0: El ncleo consiste precisamente del subgrupo
de las matrices de determinante 1: Denotemos 0 Un n (F ) dicho1 subgrupo. La
c 0 0
B 0 1 0 C
B C
imagen de det consiste de todo F ( det B .. .. . . .. C = c; donde la
@ . . . . A
0 0 1
Mn n (F )
matriz anterior es una matriz diagonal ). Entonces uF :
Un n (F )
Por ejemplo si F = Zp , podemos contar el nmero de matrices de 3 3 in-
vertibles y usando esto junto con el isomorsmo anterior, podemos calcular
el nmero de elementos de U3 3 (Zp ) :(Hgase).
1.9. Retculas de subgrupos

Denicin 21 copo
Denicin 22 retcula
Denicin 23 retcula completa
Denicin 24 morsmos de orden isomorsmos
Modularidad
Complementos
seudocomplementos
1.10. Productos de grupos

Y
Sea fGi gi2I un familia de grupos y consideremos fGi gi2I el producto
cartesiano, es decir f : I ! [ fGi gi2I j f (j) 2 Gj ; 8j 2 I (f se identica
Y
con(f (i))i2I ). fGi gi2I resulta un grupo con la operacin (f g) (i) =
1.10. PRODUCTOS DE GRUPOS 49
1
f (i) g (i) 2 Gi y con neutro e tal que e (i) = eGi : Desde luego (f (i))i2I =
1
f (i) i2I :
Notemos queY en el caso particular de que I = f1; 2g, es ms comn escribir
G1 G2 que fGi gi2I :
Y j
fGi gi2I ! Gj
Para cada i 2 I tenemos un epimorsmo (veri-
f 7! f (j)
carlo).
Y
Adems la pareja fGi gi2I ; f j gj2I tiene la siguiente propiedad (uni-
versal del producto).
n uj
o
u
Teorema 23 Para cada familia H ! Gj de morsmos, 9! : H !
Yj2I j
fGi gi2I ! Gj
Y
fGi gi2I morsmo de grupos tal que cada "u % conmuta.
uj
H
Demostracin. Para que un morsmo hiciera conmutar cada uno de los
tringulos de arriba, necesitaramos que j (u (h)) = uj (h) ; lo que signica
que u (h) : I ! [ fGi gi2I debe denirse por u (h) (j) = uj (h) 2 Gj :
Y
Hagamos lo anterior y veriquemos que u : H ! fGi gi2I es un morsmo.
u (h + k) (j) = uj (h + k) = uj (h) + uj (k) = u (h) (j) + u (k) (j) =
(u (h) + u (k)) (j) ;as que u (h + k) = u (h)+u (k) : La unicidad de urespecto
a hacer conmutativo el diagrama se sigue de las consideraciones anteriores.
Observemos que dos consecuencias de teorema anterior son: que denir

un morsmo de un grupo hacia un producto de grupos es equivalente con
denir una familia de morsmos del grupo a cada uno de los factores; la
segunda es que para demostrar que dos morsmos que entran a un producto
son iguales, basta ver que sus composiciones respectivas con cada una de las
proyecciones coinciden.
La primera observacin se puede resumir mediante la frmula
Y Y
Hom H; fGi gi2I ! Hom (H; Gi )
donde la funcin es biyectiva y enva f a F tal que F (i) = i f 2

Hom (H; Gi ) ; es decir, (f ) (i) = i f: La inversa de est denida mediante
la propiedad universal del producto.
Y Y
Ejercicio 64 Demuestre que C fGi gi2I = C fC (Gi )gi2I : (El
centro de un producto es el producto de los centros).
Y
Ejercicio 65 Use lo anterior para demostrar que fGi gi2I es abeliano ,
Gi es abeliano 8i 2 I:
1.11. El subgrupo conmutador

Denicin 25 Sea G un grupo y a; b 2 G;decimos que aba 1 b 1
es el con-
mutador de a y b:
Denicin 26 Denimos el subgrupo conmutador de G; G0 como
aba 1 b 1
j a; b 2 G :
Lema 27 El subgrupo conmutador G0 es normal.
Demostracin. Basta que demostremos que hfaba 1 b 1 j a; b 2 Ggi =

hfaba 1 b 1 j a; b 2 GgiC =
hfx (aba 1 b 1 ) x 1 j a; b; x 2 Ggi : Recuerde que el subgrupo normal gen-
erado por un conjunto S es el subgrupo generado por los conjugados de los
elementos de S:
Para esto basta ver que x (aba 1 b 1 ) x 1 2 G0 ; 8a; b; x 2 G: Llamem-
os z = (aba 1 b 1 ) ; entonces xzx 1 z 1 2 G0 ya que es un conmutador. Tam-
bin tenemos que z 2 G0 as que xzx 1 = (xzx 1 z 1 ) z 2 G0 ;que es lo que
queramos demostrar.
Teorema 24 G0 es el menor subgrupo normal tal que G=G0 es un grupo

abeliano.
Demostracin. Tenemos que G=G0 es un grupo. Sean a; b 2 G; G0 =

aba 1 b 1 G0 = aG0 bG0 a 1 G0 b 1 G0 ; de donde tenemos que aG0 bG0 = bG0 aG0 :
Es decir que G=G0 es abeliano.
Si K E G y G=K es abeliano, entonces aKbK = bKaK de donde
tenemos que aKbKa 1 Kb 1 K = K; as que aba 1 b 1 2 K; 8a:b 2 G: por lo
que G0 K:
Adems podemos demostrar que si G0 K entonces K E G y G=K es
abeliano:
1.11. EL SUBGRUPO CONMUTADOR 51
Si x 2 K; a 2 G entonces (axa 1 ) x 1 2 G0 K;entonces (axa 1 x 1 ) x 2

K (ya que es el producto de dos elementos de K). Entonces axa 1 2 K as
que K E G:
Ahora G0 K =) 9G=G0 G=K de donde G=K es abeliano por ser un
cociente de un grupo abeliano.
Ejemplo 17 Si G es abeliano entonces G0 = hei :
Ejemplo 18 Si G no tiene subgrupos normales propios no triviales y G no
es abeliano, entonces G0 = G:
Ejemplo 19 S30 = hf(1; 2; 3)gi ; donde (1; 2; 3) denota la permutacin 1 7!
2 7! 3 7! 1:
Ejemplo 20 El grupo de simetras del cuadrado tiene su conmutador igual
a su centro: hr2 i donde r es la rotacin de 90 :
Ejemplo 21 El conmutador de H el grupo de Hamilton es f1; 1g :
Ejemplo 22 El conmutador de un producto nito de grupos es el producto
de los conmutadores:
Y 0 Y
fGi gi2I = fG0i gi2I ; :si I es nito.
Demostracin. ) Para mostrar que vale esta inclusin basta mostrar
Y 0 Y
que un generador de fGi gi2I pertenece a fG0i gi2I : Sea f gf 1 g 1
Y
con f; g 2 fGi gi2I ; es decir que f : I ! [ fGi gi2I y f (j) 2 Gj (hay
que tener cuidado con la notacin f 1 denota el inverso de f en el grupo
producto, as que f 1 (j) = (f (j)) 1 ). Y
Quisiramos notar que f gf 1 g 1 2 fG0i gi2I . Para ver esto eval-
uamos en una j 2 I : (f gf 1
g 1 ) (j) = f (j) g (j) f (j) 1 g (j) 1 2 G0j : As
Y
que efectivamente (f gf 1 g 1 ) 2 fG0i gi2I :Note que en esta parte de la
demostracin no se supone que I es nito.
) Para demostrar esta inclusin basta considerar el caso de dos factores y
usar induccin. Queremos demostrar que G0 H 0 (G H)0 ; para esto basta
demostrar que (aba 1 b 1 ; eH ) ; (eG ; xyx 1 y 1 ) 2 (G H)0 ; 8a:b 2 G; 8x; y 2
H: Pero
(aba 1 b 1 ; eH ) = (a; e) (b; e) (a 1 ; e) (b 1 ; e) =
= (a; e) (b; e) (a; e) 1 (b; e) 1 2 (G H)0 :Y anlogamente (eG ; xyx 1 y 1 ) 2
(G H)0 :
El grupo didrico
Consideraremos el grupo de simetras de un polgono regular de n lados,
n 4. Denotaremos D2;n dicho grupo.
Supongamos que numeramos los vrtices del polgono 1; 2; :::; n en la di-
reccin de avance de las manecillas del reloj. Usaremos notacin mdulo n:
Para empezar, calculemos el nmero de simetras. Si es una simetra

tal que
1 7 ! i
;
2 7 ! i+1
es claro que entonces 3 7 ! i + 2, 4 7 ! i + 3; ::: es decir que es "sumar
i 1mdulo n". Hay n simetras de este tipo, pues i 2 f1; 2; :::; ng :
La otra posibilida para una simetra es
1 7 ! i
2 7 ! i 1
y en este caso es claro que 3 7 ! i 2; 4 7 ! i 3; :::: Note que esta simetra

enva j a n + i j (la suma de j con su imagen es i + 1): Uno puede pensar
esta simetra como ambiar el signo y despus sumar n + i"de nuevo hay n
simetras as, dependiendo de la i que uno escoja.
Por lo tanto o (D2;n ) = 2n:
2
Denotemos la simetra i 7 ! i + 1 (una rotacin por un ngulo )y
n
sea la reexin sobre la lnea que pas por el vrtice marcado con 1 y el
centro del polgono, entonces
1 7 ! 1
2 7 ! n
3 7 ! n 1 :
n 7 ! 2
Como es una reexin, entonces 2 = Id: As que = 1

: Por lo que
i ! (i) ( enva (i) a i).
Podemos notar que o ( ) = n y que o ( ) = 2: Esto se debe a que k (i) =
mod n
i + k; as que la menor k positiva tal que i i + k es n:
Notemos que h i E D2;n puesto que es de ndice 2: Entonces 1

= k;
1
para alguna k: Calculemos el efecto de = en 1 : 1 7 ! 1 7 !
1 n 1 1
2 7 ! n, entonces = = :
Podemos ahora notar que D2;n = h ; i = h i h i : Esto se debe a que
h i h i es un subgrupo de D2;n ;debido a que h i es normal. Por otra parte
h i \ h i = fIdg ; pues la nicas potencias de que jan 1 son las que son
2n
mltiplos de n: Entonces o (h i h i) = = 2n:
1
En particular tenemos que todo elemento de D2;n puede verse como una
potencia de por una potencia de ; es decir que D2;n = i k j i 2 f1; :::; ng ; j 2 f1; 2g :
Podemos calcular la forma de un producto:
m k
si k es par
notando que = 1 ; tenemos que k m = m k
si k es impar
i k m n i ( 1)k m k n
= :
Podemos calcular el centro de D2;n :
1. Si n es impar, y i k pertenece a C (D2;n ) ; entonces i k conmuta con
y con :
i k
= i k = 1 k+1 ; de donde tenemos que i = i ; por lo que
2i
= Id; entonces n j 2i pero (2; n) = 1; de donde tenemos que n j i;
pero entonces
i k
= k
que tiene que ser Id, pues por hiptesis k pertenece al centro, pero
no conmuta con : Por lo tanto el nico elemento del centro de D2;n es
Id.
2. Si n es par, repitiendo el argumento de arriba, llegando al punto en que
2i
= Id; conclumos que n j 2i; como podemos escoger i 2 f1; :::; ng es-
n
to tiene dos posibilidades: i = n o i = : El primer caso produce el ele-
2
n
mento Id 2 D2;n ; y en el segundo obtenemos el elemento 2 k ;que debe
n ! n !
conmutar con , si est en el centro, entonces 2 k = 2 k :
n ! n !
k n
Entonces 2 k
= k ( 1) ( 2 ) : Por otro lado
+1 2 k
=
k ( 1)k n +1
2 OJO
Ejercicio 66 Encuentre el conmutador de D2;n :
1.11.1. Acerca del recproco del Teorema de Lagrange

Lema 28 Si H; K G son subgrupos nitos de G entonces o (HK) =
o (H) o (K)
:
o (H \ K)
Demostracin. Denamos la relacin s en H K por (h; k) s (a; b)

si hk = ab: Es claro que esta es una relacin de equivalencia. La funcin
H K
! HK
s est bien denida y es suprayectiva e inyectiva. Por lo
[(h; k)]s 7! hk
H K
que = jHKj :
s
Por otra parte cada clase de equivalencia tiene el mismo nmero de ele-
mentos: pues [(h; k)]s = f(hx; x 1 k) j x 2 H \ Kg ; como veremos enseguida.
) Esta inclusin es inmediata ya que (hx) (x 1 k) = hk:
) Si (a; b) s (h; k) entonces ab = hk, de donde tenemos que a = hkb 1 ;
b = a 1 hk; y kb 1 = h 1 a 2 H \ K (pues a; h 2 H y k; b 2 K). As
1
que ab = h (kb 1 ) (a 1 h) k, con kb 1 = (a 1 h) 2 H \ K: Por lo tanto
ab 2 f(hx; x 1 k) j x 2 H \ Kg :
Entonces j[(h; k)]j = o (H \ K) :
H K
As tenemos que jH Kj = o (H \ K) = jHKj o (H \ K) :
s
o (H) o (K)
De aqu tenemos que o (H \ K) = :
o (H \ K)
El grupo de rotaciones de un tetraedro Consideremos un tetraedro

regular con vrtices numerados del 1 al 4. Cualquier permutacin del conjunto
de estos vrtices corresponde a una simetra. Esto se debe porque cualesquiera
dos vrtices estn a la misma distancia. En vista de esto el grupo de simetras
del tetraedro es S4 el grupo de las permutaciones de 4 smbolos y por lo tanto
tiene 24 elementos.
Las 24 simetras son 12 rotaciones y 12 reexiones.
Si se piensa en un eje que pase por un vrtice del tetraedro (por ejem-
plo por 1) y por el centro del tetraedro, tenemos una rotacin de orden 3
alrededor de ese eje (por ejemplo (2; 3; 4) la rotacin 2 7 ! 3 7 ! 4 7 ! 2)
el cuadrado de esta rotacin tambin es una rotacin (es la inversa (2; 4; 3))
Como hay 4 de estos ejes tenemos 8 rotaciones de orden 3: Tambin ten-
emos 3 rotaciones de 180 alrededor de ejes que pasan por los centros de
aristas opuestas del tetraedro por ejemplo (1; 2) (3; 4) que es la permutacin
2 7 ! 1 7 ! 2; 4 7 ! 3 7 ! 4; la reexin sobre el eje que pasa por el punto
medio de 12y por el punto medio de 34 (son 3 porque hay tres parejas de
aristas opuestas). Contando la rotacin identidad tenemos 12 rotaciones que
forman un subgrupo normal de S4 : Denotemos R4 a este grupo.
Si no se supiera que la composicin de dos rotaciones es una rotacin, se
puede vericar elementalmente.
Podemos notar que R4 E S4 en vista de que es de ndice 2:
R4 tiene un elemento de orden 1; 8 elementos de orden 3 y 3 elementos
de orden 2: Ningn elemento de orden 2 conmuta con ningn elemento de
orden 3 ya que en caso contrario debera haber un elemento de orden 6 en
R4 : Como consecuencia R4 no tiene subgrupos normales de orden 2:
Podemos notar que las rotaciones de 180 junto con la identidad forman
un grupo de orden 4;ya que por ejemplo (1; 2) (3; 4) (1; 3) (2; 4) = (1; 4) (2; 3)
(comprobar que el producto de dos rotaciones de 180 produce la tercera
rotacin de 180 ). Como este es el nico subgrupo de orden 4 que tiene
R4 entonces V =: fId; (1; 2) (3; 4) ; (1; 3) (2; 4) ; (1; 4) (2; 3)g es un subgrupo
normal.
Ahora podemos notar que R4 no tiene un subgrupo H de orden 6; ya que
6 4 24 24
de tenerlo V \ H sera normal y o (V H) = 2 ; ; ya que
o (V \ H) 2 1
o (V \ H) j (6; 4) = 2: Entonces V \ H sera un subgrupo normal con dos
elementos, lo que ya vimos que no hay.
Ejemplo 23 R4 es un grupo de orden 12 que no tiene un subgrupo de orden

6:
1.11.2. El Teorema de Cayley

Desde principios del curso notamos que 8a 2 G; G un grupo las funciones
a _ : G ! G y _ a : G ! G son biyecciones. Ahora demostraremos un
: G ! SG
poco ms, demostraremos que la funcin es un morsmo
a 7 ! a _
de grupos. Aqu denota el grupo de las biyecciones del conjunto G, con la
composicin de funciones.
: G ! SG
Teorema 25 es un morsmo de grupos.
a 7 ! a _
Demostracin. Sean a; b 2 G; (ab) = (ab) _ = (a _) (b _) =
(a) (b) ; como se puede comprobar evaluando en un elemento x 2 G :
(ab) (x) = (ab) _ (x) = abx = a (bx) = = a ( (b) (x)) = (a) ( (b) (x)) =
( (a) (b)) (x) :
Note que Ker ( ) = feg ; ya que si a 2 Ker ( ) ; entonces a _ = IdSG ;
por lo que ax = x; 8x 2 G; en particular ae = e; de donde a = e: Si H G es
un subgrupo podemos considerar el conjunto de las clases laterales izquierdas
: G ! SHnG
HnG; tambin tenemos que es un morsmo.
a 7 ! a _
: G ! SHnG
Teorema 26 Sea H G entonces es un morsmo
a 7 ! a _
cuyo ncleo es el mayor subgrupo normal de G contenido en H:
Demostracin. Desde luego, (a) (bH) = abH: Es claro que a _ :
HnG ! HnG es una biyeccin cuyo inversa es a 1 _: Tambin es un mor-
smo, ya que
(ab) xH = a (bxH) :
Resta ver que su ncleo es el mayor subgrupo normal de G contenido
en H: Como todo ncleo, Ker ( ) E G; adems, a 2 Ker ( ) ) aH =
a (eH) = eH = H ) a 2 H: ) Ker ( ) H: Si K E G y K H;
1 1
entonces para k 2 K tenemos que k (aH) = aa kaH = a (a ka) H =
a ((a 1 ka) H) = aH, debido a que a 1 ka 2 a 1 Ka a 1 Ha H: Luego
1 1 1
k _ = IdSHnG : debido a que a ka 2 a Ka a Ha H: Luego k _ =
IdSHnG :
o(G)
Corolario 11 Si G es un grupo nito tal que o (G) - o(H)
!; entonces existe
un subgrupo normal no trivial de G contenido en H:
Demostracin. Por el primer Teorema de isomorsmo, tenemos, usando
el teorema anterior que G=Ker ( ) = SHnG ; por lo que
o (G) o (G)
j !
o (Ker ( )) o (H)
o(G)
si o (G) - o(H) !; entonces es claro que o (Ker ( )) 6= 1; por lo que Ker ( )
no es trivial (y est contenido en H).
Observacin 20 El menor subgrupo normal de G contenido en H se puede

describir tambin como \ fgHg 1 j g 2 Gg :
Demostracin. Si a 2 G; entonces
1 1
a \ gHg jg2G a = \ agHg 1 a 1
jg2G :
Pero fagHg 1 a 1 j g 2 Gg = fgHg 1 j g 2 Gg ; ya que fag j g 2 Gg = G
a_
(G ! G es una biyeccin). Entonces a (\ fgHg 1 j g 2 Gg) a 1 \fagHg 1 a 1 j g 2 Gg =
= \ fgHg 1 j g 2 Gg : ) \ fgHg 1 j g 2 Gg E G: Adems \ fgHg 1 j g 2 Gg
H; ya que H = eHe 1 es no de los intersectandos. Por ltimo, si
K H y K E G; entonces K = gKg 1 gHg 1 ; 8g 2 G: Entonces
K \ fgHg 1 j g 2 Gg :
Ejemplo 24 Un grupo no abeliano de orden 6 es isomorfo a S3 :
Demostracin. Sea G un grupo no abeliano de orden 6: Como no es
abeliano, no puede tener elementos de orden 6: Un elemento de orden 3
genera un subgrupo de ndice 2; que por lo tanto es normal. No puede haber
dos subgrupos diferentes con orden 3; pues si H y K lo fueran en HK habra
9 elementos, lo que es absurdo. As que si tomamos H G de orden 3, y
tomamos en elemento a 2 H r G; entonces hai es de orden 2: Tenemos que
G
existe un morsmo de grupos G ! S G ; donde H denota el conjunto de clases
H
laterales izquierdas de H en G, su ncleo es el mayor subgrupo normal de G
contenido en hai ; como hai es de orden 2 y no es normal, entonces el ncleo
de es feg : Por lo que es un monomorsmo entre dos grupos de orden
6:Por lo tanto G = S G = S3 ; dado que hay 3 clases laterales izquierdas de
H
hai en G.
1.11.3. El Teorema de Cauchy y la ecuacin de clase.

Observemos que la relacin de ser conjugados es una relacin de
equivalencia en un grupo G: Explcitamente diremos que a y b son conjugados
(a sc b) si b = gag 1 ; para alguna g 2 G:
Lema 29 sc es una relacin de equivalencia en un grupo.
Demostracin. a = eae 1 ; por lo que a sc a: a sc b ) b = gag 1 )
g 1 bg = a ) a sc b: a sc b sc c ) c = hbh 1 ; b = gag 1 ; por lo que
c = hbh 1 = = h (gag 1 ) h 1 = (hg) a (hg) 1 ; es decir que c sc a:
Observemos que por denicin, [a]sc = fgag 1 j g 2 Gg :
Lema 30 [a]sc = iG (C (a)) : (C (a) denota el centralizador de a).
Demostracin. Veremos que hay tantos conjugados de a como clases

laterales de C (a) : gag 1 = hah 1 , h 1 gag 1 = ah 1 , h 1 ga = ah 1 g ,
h 1 g 2 C (a) , (h 1 g) C (a) = C (a) , gC (a) = hC (a) : Lo anterior
muestra que la funcin
[a]sc ! C (a) nG
gag 1 7 ! gC (a)
est bien denida, es inyectiva y suprayectiva.

Podemos observar que los elementos que estn solos en su clase de conju-
gacin son precisamente los elementos del centro de G; C (G) : Juntando los
resultados anteriores podemos escribir el siguiente resultado para un grupo
nito.
Teorema 27 Si G es un grupo nito entonces
G = C (G) [ [ [a]sc j [a]sc 2 G= sc ; [a]sc 6= fag :
X
Corolario 12 Si G es un grupo nito entonces o (G) = o (C (G))+ o (G) =o (C (a)) j [a]s
La ecuacin anterior se llama la ecuacin de clase.
Teorema 28 (Cauchy) Si p es un primo que divide el orden de un grupo

nito G; entonces G contiene un elemento de orden p
Demostracin. Por induccin sobre o (G)
Denicin 27 Se dice que un grupo G es un p grupo (p un nmero primo)

si el orden de cada elemento de G es una potencia de p:
Ejemplos 25 Zp ; Zp2 ; ZX
p son p grupos.
Teorema 29 El centro de un p grupo nito no trivial no es trivial.

Demostracin. Supongamos que G es un p grupo nito no trivial. Ob-

servemos la ecuacin de clase
X
o (G) = o (C (G)) + o (G) =o (C (a)) j [a]sc 2 G= sc ; a 2
= C (G)
y notemos que cada sumando o (G) =o (C (a)) con o (C (a)) o (G) es un

n
mltiplo de p (ya que o (G) = p ):X
p p
Entonces o (G) 0 y tambin o (G) =o (C (a)) j [a]sc 2 G= sc ; a 2
= C (G)
0:
p
De la ecuacin de clase tenemos que 1 o (C (G)) 0;de donde o (C (G)) 2
fp; 2p; :::g en particular o (C (G)) p:
Teorema 30 Un p grupo nito G tiene un subgrupo normal de orden m;

8m tal que m j o (G) :
Demostracin. Por induccin sobre el orden de G:

Si o (G) = 1; la armacin es claramente cierta.
Supongamos que o (G) = pn ; con n > 0: Como C (G) no es trivial, en-
tonces o (C (G)) = pm ; con 0 < m n: Consideremos ahora los grupos C (G)
y G=C (G) :
Si C (G) = G; entonces G es abeliano, y como los grupos abelianos
son hamiltonianos, basta ver que un p grupo abeliano nito tiene subgrupos
de todos los rdenes posibles. Esto sucede si G es cclico. Si G no es cclico,
escojamos a 2 G n feg, entonces hei hai G; por lo que G= hai es un
p grupo de orden menor que o (G) : Por hiptesis de induccin, G= hai tiene
subgrupos de todos los rdenes posibles: 1; p; p2 ; :::; o (G) =o (hai) = pn k ;
donde pk = o (a) : Digamos que estos subgrupos son H0 ; :::; Hn k . Sea :
G ! G= hai el epimorsmo cannico, por el Teorema de la correspondencia,
Hj
Hj = (Hj ) = ; donde Hj G y entonces o (Hj ) = o Hj o (a) = pj pk =
hai
pj+k :
As que G tiene subgrupos de rdenes pk ; pk+1 ; :::; pn : Tambin, como hai
es cclico de orden pk ; entonces hai tiene subgrupos de rdenes 1; p; :::; pk :
Luego G tiene subgrupos de todos los rdenes posibles.
Si C (G) G; tenemos que C (G) y G=C (G) tienen subgrupos nor-
males de todos los rdenes posibles. Con un argumento anlogo al usado
arriba, tenemos que G tiene subgrupos normales de todos los rdenes posi-
bles.
Lema 31 Un subgrupo H de G es normal , H = [ [h]vc j h 2 H ; donde

[h]vc denota la clase de conjugacin de h en G:
Demostracin. )) Supongamos que H E G: ) Se sigue de que h 2

1
[h]vc : ) Si h 2 H; entonces 8g 2 G; ghg 2 H: Por lo tanto [h]vc H:
Por lo tanto [ [h]vc j h 2 H H: () Si H = [ [h]vc j h 2 H ; entonces
8h 2 H; [h]vc H; es decir que ghg 1 2 H; 8g 2 G: Por lo tanto H E G:
1.12. El grupo simtrico

Sn denota el grupo de las permutaciones de f1; :::; ng ; junto con la op-
eracin de composicin y Idf1;:::;ng :
Denicin 28 Un ciclo = (i1 ; i2 ; :::; ik ) es la permutacin que hace lo

siguiente: i1 7! i2 !
7 ::: 7! ik 7! i1 y que ja a cualquier otro elemento.
Denicin 29 Un ciclo que mueve dos elementos se llama una trasposi-

cin: (i; j) :
1. M ov ( ) = fi 2 f1; :::; ng j (i) 6= ig :

2. F ij ( ) = fi 2 f1; :::; ng j (i) = ig :
Note que M ov ( ) ; F ij ( ) son complementarios en f1; :::; ng :
Denicin 30 Se dice que es ajena con si M ov ( ) F ij ( ) :
Observemos que si es ajena con entonces es ajena con : M ov ( )

F ij ( ) =) M ov ( ) F ij ( ) (tomando complementos).
Observacin 21 Si y son ajenas entonces = :
Demostracin. Queremos ver que ( ) (i) = ( ) (i) ; 8i 2 f1; :::; ng :

Tenemos 3 casos:
Si i 2 F ij ( ) \ F ij ( ) entonces ( ) (i) = ( (i)) = (i) = i; tambin
( ) (i) = i:
Si i 2 M ov ( ) entonces ( ) (i) = ( (i)) = (i) porque (i) 2
F ij ( ) ; ya que (i) 2 M ov ( ) : (i) 6= i ) ( (i)) 6= (i) : Por otro
lado ( ) (i) = ( (i)) = (i) ; ya que (i) 2 F ij ( ) :
Si i 2 M ov ( ) el caso es simtrico al anterior.
1.12. EL GRUPO SIMTRICO 61
Lema 32 Sea 2 Sn ; denimos la relacin s en f1; :::; ng por i s j si

j = z (i) para alguna z 2 Z: Entonces s es una relacin de equivalencia.
Demostracin. i = Id (i) = 0 (i) ; por lo que i s i; 8i 2 f1; :::; ng :

Si i s j ) j = z (i) ) z
(j) = z
( z (i)) = 0 (i) = i por lo que
i s j:
Si i s j s k entonces j = z (i) y k = w (j) ; con z:w 2 Z: Por lo
tanto k = w (j) = w ( z (i)) = w+z (i) ; es decir que k s i:
Observemos que [i]s = f z (i) j z 2 Zg f1; :::; ng nito. Por lo tanto
9z 6= w 2 Z; tales que z (i) = w (i) ; de donde tenemos que z w (i) = i =
w z
(i) : Por el principio del buen orden existe una m 2 Nnf0g menor tal que
m
(i) = i: Ahora podemos usar el algoritmo de la divisin para demostrar
que [i]s = fi; (i) ; :::; m 1 (i)g6= . Que todos los elementos en el conjun-
to anterior son distintos se sigue de la eleccin de m: Consideremos ahora
z
(i) ;con z 2 Z: z = qm + r con 0 r < m; entonces z (i) = qm+r (i) =
(( r ) ( m )q ) (i) : Ahora, m (i) = i ) ( m )q (i) = i; 8q 2 Z; como se puede
ver con una fcil induccin. Entonces z (i) = ( r ) (( m )q (i)) = ( r ) (i) 2
fi; (i) ; :::; m 1 (i)g :
m 1
Observacin 22 j[i]s = (i; (i) ; :::; (i)) :
Teorema 31 Toda permutacin en Sn se puede escribir como un producto

de ciclos ajenos no triviales de manera nica excepto por el orden.
Demostracin. Existencia de la factorizacin.

Por induccin sobre el nmero de puntos movidos por :
Base. Si mueve 0 elementos, entonces = Id y se puede escribir
como el producto vaco.
Si mueve por lo menos un smbolo, digamos que i 2 M ov ( )
y que m es el menor natural positivo tal que m (i) = i: Entonces [i]s =
fi; (i) ; :::; m 1 (i)g ;adems como ya vimos, j[i]s = (i; (i) ; :::; m 1 (i)) :
Llamemos al ciclo (i; (i) ; :::; m 1 (i)) :
1 1
Consideremos ahora la permutacin 2 Sn : Notemos que
ja a todos los elementos de [i]s :
1
( ) ( z (i)) = ( 1 ( z (i))) = ( z 1 (i)) = z (i) :
1
Notemos tambin que si j es movido por (y por lo tanto
1 1
j 2= [i]s ) entonces j 6= ( ) (j) = (( ) (j)) = (j) ; por lo que
1 1
M ov ( ) M ov ( ) : As mueve menos elementos que (porque
1 1
mueve i; pero ja i). Por hiptesis de induccin = 1 ::: s
un producto de ciclos ajenos dos a dos, notemos que 1 ::: s ja todos los
elementos de [i]s : Por lo tanto es ajeno con 1 ::: s y por lo tanto
es ajeno con cada k : Entonces = 1 ::: s es una factorizacin en
ciclos ajenos.
Unicidad.
De nuevo por induccin sobre jM ov ( )j :
Es claro que la nica factorizacin posible de Id con ciclos no triviales
ajenos dos a dos es la factorizacin vaca.
Supongamos que jM ov ( )j > 0 y que (i) 6= i;adoptemos la no-
tacin de arriba, es decir supongamos que [i]s = fi; (i) ; ::; m 1 (i)g : Si
1 2 ::: s = = 1 2 ::: t fueran dos factorizaciones de en ciclos ajenos
no triviales, entonces i es movido por alguna y por alguna : Para simpli-
car supongamos que i es movido por 1 y por 1 (recurdese que como per-
mutaciones ajenas conmutan, entonces podemos reordenar los ciclos en cada
una de las factorizaciones). Como un ciclo se puede describir empezando con
cualquiera de sus elementos ( (i1 ; i2 ; :::; is ) = (i2 ; :::; is ; i1 ) = (i3 ; :::; is ; i1 ; i2 ) =
:::) podemos suponer que 1 = (i; (i) ; :::; m 1 (i)) ; pero con el mismo ar-
gumento 1 = (i; (i) ; :::; m 1 (i)) : por lo que 1 = 1 :
Entonces multiplicando por 1 1 tenemos que
1
2 ::: s = 1 = 2 ::: t
donde 1 1 mueve menos elementos que (notar que ja i). Por hiptesis
de induccin t = s y la factorizacin de la derecha es un reordenamiento de
la de la izquierda. Esto junto con el hecho de que 1 = 1 ; nos dice que las
dos factorizaciones de son la misma excepto por el orden en que escribimos
los ciclos.
Denicin 31 Denimos sig : Sn ! f1; 1g por
1. sig ((i1 ; i2 ; :::; ik )) = ( 1)k+1 :
2. Si = 1 2 es un producto de ciclos no triviales ajenos dos

::: s
Ys
a dos, denimos sig ( ) = sig ( i ) :
i=1
As por ejemplo sig (i; j) = 1 y sig (Id) = 1.

Lema 33 Si 2 Sn y es una trasposicin, entonces sig ( )= sig ( ) :
Demostracin. Sea = 1 2 ::: s la factorizacin en ciclos ajenos

de , consideremos los siguientes casos.
1) es ajeno con :
En este caso la factorizacin en ciclos ajenos de es 1 2 ::: s
de donde es claro que sig ( ) = (sig ( )) :
2) Si M ov ( ) \ M ov ( ) = fig ; entonces supongamos que
m 1
1 = i; (i) ; :::; (i) :
Entonces
m 1 m 1
i; (i) ; :::; (i) (i; j) = i; j; (i) ; :::; (i) ;
y
sig i; (i) ; :::; m 1
(i) (i; j) = ( 1)m+1+1 =
= ( 1)m+1 = sig i; (i) ; :::; m 1
(i) :
As que la factorizacin en ciclos ajenos de es (i; (i) ; :::; m 1 (i)) 2
::: s y sig ( ) = sig ( ) .
3) M ov ( ) \ M ov ( ) = fi; jg y i; j son movidos por el mismo ciclo de la
factorizacin de : digamos que 1 = i; (i) ; :::; k 1 (i) = j; (j) = k (i) ; :::; m 1 (i)
entonces sig ( 1 ) = ( 1)m+1 :
Por otro lado, 1 = i; (i) ; :::; k (i) = j; (j) = k+1 (i) ; :::; m 1 (i) (i; j) =
= i; k+1 (i) ; :::; m 1 (i) j; (i) ; :::; k 1 (i) .
As que sig ( 1 ) = ( 1)m 1 k+1+1 ( 1)k+1 = ( 1)m+2 = sig ( 1 ) :
4) Si i y j son movidos por distintos ciclos de la factorizacin de ; dig-
amos que 1 = (i; (i) ; :::; m 1 (i)) y 2 = j; (j) ; :::; k 1 (j) ; entonces
m 1
1 2 = (i; (i) ; :::; (i)) j; (j) ; :::; k 1 (j) (i; j) =
= i; (j) ; :::; k 1 (j) ; j; (i) ; :::; m 1 (i) un ciclo que mueve k + m
elementos por lo que sig ( 1 2 ) = ( 1)k+m+1 = ( 1)k+m+3 : Por otra parte
sig ( 1 ) = ( 1)m+1 y sig ( 2 ) = ( 1)k+1 :
De donde sig ( 1 2 ) = sig ( 1 ) sig ( 2 ) :
De lo anterior se sigue la armacin.
Lema 34 (i1 ; i2 ; :::; ik ) = (i1 ; ik ) ::: (i1 ; i3 ) (i1 ; i2 ) :
Demostracin. Calclese.
Teorema 32 Toda permutacin es un producto de trasposiciones.
Demostracin. Combine el lema anterior con el lema de factorizacin

nica.
Lema 35 Si = 1 2 ::: k entonces sig ( ) = ( 1)k :
Demostracin. Por induccin sobre k:

Si k = 1 la armacin es clara.
Supongamos que k > 1 y la armacin cierta para productos de k 1
trasposiciones.
Entonces sig ( ) = sig (( 1 2 ::: k 1) k) = sig ( 1 2 ::: k 1) =
k 1 k
= ( 1) = ( 1) :
Denicin 32 Decimos que 2 Sn es par si sig ( ) = 1: Si no es par,

decimos que es impar.
Observacin 23 es par si y slo si se puede escribir como un producto

de un nmero par de trasposiciones.
Demostracin. Se sigue inmediatamente del Lema 35.
Teorema 33 sig : Sn ! f 1; 1g es un morsmo de grupos.
Demostracin. Sean ; 2 Sn : Digamos que es un producto de s

trasposiciones y que es un producto de t trasposiciones. Entonces sig ( ) =
( 1)s+t = ( 1)s ( 1)t = sig ( ) sig ( ) :
Denicin 33 Denotamos An = f 2 Sn j sig ( ) = 1g ; se llama el sub-

grupo alternante de Sn .
Observacin 24 An E Sn :
Demostracin. An = ker (sig) :

Observemos que por el primer teorema de isomorsmos Sn =An ! f1; 1g
n!
es un isomorsmo, de aqu que o (Sn =An ) = 2; as que o (An ) = :
2
1
Lema 36 Sean : 2 Sn y sean i; j 2 f1; ::; ng : Si i 7 ! j entonces (i) 7 !
(j) :
1 1
Demostracin. ( ) ( (i)) = ( )( (i)) = ( ) (i) =
( (i)) = (j) :
1
Note que si i 2 F ij ( ) ;entonces (i) 2 F ij ( a ):
Denicin 34 Denimos la estructura cclica de una permutacin no triv-

ial como la sucesin de las longitudes de sus ciclos (de la descomposicin
nica en ciclos no triviales ajenos 2 2) en orden no creciente.
Ejemplo 26 La estructura cclica de (1; 2) es 2: La estructura cclica de

(1; 2) (3; 4) (5; 6; 7; 8) es 2; 2; 4:
1 1
Observacin 25 Si y son ciclos ajenos, entonces y son
ciclos ajenos.
1
Demostracin. Por el lema 36, M ov = (M ov ( )). Si i es
1 1
movido por y entonces i 2 (M ov ( )) \ (M ov ( )) ; pero
1
entonces (i) 2 M ov ( ) \ M ov ( ) ; contradiciendo que y son ciclos
ajenos.
Teorema 34 Dos permutaciones en Sn son conjugadas si y slo si ambas

permutaciones tienen la misma estructura cclica.
Demostracin. )) Sea = 1 2 ::: k la factorizacin de en ciclos

1 1 1 1
ajenos no triviales. Por el lema 36, = 1 2 ::: k
1
y si i = (ji;1 ; ji;2 ; :::; ji;ki ) entonces i = ( (ji;1 ) ; (ji;2 ) ; :::; (ji;ki ))
1
que es un ciclo de la misma longitud que i : De aqu se sigue que y
tienen la misma estructura cclica. (=) Veamos primero que dos ciclos de la
= (i1 ; i2 ; ::: ; ik )
misma longitud son conjugados: Supongamos que # # #
= (j1 ; j2 ; ::: ; jk
denimos (is ) = js si s 62 f1; :::; kg extendemos esta denicin a todo
f1; :::; ng escogiendo cualquier biyeccin entre F ij ( ) y F ij ( ) (que ex-
iste porque ambos conjuntos tienen n k elementos. Es claro que entonces
1
= : Ahora si y tienen la misma estructura cclica,
Lema 37 Si H Sn entonces H An o jH \ An j = jH n An j :
_
Demostracin. Si H An , entonces 9 2 H n An ; entonces H \ An !
_
H n An es una biyeccin con inverso H n An ! H \ An .
Lema 38 Los 3 ciclos generan An :
Demostracin. Como una permutacin par es el producto de un nmero

par de trasposiciones, entonces basta ver que 1 2 est generado por 3 ciclos
para cualesquiera dos trasposiciones 1 ; 2 : La armacin es claramente
cierta si 1 = 2 ; (i; j) (i; k) = (i; k; j) si j 6= k: (i; j) (k; l) = (k; i; l) (i; j; k) si
i; j; k; l son distintos los cuatro.
Lema 39 Si n 5; todos los 3 ciclos son conjugados en An :
Demostracin. (1; 2; 3) es conjugado de cualquier otro 3 ciclo. El nmero

n (n 1) (n 2) n!
de 3 ciclos es = ; de donde tenemos que
3 o (C (1; 2; 3))
(n 3)!
o (C (1; 2; 3)) = : Por otra parte, C (1; 2; 3) contiene una permutacin
3
1
impar: (5; 6). As que o (CAn (1; 2; 3)) = o (C (1; 2; 3)) ; de aqu tenemos que
2
o (An ) n!=2
el nmero de conjugados de (1; 2; 3) en An es = =
o (CAn (1; 2; 3)) 1
o (C (1; 2; 3))
2
n! n (n 1) (n 2)
= :
o (C (1; 2; 3)) 3
Teorema 35 A5 es simple.
Demostracin. Las clases de conjugacin en S5 tienen los siguientes rep-

resentantes: (1) ; (1; 2) ; (1; 2; 3) ; (1; 2; 3; 4) ; (1; 2; 3; 4; 5) ; (1; 2) (3; 4) ; (1; 2) (3; 4; 5)
5 4
y sus clases de conjugacin en S5 tienen tantos elementos como 1; =
2
5 43 2
5 4 3 5 4 3 2 5! 2 = 15; 5 4
10; = 20; = 30; = 24; 2
3 4 5 2 2
3 2 1
= 20; respectivamente: Las clases en A5 son las que tienen
3
representantes:
(1) ; (1; 2; 3) ; (1; 2; 3; 4; 5) ; (1; 2) (3; 4)
cuyas clases de conjugacin en S5 tienen 1; 20; 24 y 15 elementos respectiva-
mente. (Note que 1 + 20 + 24 + 15 = 60 = o (A5 )). Supongamos ahora
que f(1)g =6 H A5 : Entonces H no contiene ningn 3 ciclo ya que
al contener uno contendra tambin a todos sus conjugados, es decir a to-

dos los 3 ciclos, pero los 3-ciclos generan A5 : Como H es normal em
A5 ; entonces H debe ser unin de clases de conjugacin en A5 : Veamos
que (1; 2; 3; 4; 5) tiene 24 conjugados en S5 pero solo tiene 12 conjugados en
o (S5 ) 5!
A5 : 24 = = : Luego o (C (1; 2; 3; 4; 5)) =
o (C (1; 2; 3; 4; 5)) o (C (1; 2; 3; 4; 5))
5!
= 5: Los 5 elementos que conmutan con (1; 2; 3; 4; 5) son las 5 po-
24
tencias de (1; 2; 3; 4; 5) : Note que son todas pares, entonces el nmero de
o (A5 ) 5!=2
conjugados de (1; 2; 3; 4; 5) en A5 es = = 12: (Esto quiere
5 5
decir que hay 12 5-ciclos que no s0n conjugados de (1; 2; 3; 4; 5) en A5 ).
En cambio (1; 2) (3; 4) tiene 15 conjugados en A5 ; los mismos que tena
en S5 : Esto se debe a que como hay una permutacin impar que conmu-
ta con (1; 2) (3; 4) ; a saber: (1; 2) ; entonces la mitad de los elementos que
conmutan con (1; 2) (3; 4) son permutaciones pares. Entonces o (H) =
1 + x12 + y15 donde x 2 f0; 1; 2g y 2 f0; 1g : Por lo tanto o (H) 13
2
y o (H) 2 Div (60) = f1; 2; 4; 3; 6; 12; 5; 10; 20; 15; 30; 60g (60 = 2 3 5).
Entonces (H) 2 f20; 30g (que son los divisores propios de 60 mayores que
3 3
13). Adems o (H) = 1 + x12 + y15 ) o (H) 1: Pero 20 2 mientras que
3
30 0: Luego A5 no tiene subgrupos normales distintos de f(1)g y A5 :
Es decir, A5 es simple.
Teorema 36 A6 es simple.
Demostracin. Las clases de conjugacin de permutaciones pares en S6

tienen representantes de la forma (1) ; (1; 2) (3; 4) ; (1; 2; 3) ; (1; 2; 3; 4; 5) ; (1; 2) (3; 4; 5; 6) ; (1; 2; 3) (4; 5; 6)
6 54 3
de las cuales hay: 1; 2 2 = 45; 6 5 4 = 40; 6!=5 = 144; 6 5 4! =
2 3 2 4
6 5 4 3!
90; 3 3 = 40:(Note que 1 + 45 + 40 + 144 + 90 + 40 = 360 = o (A ) =
6
2
6!
). (5; 6) conmuta con (1; 2) (3; 4) y es impar, por lo tanto (1; 2) (3; 4) tiene
2
tantos conjugados en A6 como en S6 (Haga las cuentas con los central-
izadores respectivos). (1; 2; 3; 4; 5) tiene 144 conjugados en S6 ; por lo que
6!
o (C (1; 2; 3; 4; 5)) = = 5: Los 5 elementos que conmutan con (1; 2; 3; 4; 5)
144
son sus cinco potencias. Entonces todos los elementos de S5 que conmutan
o (A6 )
con (1; 2; 3; 4; 5) son permutaciones pares, as que (1; 2; 3; 4; 5) tiene =
5
6!=2
= 72 conjugados en A5 : (1; 2) (3; 4; 5; 6) conmuta con (1; 2) y por lo
5
tanto tiene tantos conjugados en A5 como en S5 : (1; 2; 3) (4; 5; 6) conmuta
con la permutacin impar = (1; 4) (2; 5) (3; 6) (observe que (1; 2; 3) (4; 5; 6) 1 =
( (1) ; (2) ; (3)) ( (4) ; (5) ; (6)) = = (4; 5; 6) (1; 2; 3)). Luego (1; 2; 3) (4; 5; 6)
tiene el mismo nmero de conjugados en A5 como en S5 : Si f(1)g =
6 H
A6 fuera normal, entonces H no puede contener ningn 3 ciclo (todos son
conjugados y los 3:ciclos generan A6 ). Entonces o (H) = 1 + 45x + 72y +
90z + 40w, donde x; z; w 2 f0; 1g y y 2 f0; 1; 2g : Adems o (H) tiene
3 2
que ser un divisor de 360 = 2 3 5:
1 3 9 5 15 45
2 6 18 10 30 90
4 12 36 20 60 180
8 24 72 40 120 360
Divisores de 360
Notando que o (H) 41; podemos descartar posibilidades en la tabla de

los divisores de 360, as: o (H) 2 f72; 120; 90; 180g : Si y = 0; entonces
5
o (H) = 1 + 45x + 90z + 40w 1; esto no puede ser porque ninguno de
los elementos en f72; 120; 90; 180g satisface esto. Si y = 1; entonces
o (H) = 1 + 45x + 72 + 90z + 40w 1 + 73 + 40 = 114;pero adems 1 + 45x +
5
72 + 90z + 40w 3; mientras que 90 y 180 son congruentes con 0 mdulo
5. Si y = 2 entonces o (H) = 1 + 45x + 144 + 90z + 40w 185; ya que
145 - 360: Esto no puede ser, ya que 180 es el mayor divisor propio de 360.
Entonces A6 es simple.
Teorema 37 An es simple si n 5:
Demostracin. Ya vimos los casos n = 5 y n = 6: Podemos suponer

n 7: Por contradiccin, supongamos que H E An , que H es propio y que
H no es trivial. Sea una permutacin no trivial en H: 6= (1) )
M ov ( ) 6= ?: Supongamos que i 7 ! j 6= i: Entonces mueve a i y a j:
tiene que mover a un tercer smbolo porque si no = (i; j), lo que no puede
ser ya que es una permutacin par. Podemos suponer que mueve
los elementos distintos i; j; k: Consideremos = (i; j; k) (i; k; j) 1 : Este
es un elemento de H ya que (i; j; k) (i; k; j) 1 = ((i; j; k) (i; k; j)) 1 ;
y (i; j; k) (i; k; j) 2 H siendo un conjugado de 2 H E An : Adems

1
= (i; j; k) (i; k; j) = (i; j; k) ( (i) ; (j) ; (k)) es una permutacin
que mueve a lo ms 6 smbolos. Sea fi1 ; i2 ; :::; i6 g6= f1; ::; ng un conjunto
de 6 smbolos que contenga a fi; j; k; (i) ; (j) ; (k)g : De esta manera
podemos considerar que es una permutacin no trivial en A6 (A6 denota el
conjunto de las permutaciones pares que mueve elementos en fi1 ; i2 ; :::; i6 g):
Entonces (1) 6= 2 H \ A6 E A6 : Como A6 es simple, entonces H \ A6 =
A6 : Por lo tanto A6 H; pero entonces H s contiene un 3 ciclo. Esta
contradiccin muestra que no puede haber un tal subgrupo H de An :
Observacin 26 A5 es el nico subgrupo simple de orden 60:
Demostracin. Supongamos que G es un grupo simple con 60 elemen-

tos. Como 60 = 22 3 5 entonces G tiene subgrupos de orden 2; 3; 5: Los
divisores de 60 son: 1; 2; 4; 3; 6; 12; 5; 10; 20; 15; 30; 60: G no puede tener
60
un subgrupo H de orden 15 ya que como 60 - ! = 24; entonces H con-
15
tendra un subgrupo normal no trivial de G;que no existe por hiptesis Con
un argumento anlogo vemos que G no tiene subgrupos de rdenes 30 o 60:
Si G tuviera un subgrupo K de orden 12; K sera de ndice 5: Entonces exi-
stira un morsmo G ! S5 cuyo ncleo es (e) (el mayor subgrupo normal de
G contenido en K). Entonces tendramos una inmersin de G en S5 y hay dos
casos: ' (G) A5 (en cuyo caso ' (G) = A5 y G = A5 o bien la mitad de los
elementos de ' (G) son permutaciones pares por lo que ' (G) \ A5 E ' (G)
(es de ndice 2) pero entonces tambin G tendra un subgrupo de ndice 2;
contradiciendo que G es simple). El prrafo anterior muestra que lo que
queremos demostrar equivale a demostrar que hay un subgrupo de orden 12.
En caso contrario, slo 1; 2; 3; 4; 5; 6; 10 pueden ser rdenes de subgrupos de
G: Si G tuviera un subgrupo de orden 10; argumentando como arriba,
tendramos que G se sumerge en S6 ;y de hecho se sumerge en A6 : A6 es
un grupo simple con 360 elementos, cmo sern sus subgrupos de orden 60?
Tiene que tener elementos de orden 5; como (1; 2; 3; 4; 5) (es decir tiene que
contener un 5 ciclo), tiene que contener elementos de orden 2, es decir que
debe de tener productos de dos trasposiciones ajenas, debe tener elementos
de orden 3 es decir, de la forma (1; 2; 3) o de la forma (1; 2; 3) (4; 5; 6) :No
tiene elementos de orden 6 ya que un 6 ciclo y el producto de una trasposi-
cin y un 3 ciclo ajeno con ella son permutaciones impares Entonces G
sera un grupo de orden 60 que tiene elementos de orden 2; 3; 5 pero no tiene
elementos de orden 6: Puede tener elementos de orden 4, pues por ejemplo

(1; 2) (3; 4; 5; 6) es una permutacin par de orden 4. Consideremos un
subgrupo L de orden 5 (debe haber ms de uno ya que no es normal), este
subgrupo tiene tantos conjugados como el ndice de su normalizador N (L)
el orden de N (L) es un mltiplo de 5 que divide a 60 y que es menor o
igual que 12: Las nicas posibilidades son 5 y 10:En el primer caso L tiene
12 conjugados (y habra en ellos 48 elementos de orden 5) en el segundo caso
habra 6 conjugados de L y por lo tanto habra en ellos 24 elementos de orden
5. Si N (L) = 10 entonces N (L) es un grupo de orden 10 que no es cclico,
con un subgrupo normal de orden 5 por lo que N (L) es isomorfo a Z5 Z2
o bien es isomorfo D2;5 el grupo de simetras del pentgono. En el primer
caso tendramos que poder encontrar en A6 un 5 ciclo y un producto de dos
trasposiciones que conmutasen. Tales permutaciones no existen (el central-
izador de un 5 ciclo en A6 consiste de las 5 potencias del mismo ciclo, como
ya hemos visto), en el segundo caso deberamos poder encontrar un 5 ciclo
1
y dos trasposiciones ajenas ; tales que = : Pero veamos si
esto es posible, supongamos, para jar ideas que = (1; 2; 3; 4; 5) entonces
1 1
= (5; 4; 3; 2; 1) hay 5 soluciones para = 1 ; una por cada manera
1
diferente de escribir :
1 2 3 4 5
# # # # #
5 4 3 2 1
aqu = (1; 5) (2; 4) : As que (1; 2; 3; 4; 5) y (1; 5) (2; 4) generan un grupo
didrico de orden 10:
Observacin 27 Los nicos grupo simples abelianos son los de orden primo.
Demostracin. Los grupos abelianos son hamiltonianos, as que los gru-

pos abelianos simples son los que tienen exactamente dos subgrupos. Estos
son los de orden primo.
Observacin 28 f(1; 2) ; (1; 3) ; :::; (1; n)g genera Sn :
Demostracin. Basta ver que cualquier ciclo pertenece al grupo genera-

do por las permutaciones anteriores. Sea = (i1 ; i2 ; :::; ik ) ; consideremos
dos casos: 1 2 M ov ( ) y 1 2
= M ov ( ) : En el primer caso, podemos suponer
1 = i1 ; entonces
= (1; ik ) ::: (1; i3 ) (1; i2 ) :
1.13. AUTOMORFISMOS 71
En el segundo caso
= (1; i1 ) (1; ik ) ::: (1; i2 ) (1; i1 ) :
Observacin 29 f(1; 2) ; (2; 3) ; :::; (n 1; n)g genera Sn :
Demostracin. Basta que demostremos que cada trasposicin de la

forma (1; i) pertenece al grupo generado por las permutaciones anteriores.
(1; 2) 2 hf(1; 2) ; (2; 3) ; :::; (n 1; n)gi ; suponiendo que (1; i) 2 hf(1; 2) ; (2; 3) ; :::; (n 1; n)gi ;
entonces
(i; i + 1) (1; i) (i; i + 1) = (1; i + 1)
tambin pertenece al subgrupo generado por f(1; 2) ; (2; 3) ; :::; (n 1; n)g :
Conclumos que todas las trasposiciones (1; i) ; i 2 f1; :::; ng pertenecen al
subgrupo generado por f(1; 2) ; (2; 3) ; :::; (n 1; n)g.
Observacin 30 f(1; 2) ; (1; 2; :::; n)g genera Sn :
Demostracin. Basta mostrar que toda trasposicin de la forma (i; i + 1)

pertenece al grupo generado por las dos permutaciones en el enunciado.
i 1 i 1
Sea = (1; 2; :::; n) entonces 1 7 ! i; 2 7 ! i + 1; as que
i 1 1 i
(1; 2) = (i:i + 1)
pertenece a hf(1; 2) ; (1; 2; :::; n)gi :
Observacin 31 Si n es impar, los ciclos de longitud n generan An :
1.13. Automorsmos
Denicin 35 Un isomorsmo ' : G ! G se llama automorsmo.
1. La identidad 1G : G ! G es un automorsmo.
1
: G !g () g G
2. 8g 2 G, conjugar por g; es un auto-
x 7 ! g (x) g 1
morsmo, pues es un morsmo y si inverso es g 1 () g: Este tipo de
automorsmo se llama automorsmo interior.
1
() : G ! G
3. es un automorsmo si y slo si G es abeliano.
x 7 ! x 1
4. Si G es abeliano nito de orden impar, entonces ()2 : G ! G es un

automorsmo.
Ejercicio 67 Compruebe la armacin en el ejemplo anterior.
Teorema 38 El conjunto Aut (G) de los automorsmo de un grupo, junto

con la operacin de composicin, con 1G es un grupo.
Demostracin. Sabemos que SG = ff : G ! G j f es una biyeccing

es un grupo con la composicin de funciones y 1G como neutro. Podemos
comprobar que Aut (G) es un subgrupo de SG : 1G es un automorsmo, la
composicin de automorsmos es morsmo y el inverso de un automorsmo
es un automorsmo.
Teorema 39 El conjunto Int (G) de los automorsmos interiores de G es

un subgrupo normal de Aut (G) :
Demostracin. 1G = e () e 1 : (a () a 1 ) (b () b 1 ) = ab () (ab) 1 (aplquese

a un elemento x, si no es claro), entonces una composicin de automors-
mos interiores es un automorsmo interior. El inverso de conjugar por a es
1
conjugar por a 1 ; (a () a 1 ) = a 1 () a:
Tomemos ' 2 Aut (G) y a 2 G; entonces ' (a () a 1 ) ' 1 aplicada a
un elemento x 2 G; da:
1 1
' a () a ' (x) = ' a () a 1 ' 1 (x) =
= ' a () a 1 ' 1 (x) =
= ' a ' 1 (x) a 1 =
= ' (a) ' ' 1 (x) ' a 1 =
= (' (a)) x ' a 1 =
= (' (a)) x (' (a)) 1 =
= ' (a) () ' (a) 1 (x) :
1
Lo que muestra que ' (a () a 1 ) ' 1 = ' (a) () ' (a) ; que es un auto-
morsmo interior.
G
Demostracin. = Int (G) :
C (G)
G ! Int (G)
Demostracin. Denamos ; es claro que es un mor-
g 7 ! g () g 1
smo (b () b 1 a () a 1 = (ba) () (ba) 1 : Tambin es claro que es suprayec-
tiva. a 2 ker ( ) ) a () a 1 es la identidad, lo que sucede cuando axa 1 = x;
8x 2 G; es decir cuando a 2 C (G) : Por el primer Teorema de isomorsmo,
G
tenemos que = Int (G) :
C (G)
Notemos que si G es abeliano si y slo si Int (G) es el grupo trivial. As
que cuando G no es abeliano, hay un automorsmo interior que no es la
identidad.
f
Observacin 32 Si G ! H es un morsmo suprayectivo, entonces f manda
conjuntos generadores de G a conjuntos generadores de H:
Demostracin. Sea X un conjunto que genera G; es decir que G = hXi :

Entonces el nico subgrupo de G que contiene a X es G mismo. Supongamos
ahora que f (X) L H: Por el Teorema de la correspondencia, X
1
f (L) G: Por lo tanto f 1 (L) = G;as que L = f (G) = H: De aqu
vemos que el nico subgrupo de H que contiene a f (X) es H: Esto quiere
decir que f (X) genera H.
Ejemplo 27 El grupo de automorsmos de un grupo cclico.

Sea G = hai de orden n; y sea ' 2 Aut (G) ; como ' : G ! G es suprayecti-
vo, entonces ' (a) debe ser un generador de G; ' (a) = az ; :con z 2 Z:
Si G es innito tenemos que a 2 G = h' (a)i = haz i ; entonces a debe ser una
potencia de az ; digamos que a = azw : De aqu tenemos que azw 1 = e; y como
el orden de a es innito, esto implica que zw = 1: As que z 2 f1; 1g :En
el primer caso ' = 1G y en el segundo = () 1 ; que es un automorsmo
autoinverso, ya que un grupo cclico es abeliano.
Entonces Aut (G) = 1G ; () 1 , si G es cclico innito.
Si G es nito entonces ' (a) = az (por lo que ' (aw ) = (' (a))w = azw =
(aw )z , y as ' = ()z ) debe ser un elemento con el mismo orden que a:
o (a)
o (az ) = : As que debemos escoger z prima relativa con o (a) ; es
(o (a) ; z)
decir que z 2 (Zn ) :
Z ! Aut (G)
Denamos n ; veremos que es un isomorsmo. Ya nota-
z 7 ! ()z
mos que es suprayectiva.
mod n
est bien denida, pues si x z; entonces x = z + nu; para algn
x z+nu
entero u; entonces a = a = a a = az e = az , ya que n = o (a) : ax = az
z nu
x z
implica que () = () :
Si ()x = 1G ; entonces ax = a;por lo que ax 1 = e; as que n j x 1;de
mod n
donde tenemos que x 1; pero entonces x = 1: As que ker ( ) es trivial
y entonces es un monomorsmo.
Ejemplo 28 Consideremos el grupo de Klein V = fe; a; b; cg donde todos

los elementos satisfacen x2 = e:
Si ' 2 Aut (V ) entonces 'j fa; b; cg ! fa; b; cg es una biyeccin. Recpro-

camente, cualquier biyeccin de fa; b; cg ; se extiende a un automorsmo de
G (el producto de dos elementos distintos de orden 2 es el tercer elemento
de orden 2:
Aut (V ) ! Sfa;b;cg
Entonces es una biyeccin, pero es adems un
' 7 ! 'jfa;b;cg
morsmo:(' )jfa;b;cg = (')jfa;b;cg ( )jfa;b;cg : Entonces Aut (V ) = S3 :
falta Ejemplo 29 Calculemos el grupo de automorsmos de S3 : Como S3 est

generado por (1; 2) y por (1; 2; 3) ; un automorsmo ' debe mandar este con-
junto en otro conjunto generador. Como los isomorsmos preservan el orden
de los elementos, entonces ' ((1; 2)) debe ser un elemento de orden 2 en S3 ;
as que debe ser una transposicin. Por otra parte, ' ((1; 2; 3)) debe ser un
elemento de orden 3;as que ' ((1; 2; 3)) 2 f(1; 2; 3) ; (1; 3; 2)g :
Para jar ideas, digamos que ' ((1; 2)) = ; ' ((1; 2; 3)) = : Notemos que h i
es un grupo de orden 3 y por lo tanto es de ndice 2 en S3 : Entonces h i E S3 :
1
Entonces h i 3 es un elemento de orden 3; que no puede ser ; porque
1 1
S3 no es abeliano. As que = 1 ; y tambin 1 1
= ( 1) = :
De aqu que
= 1 y 1 = :
Como tenemos que ; generan S3 ; y h i h i = S3 ; entonces todo elemento
de S3 es de la forma i j : Tenemos ahora que
i j k l i+k l+( 1)k j
= ;
en vista de 29.
Si ' : S3 ! S3 es un automorsmo y ' (1; 2) = ; ' (1; 2; 3) = ; entonces
' (1; 2)i (1; 2; 3)j = i j

:
Por otra parte, si se dene ' por medio de la ecuacin anterior entonces '
es un morsmo:
1)k j
' (1; 2)i (1; 2; 3)j (1; 2)k (1; 2; 3)l = ' (1; 2)i+k (1; 2; 3)l+( =
i+k l+( 1)k j
= = i j k l
= ' (1; 2)i (1; 2; 3)j ' (1; 2)k (1; 2; 3)l :
Es inmediato que ' es una biyeccin.
Como existen 3 posibles elecciones para ' (1; 2) ; y dos para ' (1; 2; 3) ;tenemos
que Aut (S3 ) es un grupo con 6 elementos. Por ejemplo si denimos '1 por
'1 ((1; 2)) = (2; 3) ; '1 ((1; 2; 3)) = (1; 2; 3) ; entonces (1; 2; 3) (1; 2) (1; 2; 3) 1 =
'1 ((1; 2)) = (2; 3)
'1 ' ((1; 2; 3)) = (1; 2
(2; 3) 7 ! (1; 2; 3) (2; 3) (1; 2; 3) 1 = (3; 1) : De aqu tenemos que '1 ((2; 3)) = (1; 3) 1
' ((1; 3; 2)) = (1; 3
'1 ((1; 3)) = (1; 2) 1
de donde tenemos que '1 es un automorsmo de orden 3:
Si denimos '2 por '2 ((1; 2)) = (1; 2) y ' ((1; 2; 3)) = (1; 3; 2), entonces
' 2
(1; 2) 7 ! (1; 2)
'2
(1; 2; 3) (1; 2) (1; 3; 2) = (2; 3) 7 ! (1; 3; 2) (1; 2) (1; 2; 3) = (3; 1)
'2
(1; 3; 2) (1; 2) (1; 2; 3) = (1; 3) 7 ! (1; 2; 3) (1; 2) (1; 3; 2) = (2; 3)
'2
(1; 2; 3) 7 ! (1; 3; 2)
'2
(1; 3; 2) 7 ! (1; 2; 3)
Notemos que '2 es de orden 2:
Si denimos '3 por '3 ((1; 3)) = (1; 3) y ' ((1; 3; 2)) = (1; 2; 3), entonces
' 3
(1; 3) 7 ! (1; 3)
'3
(1; 3; 2) (1; 3) (1; 2; 3) = (3; 2) 7 ! (1; 2; 3) (1; 3) (1; 3; 2) = (2; 1)
'3
(1; 2; 3) (1; 3) (1; 3; 2) = (1; 2) 7 ! (1; 3; 2) (1; 3) (1; 2; 3) = (3; 2) :
'3
(1; 3; 2) 7 ! (1; 2; 3)
'3
(1; 2; 3) 7 ! (1; 3; 2)
Note que '3 es otro elemento de orden 2: Podemos notar entonces que
Aut (S3 ) es un grupo que no es cclico as que debe ser isomorfo a S3 :
1.13.1. Productos semidirectos

Supongamos que el grupo G tiene un subgrupo normal H y otro subgrupo
K tales que G = HK y H \ K = feg ; entonces decimos que G es el producto
semidirecto de H y de K.
Note que si H es tambin un subgrupo normal, entonces G es el producto

directo de H y K:
'
En caso de que H no sea normal, tenemos que existe K ! Int (H)
un morsmo de grupos dado por k 7 ! (k () k 1 )jH ; como en el siguiente
diagrama:
k()k 1
G ! G
" "
H ! H
donde las echas verticales son inclusiones. Es claro que ' es un morsmo
de grupos, ya que k2 () k2 1 k1 () k1 1 = k2 k1 () k2 1 k1 1 :
El producto de dos elementos de G est dado por hkh1 k1 = hkh1 (k 1 k) k1 =
h (kh1 k 1 ) kk1 = h [' (k) (h1 )] kk1 : Lo que sugiere denir la operacin en
H K dada por (h; k) (h1 ; k1 ) := (h [' (k) (h1 )] ; kk1 ) : Denotamos H o' K
al producto cartesiano de H y K con esta operacin.
Denicin 36 Sean H; K dos grupos, y ' : K ! Aut (H) un mors-

mo de grupos. Denimos H o' K como H K con la operacin dada por
(h; k) (h1 ; k1 ) := (h [' (k) (h1 )] ; kk1 ) :
Observacin 33 H o' K es un grupo y H es isomorfo al subgrupo norma

H feg. K es isomorfo al subgrupo feg K.
La operacin es asociativa: ((h; k) (h0 ; k 0 )) (h00 ; k 00 ) = (h [' (k) (h0 )] ; kk 0 ) (h00 ; k 00 ) =

((h (' (k) (h0 ))) ' (kk 0 ) (h00 ) ; kk 0 k 00 )
Por otro lado
(h; k) ((h0 ; k 0 ) (h00 ; k 00 )) = (h; k) (h0 [' (k 0 ) (h00 )] ; k 0 k 00 ) = (h [' (k) (h0 [' (k 0 ) (h00 )])] ; k (k 0 k 00 )) :
Basta notar la igualdad de las primeras entradas. Como ' (k) es un
morsmo, entonces ' (k) (h0 [' (k 0 ) (h00 )]) = ' (k) (h0 ) ' (k) (' (k 0 ) (h00 )) =
' (k) (h0 ) ((' (k) ' (k 0 )) (h00 )) =
' (k) (h0 ) (' (kk 0 ) (h00 )) :
(h:k) (e; e) = (h (' (k) (e)) ; ke) : Como ' (k) es un morsmo entonces
' (k) (e) = IdH : Por esta razn, (h:k) (e; e) = (h ((' (k) (e)) (e)) ; ke) =
(h Idh (e) ; k) = (h; k) :
Tambin (e; e) (h; k) = (e (' (e)) (h) ; ek) = (h; k) :
Basta ver que todo elemento tiene inverso derecho, para esto resolvamos
(h; k) (x; y) = (e; e) :

Entonces h (' (k)) (x) = e; de donde tenemos que (' (k)) (x) = h 1 ; es decir
que x = (' (k)) 1 ((' (k)) (x)) = (' (k)) 1 (h 1 ), notemos que ' (k) es un
automorsmo de H;as que tiene inverso.
Por otra parte, ky = e ) y = k 1 :
Entonces (h; k) 1 = (' (k)) 1 (h 1 ) ; k 1 :
Notemos ahora que

H o' K !2 K
(h; k) 7 ! k
es un morsmo: (h; k) (h0 ; k 0 ) = (h (' (k) (h0 )) ; kk 0 ) 7 !

2
kk 0 : Su ncleo es
H feg ; que es por lo tanto un subgrupo normal de H o' K: feg K es
claramente un subgrupo de H o' K : (e; k) (e; k 0 ) = (e (' (k) (e)) ; kk 0 ) =
(e e; kk 0 ) = (e; kk 0 ) :
Adems tenemos que (e; k) (h; e) (e; k) 1 = (e; k) (h; e) (e; k 1 ) = (e (' (k) (h)) ; k) (e; k 1 ) =
(e (' (k) (h)) ' (k) (e) ; kk 1 ) = (' (k) (h) ; e) :
Lo anterior sugiere que las dos manera de pensar un producto semidirecto
(versin interna: G = HK; donde H E G; K G; H \ K = feg : Versin
externa: G = H o' K; donde ' : K ! Aut (H) es un morsmo) coinciden.
Si G = HK; donde H E G; K G; H \ K = feg ; consideremos
': K ! H G = H o' K
y entonces :
k 7 ! k () k 1 hk 7 ! (h; k)
Recprocamente, si G = H o' K; entonces H feg E G; feg K G;
G = (H feg) (feg K) ; (H feg) \ (feg K) = f(e; e)g y
(H feg) (feg K) ! H o' K

(h; e) (e:k) 7 ! (h; k)
es un isomorsmo.
Ejemplo 30 Consideremos el grupo S3 :ste tiene un subgrupo normal: h i ;

donde es la rotacin 1 7 ! 2 7 ! 3 7 ! 1: La reexin 1 : 1 7 ! 1; 2 7 !
3; 3 7 ! 2 genera un subgrupo de orden 2: Es claro que S3 es el producto
semidirecto de h i h 1 i :
Ejemplo 31 Lo anterior tambin se puede decir del grupo didrico D2;n :

D2;n = h i h i ; donde es cualquier reexin del n gono regular.
Ejemplo 32 Consideremos ahora Aut (D2;n ) el grupo de automorsmos del

grupo didrico.
1
D2;n = f ; j o ( ) = n; o ( ) = 2; = 1 g : Si 2 Aut (G) ; entonces
( ) ; ( ) deben satisfacer las relaciones que satisfacen y : Cualquier OJO
elemento de la forma i es de orden 2 : i i = i i = e: As
que ( ) = z ; para algn entero z. Entonces podemos notar que existe
Aut (D2;n ) ! Aut (h i)
un morsmo ; que corresponde al hecho de que
7 ! jh i
( ) = z ; para algn entero z primo relativo con n: ( ) debe ser un elemen-
to de orden 2;as que debe ser de la forma i : Adems debe de suceder que
( ) ( ) ( ( )) 1 = ( ( )) 1 : Entonces debiera suceder que i z i =
z
: Calculemos el lado izquierdo: i z i = i z i = i z 1 =
z
: Entonces cualquier automorsmo de D2;n est determinada por dos elec-
ciones: z 2 Zn y por { 2 Zn ( ( ) = z ; ( ) = i ):
Veamos ahora que
Aut (D2;n ) = Zn n' Zn
7 ! ({; z)
si ( ( ) = z ; ( ) = i ):
Notemos que cada z 2 Zn induce un automorsmo z _ de Zn (que sea
morsmo es la propiedad distributiva en Zn ; y es un automorsmo porque z
es un elemento invertible de Zn :
' : Zn ! Aut (Zn )
As pues tenemos un morsmo , que es morsmo
z 7 ! z
es porque multiplicar primero por z y despus por w es lo mismo que multi-
plicar por wz: Entonces Zn n Zn es un grupo con la operacin denida por
({; z) (j; w) = ({ + ' (z) (j) ; z w) = ({ + zj; z w)
Ya notamos que ( ) 2 Zn Zn :
k l
Por otra parte, una pareja (z; {) induce (z; {) =: tal que :=
kz i l z i
( ) : En particular, ( ) = ; ( ) = ;que como ya vimos satis-
facen que o ( ( )) = n = o ( ) ; o ( ( )) = 2 = o ( ) y ( ) ( ) ( ) =
( ) 1 : Por lo que D2;n = h ( ) ; ( )i y como las relaciones que denen
la multiplicacin son las mismas que satisfacen y ; obtenemos el mis-
mo resultado al calcular ( u v) k l
que al calcular ( ( u ) ( v ))
k l
: Es decir que = ((z; {)) es un morsmo de D2;n :
k l k l
es inyectiva: si = e; entonces = e; de donde kz =
k
2 h ( )i \ h ( )i = h i \ h i ; como h i = fe; i g ; tendramos
i i
que kz = e; o kz = i el segundo caso no es posible, ya que 2 = h i;

1.14. ACCIONES DE GRUPOS 79
en el primer caso n = o ( ) j kz; as que n j k; porque (z; n) = 1: As que

k l l
= l 2 ker ( ) ; pero entonces ( i ) = l
= e; lo que implica que l es
par. Por lo tanto ker ( ) = feg : Como es un morsmo inyectivo y D2;n es
nito, entonces es un automorsmo.
es un morsmo: supongamos que ( ) = ({; z) y que ( ) = (j; w) ; esto
signica que ( ) = z ; ( ) = i ; y que ( ) = w ; ( ) = j : En-
tonces ( ) ( ) = ( ( )) = ( z ) = ( ( ))z = wz . Por otra parte
( ) ( ) = ( ( )) = ( i ) = ( i ) ( ) = wi j = wi+j :
Esto signica que ( ) = wi + j; wz ; mientras que ( ) ( ) = (j; w) ({; z) =
(j + ' (w) i; wz) = (j + wi; wz) que es lo mismo.
Ahora veamos que es inverso para :
7 ! ({; z) si ( ) = z y ( ) = i : Entonces ({; z) 7 ! (({; z)) que
hace precisamente lo mismo. Por lo tanto = IdAut(D2;n ) ; que = Id es
inmediato.
Ejemplo 33 Como caso particular, consideremos el grupo de automorsmos

del grupo de las simetras del cuadrado: Aut (D2;4 ) = Z4 o' Z4 = Z4 o'
Z2 = D2;4 : El grupo de simetras del cuadrado es isomorfo a su grupo de
automorsmos.
Ejemplo 34 Con los mismos argumentos Aut (S3 ) = Z3 o' Z3 = Z3 o' Z2 =

S3 :
1.14. Acciones de grupos

Diremos que G acta en un conjunto X si existe un morsmo G ! SX ,
donde SX es el grupo de permutaciones del conjunto X:
Una manera equivalente de denir una accin de un grupo en un conjun-
G X ! X
to es deniendo una funcin que satisfaga las siguientes
(g; x) 7 ! gx
condiciones:
1. ex = x; 8x 2 X:
2. (g1 g2 ) x = g1 (g2 x) :
Observacin 34 Ambas deniciones son equivalentes.

Demostracin. Para empezar, supongamos que tenemos un morsmo

: G ! SX : En este caso podemos denir el producto G X ! X
por gx := (g) (x) ; note que ex = (e) (x) = 1X (x) = x y (g1 g2 ) x =
(g1 g2 ) (x) = ( (g1 ) (g2 )) (x) = (g1 ) ( (g2 ) (x)) = g1 (g2 x) :
Por otra parte, si lo que tenemos es el producto G X ! X con las
propiedades pedidas entonces podemos denir g 7 ! g () (multiplicar por
la izquierda. Veremos que es un morsmo de grupos G ! SX :
Para empezar g () : X ! X es una biyeccin, esto se debe a que
1 1
(g ()) g () (x) = gg x = e x = x;
y por la misma razn
1 1 1 1 1 1
g () g () (x) = g g x = e x = x;
as que g () tiene inverso.

Adems es un morsmo: (g1 g2 ) = (g1 g2 ) () = (g1 ()) (g2 ()) ;
puesto que (g1 g2 ) (x) = g1 (g2 (x)) :
1. G acta sobre s mismo por multiplicacin por la izquierda:
G G ! G
(a; b) 7 ! ab
o bien
G ! SG
a 7 ! a ()
Ejemplos 35 G acta sobre s mismo por conjugacin:
G ! SG
1
a 7 ! a () a
Ejemplos 36 G acta sobre un subgrupo normal por conjugacin
G ! SH
1 ;
a 7 ! a () a
1 1
ya que a () a : H ! H es una biyeccin (su inverso es a () a:
Ejemplos 37 El grupo de permutaciones SX acta trivialmente en X : si

2 SX y x 2 X; x = (x) :
Ejemplos 38 El grupo de simetras del cuadrado acta de manera natural

en
el conjunto de los vrtices del cuadrado,
el conjunto de las aristas del cuadrado,
el conjunto de las diagonales del cuadrado.
Como sugieren los ejemplos anteriores, si G acta en el conjunto X, entonces
cualquier subgrupo H de G acta sobre X por restriccin. Simplemente note
que H ,! G ! SX sigue siendo un morsmo si lo es.
Una accin de un grupo G en un conjunto X induce una relacin de

equivalencia en X; x sG y si y = gx; g 2 G:
Es claro que x sG x pues x = ex: x sG y ) y = gx; para alguna
g 2 G ) g 1 y = g 1 (gx) = (g 1 g) x = ex = x; con g 1 2 G ) y sG x:
x sG y sG z ) 9a; b 2 G tales que ax = y; by = z ) (ba) x = b (ax) =
z ) x sG z:
La clase de equivalencia [x]sG = fgx j g 2 Gg :
Podemos contar el nmero de elementos en [x]sG :gx = hx () g 1 hx =
x:
Esto sugiere considerar Hx = fg 2 G j gx = xg : Podemos observar que
Hx es un subgrupo de G (ex = x: gx = x ) g 1 gx = g 1 x; pero g 1 gx =
ex = x: g; h 2 Hx ) (gh) x = g (hx) = gx = x: ).
As pues gx = hx () g 1 hx = x () g 1 h 2 Hx () hHx = gHx : Esto
muestra que hay una biyeccin entre los elementos de [x]sG y el conjunto de
o (G)
clases laterales izquierdas de Hx : Por lo tanto [x]sG = [G : Hx ] (= ;
o (Hx )
si G es nito).
Ejemplo 39 En el caso particular de la accin de G en G por conjugacin,

tenemos que [a]sG = fgag 1 j g 2 Gg ; Ha = fg 2 G j gag 1 = ag = C (a) :
Que nos recuerda que el nmero de conjugados de a es el ndice de su cen-
tralizador.
Ejemplo 40 Un grupo de orden pq, p; q primos, tiene un subgrupo normal

no trivial.
Si G es abeliano, escojamos un elemento distinto del neutro, llammosle

a: Si o (a) < pq; entonces hai es un subgrupo normal no trivial. Si o (a) = pq;
entonces aq es de orden p:
Si G no es abeliano entonces no tiene elementos de orden pq; por lo que
un elemento a 6= e tiene orden 2 fp; qg : Supongamos que p q:
Por el Teorema de Cauchy G contiene un elemento de orden p: Si o (a) = p;
entonces [G : hai] = q; y pq - q! ya que p - (q 1) 1; puesto que p es mayor
que q 1; q 2; :::; 1: Por el Corrolario al Teorema de Cayley tenemos que
hai contiene un subgrupo normal de G no trivial. Como hai es de orden p,
conclumos que hai es normal.
1.14.1. rbitas y estabilizadores

Si G acta en X, denimos la relacin G en X; por: x G y si existe
g 2 G tal que g x = y:
Observacin 35 G es una relacin de equivalencia en X :
Como x = e x; entonces x G x; 8x 2 G:
Si x G y entonces g x = y; de donde x = e x = (g 1 g) x =
g 1 (g x) = g 1 y: Por lo tanto y G x:
Si x G y; y G z; entonces 9g; h 2 G tales que g x = y; h y = z: Por
lo tanto (hg) x = h (g x) = h y = z; es decir, x G z:
Denicin 37 Si G acta en X; llamamos G rbita de x a la clase de
equivalencia de [x] G :
Denicin 38 Denotamos por Hx el estabilizador de x; es decir
Hx = fg 2 G j g x = xg :
Observacin 36 Si G nito acta en X nito, entonces [x] G
tiene tantos
elementos como Hx nG :
Demostracin. g x = h x , (g 1 h) x = x , g 1 h 2 Hx ,
, gHx = hHx :
Entonces la funcin
[x] G ! Hx nG
g x 7 ! gHx
est bien denida, es inyectiva y es suprayectiva.
Denicin 39 Si G acta en X; F (g) =: fx 2 X j g x = xg :
Observacin 37 x 2 F (g) , g 2 Hx :
En el siguiente lema calcularemos cuntas G rbitas hay en trminos de

los conjuntos F (g) : Este nmero es muy importante en las aplicaciones al
conteo.
Lema 40 Si y G x entonces Hx = Hy :
Demostracin. Supongamos que gx = y: a 2 Hy , ay = y , agx =

y = gx , g 1 agx = g 1 gx
, (g 1 ag) x = x , (g 1 ag) 2 Hx :
Hy ! Hx
Lo anterior demuestra que es una biyeccin, de
a 7 ! g 1 ag
hecho esto muestra que Hx es conjugado de Hy :
Lema 41 Si G nito acta en X nito, entonces c el nmero de rbitas est

dado por
1 X
c= F (g) :
o (G) g2G
Demostracin. Consideremos x 2 F (g) ; esta x est contada en la suma

una vez por cada elemento de Hx : Ahora, cualquier otro elemento de [x] G
tiene estabilizador con el mismo nmero de elementos que x: Por lo tanto cada
elemento de [x] G est contado el mismo nmero de veces. Por lo tanto, la
contribucin de [x] G a la suma es o (Hx ) [x] G = o (Hx ) Hx nG = o (G) :
Como cada rbita contribuye con o (G) a la suma entonces la suma
vale c o (G) :
Si K G entonces K acta en G mediante multiplicacin por la izquier-
da.
La rbita de g es Kg: Por el teorema anterior hay tantas rbitas como
1 X
F (k) : F (k) es el nmero de elementos g de G con la propiedad
o (K) k2K
o (G) si k = e
de que kg = g; es decir F (k) = . Por lo tanto el nmero
0 si k 6= e
1
de rbitas (el nmero de clases laterales derechas de K) es o (G) : Lo
o (K)
que nos da nuevamente el Teorema de Lagrange.
1.14.2. Aplicaciones al conteo

A una funcin f : X ! f1; :::; kg le llamaremos coloracin de X con k
colores, o bien k coloracin,. Pensamos que al elemento x le damos el color
f (x) :
Segn la denicin anterior, el nmero de k coloraciones de un conjunto
X es jXjk :
Por ejemplo el nmero de 2 coloraciones de las caras de un cubo (6
caras) es 62 = 36: Sin embargo, uno considera dos coloraciones que se ob-
tienen mediante una rotacin del cubo, como la misma. Por ejemplo todas
la coloraciones que tienen dos caras opuestas del cubo rojas y el resto de las
caras azules, se consideran la misma. Entonces en realidad, lo que queremos
contar es el nmero de rbitas en el conjunto de las coloraciones cuando sobre
este conjunto acta el grupo de rotaciones del cubo.
Veamos de cuntas maneras diferentes se pueden colorear las caras de un
cubo con 2 colores.
Numeremos los vrtices de la cara superior de un cubo como 1; 2; 3; 4 y
denotemos por 5; 6; 7; 8 los vrtices correspondientes de la cara de abajo. De
esta manera los vrtices ms cercanos a 1 son 2; 4; 5 (con esa orientacin). Si
es una rotacin del cubo que deja jo a 1; entonces la restriccin de a
los vecinos de 1 debe ser un elemento de fId; (2; 4; 5) ; (2; 5; 4)g ; segn sea la
imagen de 2 bajo . Si deja jo a 1;entonces tambin debe jar a 7 que es
su vrtice opuesto. queda determinada por la imagen de 2 (si ja a 1).
As que 2 f(1) ; (2; 4; 5) (6; 3; 8) ; (2; 5; 4) (6; 8; 3)g ; si ja 1: De la misma
manera hay 3 rotaciones por cada una de las 8 imgenes posibles de 1 bajo
una rotacin. As que hay en total 24 rotaciones de un cubo.
Otra manera de contar es contando primero los ejes de rotacin, que se
pueden clasicar como cara-cara, vrtice-vrtice, arista-arista. Un eje cara-
cara pasa por los centros de dos caras opuestas del cubo, as que hay 3
de estos (arrriba-abajo, izquierda-derecha y frente-fondo), para cada uno de
estos ejes hay dos rotaciones de orden 4 y una de orden 2 (90; 270 y180 grados
respectivamente), la cuenta va en 3 3 = 9: Un eje arista arista determina
una rotacin no trivial de 180 grados, hay 6 pares de aristas opuestas, as
que nuestra cuenta se incrementa en 6: Los ejes vrtice-vrtice determinan
dos rotaciones no triviales y hay 4 pares de vrtices opuestos, as que nuestra
cuenta aumenta en 8: Sumando la rotacin trivial tenemos entonces que hay
9 + 6 + 8 + 1 = 24:
El nmero total de 2 coloraciones de las caras del cubo es 26 :vamos ahora
1.15. LOS TEOREMAS DE SYLOW 85
a contar el nmero de rbitas
tipo de rotacin cantidad # coloraciones jadas

(1) 1 26
v v (2; 4; 5) (6; 3; 8) 4 2 22
c c (1; 2; 3; 4) (5; 6; 7; 8) 3 2 23
c c (1; 3) (2; 4) (5; 7) (6; 8) 3 24
a a (1; 2) (7; 8) (3; 5) (4; 6) 6 22
1 6
Entonces c = (2 + (8 4) + (6 8) + (3 16) + (6 4)) = 9:
24
Hay 9 maneras diferentes de colorear un cubo con dos colores.
1.15. Los Teoremas de Sylow

Denicin 40 Decimos que un p subgrupo de un grupo G es de Sylow si es
un p-subgrupo mximo de G:(P p sS G denotar que P es un p subgrupo
de Sylow de G:
De la pura denicin de p grupo y del hecho de que un automorsmo

interior preserva el orden de los elementos (y de los subgrupos) tenemos que
el conjugado de un p subgrupo de Sylow es un p subgrupo de Sylow.
Teorema 40 Un grupo acta en el conjunto de sus p subgrupos de Sylow

por conjugacin.
Demostracin. Denotemos por Sp sS el conjunto de los p subgrupos de

Sylow de G: Sea a 2 G y P 2 Sp sS ; queremos demostrar que aP a 1 2 Sp sS :
Es claro que aP a 1 es un p subgrupo de G; ya que a ( ) a 1 respeta el orden
de los elementos.
Si aP a 1 Q y Q es un p subgrupo, entonces conjugando por
1
a tenemos que P a 1 Qa; como a 1 Qa es un p grupo y P es p grupo
mximo, entonces P = a 1 Qa; por lo que aP a 1 = Q: Entonces aP a 1 es
un p grupo mximo, es decir, es un p subgrupo de Sylow.
Teorema 41 Todo grupo G contiene un p subgrupo de Sylow.

Demostracin. Esto es claro si G es nito, pues bastara tomar un

p subgrupo de orden mximo (esto se puede hacer, ya que hay un nmero
nito de subgrupos).
Si G es innito, usaremos el lema de Zorn.
Sea S el conjunto de los p subgrupos de G; (note que feg 2 S). S est
ordenado por : Ahora si fHi gi2I es una cadena en S, entonces [ fHi gi2I =
_ fHi gi2I G: Adems es claro que [ fHi gi2I es un p grupo, ya que todos
sus uniendos lo son, y es una cota para cada Hi . El lema de Zorn nos asegura
que S tiene elementos mximos, es decir que G tiene p subgrupos de Sylow.
Podemos observar que con un ligera modicacin del argumento, todo

p-grupo est contenido en un p-subgrupo de Sylow.
p
Lema 42 El nmero de p subgrupos de Sylow de un grupo nito G es 1
y es un divisor de o (G) :
Demostracin. Sea P un p subgrupo de Sylow de G: Sea Sp sS el

conjunto de los p subgrupos de Sylow de G. Ya notamos que G acta en
Sp sS por conjugacin. Ahora consideremos la clase de conjugacin de P;
[P ] = fgP g 1 j g 2 Gg : Note que G acta en [P ] por conjugacin, como
P G; entonces P acta en [P ] ; tambin por conjugacin
P ! S[P ]
x 7 ! x()x 1 :
1 1
x (aP a ) x 2 [P ] ; x 2 P; a 2 G
En vista de lo anterior. [] P queda partido en P rbitas.

Note que la P rbita de P es fP g ; esto se debe a que [P ]P =
fxP x j x 2 P g = fP g : 6
1
Supongamos ahora que aP a 1 6= P; el nmero de elementos en la

o (P )
P rbita de aP a 1 es ; donde HaP a 1 denota el estabilizador de
o (HaP a 1 )
aP a 1 en P; es decir: P \ fc 2 G j caP a 1 c 1 = aP a 1 g note que este es un
subgrupo propio de P; ya que en caso contrario,
P = P \ c 2 G j caP a 1 c 1
= aP a 1
;
6
Denotamos [Q]P la P rbita de Q; para distinguirla de [Q] la G rbita de Q.
de donde tendramos que P N (aP a 1 ) ;as que xaP a 1 x 1 = P; 8x 2 P;

pero entonces aP a 1 = x 1 P x = P; contradiciendo la hiptesis acerca de
aP a 1 :
Entonces. en el caso de que aP a 1 6= P; el nmero de elementos en
o (P ) p
la P rbita de aP a 1 es 0; ya que o (HaP a 1 ) es un divisor
o (HaP a 1 )
propio de o (P ) :
p
En conclusin, j[P ]j 1:
Adems j[P ]j es el ndice de N (P ) en G, que es un divisor de o (G) :
Teorema 42 Si G es un grupo nito, entonces todos los p subgrupos de

Sylow son conjugados.
Demostracin. Supongamos que P y Q son p subgrupos de Sylow

que no son conjugados en el grupo nito G:
Ya hemos notado que G acta en [P ] ; la G rbita de P: Entonces
Q tambin acta en [P ], partindola en Q rbitas de la forma
1 1 1
xP x Q
= q xP x q jq2Q :
El nmero de elementos en la Q rbita [xP x 1 ]Q es el ndice de su estabi-

lizador en Q; es decir es
o (Q) p 0 si N (xP x 1 ) \ Q Q
:
o (NG (xP x 1 ) \ Q) 1 si N (xP x 1 ) \ Q = Q
Como ya hemos visto que el nmero de conjugados de P es congruente con 1

mdulo p; al menos una Q rbita [xP x 1 ]Q debe tener un elemento En este
caso Q N (xP x 1 ) ; entonces N (xP x 1 ) contiene dos p subgrupos de Sy-
low: Q y xP x 1 y este ltimo es normal en N (xP x 1 ) ; entonces (xP x 1 ) Q
1 1 o (xP x 1 ) o (Q)
N (xP x ) : Dado que o ((xP x ) Q) = ; este orden es una
o ((xP x 1 ) \ (Q))
potencia de p; por lo que resulta un p grupo. Como tanto Q como xP x 1
son p subgrupos de Sylow, entonces Q = xP x 1 ; contradiciendo que Q no
era conjugado de P:
Corolario 13 Un p subgrupo de Sylow de un grupo nito G es normal si y

slo si es el nico p subgrupo de Sylow.
Corolario 14 En un grupo nito todos los p subgrupos de Sylow son iso-

morfos.
Teorema 43 Si G es un grupo nito entonces el orden de un p subgrupo

de Sylow es la mayor potencia de p que divide a o (G) :
o (G)
Demostracin. Sea P un p subgrupo de Sylow de G; entonces =
o (P )
o (G) o (N (P ))
; el primer factor es el nmero de conjugados de
o (N (P )) o (P )
p
P; que ya vimos que es 1; el segundo factor tampoco es mltiplo de p; ya
N (P ) N (P )
que en caso contrario 9bP 2 (como P E N (P ) entonces es un
P P
grupo y tendra un elemento de orden p;por el teorema de Cauchy), entonces
p j o (bP ) ; por lo que (bP )p = bp P = P; por lo que o (bp ) = pk ;para alguna
k 2 Z;as hbi es un p grupo (o (b) = ps t, digamos, entonces pk = o (bp ) =
ps t
= ps 1 t; de aqu que s 1 = k y t = 1;por lo que o (b) = pk+1 ) y
(ps t; p)
o (G)
P P hbi ; contradiciendo que P es de Sylow. Por lo tanto p - ; como P
o (P )
es un p grupo entonces o (P ) es la mayor potencia de p que divide a o (G) :
Observacin 38 A5 es el nico subgrupo simple de orden 60:
Demostracin. Supongamos que G es un grupo simple con 60 ele-

mentos. Como 60 = 22 3 5 entonces G tiene subgrupos de orden 4; 3; 5: Los
divisores de 60 son: 1; 2; 4; 3; 6; 12; 5; 10; 20; 15; 30; 60:
G no puede tener un subgrupo H de orden 15 ya que como 60 -
60
! = 24; entonces H contendra un subgrupo normal no trivial de G;
15
que no existe por hiptesis Con un argumento anlogo vemos que G no tiene
subgrupos de rdenes 20; 30 o 60:
Si G tuviera un subgrupo K de orden 12; K sera de ndice 5: En-
tonces existira un morsmo G ! S5 cuyo ncleo es (e) (el mayor subgrupo
normal de G contenido en K). Entonces tendramos una inmersin de G en
S5 y hay dos casos: ' (G) A5 (en cuyo caso ' (G) = A5 y G = A5 o
bien la mitad de los elementos de ' (G) son permutaciones pares por lo que
' (G) \ A5 E ' (G) (es de ndice 2) pero entonces tambin G tendra un
subgrupo de ndice 2; contradiciendo que G es simple).
El prrafo anterior muestra que lo que queremos demostrar equivale
a demostrar que hay un subgrupo de orden 12.
En caso contrario, slo 1; 2; 3; 4; 5; 6; 10 pueden ser rdenes de sub-
grupos de G:
Si G tuviera un subgrupo de orden 10; argumentando como arriba,
tendramos que G se sumerge en S6 ;y de hecho se sumerge en A6 :
La inmersin de G en A6 nos sirve para notar que G no tiene elemen-
tos de orden 6 (un 6 ciclo y el producto de una trasposicin por un 3:ciclo,
que son los elementos de orden 6 en S6 ; son ambas permutaciones impares).
Usamos ahora los Teoremas de Sylow, denotemos c2 ; c3 ; c5 el nmero
de subgrupos de G de rdenes 4; 3 y 5 respectivamente. Denotemos por
S2 :S3 ; S5 subgrupos de Sylow de G;de rdenes 4; 3; 5 respectivamente.
2 60
c2 1 ) c2 2 f3; 5; 15g : c2 = 3 ) o (N (S2 )) = = 20; cosa que
3
como ya vimos no puede suceder. c2 = 5 ) o (N (S2 )) = 12; que es lo que
andamos tratando de demostrar.
Tenemos que ver que no es posible que c2 = 15:
60
Si c2 = 15; entonces N (S2 ) = S2 ( = 4 = o (N (S2 ))).
15
Como todos los 2 subgrupos de Sylow son isomorfos, y como slo hay
dos clases de isomorsmo de grupos de orden 4; tenemos dos posibilidades: o
bien S2 es cclico con 4 elementos o bien S2 es isomorfo a Z2 Z2 : En el primer
caso, tendramos 15 subgrupos de orden 4, cada uno con dos generadores, lo
que nos dara 30 elementos en G de orden 4. Por otro lado c5 = 6 (es el nico
numero 6= 1;que es congruente con 1 mdulo 5 y que divide a 60); en los 6
subgrupos de orden 5 caben 24 elementos de orden 5;y uno de orden 1; lo que
deja lugar para 4 elementos de orden 3 (porque tambin debe haber algn
elemento de orden 2). Ahora c3 2 f4; 10g por lo que tiene que haber por lo
menos 4 subgrupos de orden 3; con 8 elementos de orden 3; absurdo.
La contradiccin anterior muestra que los subgrupos de orden 4 de
G son isomorfos al grupo de Klein o c2 6= 15.
Supongamos, contra lo que queremos, que c2 = 15, entonces N (S2 ) =
S2 ; veremos que todos los subgrupos de orden 4 se intersectan trivialmente:
si e 6= a 2 U \V; U 6= V; de orden 4; entonces U [V C (a) : As 4 j o (C (a))
(U C (a)) y jU [ V j = 4 + 4 2 = 6 o (C (a)) : Entonces 4 j o (C (a)) j 60
por lo que o (C (a)) 2 f12; 20g y entonces G tendra un subgrupo de orden
12: Podemos suponer entonces que todos los 15 subgrupos de orden 4 tienen
interseccin trivial, entonces habra 45 elementos de orden 2; lo que no deja
espacio a los 24 elementos de orden 5:
Lo anterior demuestra que c2 = 5; por lo que hay un subgrupo de
orden 12; N (S2 ) :
Como G ! SN (S2 ) nG = S5 ; es un monomorsmo, entonces la imagen
de G en S5 consta de puras permutaciones pares o bien exactamente la mitad
de sus elementos son pares y forman un subgrupo normal. Como esto no es
posible, entonces G ! A5 es un monomorsmo entre dos grupos de orden
60;es decir, es un isomorsmo. Este isomorsmo muestra que los subgrupos
de orden 4 de G son isomorfos al grupo de Klein, ya que as son los subgrupos
de orden 4 de A5 : (Por ejemplo, f(1) ; (1; 2) (3; 4) ; (1; 3) (2; 4) ; (1; 4) (2; 3)g
A5 ).
Lema 43 Si un subgrupo H de un p-subgrupo de Sylow G es normal, en-

tonces H est contenido en cualquier p-subgrupo de Sylow.
Demostracin. Sabemos que todo p-grupo est contenido en un p-subgrupo

de Sylow, y que todos los p-subgrupos de Sylow de G son conjugados. As, si
H P con P un p-subgrupo de Sylow, y Q es otro p-subgrupo de Sylow, en-
tonces Q = aP a 1 ; para alguna a 2 G: Entonces H = aHa 1 aP a 1 = Q:
Observacin 39 La interseccin de los p-subgrupos de Sylow es un p-grupo

normal y es el mayor p grupo normal de G:
Ejemplo 41 Un subgrupo G de orden 15 es cclico.

3
Si c3 denota el nmero de 3-subgrupos de Sylow, entonces c3 1 y c3
j 15: Como los divisores de 15 son 1; 3; 5; 15; tenemos que c3 = 1: Es decir que
5
el 3 subgrupo de Sylow es normal. Por otro lado, c5 1; c5 j 15; implican
que c5 = 1;as que tambin el 5-subgrupo de Sylow es normal. Si a es un
elemento de orden 3 y b es un elemento de orden 5;entonces G = hai hbi :
Como hai ; hbi son subgrupos normales de interseccin trivial, entonces todo
elemento de hai conmuta con todo elemento de hbi : Entonces G es abeliano.
Ahora, e = (ab)n = an bn ) an = b n 2 hai \ hbi = feg : Entonces 3 = o (a) j
n; 5 = o (b) j n: Luego 15 j n: Esto muestra que o (ab) = 15 y por lo tanto
G = habi :
Ejemplo 42 Grupos de orden 30

Como de costumbre, denotemos por c2 ; c3 ; c5 el nmero de 2-subgrupos de
Sylow, de 3-subgrupos de Sylow y de 5-subgrupos de Sylow, respectivamente.
2
Como c2 1; entonces c2 tiene que ser impar, y divisor de 30. Por lo tanto,
c2 2 f1; 3; 5; 15g :
3
Por otra parte c3 1, c3 j 30 implican que c3 2 f1; 10g : Anlogamente
c5 2 f1; 6g :
Si c3 = 10; como en la unin de dos subgrupos distintos de orden 3 hay
3 + 3 1 = 5; tenemos 4 elementos distintos de e de orden una 3 en su unin.
Por esta razn hay 20 elementos de orden 3 en G; si c3 = 10: Anlogamente,
si hay 6 subgrupos de orden 5; entonces habra 24 elementos de orden 5 en
G:
Por lo anterior, no puede suceder que c3 = 10 y c5 = 6 simultneamente.
Entonces c3 = 1 o c5 = 1; es decir que un 3-subgrupo de Sylow es normal
o un 5-subgrupo de Sylow es normal. Si H G es de orden 3 y K G es
de orden 5 entonces HK G (porque uno de los dos, H o K es normal).
Luego G tiene un subgrupo de orden 15. Un subgrupo de orden 15 es cclico
y en este caso, es de ndice 2; por lo que adems es normal. Supongamos que
a 2 G tiene orden 15; por ser un subgrupo cclico normal, cualquiera de sus
subgrupos es normal. En particular, tiene un subgrupo de orden 3 normal y
un subgrupo de orden 5 normal. Esto demuestra que c3 = 1 y c5 = 1:
Supongamos que c 2 G tiene orden 2; entonces cac 1 = ai ;para alguna
i: Conjugando nuevamente, a = ccac 1 c 1 = c (cac 1 ) c 1 = c (ai ) c 1 =
i i 2 15
(cac 1 ) = (ai ) = ai : Entonces 15 = o (a) j i2 ; es decir, i2 1: Esto es
2 5
i 1
equivalente al sistema ; cuyas soluciones son:
2 3
i 1
5 3 15
i 1; i 1; es decir i 1
5 3 15
i 1; i 1; es decir, i 1
5 3 15 :
5 3 15
cac 1 = a
cac 1 = a 1
As que tenemos las cuatro posibilidades: :
cac 1 = a4
cac 1 = a11
Desde luego, cac 1 = a implica que G = hai hci es abeliano y por lo tanto
cclico de orden 30:
cac 1 = a 1 determina el grupo didrico D2;15 ; de las simetras del 15-
gono regular.
Consideremos ahora el caso cac 1 = a4 :
3 3
Tenemos que ca3 c 1 = (cac 1 ) = (a4 ) = a12 = a 3 : Como o (a3 ) =
5; esto signica que a3 y c generan un grupo didrico D2;5 (isomorfo a las
simetras del pentgono). Este subgrupo es ha3 i hci (pues ha3 i E G): Entonces
G = (ha3 i hci) ha5 i : ha5 i E G; veamos que tambin ha3 i hci E G: Queremos
ver que x ha3 i hci x 1 ha3 i hci ; para toda x 2 G: Como a3 ; c; a5 generan G;
basta demostrar que a3 ; c; a5 2 N (ha3 i hci) ; pero para esto basta demostrar
que xcx 1 2 ha3 i hci ; para x 2 fa3 ; c; a5 g : En realidad, basta mostrar que
a3 ca 3 y a5 ca 5 pertenecen a ha3 i hci : Pero
a3 ca 3
= a3 ca 3 c 1 c = a3 ca 3 c 1
c=
3 3
= a3 cac 1
c = a3 a 12
c = a 9 c = a3 c:
a5 ca 5
= a5 ca 5 c 1 c = a5 ca 5 c 1
c=
5 5
= a5 cac 1
c = a5 a 20
c=a 15
c = a3 c:
Con esto tenemos que ha3 i hci E G; y por lo tanto G = (ha3 i hci) ha5 i =
(ha i hci) ha5 i = D2;5 Z3 : Veamos cuntos elementos de orden 2 hay:
3
j
e = aj caj c = aj caj c 1 = aj (cac 1 ) = aj a4j = a5j implica que 15 j 5j;es
decir que 3 j j; de donde j 2 f0; 3; 6; 9; 12g : Hay 5 elementos de orden 2; as
que esto corresponde a c2 = 5:
Por ltimo consideremos el caso cac 1 = a11 :
5 5
Si esto sucede, entonces ca5 c 1 = (cac 1 ) = (a11 ) = a55 = a 5 : Entonces
c y a5 generan un subgrupo isomorfo a S3 : Este subgrupo es ha5 i hci ;ya
que ha5 i E G: Entonces G = (ha5 i hci) ha3 i y ha3 i E G: Queremos ver
que ha5 i hci E G: Como en el caso precedente basta que demostremos que
a5 ca 5 2 ha5 i hci y que a3 ca 3 2 ha5 i hci :
5 10
a5 ca 5 = a5 ca 5 c 1 c = a5 (ca 5 c 1 ) c = a5 (a11 ) c = a 50 c = (a5 ) c:
3 6
a3 ca 3 = a3 ca 3 c 1 c = a3 (ca 3 c 1 ) c = a3 (a11 ) c = a 30 c = (a5 ) c:
Como ha5 i hci E G y ha5 i E G; entonces G = (ha5 i hci) ha5 i = S3 Z5 :
Veamos cuntos elementos de orden 2 hay en este caso. e = aj caj c =
j
j
a (a11 ) = a12j ; as que 15 j 12j; por lo que 5 j 4j;as que 5 j j: Entonces
j 2 f0; 5; 10g : Por lo tanto hay 3 elementos de orden 2; y c2 = 3:
Entonces hay 4 grupos de orden 30 que son excepto por isomorsmo,

Z30 ; D2;15 ; D2;5 Z3 ; S3 Z5 :
Ejemplo 43 Los 2-subgrupos de Sylow de S4 :
El orden de S4 es 24 = 23 3: El nmero de sus 2-subgrupos de Sylow, c2

es impar y un divisor de 24; as que c2 2 f1; 3g : El nmero de 3 subgrupos
3
de Sylow es c3 1 y es un divisor de 24; entonces c3 2 f1; 4g : El nmero de
4 3 2
3-ciclos en S4 es = 8, que deben estar repartidos en 4 subgrupos de
3
orden 3: Entonces c3 = 4:
D2;4 el grupo de simetras del cuadrado es un subgrupo de S4 : D2;4 = H =
f(1) ; (1; 2; 3; 4) ; (1; 3) (2; 4) ; (1; 4; 3; 2) ; (1; 2) (3; 4) ; (1; 3) ; (2; 4) ; (1; 4) (2; 3)g ;
o (S4 ) 24
como c2 2 f1; 3g ; entonces c2 = = :Entonces o (N (H)) 2
o (N (H)) o (N (H))
24 24
; = 8 : As que H E S4 o H = N (H) : Si H fuera normal, entonces
1 3
habra un elemento de orden 3 en su normalizador, pero (1; 2; 3) H (1; 2; 3) 1 =
f(1) ; (2; 3; 1; 4) ; (2; 1) (3; 4) ; (2; 4; 1; 3) ; (2; 3) (1; 4) ; (2; 1) ; (3; 4) ; (2; 4) (3; 1)g ;
que claramente no es H ((1; 3) 2 H r (1; 2; 3) H (1; 2; 3) 1 ). Como hay ms
de un 2-subgrupo de Sylow, entonces c2 = 3: El otro 2 subgrupo de Sylow lo
obtenemos intercambiando los smbolos 1 y 2 en H : f(1) ; (2; 1; 3; 4) ; (2; 3) (1; 4) ; (2; 4; 3; 1) ; (2; 1) (3; 4) ; (
Entonces S4 contiene 3 subgrupos de orden 8:
Ejemplo 44 S5 :
o (S5 ) = 120 = 8 3 5:
Los 5-subgrupos de Sylow de S5 :
5
c5 1; c5 j 120: El conjunto de divisores de 120 es
f1; 2; 4; 8; 3; 6; 12; 24; 5; 10; 20; 40; 15; 30; 60; 120g :
De estos slo 1 y 6 son congruentes con 1 mdulo 5. Como en S5 el nmero

de 5-ciclos es 5!=5 = 24; y como cada subgrupo con 5 elementos contiene 4
de stos, entonces debe haber 6 subgrupos de orden 5;es decir que c5 = 6:
Los 3-subgrupos de Sylow de S5:
Los nmeros congruentes con 1mdulo 3 en la lista de los divisores de 120
5 4 3
son: 1; 4; 10; 40: Hay = 20 ciclos de longitud 3 (que son los elementos
3
de orden 3 en S5 ): Como cada subgrupo con tres elementos contiene dos de

esos 3-ciclos, debe haber 10 subgrupos de orden 3:
Los 2 subgrupos de Sylow de S5 :
5 4
Los elementos de orden 2 en S5 son transposiciones (hay = 10) y
2
5 4 3 2
productos de dos transposiciones ajenas (hay 2 2 = 15), los elemen-
2
5 4 3 2
tos de orden 4 son 4 ciclos (hay = 30), y no hay elementos de
4
orden 8: En total hay 1 + 10 + 15 + 30 = 56 elementos de orden una potencia
de 2: Ahora un 2-subgrupo de Sylow H tiene orden 8 y tiene subgrupos de
rdenes 2 y 4.
Hay tantos elementos de orden 6 como productos ajenos de una trans-
5 4 3 2 1
posicin y un 3-ciclo = 20 :
2 3
Note que 56 + 20 + 24 + 20 = 120:
Como o (S5 ) = 5! = 120 = 23 3 5; entonces un 2 subgrupo de Sylow
de A5 tiene 8 elementos.
El nmero de 2-subgrupos de Sylow de G, c2 es impar y es un divisor de 15:
As que c2 2 f1; 3; 5; 15g :
Si consideramos un cuadrado con los vrtices numerados (sucesivamente) de
1 a 4; y tomamos el grupo de simetras de ese cuadrado denotados como
permutaciones, entonces es claro que D2;4 S5 ; y que D2;4 es un 2-subgrupo
de Sylow de S5 :
S5 tiene por lo menos 5 copias de D2;4 como subgrupos (piense que los vrtices
del cuadrado se pueden etiquetar con 4 de los 5 primeros naturales positivos
o (S5 )
y 54 = 5: Entonces c2 2 f5; 15g : Como c2 = ; donde H es un
o (N (H))
120 120 120
2-subgrupo de Sylow de A5 ; entonces o (N (H)) = 2 ; =
c2 5 15
f24; 8g ; de donde tenemos que, o bien existe una permutacin de orden 3 en
el normalizador de H; o H es su propio normalizador.
Es claro que si el nmero de 2 subgrupos de Sylow de S5 fuera 5;entonces
habra a lo ms 5 7 + 1 = 36 elementos de orden una potencia de 2: Como
hay 56 elementos de rdenes 1; 2; 4 entonces debe haber 15 subgrupos de
Sylow con orden 8:
Este se puede notar de la siguiente manera: escojamos 4 de los 5 smbolos
en f1; 2; 3; 4; 5g (hay 5 maneras de hacer esto). Para una eleccin A de 4
smbolos, tenemos que S4 = SA S5 : Por el ejemplo anterior, SA contiene 3

subgrupos de orden 8: Ahora, es claro cuales son los 15 subgrupos de orden
8:
Ejemplo 45 El nmero de subgrupos de S4 :
Como o (S4 ) = 24 = 8 3 = 23 3; denotando c2 el nmero de 2 subgrupos

de Sylow de S4 ; tenemos que c2 2 f1; 3g ; ya que c2 es un impar que divide a
24: En el ejemplo 43, vimos que c2 = 3:
3
Anlogamente, c3 1 es un divisor de 24; as que c3 2 f1; 4g : Ahora,
(1; 2; 3) ; (1; 2; 4) ; (1; 3; 4) ; (2; 3; 4) generan 4 subgrupos distintos de orden 3:
Entonces c3 = 4; as que hay 4 subgrupos de orden 3; y de acuerdo con esto,
hay 8 elementos de orden 3:
As, hay 3 subgrupos de orden 8; 4 subgrupos de orden 3:
24
Como 24 - ! = 6; entonces un subgrupo de orden 8 contiene un sub-
8
grupo normal no trivial de S4 : Como un subgrupo de orden 8 no es normal
(hay 3 y todos son conjugados) entonces debe haber un subgrupo normal de
orden 4 o un subgrupo normal de orden 2: Como los subgrupos normales de
orden 2 corresponden a elementos de orden 2 en el centro, tenemos, dado que
el centro de S4 es trivial, que debe haber un subgrupo normal de orden 4 que
adems no puede ser cclico (implicara la existencia de un subgrupo normal
de orden 2; que ya notamos que no hay). Por el Lema 43, tenemos que el sub-
grupo normal de orden 4 est contenido en cada 2 subgrupo de Sylow. Este
subgrupo claramente es H = f(1) ; (1; 2) (3; 4) ; (1; 3) (2; 4) ; (1; 4) (2; 3)g :
f(1) ; (1; 3) ; (2; 4) ; (1; 3) (2; 4)g ; f(1) ; (1; 2) ; (3; 4) ; (1; 2) (3; 4)g ; f(1) ; (1; 4) ; (2; 3) ; (1; 4) (2; 3)g
son subgrupos de orden 4:
h(1; 2; 3; 4)i ; h(1; 3; 2; 4)i ; h(1; 2; 4; 3)i son subgrupos de orden 4 que con-
tienen a todos los 4-ciclos (que son 6).
Adems hay 4 subgrupos de orden 12; que son de la forma HK; donde K
es de orden 3 y H es el subgrupo normal de orden 4:
12 12
Como = 24 ) m = 6; entonces la interseccin de dos subgrupos
m
distintos de orden 12 debe ser un subgrupo de orden 6: Debemos notar que
todo subgrupo de orden 12 es de esta forma. Un subgrupo L de orden 12
debe ser normal en S4 porque es de ndice 2; si H es el subgrupo normal de
orden 4; entonces H \ L E S4 ; si H no estuviera contenida en L; entonces
o (H \ L) 2 f1; 2g ; no puede ser que o (H \ L) = 1; pues en ese caso habra
12 4 > 24 elementos en LH: Si o (H \ L) = 2; entonces habra un elemento
de orden 2 en el centro de S4 ; pero el centro de S4 es trivial. P or lo tanto el

subgrupo normal de orden 4 est contenido en todo subgrupo de orden 12:
Entonces un subgrupo de orden 12 tiene la forma HK; con K de orden 3:
En S4 no hay lugar para un elemento de orden 6 (su factorizacin en ciclos
ajenos debera contener un 3ciclo y otro factor de orden 2): Hay 4 subgrupos
isomorfos a S3 , correspondientes a los subconjuntos con tres elementos de
f1; 2; 3; 4g :
4 3
Los elementos de orden 2 son transposiciones ( = 6), productos de
2
4 32 1
dos transposiciones ajenas ( 2 2 = 3):
2
Podemos hacer la cuenta total de los subgrupos:
orden del subgrupo 1 2 4 8 3 6 12 24

:
cantidad de subgrupos 1 9 4 3 4 4 4 1
As que S4 tiene 30 subgrupos.
Ejemplo 46 Grupos G de orden 8:
Si hay un elemento de orden 8 el grupo es cclico e isomorfo a Z8 :

Supongamos en lo que sigue que no hay elementos de orden 8:
Si hay un elemento a de orden 4 y un elemento b de orden 2, b 2 = hai ;
i
entonces bab = a : Entonces a = bbab b = b (bab ) b = b (a ) b 1 =
1 1 1 1 1 i
i i 2 4 4 4
(bab 1 ) = (ai ) = ai : De aqu que i2 1; de donde i 1 oi 1: La
primera posibilidad nos dice que G es abeliano y entonces G = Z4 Z2 : La
segunda posibilidad dene al grupo didrico, D2;4 :
Si hay un elemento a de orden 4 pero no hay elementos de orden 2 fuera
de hai ; entonces 8b 2 Grhai ; tendramos que o (b) = 4: Como los subgrupos
de orden 4 son normales pues son de ndice 2; tenemos que G = hai hbi ; de
4 4
donde 8 = : As que hai \ hbi es un subgrupo normal de orden
o (hai \ hbi)
2: Entonces a2 = b2 es un elemento de orden 2 que adems pertenece al
centro de G: Ahora ab 2 = hai por lo que tambin tiene orden 4: Nuevamente,
(ab)2 = a2 = b2 :
Como ya notamos, G = hai hbi : El producto ai bj ak bl queda determinado
por el valor de bab 1 que es una potencia de a ( ba = as b lo que permitira
evaluar todos los productos en G).
4
Si bab 1 = as ; conjugando sucesivamente, tenemos que a = b4 ab 4 = as ;
4 4 4
de donde tenemos que s4 1; por lo tanto s 1 o s 1: El primer caso
nos dara que G es abeliano, pero adems, bab 1 = a ) ba = ab ) baa =
aba ) b3 = aba ) e = b4 = baba: De donde tenemos que ba es un elemento
de orden 2 que no pertenece a hai ; contradiciendo la hiptesis presentes.
Entonces bab 1 = a 1 :
Veamos que entonces G es isomorfo al grupo de Hamilton. Hagamso
Ejemplo 49 Grupos de orden p2
Ejemplo 50 Grupos de orden pq:
Ejemplo 51 Grupos de orden 16:
Ejemplo 52 Grupos de orden 60:
Ejemplos 53 Subgrupos de Sylow de S4 :
Como 24 = 23 3; un 2-subgrupo de Sylow de S4 tiene 8 elementos. Clara-

mente el grupo de simetras del cuadrado est inmerso en S4 y es un 2 subgrupo
de Sylow. Especcamente f(1) ; (1; 2; 3; 4) ; (1; 3) (2; 4) ; (1; 4; 3; 2) ; (1; 3) (2; 4) ; (1; 2) (3; 4) ; (1; 3) ; (2; 4)g
es un 2 subgrupo de Slow de S4 : Ahora, segn el teorema de Sylow, el
2
nmero de conjugados de este subgrupos es 1 y es un divisor de 24: Las
posibilidades son 1 o 3: La primera posibilidad correspondera a la situacin
de que solo hubiera un 2 -subgrupo de Sylow. Pero es claro que conjugando
con (1; 3) obtenemos un subgrupo isomorfo al anterior distinto (se obtiene
intercambiando las etiquetas 1; 3 en la numeracin de los vrtices del cuadra-
do. As que hay 3 subgrupos de Sylow de orden 8 en S4 : (Se pueden obtener
intercambiando las etiquetas de los vrtices del cuadrado (intercambiandi 1
con 2; o 1 con 4; que es equivalente a conjugar el grupo descrito arriba con
(1; 2) ; o con (1; 4) ; respectivamente).
As los otros dos subgrupos de Sylow de orden 8 son:
f(2) ; (2; 1; 3; 4) ; (2; 3) (1; 4) ; (2; 4; 3; 1) ; (2; 3) (1; 4) ; (2; 1) (3; 4) ; (2; 3) ; (1; 4)g
y
f(3) ; (3; 2; 1; 4) ; (3; 1) (2; 4) ; (3; 4; 1; 2) ; (3; 1) (2; 4) ; (3; 2) (1; 4) ; (3; 1) ; (2; 4)g :
Resta ver cuantos subgrupos de orden 3 hay.

Denotemos c3 el nmero de subgrupos de orden 3: Segn los Teoremas de
3
Sylow, c3 2 f1; 4g ; pues estos son los nmeros 1 en el conunto de divisores
4 3 2
de 24 : f1; 2; 4; 8; 3; 6; 12; 24g : Ya hemos visto que hay = 8 ciclos
3
de orden 3 que estn repartiedos en 4 subgrupos de orden 3:Por lo tanto
c3 = 4:
Ejemplos 54 Subgrupos de Sylow de S5 :

1,6Como o (S5 ) = 5! = 120 = 60 2 = 15 8 = 23 3 5; entonces, como
ene el ejemplo anterior el 3-subgrupo de Sylow de S5 es isomorfo al grupo de
simetras dell cuadrado. Por el Teorema de Sylow, tenemos que c2 , el nmero
p
2-subgrupos de Sylow es 1 y es un divisor de 120: Por esto, tenemos que
c2 2 f1; 3; 5; 15g :
H = f(1) ; (1; 2; 3; 4) ; (1; 3) (2; 4) ; (1; 4; 3; 2) ; (1; 3) (2; 4) ; (1; 2) (3; 4) ; (1; 3) ; (2; 4)g
es uno de ellos. El nmero de conjugados de este grupo, c2 ; estambin el indice
120 120 120 120
de su normalizador. N (H) es un grupo con o (N (H)) 2 ; ; ; =
1 3 5 15
f120; 40; 24; 8g : Evidentemente H no es normal, pues (1; 2) H (1; 2) 6= H (ver
ejemplo anterior, o bien recuerde que S5 es simple). Por otra parte, como S5
es simple, entonces no puede tener subgrupos con ndice cuyo factorial no
sea un mltiplo de o (G) (Teorema relacionado con el de Cayley), as que
S5 no tiene subgrupos de orden 40: Entonces tenemos que N (H) tiene 24 u 8
elementos, y en consecuencia hay 5 o 15 subgrupos de Sylow de orden 8 en
S5 :
Si N (H) tiene 24 elementos, entonces N (H) = H hci ; para algn elemnto
de orden 3 de S5 : As que tendra que haber un 3 ciclo en el normalizador
de H; adems slohabra un subgrupo de orden 3 contenido en N (H) : Sea
un 3-ciclo en el normalizador de H:
Por la manera en que se calcula un conjugado en Sn , es evidente que los 3
smbolos que mueve deben estar contenidos en f1; 2; 3; 4g : Tambin es claro
que 1 2 N (H) : As que podramos escoger en f(1; 2; 3) ; (1; 2; 4) ; (2; 3; 4)g :
Veamos que ninguno de estos 3 ciclos pertenece a N (H) :
(1; 2; 3) (1; 2; 3; 4) (1; 3; 2) = (2; 3; 1; 4) 2
= H;
(1; 2; 4) (1; 2; 3; 4) (1; 4; 2) = (2; 4; 3; 1) 2
= H;
(2; 3; 4) (1; 2; 3; 4) (2; 4; 3) = (1; 3; 4; 2) 2
= H:
Entonces ningn subgrupo de orden 3 est contenido en N (H) :Por lo tanto
N (H) tiene orden 8;as que que S5 tiene 15 subgrupos de orden 8:
Estos se pueden contar de la siguiente manera. Primero escoja un conjunto

de 4 smbolos de los 5 posibles (5 maneras). Segn el ejemplo anterior hay, 3
subgrupos de Sylow distintos con orden 8; cuyos eleemntos son permuatciones
en estos 4 smbolos. En total hay 5 3 = 15: (Habiendo ms de 5; tendria
que haber 15; por el anlisis precedente).
Resta encontrar los subgrupos de orden 3 y de orden 5:
div (120) = f1; 2; 4; 8; 3; 6; 12; 24; 5; 10; 20; 40; 15; 30; 60; 120g ; de estos, los
5!
congruentes con 1 mdulo 5 son:1; 6, En S5 hay = 24 cinco ciclos que
5
estan repartidos en 6 subgrupos de orden 5: Por lo tanto c5 = 6:(Que coin-
cide con lo que ya sabamos: c5 6= 1;pues S5 es simple).
Ejemplos 55 Grupos de orden 30:

30 = 2 3 5: Denotemos ci el nmero de subgrupos de orden i:
Por el Teorema de Sylow, c2 es un diviso impar de 30, por lo que c2 2
f1; 3; 5; 15g :
Los divisores de 30 son los elementos de f1; 2; 3; 6; 5; 10; 15; 30g ; de aqu que
c3 2 f1; 10g ; c5 2 f1; 6g :
No se puede dar que c3 = 10; c5 = 6; simultneamente, pues si hubera 10 sub-
grupos de orden 3; en su unin habra 20 elementos de orden 3 y ellemento
de orden 1: Esto se debe a que la interseccin de dos subgrupos distintos de
orden 3 consta precisamente del neutro (en virtud del Teorema de Lagrange
y de que 3 es primo). As que enla diferencia simtrica de dos subgrupos
distintos de orden 3 hay 4elementos. Anlogamente, en 6 subgrupos distintos
2 2;hay 24 eleemntos de orden 5: Conclumos notando que 20 + 24 > 30:
En consecuencia en un grupo G de orden 30 hay un subgrupo de orden
3normal o un subgrupo de orden 5 normal. As que el producto de un sub-
grupo de orden 3 por un subgrupo de orden 5 es un subgrupo de orden 15;que
adems es normal por ser de ndice 2: Sea a un elemento de orden 15 en G:
Si b es un elemento de orden 2;entonces G = hai hbi con hai \ hbi = hei :
Entonces G = fai bj j i 2 Z15 ; j 2 Z2 g ; G queda determinado por ba :
k k 2
bab 1 = ak y a = bbab 1 b 1 = b ak b 1 = (bab 1 ) = ak = ak ; de donde
15
tenemos que k 2 1; esto tiiene 4 soluciones: 1; 1; 4; 4:
Por lo que ba = ak b y tambin ab = bak (Podemos notar que b () b 1 = ()k
en hai :
As que tenemos 4 grupos de orden 30 (que hay que ver que son no isomorfos
'
hai o'1 hbi hbi !1 hai '1 = ()1 = 1hai
' 1
hai o'1 hbi hbi ! hai ' 1 = () 1
2 2) : ' :
hai o'4 hbi hbi !4 hai '4 = ()4
' 4
hai o' 4 hbi hbi ! hai ' 4 = () 4
El primer grupo es claramente isomorfo al producto hai hbi (En ests caso,
ab = ba, ab tiene orden 30 as que este grupo es cclico de orden 30 y es claro
que c2 = 1 (hay exactamente un subgrupo por cad divisor de 30):
El segundo grupo corresponde al grupo didrico. Es decir corresponde al-
grupo de simetras del 15 gono. Se puede interpretar acomo una rotacin
2
de y b como una refelexin. Como bab 1 = a 1 en este caso, tenemos que
15
ai bai b = ai a i bb = e: As que todos los elemntos de la forma ai b son de orden
2: Por otro lado, o (ai ) j o (a) = 15; as que un eleemnto ai no puede tener
orden 2: As que G = D2;15 ; y este caso corresponde a c2 = 15:
Los otros dos subgrupos de la lista los podemos identicar con D2;5 Z3 y el
otro con S3 Z5 :
Veamos esto. D2;5 Z3 es un grupo con 5 elemntos de orden 2 (esto corre-
sponde a c2 = 5):
S3 Z5 tiene 3 elementos de orden 2 (c2 = 3):
Como el nmero de subgrupos de orden 2 es invariante bajo isomorsmos,
entonces estos 4 grupos, Z30 ; D2;15 ; D2;5 Z3 ; S3 Z5 :Son no isomorfos 2 2:
Por otro lado cada grupo de orden 30 es un producto semidirecto de un grupo
de orden 15 por uno de orden 2: As que cada grupo deorden 30 debe ser
'
de la forma hai o' hbipara algn morsmo hbi ! Aut (hai) ; donde el or-
den de b es 2 y el de a es 15: Como hemos visto, hay 4 de estos morsmos.
(Aut(hai) = Aut (Z15 ) = Z2 Z2 = V; el grupo de Klein: Hay tantos mor-
smos ' como elementos en V:
As que hay por lo menos 4 grupos no isomorfos, los que ya vimos, y cualquier
otro es isomorfo a uno de estos.
Ejercicio 68 Encuentre un elemento a de orden 15 en D2;5 Z3 ; un elemento

b de orden a y determine i en bab 1 = ai :7
Ejercicio 69 Lo mismo para el grupo S3 Z5 :8

7 1 4
( ; 0) ( ; 1) ( ; 0) = ; 1 = ( ; 1) : Notar que la operacin del lado derecho es la
suma.
8 1 1 2 4 4:
( ; 0) ( ; 1) ;0 = ;1 = ;1 = ; 4 = ( ; 1)
1.16. EL TEOREMA FUNDAMENTAL DE LOS GRUPOS ABELIANOS FINITAMENTE GENERAD
Ejemplos 56 Grupos de orden 12:

Como 12 = 4 3: Entonces c2 2 f1; 3g ; c3 2 f1; 4g :
Como 12 - 3!; tenemos que un subgrupo de orden 4 tiene un subgrupo normal
no trivial. As que c2 = 1 o c2 = 3; pero entonces hay un subgrupo normal de
orden 2 contenido en cada subgrupo de orden 4: Un subgrupo de orden 2 es
normal si y slo si su generador pertenece al centro de G:
Casos:
c2 = 1; c3 = 1, entonces hay nicos subgrupos de orden 4 y de orden 3 y
G es isomorfo al producto de ellos. Las posibilidades son Z4 Z3 = Z12 o
V Z3 = Z2 Z2 Z3 : Estos dos grupo son abelianos y no son isomorfos.
c2 = 1; c3 = 3: Est dira que el grupo de orden 4 es normal, llammosle
H; que hay un subgrupo de orden 3 que no es normal, llammosle K;y que
G = H o' K; donde ' : K ! Aut (H) es un morsmo no trivial.
Consideremos dos posibilidades: H = Z4 , la otra es que H = Z2 Z2 :
Aut (Z4 ) = Z4 = Z2 ; as que no hay automorsmos no triviales de K(de
orden 3 en Aut (Z4 ) : As que H = Z4 ; queda descartado. Si H = Z2 Z2 ;
entonces Aut (H) = S3 ; que tiene un subgrupo de orden 3: Digamos que den-
'
mos Z3 ! Aut (Z2 Z2 )por 1 7 ! tal que (1; 0) = (0; 1) ; ((0; 1)) =
(1; 1) : Entonces (Z2 Z2 ) o' Z3 es ismorfo a H o' K: La multiplicacin
tiene la regla: ((i; j) ; k) ((x; y) ; y) =
((i; j) + ' (k) (x; y) ; )
1.16. El Teorema fundamental de los grupos

abelianos nitamente generados
Para empezar, demostraremos que todo grupo abeliano nito es un pro-
ducto directo de grupos cclicos. Es claro que un grupo abeliano nito es el
n
producto de sus subgrupos de Sylow, ya que si o (G) = p1 1 p2 2 :::pn ; entonces
los subgrupos de Sylow de G tienen rdenes p1 1 ; p2 2 ; :::; pnn respectivamente,
son normales y la interseccin de cada uno con el producto de los dems es
trivial.
Lo anterior demuestra que se puede suponer que G es un p grupo.
Denicin 41 El p zoclo de un grupo abeliano es p zoc (G) = fx 2 G j px = 0g ;

es inmediato que es un subgrupo de G y que puede considerarse como un
Zp espacio vectorial, con el producto ax = ax; donde a 2 Zp ; x 2 p zoc (G) :
Si G es un p grupo abeliano nito, existe un menor natural positivo n

tal que pn G = f0g ; de hecho, pn = max fo (x) j x 2 Gg : Podemos llamar a
n la altura del grupo.
Teorema 44 Todo p grupo abeliano nito es un producto directo de sub-

grupos cclicos.
1.17. Grupos abelianos

Grupos abelianos libres.
Bases
grupos de torsin
Grupos divisibles
1.17.1. Grupos abelianos nitamente generados

Subgrupos de grupos abelianos nitamente generados
1.18. Grupos libres, productos libres, presenta-

ciones y coproductos
Si X es un conjunto, denimos el monoide libre generado por X como el
conjunto de todas las "palabras.o sucesiones nitas de elementos de X (las
letras), llamemos W (X) al conjunto de las palabras, denimos la operacin
de yuxtaposicin en W (X), de la manera natural. Denotamos por 1 a la
palabra vaca. Debe ser claro que W (X) es un monoide con la operacin y
con neutro e:
Adems podemos observar que se tiene la inclusin X ,! W (X) enviando
x a la palabra x: W (X) tiene la siguiente propiedad: para cada funcin
f : X ! M; con M un monoide, existe un nico morsmo ' : W (X) ! M de
monoides que extiende a f: Es claro que ' (x1 x2 :::xn ) = f (x1 ) f (x2 ) :::f (xn ) ;
que es la nica manera de que ' extienda a f: Por induccin es fcil ver que
f es un morsmo (en particular, manda la palabra vaca a un producto vaco
de elementos en M; es decir que manda el neutro al neutro).
1.19. EXTENSIONES 103
Denicin 42 Decimos que (WX ; X ,! FX ); donde FX es un monoide y

X ,! WX es una funcin, es un monoide libre con base X si 8f : X ! H
funcin de X al monoide H, 9!' : WX ! H morsmo de monoides tal que
' = f:
Ejercicio 70 Muestre que la construccin precedente a la denicin, produce

un monoide libre con base X:
Si en la denicin de monoide libre reemplazamos la palabra monoide por

grupo, obtenemos la denicin de grupo libre.
1.19. Extensiones
1.20. Grupos solubles y nilpotentes
Denicin 43 Decimos que un grupo G es soluble si existe una cadena de
subgrupos de G
G = G0 D G1 D ::: D Gn+1 = feg
tal que Gi =Gi+1 es un grupo abeliano, 8i 2 f0; :::; ng :
Por ejemplo, un grupo abeliano G es soluble con cadena de subgrupos

G D feg ; ya que G= feg = G es abeliano.
A4 es un grupo soluble, pues tiene un subgrupo normal
V = f(1) ; (1; 2) (3; 4) ; (1; 3) (2;4) ; (1; 4) (2; 3)g
de orden 4 y la cadena
A4 D V D feg
satisface la denicin.
En cambio, A5 (y en general An ; n = 5) no es soluble ya que A5 es simple
y A5 no es abeliano.
Daremos una caracterizacin de los grupos solubles por medio del sub-
grupo conmutador.
Denicin 44 G(0) = G; G(n+1) = G(n) el subgrupo conmutador de G(n) :
Teorema 45 Un grupo G es soluble si y slo si G(n) = hei ; para alguna

n 2 N:
Demostracin. (=) Recordemos que [G0 ; G] = fH E G j G=H es abelianog ;

as que si G(n) = hei ;entonces la sucesin
G D GD G(2) D ::: D G(n) = hei ;
satisface la denicin de grupo soluble.
=)) Supongamos ahora que hay una sucesin
G = G0 D G1 D G2 D ::: D Gn+1 = feg
tal que Gi =Gi+1 es abeliano para cada i: Demostraremos por induccin que
G(i) Gi :
Base. Como G=G1 es abeliano, entonces G0 G1 : Supongamos ahora que
(i) (i) 0 0
G Gi ; (Por lo que G (Gi ) : Como Gi =Gi+1 es abeliano, entonces
0
0
Gi Gi+1 : Pero entonces G (i+1)
= G(i) (Gi )0 Gi+1 : Lo que completa
la induccin. En particular, G(n+1) Gn+1 = feg :
1. Si G es soluble y H G; entonces G es soluble.
2. Si G es soluble y G U es un epimorsmo, entonces U es soluble.
3. Si H E G y G=H son grupos solubles, entonces G es soluble.
Demostracin. 1) Es claro que si H G entonces H (k) G(k); k 2 N:
As que si G(n) = hei ;tambin se tiene que H (n) = hei :Concluimos usando el
Lema anterior.
f
2) Si G U es un epimorsmo, entonces f manda conmutadores de G
en conmutadores de H: f (aba 1 b 1 ) = f (a) f (b) f (a) 1 f (b) 1 : Recproca-
mente, todo conmutador en H es la imagen de un conmutador en G debido
fjG0
a que f es sobre. Entonces f se restringe a un epimorsmo G0 H 0 : (Re-
curdese que la propiedad de un morsmo de ser suprayectivo, es equivalente
a que f mande generadores en generadores). Repitiendo el argumento, ten-
emos que f se restringe a un morsmo suprayectivo G(k) H (k) : As que si
G(n) = hei ;entonces H (n) = hei :
3) Supongamos que H es un subgrupo normal soluble de G tal que G=H
es soluble. Como en el inciso 2) tenemos que : G G=H se restringe a un
G(k)
epimorsmo G(k) (G=H)(k) ; para cada k 2 N: As que si (G=H)(n) = hei ;
entonces G(n) = hei ; es decir que G(n) ker ( ) = H: Como existe m 2 N
tal que H (m) = hei ;entonces es claro que G(n+m) H (m) = hei :Por lo que G
es soluble.
1.21. GRUPOS NILPOTENTES 105
Corolario 15 Sn no es soluble si n = 5:
Demostracin. Ya observamos que An no es soluble si n = 5:
1.21. Grupos nilpotentes

Si H; K son subgrupos de G; denimos [H; K] = hfhkh 1 k 1
j h 2 H; k 2 Kgi :
Denicin 45 Denimos los conmutadores generalizados de G; por recur-
sin, de la manera siguiente: G0 = G; Gn+1 = [G; Gn ] :
Denicin 46 Decimos que un grupo es nilpotente si Gn = hei, para algn
n 2 N:
Observacin 40 Notemos que G(1) = G0 : As que por induccin tenemos
que G(n) Gn ; 8n 2 N: (G(i+1) = G(i) ; G(i) G; G(i) [G; Gi ] = Gi+1 :
Observacin 41 De lo anterior se sigue que si G es nilpotente, entonces G
es soluble.
Ejemplo 57 A4 es un grupo soluble que no es nilpotente.
Notemos que (A4 )0 = f(1) ; (1; 2) (3; 4) ; (1; 3) (2; 4) ; (1; 4) (2; 3)g = V: Pero
1 1
[A4 ; V ] = hf j 2 A4 ; 2 V gi : Como ya hemos visto, todas la per-
mutaciones que son un producto de dos transposiciones ajenas son conjugadas
en A4; de aqu que [A4 ; V ] = V: Entonces Ai4 = V; 8i = 2: Entonces A4 no es
nilpotente.
Lema 44 Gn E G; 8n 2 N:
Demostracin. Notemos que G D G0 : Demostraremos que G D Gi+1 =
[G; Gi ] Gi ; 8i 2 N: Por induccin sobre i:
Si i = 0; tenemos que G = G0 D G1 = G0 ; el conmutador de G.
Supongamos ahora que Gi E G: Entonces
Gi+1 = G; Gi = gag 1 a 1
j g 2 G; a 2 Gi ;
entonces gag 1 a 1 = (gag 1 ) a 1 2 Gi Gi = Gi :Lo que demuestra que Gi+1
Gi : Falta demostrar que Gi+1 E G:
Supongamos que a 2 Gi+1 ; g 2 G:Queremos ver que gag 1 2 Gi+1 : Note-
mos que (gag 1 ) a 1 2 Gi+2 : Ahora (gag 1 a 1 ) a 2 Gi+2 Gi+1 = Gi+1 (ya que
segn vimos Gi+2 Gi+1 ): Entonces gag 1 = (gag 1 a 1 ) a 2 Gi+1 : Luego
Gi+1 E G:
Denicin 47 La sucesin G D G1 D G2 D ::: se llama la serie central

inferior.
Denicin 48 Denimos C1 (G) = C (G) ; el centro de G; que es un sub-

grupo normal de G: Ahora, Ci+1 (G) =Ci (G) = C (G=Ci (G)) :
Notemos que C (G=Ci (G)) E G=Ci (G) (el centro de un grupo siem-
pre es un subgrupo normal). Consideremos el morsmo natural : G
G=Ci (G) ;por el Teorema de la correspondencia, 1
(C (G=Ci (G))) E G:
1
Notemos que por denicin (C (G=Ci (G))) = Ci+1 y contiene como sub-
grupo a Ci :
Denicin 49 La sucesin hei C (G) C1 (G) ::: se llama la serie

central superior.
Teorema 46 G es nilpotente si la serie central superior de G alcanza a G

en un nmero nito de pasos. Es decir si 9n 2 N tal que Cn (G) = G:
Demostracin. Supongamos que hei C (G) C1 (G) ::: Cn (G) =

G y tomemos la serie central inferior G D G1 D G2 D ::::O escribindola al
revs y comparndola con la otra cadena:
hei C (G) C1 (G) :::Cn 2 (G) Cn 1 (G) Cn (G) = G

:
:::G2 E G1 E G0 = G
Por hiptesis G=Cn 1 (G) = Cn (G) =Cn 1 (G) = C (G=Cn 1 (G)) ;que es con-
mutativo. Entonces G0 Cn 1 (G) :
Cn 1 (G) G [G; G0 ] Cn 2 (G)
Tambin =C es abeliano y contiene a :
Cn 2 (G) Cn 2 (G) Cn 2 (G)
supongamos que g 2 G y que a 2 G0 , como gag 1 a 1 Cn 2 (G) = Cn 2 (G)
(un grupo es abeliano si y slo si sus conmutadores son triviales), entonces
gag 1 a 1 2 Cn 2 (G) : Por lo que [G; G0 ] Cn 2 (G) :
Cn i
En general, es abeliano, as que la clase de un conmutador gag 1 a 1 2
Cn i i
Cn i es trivial, as que si g 2 G y a 2 Gi Cn i (tmese como hipte-
sis de induccin) entonces gag 1 a 1 2 Cn i (pues Cn i E G). As que
gag 1 a 1 Cn i i = Cn i i ; de donde tenemos que Gi+1 Cn i i : Por in-
duccin Gk Cn k ; para cada k: En particular Gn C0 (G) = hei ; es decir
que G es nilpotente.
Corolario 16 Un p grupo nito G es nilpotente
Demostracin. Usaremos el hecho de que el centro de un p-grupo nito

no es trivial. C (G) E G y G=C (G) es un p-grupo de orden menor que G.
Entonces C (G=C (G)) = C2 =C1 no es trivial, as que C1 < C2 E G: Si C2
es propio repetimos el argumento con G=C2 : As obtenemos una cadena de
inclusiones propias C1 < C2 < :::; que eventualmente tiene que terminar en
G; ya que G es nito. Por el Lema anterior, G es nilpotente.
Lema 45 Si G es nilpotente un subgrupo propio H no puede ser su propio

normalizador.
Demostracin. Supongamos que H < G, y que H = N (H) : Entonces

9a 2 G n H; y aHa 1 6= H: Por lo tanto 9h 2 H tal que aha 1 2 = H;
1 1 0
entonces aha h 2 = H: De donde tenemos que [G; H] G 6= hei : Tomemos
u = ah 1 h 1 2 G0 ; como u 2 = H; entonces 9h2 2 H tal que uh2 u 1 h2 1 2= H;
2 2 2
entonces e 6= uh2 u h2 2 G :
Supongamos que hemos encontrado uk 2 Gk n H; (note que entonces
Gk 6= hei). Como uk 2 = N (H) entonces 9hk+1 2 H tal que uk hk+1 uk 1 2
= H;por
1 1 1 1 k+1
lo que uk hk+1 uk hk+1 2 = H: Entonces uk hk+1 uk hk+1 2 G nH; en particular
Gk+1 6= hei :
Esta induccin demuestra que cada Gk 6= hei : Contradiciendo que G es
nilpotente.
Corolario 17 Si G es un grupo nito nilpotente entonces sus p-subgrupos

de Sylow son normales.
Demostracin. Sea P un p subgrupo de Sylow de G: Tenemos que

N (N (H)) = N (H) para cada subgrupo H que contenga a N (P ). Entonces
N (N (P )) = N (P ) :Por el Corolario anterior, N (N (P )) no puede ser un
subgrupo propio de G;por lo que N (P ) = G, es decir que P es normal.
Corolario 18 Un G grupo nilpotente nito es el producto de sus subgrupos

de Sylow.
Demostracin. Se sigue de que cada subgrupo de Sylow es normal, y

entonces G es la yunta de sus subgrupos de Sylow.
Lema 46 Un producto de dos subgrupos nilpotentes es nilpotente.

Demostracin. Supongamos que G = H K;con H y K nilpotentes.

Note que como el producto en G se hace por coordenadas, entonces Gj =
H j K j : Si H n y K m son grupos triviales, entonces Gnm tambin es trivial.
Corolario 19 Un grupo nito G es nilpotente si y slo si sus subgrupos de

Sylow son normales (si y slo si G es el producto directo de sus subgrupos de
Sylow)..
Notemos que A4 y S4 no son nilpotentes.
1.21.1. Teorema de Jordan Holder.

Denicin 50 Una serie de composicin para G es una sucesin G =
Gi
G1 B G2 B ::: B Gn+1 = feg , tal que es simple para cada i 2
Gi+1
f1; :::; ng(equivalentemente, cada Gi+1 es un subgrupo normal propio mxi-
Gi
mo de Gi . Los cocientes se llaman los factores de la serie.
Gi+1
Ejemplo 58 Un grupo nito tiene una serie de composicin.
Demostracin. Esto se debe a que un grupo nito tiene un nmero nito

de subgrupos normales y a que hei E G: Si G es nito no trivial escogemos
un subgrupo propio normal mximo G1 ; por induccin este tiene una serie
de composicin-
Denicin 51 Dos series de composicin de G; G = G1 B G2 B ::: B

Gn+1 = hei ; G = H1 B H2 B ::: B Hl+1 = hei son equivalentes si l = n y
Gi H (i)
9 2 Sn tal que = :
Gi+1 H (i+1 )
Teorema 47 (Jordan-Hlder). Dos series de composicin para un grupo

nito son equivalentes.
Demostracin. Por induccin sobre o (G) : Si G = hei ; la armacin es

cierta claramente. Supongamos que o (G) > 1 y que
G = G1 B G2 B ::: B Gn+1 = hei (1.1)

G = H1 B H2 B ::: B Hl+1 = hei
son dos series de composicin. Si G2 = H2 ;por induccin, las series
G2 B ::: B Gn+1 = hei

H2 B ::: B Hl+1 = hei
son equivalentes, as que tambin lo son las series en 1.1. Si G2 6= H2 ; entonces

G2 < G2 H2 E G. Como G2 es un subgrupo normal propio mximo, entonces
G2 H2 = G. _ Ahora, G2 H2 = H2
y
G2 H2
=
G2
; por el segundo
G2 G2 \H2 H2 G2 \H2
G2 H2 H2
Teorema de isomorsmos. Como es simple, entonces es simple,
G2 G2 \H2
as que G2 \H2 es mximo normal propio en H2 y anlogamente G2 \H2 es
mximo normal propio en H2 en G2 : Tomemos K3 = G2 \H2 y una serie de
composicin para K3 : K3 B ::: B Kt+1 = hei : Tenemos las siguientes dos
series de composicin para G :
G B G2 B K3 B ::: B Kt+1
G B H2 B K3 B ::: B Kt+1
estas dos series son equivalentes pues G=G2 = H2 =K3 y G2 =K3 = G=H2 ; y el
resto de los factores de ambas series son comunes. Por otra parte, G = G1 B
G2 B ::: B Gn+1 = hei y G B G2 B K3 B ::: B Kt+1 son equvalentes por
hiptesis de induccin, mientras que, por la misma razn, H1 B H2 B ::: B
Hl+1 = hei y G B H2 B K3 B ::: B Kt+1 son equivalentes.
Teorema 48 Un grupo nito G es soluble si y slo si los factores de sus

series de composicin son de orden primo.
Demostracin. =)) Por induccin sobre o (G) : Si o (G) = 1; entonces

la armacin se cumple por vacuidad. Si o (G) > 1 y G es soluble, sea G2 C G
un subgrupo normal propio mximo de G: Si G=G2 no fuera de orden primo,
entonces habra un subgrupo H=H2 de G=G2 propio y no travail, entonces
G2 < H < G; en particular H no es normal en G: Como G es soluble
G(n) = hei ; para alguna n. Sea k 2 N; minima tal que G(k) H: Entonces
G2 G(k) H y es un subgrupo normal de G por ser un producto de subgrupos
normales de G: Por la eleccin de G2 ;tenemos que G2 G(k) = G2 ; de donde
tenemos que G(k) G2 ; entonces G=G(k) G=G2 :
G2 =G(k) es normal propio mximo en G=G(k) , segn el Teorema de la
G=G(k) G
Correspondencia). Por lo tanto (k)
= es un factor (de una serie de
G2 =G G2
composicin) para G=G(k) ; as que por hiptesis de induccin es de orden

primo, contradiccin.
(=) Si G tiene una serie de composicin con factores de orden primo,
entonces estos factores son abelianos, por lo que G es soluble.

Grupo So Ctu Bre

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Grupo So Ctu Bre

Hochgeladen von

Copyright:

Verfügbare Formate

lgebra moderna I

Hugo Alberto Rincn

1.16. El Teorema fundamental de los grupos abelianos nitamente

Solemos usar smbolos como o para denotar una operacin y escribimos

Denicin 2 Una operacin :X X ! X es asociativa si a (b c) =

Ejercicio 1 Sea X un conjunto no vaco. Demuestre que la diferencia de

Denicin 3 Si es una operacin asociativa en X se dice que (X; ) es

Como estamos trabajando con operaciones binarias, es claro que para

Teorema 1 Sea (X; )un semigrupo y a1 ; a2 ; :::; an , n = 3; una lista de

Demostracin. Base, si n = 3; entonces (a1 a2 ) a3 = a1 (a2 a3 )

(a1 ::: ak ) (ak+1 ::: an ) =

= (a1 ::: ak ) ((ak+1 ::: al ) (al+1 ::: an ))

A = (a1 ::: ak ) ; B = (ak+1 ::: al ) ; C = (al+1 ::: an ) ;

el primer producto es A (B C) y el segundo producto es (A B) C; que

1. Se dice que e 2 X es un neutro derecho para : X X ! X si

2. Se dice que e 2 X es un neutro izquierdo para :X X ! X si

3. Se dice que e 2 X es un neutro para : X X ! X si e es un neutro

Lema 1 Si : X X ! X tiene neutro izquierdo e y tiene neutro derecho

Demostracin. e = e f = f: La primera igualdad ocurre porque f es

Corolario 1 Cuando una operacin tiene neutro este es nico.

Demostracin. Si e y f son neutros para una operacin ;entonces e es

Ejercicio 3 Si una operacin tiene dos neutros izquierdos entonces no puede

Denicin 4 Sea una operacin en el conjunto X con neutro e: Si a b =

Denicin 5 Si e 2 X es un neutro para la operacin asociativa :X

Lema 2 Si (X; ; e) es un monoide y a 2 X tiene inverso izquierdo b e

Ejemplo 2 Sea X un conjunto y denotemos por

Denicin 6 Sea una operacin en un conjunto X: a 2 X es cancelable

Ejercicio 4 Demuestre que si a 2 X y es una operacin en X con neutro

1. a tiene inverso por la derecha =) a es cancelable por la derecha.

Denicin 7 Un monoide (M; ; e) en donde cada elemento es cancelable,

Ejercicio 5 Demuestre que (N ; +; 0) es un monoide con cancelacin.

Ejercicio 6 Demuestre que (N r f0g ; ; 1) es un monoide con cancelacin.

Ejercicio 7 Considere un tringulo equiltero

Ejercicio 8 Muestre que el grupo anterior no es abeliano (abeliano = con-

De donde e a = a ( 8a 2 G). Luego e es un neutro ya que adems de ser

Teorema 3 Son equivalentes para un semigrupo no vaco (G; ) :

1. 9e 2 G tal que (G; ; e) es un grupo.

2. 8a; b 2 G; las ecuaciones a x = b y x a = b tienen solucin nica en

Lema 3 Las siguientes armaciones se cumplen en un grupo (G; ; e) :

Ejercicio 12 Demuestre que si G es un grupo nito de orden par, entonces

Denicin 9 Si a 2 G; G un grupo, denimos:

Ejercicio 14 Muestre que si en un grupo (a b)2 = a2 b2 ; 8a; b 2 G; en-

Ejercicio 15 Muestre que si en un grupo a2 = e; 8a 2 G; entonces G es

Ejercicio 16 Muestre que si en un grupo (a b)i = ai bi ; 8a; b 2 G; i 2

1. Por denicin, un grupo no puede ser vaco. (feg ; ; e) es un grupo con

13. En general, si F es un campo SLn (F ) denota el grupo de las matrices

Notacin 1 Se dene la funcin de Euler ' : N r f0g ! N r f0g por:

Ejercicio 17 Muestre que S3 no es abeliano.

Ejercicio 18 Demuestre que si jXj 3; entonces Biy (X) no es abeliano.

Ejercicio 19 Haga una tabla para Z 12 y para Z 15 :

Ejercicio 20 Sea X un conjunto y consideremos la operacin de diferencia

1. Todo rengln y cada columna de la tabla de contiene todos los ele-

Una distancia es una funcin d : X X ! R+ [ f0g tal que d (x; y) = 0

Ejercicio 22 Muestre que un cuadrado tiene 8 simetras. (Hay 4 rotaciones

Lema 4 Si dos elementos a; b de un grupo G conmutan, entonces abz =

Demostracin. Por induccin. Si z = 0, entonces ab0 = ae = a, tambin

bbn a = bn+ 1 a: Lo que establece el resultado para z 0:

Lema 5 Si dos elementos a; b de un grupo G conmutan, entonces aw bz =

Demostracin. Se sigue del anterior.

Lema 6 En un grupo G; aaz = az+1 ; 8a 2 G; 8z 2 Z:

Demostracin. Si z = 0; entonces aa0 = ae = a; a0+1 = a1 = aa0 =

Demostracin. La armacin es claramente cierta para z 2 f0; 1g :

Lema 8 En un grupo G; az+w = (az ) aw ; 8a 2 G; 8z; w 2 Z :

Demostracin. Si w = 0; entonces az+0 = az = az e = az a0 :