Algebra Moderna I

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 \a, b, c X.
No ejemplo 1 : Z Z Z no es asociativa: 0 (1 2) = 1 ,= 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 ==: {0, 1} {0, 1} {0, 1} 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 a
1
, a
2
, ..., a
n
, n = 3, una lista de
elementos de X, cualquier manera de colocar parntesis para evaluar a
1
+a
2
+
... + a
n
produce el mismo resultado.
Demostracin. Base, si n = 3, entonces (a
1
+ a
2
) + a
3
= a
1
+ (a
2
+ a
3
)
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 (a
1
+ ... + a
k
) + (a
k+1
+ ... + a
n
) con parntesis anidados de
cada lado. Note que por hiptesis de induccin cualquier manera de colocar
parntesis en a
1
+ ... + a
k
y en a
k+1
+ ... + a
n
produce el mismo resultado.
Comparemos (a
1
+ ... + a
k
) + (a
k+1
+ ... + a
n
) con otra manera de colo-
car los parntesis, digamos que con (a
1
+ ... + a
l
) + (a
l+1
+ ... + a
n
) .Como ya
dijimos, si k = l ambos productos coinciden de acuerdo con la hiptesis de
induccin.
Si k < l podemos escribir:
(a
1
+ ... + a
k
) + (a
k+1
+ ... + a
n
) =
= (a
1
+ ... + a
k
) + ((a
k+1
+ ... + a
l
) + (a
l+1
... + a
n
))
y
(a
1
+ ... + a
l
) + (a
l+1
+ ... + a
n
) =
= ((a
1
+ ... + a
k
) + (a
k+1
+ ... + a
l
)) + (a
l+1
+ ... + a
n
)
o bien, denotando
A = (a
1
+ ... + a
k
) , B = (a
k+1
+ ... + a
l
) , C = (a
l+1
+ ... + a
n
) ,
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 X es un neutro derecho para + : X X X si
a + e = a, \a X.
2. Se dice que e X es un neutro izquierdo para + : X X X si
e + a = a, \a X.
3. Se dice que e X es un neutro para + : XX X si e es un neutro
derecho y un neutro izquierdo para +.
Lema 1 Si + : XX 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 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 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 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
X
X
=
_
X
f
X | f es funcin
_
,
1
entonces la composicin es una operacin asociativa en X
X
, Id
X
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.
Ejemplo 3 La funcin N
()+1
N tiene inverso izquierdo pero no tiene in-
verso derecho.
Denicin 6 Sea +una operacin en un conjunto X. a 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 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{0} , , 1) es un monoide con cancelacin.
Ejercicio 7 Considere un tringulo equiltero
denotemos con r la rotacin
_
1 2 3
2 3 1
_
, denotemos con a la reexin
_
1 2 3
1 3 2
_
, etctera. Haga una tabla de multiplicar para el grupo de simetras
(6 elementos y la multiplicacin es la composicin).
1
En general A
B
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) = {A _ X | A ,= ?} .Cmo tiene que ser

X para que en el semigrupo (P
(X) , ') exista un neutro?

Ejercicio 11 Denotemos P
0
(X) = {A _ X | A ,= X} .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 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 \a G, b G tal que a + b = e, entonces (G, +, e) es un grupo.
Demostracin. Notemos que G
()e
G
g7!ge
es la funcin identidad. Tambin
note que G
()(cd)
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 Id
G
= () + e = () + (a + b) = [() + b]
[() + a] ,de donde tenemos que [() + a] : G G es una funcin inyectiva
(porque tiene inverso izquierdo \a 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 \a G.
2
Si f g = Id y f es invertible, entonces g = Id g =
_
f
1
f
_
g = f
1
(f g) =
f
1
Id = f
1
.
6 CAPTULO 1. GRUPOS
Ahora, como G
()a
G es suprayectiva, existe f 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 ( \a G). Luego e es un neutro ya que adems de ser
un neutro derecho, result ser un neutro izquierdo.
Si a + b = e, considerando que G
()a
G es suprayectiva, entonces
existe x 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 G).
Sea c G.
Teorema 3 Son equivalentes para un semigrupo no vaco (G, +) :
1. e G tal que (G, +, e) es un grupo.
2. \a, b 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, b G equivale a que la funcin G
a()
G sea biyectiva. Mientras que la
peticin de que x + a = b tenga solucin nica \a, b G equivale a que
G
()a
G sea biyectiva.
Sea a G (G ,= ?) y llamemos e
a
la nica solucin de xa = a. Entonces
e
a
+ a = a, es decir que a tiene una especie de neutro particular.
Tomemos otra b G, como a + () es biyectiva, sea c tal que a + c = b
(equivalentemente: escogemos c como la solucin de a + x = b), entonces
e
a
+ b = e
a
+ (a + c) = (e
a
+ a) + c = a + c = b. Como el argumento vale
\b G,tenemos que e
a
es un neutro izquierdo para +. Adems, dada a G,
la ecuacin x+a = e
a
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.
3. a + b = e =b = a
1
y a = b
1
.
4. (a
1
)
1
= a.
5. (a + b)
1
= b
1
+ a
1
.
6. G
()
1
G es biyectiva con inverso ella misma.
Demostracin. 1. a + b = b
(()b
1
)
= (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
b
1
.
4. Como a
1
+ a = e, por 3. tenemos que a = (a
1
)
1
.
5. (a + b) + b
1
+ a
1
= a + (b + b
1
) + a
1
= a + e + a
1
= a + a
1
= e.
6.
G
()
1
G
()
1
G
a a
1
(a
1
)
1
= a
, luego ()
1
es inversa de s misma.
Ejercicio 12 Demuestre que si G es un grupo nito de orden par, entonces
a Gr{e} tal que a + a = e. (Sugerencia use 6. en el lema anterior y note
que e
1
= e).
Denicin 9 Si a G, G un grupo, denimos:
1. a
0
= e.
2. a
n+1
= a + a
n
, si n _ 0.
3. a
n
= (a
1
)
n
, si n < 0.
Ejercicio 13 Muestre que si en un grupo (a + b)
1
= a
1
+ b
1
, \a, b G,
entonces G es abeliano.
2
= a
2
+ b
2
, \a, b G, en-
tonces G es abeliano.
8 CAPTULO 1. GRUPOS
Ejercicio 15 Muestre que si en un grupo a
2
= e, \a G, entonces G es
abeliano.
i
= a
i
+ b
i
, \a, b G, i
{3, 4, 5} entonces G es abeliano.
1. Por denicin, un grupo no puede ser vaco. ({e} , +, e) es un grupo con
la nica operacin posible: e + e = e.
2. El grupo con dos elementos tiene la tabla
+ e a
e e a
a a e
.
3. (Z , +, 0) es un grupo abeliano.
4. Si X es un conjunto, denotamos Biy (X) = {X X | f es biyectiva} .
Si X es un conjunto nito denotamos Biy (X) = S
X
. S
{1,2,..,n}
se denota
S
n
. (Biy (X) , , Id
X
) es un grupo (comprobarlo).
5. (Q r{0} , , 1) es un grupo.
6. ({z C | |z| = 1} , , 1) es un grupo.
7. ({z C | z
n
= 1, para n N} , , 1) es un grupo. (El grupo de las races
nsimas de 1.)
8. ({z C | N tal que z
n
= 1,} , , 1) es un grupo. (El grupo de las
races de 1.)
9. ({a Z
n
| (a; n) = 1} , , 1) es un grupo (el grupo de las unidades de
Z
n
. Este grupo se denota Z
n
.
10.
___
a b
c d
_
M
2
(R) | ad bc ,= 0
_
, ,
_
1 0
0 1
__
es un grupo, donde
denota la multiplicacin usual de matrices.
11.
___
a b
c d
_
M
2
(R) | ad bc = 1
_
, ,
_
1 0
0 1
__
es un grupo, donde
denota la multiplicacin usual de matrices.
12. En general, si F es un campo GL
n
(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 SL
n
(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 {0} N r {0} por:
,(1) = 1, ,(n) = | Z
n
| , si n > 1.
Ejercicio 17 Muestre que S
3
no es abeliano.
Ejercicio 18 Demuestre que si |X| _ 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 en (X) dada por AB = (A ' B) r(A B) . Muestre que
es una operacin asociativa y que ((X) , , ?) 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 G r {e} 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 : XX R
+
' {0} 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)) =
_
(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
funcin S
f
S que preserva las distancias, es decir d (f (a) , f (b)) = d (a, b) ,
\a, b 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 ab
z
=
b
z
a, \z Z.
Demostracin. Por induccin. Si z = 0, entonces ab
0
= ae = a, tambin
b
0
a = ea = a.
Supongamos que ab
n
= b
n
a, entonces ab
n+1
= abb
n
= bab
n
=
..
hiptesis
de induccin
bb
n
a = b
n+1
a. Lo que establece el resultado para z _ 0.
Si z < 0,entonces ab
z
= a (b
1
)
z
, como ab = ba == ab
1
= b
1
a,
entonces podemos aplicar el caso anterior: a (b
1
)
z
= (b
1
)
z
a = b
z
a.
Lema 5 Si dos elementos a, b de un grupo G conmutan, entonces a
w
b
z
=
b
z
a
w
, \z, w Z.
Demostracin. Se sigue del anterior.
Lema 6 En un grupo G, aa
z
= a
z+1
, \a G, \z Z.
Demostracin. Si z = 0, entonces aa
0
= ae = a, a
0+1
= a
1
= aa
0
=
ae = a.
Supongamos que para n _ 0, aa
n
= a
n+1
. Entonces aa
n+1
= a
(n+1)+1
=
a
n+2
.
Si z < 0, entonces z + 1 _ 0. As, z = 1 o bien z + 1 < 0.
Si z = 1, entonces aa
z
= aa
1
= e = a
0
= a
1+1
.
Si z < 1 entonces aa
z
= a (a
1
)
z
, quisiramos ver que a
z
= (a
1
)
z
=
a
z+1
, lo que equivale a demostrar que a (a
1
)
z
= a
1
a
z+1
. Como z + 1 < 0,
tenemos por lo que ya hemos demostrado, que a
1
a
z+1
= a
1
(a
1
)
(z+1)
=
(a
1
)
(z+1)+1
= (a
1
)
z
= a
z
.
Lema 7 En un grupo (a
z
)
1
= a
z
= (a
1
)
z
.
Demostracin. La armacin es claramente cierta para z {0, 1} .
1.1. GRUPOS 11
Si n > 0 entonces a
n
= (a
1
)
n
, por denicin. Nos falta ver que (a
1
)
n
=
(a
n
)
1
, para esto tomemos
a
n
_
a
1
_
n
=
_
a (a)
n1
_
_
a
1
_
a
1
_
n1
_
=
_
a (a)
n1
_
_
_
a
1
_
n1
a
1
_
=
= a
_
(a)
n1
_
a
1
_
n1
_
a
1
= aa
1
= e (por induccin).
Si n < 0 (a
n
)
1
=
_
(a
1
)
n
_
1
, podemos aplicar lo que acabamos de
demostrar, usando que n > 0 : (a
n
)
1
=
_
(a
1
)
n
_
1
= (a
1
)
(n)
=
(a
1
)
n
. Resta mostrar que esto ltimo coincide con a
n
. Pero (a
1
)
n
=
_
(a
1
)
1
_
n
= a
n
.
Lema 8 En un grupo G, a
z+w
= (a
z
) + a
w
, \a G, \z, w Z .
Demostracin. Si w = 0, entonces a
z+0
= a
z
= a
z
+ e = a
z
+ a
0
.
Suponiendo que a
z+n
= (a
z
) + a
n
con n _ 0, entonces a
z+n+1
= aa
z+n
=
aa
z
a
n
= a
z
aa
n
= a
z
a
n+1
(se us el lema previo y que toda potencia de a
conmuta con a).
Si w < 0, entonces
a
z
a
w
= a
z
_
a
1
_
w
=
_
(a
z
)
1
_
1
_
a
1
_
w
=
=
_
a
z
_
1
_
a
1
_
w
=
_
a
1
_
z
_
a
1
_
w
=
_
a
1
_
zw
= a
z+w
.
Usando los lemas previos.
Lema 9 En un grupo G, a
zw
= (a
z
)
w
, \a G, \z, w Z .
Demostracin. Si w = 0, entonces a
z0
= a
0
= e = (a
z
)
0
.
Supongamos que n _ 0 y que a
zn
= (a
z
)
n
, entonces a
z(n+1)
= a
zn+z
=
a
zn
a
z
= a
z
a
zn
= a
z
(a
z
)
n
= (a
z
)
n+1
.
Si n < 0 entonces (a
z
)
n
=
_
(a
z
)
1
_
n
=
_
_
(a)
1
_
z
_
n
= (a
1
)
z(n)
=
(a
1
)
zn
= a
zn
.
1.2. Subgrupos
Denicin 10 Decimos que un subconjunto S de un grupo (G, +, e) es un
subgrupo si
_
S, +
|SS
, e
0
_
es un grupo.
Notemos que para que esto tenga sentido necesitamos que +
|SS
: 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 e
0
tiene que coincidir con e : e
0
+ e
0
= e
0
+
|SS
e
0
= e
0
= e
0
+ e , as
que multiplicando por (e
0
)
1
del lado izquierdo, obtenemos e
0
= e. Notemos
tambin que el inverso de a en el grupo
_
S, +
|SS
, e
0
_
, debe coincidir con el
inverso de a en G : pues si llamamos b y c a dichos inversos, tenemos que
a + b = a +
|SS
b = e
0
= 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 S
b) S es cerrado bajo + (a, b S ==a + b S).
c) a S ==a
1
S.
Demostracin. Hemos observado que 1) ==2).
2)==1)
La condicin b) es equivalente a que +
|SS
es una operacin en S. Como +
es una operacin asociativa, entonces +
|SS
tambin lo es, ya que si a+(b + c) =
(a + b) + c \a, b, c G, en particular a + (b + c) = (a + b) + c \a, b, c S.
Por la condicin a) tenemos que e es el neutro para +
|SS
. 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.
2. S ,= ?, a, b S ==ab
1
S.
1.2. SUBGRUPOS 13
Demostracin. Debe se claro que 1) ==2).
2) ==1) Sea a S, por hiptesis aa
1
S, por lo que e S.
Si a S, como ya vimos que e S, entonces ea
1
S. por lo que
a S ==a
1
S.
Ahora, si a, b S, entonces a, b
1
S. por lo tanto a (b
1
)
1
S, es
decir, ab 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):
Sea a S, y consideremos la funcin
N \ {0} S
n a
n
, que est deni-
da porque S es cerrado bajo +. Como S es nito esta funcin no puede
ser inyectiva, as que m > n > 0 tales que a
m
= a
n
. As tenemos que
a
mn
= e, con m n > 0. De aqu tenemos que e S y que e = aa
mn1
,
con mn 1 _ 0, as que a
1
= a
mn1
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 = {xy G | x X, y Y } .
En particular H {a} = {ha | h H} .
Notacin 2 Escribimos Ha en lugar de H {a} . Escribimos aH en lugar de
{a} H.
Lema 12 Si G es un grupo, X _ G y a G, entonces |Xa| = |X| .
Demostracin. Notemos que la funcin
X
()a
Xa
x xa
es una biyec-
cin. (con inverso
Xa
()a
1
X
).
Lema 13 Si H _ G, a, b G entonces Ha = Hb si y slo si ab
1
H.
Demostracin. Para empezar notemos que Ha = H ==a H.
Si Ha = H entonces a = ea Ha = H. Recprocamente, si a H
entonces Ha _ H por la cerradura de H bajo el producto, adems dada
h H,tenemos que h = he = (ha
1
) a Ha ya que a
1
H, dado que
a H.
Ahora, si Ha = Hb entonces a = ea Ha = Hb, por lo que a =
hb,p.a. h H, entonces ab
1
= h H.
Recprocamente, si ab
1
H,entonces Hab
1
= H, as que (Hab
1
) b =
Hb.
Pero (Hab
1
) b = Ha, ya que hab
1
b = ha, \h H. Por lo tanto Ha =
Hb.
Lema 14 Sea H _ G. La relacin
H
= denida en G por a
H
= b si y slo si
ab
1
H es una relacin de equivalencia.
Demostracin. a
H
= a ya que aa
1
= e H, \a G.
a
H
= b ==ab
1
H ==(ab
1
)
1
= (b
1
)
1
a
1
= ba
1
H ==b
H
= a.
a
H
= b
H
= c ==ab
1
H, bc
1
H ==(ab
1
) (bc
1
) = ac
1
H.
Observacin 2 Si X
f
Y es una funcin, esta funcin induce otras dos:
(X)
f
(Y )
A f (A)
,
donde f (A) = {c Y | c = f (a) , a A} y
(Y )
f
1
()
(X)
B f
1
(B)
,
donde f
1
(B) = {a A | f (a) B} .
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
_
{B
i
}
i2I
_
=
{f
1
(B
i
)}
i2I
y tambin f
1
_
'{B
i
}
i2I
_
= '{f
1
(B
i
)}
i2I
. En cambio
f
respeta uniones o intersecciones slo en casos especiales, por ejemplo si

X
f
Y es biyectiva, ya que en este caso f = (f
1
)
1
.
Observacin 3 Sea G un grupo, sea a G, y sea {X
i
}
i2I
una familia de
subconjuntos de G, entonces a
_
{X
i
}
i2I
_
= {aX
i
}
i2I
, a
_
'{X
i
}
i2I
_
=
'{aX
i
}
i2I
y
_
{X
i
}
i2I
_
a = {X
i
a}
i2I
,
_
'{X
i
}
i2I
_
a = '{X
i
a}
i2I
.
Demostracin. Se sigue del prrafo precedente, notando que G
a()
G
y G
()a
G son funciones biyectivas.
Observacin 4 H
()a
Ha es una biyeccin, para toda a G (H _ G).
Teorema 5 Si H _ G, entonces {Ha | a G} 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 |{Ha | a G}| se llama el ndice de H en G (el nmero de
clases laterales derechas mdulo H), se suele denotar i
G
(H) o [G : H].
Teorema 6 (Lagrange) Si G es un grupo nito y H _ G, entonces o (H) |
o (G) .
Demostracin. o (G) = |'{Ha | a G}| = i
G
(H) o (H) .
Ejemplo 4 En el grupo S
de simetras del cuadrado, {H, L} = S
.
Para ver esto, notemos que Id, H, V, HL, LH son 5 elementos distintos en
{H, L} , y 8 es el nico divisor de 8 mayor que 4.
Lema 15 Si H, K son subgrupos de G, entonces |HK| =
o (H) o (K)
o (H K)
.
Demostracin. Consideremos el producto cartesiano H K denamos
H K HK
(h, k) hk
es claro que esta funcin es suprayectiva. Denamos
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
H K, ya que a, c H y c, d K. Entonces
cd = (aa
1
) cd (b
1
b) = a (a
1
c) (db
1
) b ya que db
1
= (bd
1
)
1
= (a
1
c)
1
.
Veamos que [(a, b)]
'
= {(ax, x
1
b) | x H K} .
Si (c, d) (a, b) entonces cd = ab, as que c = abd
1
y d = c
1
ab,
por lo que (c, d) = (abd
1
, c
1
ab) con bd
1
H K y c
1
a = (bd
1
)
1
. Por
lo tanto (c, d) {(ax, x
1
b) | x H K} . 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 |(H K) / | = |HK| , lo que dice que HK est partido en
|HK| clases de equivalencia. Por otro lado, cada clase de equivalencia tiene
o (H K) elementos. Por lo tanto,
o (H) o (K) = |H K| = |HK| o (H K)
de aqu tenemos que |HK| =
o (H) o (K)
o (H K)
.
Ejercicio 23 Sea S _ G, G un grupo, dena s
S
en G por a a s
S
b si
ab
1
S. Demuestre que s
S
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
Una funcin G
f
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.
1. La identidad G
1
G
G en un grupo es un morsmo.
2. La funcin constante
G H
a e
es un morsmo.
1.3. MORFISMOS 17
3. Sea (G, +, e) un grupo y sea H un subconjunto de G.
H
i
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 e
0
, digamos. Sean
a, b h, entonces ab = 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 + e
0
= e
0
= e
0
e
0
= e
0
+ e
0
, de donde e = e
0
. Entonces
_
H, +
|HH
, e
_
es
un grupo, es decir, H _ G.
=) Si H _ G, y a, b H entonces i (a + b) = a + b = i (a) + i (b) .
4. Los reales positivos R
+
son un subgrupo de (R \ {0} , , 1) y la expo-
nencial
(R, +, 0)
e
()
(R
+
, , 1)
x e
x
es un morsmo.
5. Si a G,
Z
a
()
G
z a
z
es un morsmo.
Lema 16 Si f : G H es un morsmo de grupos entonces:
1. f (e
G
) = e
H
.
2. f (a
1
) = f (a)
1
, \a G.
3. f (a
z
) = f (a)
z
, \z Z.
Teorema 7 Si f : G H es un morsmo de grupos entonces:
1. Si K _ G entonces f (K) _ H.
2. Si L _ H entonces f
1
(L) _ G.
Demostracin. 1) Como e
G
K (K _ G), entonces e
H
= f (e
G
)
f (K) .
Si x, y f (K) ,digamos que x = f (a) , y = f (b) , con a, b K, entonces
xy = f (a) f (b) = f (ab) f (K), ya que ab K dado que K es cerrado.
Si x = f (a) , a K, entonces x
1
= f (a)
1
= f (a
1
) f (K) , ya que
a
1
K.
2) f (e
G
) = e
H
L (L _ H), esto equivale a e
G
f
1
(L) .
Si a, b f
1
(L) , entonces f (a)
,
f (b) L, por lo que f (ab) =
f (a) f (b) L. Es decir que ab f
1
(L) .
Si a f
1
(L) entonces f (a) L, as que f (a
1
) = f (a)
1
L. Por lo
tanto a
1
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).
2. Como {e
H
} _ H, entonces f
1
({e
H
}) _ G. f
1
({e
H
}) se llama el
ncleo (kernel) de G,
ker (f) = {x G | f (x) = e
H
} .
Observacin 5 Si a G, G un grupo entonces
G
a()a
1
G
x axa
1
es un
morsmo con inverso
G
a
1
()a
G
x a
1
xa
, que tambin es un morsmo.
a ( ) a
1
se llama conjugacin por a o automorsmo interior.
Demostracin. Veamos que a ( ) a
1
es un morsmo.
a () a
1
(xy) = a (xy) a
1
= a (xey) a
1
=
= a
_
xa
1
ay
_
a
1
=
_
axa
1
_ _
aya
1
_
=
=
__
a () a
1
_
(x)
__
a () a
1
_
(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 \a G.
Notemos que si aHa
1
_ H \a G, tambin tendremos que a
1
Ha =
a
1
H (a
1
)
1
_ H. Multiplicando por a y por a
1
a la izquierda y a la
derecha, respectivamente tenemos que aa
1
H (a
1
)
1
a
1
_ aHa
1
.
Lema 17 El ncleo de un morsmo es un subgrupo normal.
1.4. COCIENTES 19
Demostracin. Sea G
f
H un morsmo de grupos. Ya sabemos
que Ker (f) _ G. Falta observar la normalidad. Queremos demostrar que
\a G, a (Ker (f)) a
1
_ Ker (f) . Tomemos x Ker (f) , f (axa
1
) =
f (a) f (x) f (a
1
) = f (a) e
H
f (a
1
) = f (a) f (a)
1
= e
H
. Luego axa
1
Ker (f) .
Ejemplo 5 Si consideramos el morsmo
Z
a
()
G
z a
z
tenemos dos casos:
1. Ker a
()
= {0} = a es de orden innito.
2. Ker a
()
= nZ, n > 0, en cuyo caso n = o (a) .
1.4. Cocientes
Nos haremos la siguiente pregunta: Cundo la funcin natural
G

G
a [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 ~ c y b ~ , entonces ab ~ c,.
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 [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 [e
G
]
, 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 (:) = [e
G
]
.
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.
3. ~=
H
=, 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 ~ c, b ~ , ==ab ~
c,. 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 (:) = {a G | : (a) = [e]
} =
= {a G | [a]
= [e]
} = [e]
,
ya que [e]
es el neutro del grupo G/ ~ . Llamemos H = ker (:) .

Ahora tenemos que demostrar que ~=
H
= .
a ~ b = [a]
= [b]
. Entonces [e]
= [a]
([a]
)
1
= [a]
([b]
)
1
=
[a]
[b
1
]
= [ab
1
]
=ab
1
[e]
= H =a
H
= b.
3) == 1) Slo tenemos que demostrar que G

G/
H
= es un morsmo,
pero esto se sigue de 2)==1) y de que
H
= es una congruencia en G : si a
H
= c
y b
H
= , entonces ac
1
H y b,
1
H, entonces ac
1
= h
1
, b,
1
= h
2
H,
entonces ab (c,)
1
= ab,
1
c
1
= a (h
2
) a
1
H, si recordamos que H es un
subgrupo normal de G.
Observacin 7
H
= es una congruencia = H E G.
1.4. COCIENTES 21
Demostracin. ==) Si H E Gentonces HaHb = HaHa
1
ab = H (aHa
1
) ab =
HHab = Hab, ya que HH _ H (H es cerrado) y H = eH _ HH. Note
que a
H
= c, b
H
= ,, entonces HcH, = Hc, y ab (c,)
1
= ab,
1
c
1
=
a
_
b,
1
_
c
1
aHa
1
_ H, por lo que Hab = Hc,.
==) Si
H
= es una congruencia, entonces HaHb = [a]H
[b]H
= [ab]H
= Hab.
En particular, aHa
1
_ HaHa
1
= Haa
1
= He = H, \a G.
Denicin 14 Sea =
H
en G denida por a =
H
b =a
1
b H.
Podemos demostrar que =
H
es una relacin de equivalencia en G y que la
clase de equivalencia de a es aH. (Note que aH = bH = a
1
b H). aH se
llama clase lateral izquierda.
Lema 18 H E G =Ha = aH, \a G.
Demostracin. Ha = aH, \a G = a
1
Ha = a
1
aH = H, \a G =
H E G.
Observacin 8 H E G =
H
===
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
.
Ejemplo 6
__
123
132
__
,E S
3
.
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
b b r
1
Id r c a
c c r r
1
Id a b
r r c a b r
1
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
.
a = {Id, a} tiene las clases laterales derechas:
a e = a = {e, a} , a b = {b, r} , a c = {c, ac} = {c, r
1
} y tiene las
clases laterales izquierdas {e, a} , b a = {b, r
1
} , c a = {c, r} .
Note que {c, r} es una clase lateral izquierda pero no es una clase lateral
derecha.
Denicin 15 C (G) = {a G | ab = ba \b G} .(El centro de G).
C (G) E G.
Ejemplo 7 Sea a G tal que o (a) = 2. a E G =a C (G) .
Demostracin. ==) Si a E G entonces \g G, g a g
1
= a . As
que g a g
1
= g {e, a} g
1
= {e, gag
1
} = {e, a} , luego gag
1
= a, \g G,
es decir que ga = ag, \g G, es decir que a C (G) .
==) Si a C (G) es claro que a 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 GrH) y dos clases laterales
izquierdas: H y aH (recordar que hay el mismo nmero de clases laterales
derechas que de izquierdas, Ha 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) = {b G | ab = ba, \b G} .
1. C (a) _ G.
2. C (G) = {C (a) | a G} .
3. a 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
= {ghg
1
| h H}
gH = {gh | h H}
Hg = {hg | h H}
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.
Congr(G)
f
[(e), G]
C
~ e
[(e), G]
C
g
Congr(G)
H
H
=
donde a
H
= b = ab
1
H.
Armamos que f, g estn bien denidas y son inversas una de la otra
Congr(G)
f
[(e), G]
C
~ e
Hemos observado que e es un subgrupo normal de G.
Vimos antes que si H C G, entonces
H
= es una congruencia en G, es decir
que
a
H
= a
1
, b
H
= b
1
= ab
H
= a
1
b
1
Congr(G)
f
g
[(e), G]
C
H
= H
Nos falta notar que f, g son funciones inversas una de la otra.
~
f
e
e
= ,
p.d. ~=
e
=.
Ahora, a
e
=b =ab
1
= e.Pero ab
1
= ab
1
= a(b)
1
) a
e
=b =a(b)
1
= e
= a = b = a ~ b. Por lo tanto
e
==~
Ahora, sup H C G , entonces
H
g
H
= e.
Aqu , e denota la clase de e mdulo
H
= .
e = {g G | g
H
= e} = {g G | ge
1
H} = {g G | g H} = H.
Entonces f y g son inversas una de la otra.
Podemos hacer varias observaciones al respecto:
1.
G
g( )g
1
G
a gag
1
es un morsmo invertible con inverso g
1
( )g.
2.
H
= 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.
Ejercicio 26 Muestre que
(R, +, 0)
f
(C \ {(0, 0)} , , 1)
r e
ir
es un mors-
mo de grupos. Describa ker f, imf.
Ejercicio 27 Muestre que [0, 1) _ R es un grupo conmutativo con la op-
eracin denida por r s =
_
r +s si r +s _ 1
r +s 1 si r +s > 1
y demuestre que
(R, +, 0)
f
[0, 1)
r r r|
es un morsmo, donde r| = m ax {z Z | z _ r} .
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-
to a morsmos) es decir que fg = fh == g = h si K
g
h
G son
morsmos.
2. epimorsmo si f es un morsmo cancelable por la derecha (respecto a
morsmos de grupos), es decir que gf = hf == g = h si H
g
h
L son
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 = {e
G
} .
3. f es un morsmo inyectivo.
Demostracin. 1) == 2) Si existiera e ,= x ker f, consideremos
Kerf
i
e
G
f
H, donde i es la inclusin y e denota el morsmo trivial.
Entonces f i = e = f e pero i ,= e, ya que i (x) = x ,= e = e (x) .
2) ==3) f (a) = f (b) =f (a) f (b)
1
= e
H
. Esto equivale a f (a) f (b)
1
=
f (a) f (b
1
) = f (ab
1
) = e
H
, es decir ab
1
ker f = {e
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 a ,= 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.
Recprocamente, si G
f
H es un morsmo biyectivo, entonces f tiene
inverso (como funcin) H
f
1
G y hay que demostrar que tambin es un
morsmo. Sean a, b H, y sean x, y 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 |Q| = |N| <
|R| .
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 = a = a
Z
es un grupo cclico, tenemos dos posibil-
idades: o todas las potencias de a son distintas, en cuyo caso
Z a
Z
z a
z
es
1.5. MONOS, EPIS E ISOS 27
un isomorsmo y |Z| =

a
Z
= |G| , o bien G = a es nito y |G| = o (a) = n,

en cuyo caso
Z
n
f
G
z a
z
es un isomorsmo. Vale la pena comprobar es-
to ltimo, es claro que f es suprayectiva. Veamos que est bien denida,
y que es un morsmo inyectivo. z = w = z
n
= w = z w = ns p.a.
s Z =a
zw
= a
ns
= (a
n
)
s
= e
s
= e. As que multiplicando por la derecha
por a
w
tenemos que a
z
= a
w
, es decir que f ( z) = f ( w) y f est bien denido.
f es un morsmo: f ( z + w) = f (z +w) = a
z+w
= a
z
+a
w
. Por ltimo, segn
vimos, para ver que f es inyectiva, basta ver que ker (f) = {
0} . En efecto,
e = f ( z) = a
z
==n = o (a) | z, as que z
n
= 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 Z
n
.
Observacin 11 Si G
f
H es un morsmo, y a G es de orden nito,
entonces o (f (a)) | o (a) .
Demostracin. e = f (e) = f
_
a
o(a)
_
= (f (a))
o(a)
, as que o (f (a)) |
o (a) .
Observacin 12 Un isomorsmo preserva el orden de los elementos. Es
decir que si f : G H es un isomorsmo y a G, entonces o (f (a)) =
o (a) .
Demostracin. Si a es de orden nito, por la observacin previa tenemos
que o (f (a)) | o (a) . Como f
1
tambin es un morsmo, tenemos que o (a) =
o (f
1
(f (a))) | 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))) | o (f (a))) entonces f (a) tambin es
de orden innito.
Observacin 13 Si G es un grupo, denotemos t (G) = {a G | o (a) < } .
Si G es isomorfo a H entonces |t (G)| = |t (H)| .
Demostracin. Si en el diagrama
G
f
H

t (G)
f
|t(G)
t (H)
, f es un isomor-
smo, entonces f
|t(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, \n N.
Ejercicio 29 Demuestre que en un conjunto de grupos, la relacin de ser
isomorfo a es una relacin de equivalencia.
Ejercicio 30 Si G es un grupo y bab
1
= a
i
, para a.b G, i Z, entonces
b
j
ab
j
= a
i
j
, \j Z.
Veremos ahora que los epimorsmos mandan conjuntos generadores a
conjuntos generadores.
Teorema 12 Si G
f
H es un epimorsmo y X _ G genera, entonces f (G)
genera H.
1.6. Subgrupos normales
Como hemos observado H E G=
H
=es una congruencia en G=(G
, , e
) es un grupo y
G

G
H
a a
es un morsmo de grupos. =\ a G, aHa
1
_ H =\ a G, aHa
1
=
H y H _ G.
Como
G
g( )g
1
G
b 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.
Lema 21 Si G
f
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
({e}) C G.
Demostracin. U C H = f(e
G
) = e
H
U = e
G
f
1
(U) (e
G
, e
H
denotan los neutros de G y de H respectivamente).
Sean a, b f
1
(U) = f(ab
1
) = f(a)f(b
1
) = f(a)f(b)
1
U ) ab
1
f
1
(U) y as f
1
(U) _ G.
Finalmente, si b f
1
(U), entonces
f(aba
1
) = f(a)f(b)f(a
1
) = f(a)f(b)f(a)
1
U
(pues U es normal). ) aba
1
f
1
(U) \ b 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
(Y )
f
1
( )
(X)
U f
1
(U)
.
que respeta uniones , intersecciones y el orden.
Demostracin. Sean U _ V _ Y y f(a) U =f(a) V ) a f
1
(U)
= a f
1
(V ) ) f
1
(U) _ f
1
(V ).
Sea {U
i
}
i2I
una familia de subconjuntos de Y.Si f(a) {U
i
}
i2I
,entonces
f(a) U
i
\ i I ) a f
1
(U
i
) \ i I ) a {f
1
(U
i
)} ) f
1
({U
i
}
i2I
) _
{f
1
(U
i
)}
i2I
.Recprocamente a {f
1
(U
i
)}
i2I
=a f
1
(U
i
), \ i I =
f(a) U
i
\ i I = f(a) {U
i
}
i2I
= a f
1
({U
i
}
i2I
).
f
1
respeta uniones. Sea a f
1
('{U
i
}
i2I
) =f(a) '{U
i
}
i2I
=f(a)
U
i
para alguna i I = a f
1
(U
i
) para alguna i I = a '{f
1
(U
i
)}
i2I.
Lema 23 Si X
f
Y es biyectiva entonces:
1. A _ B _ X = f(A) _ f(b) _ Y.
2. Si {A
i
}
i2I
es una familia de subconjuntos de X, entonces
f({A
i
}
i2I
) = {f(A
i
)}
i2I
f('{A
i
}
i2I
) = '{f(A
i
)}
i2I
Demostracin. Si f es biyectiva, f = (f
1
)
1
.
Observacin 14 Si G es un grupo
1. G
_a
G es una biyeccin..
b ba
2. G
a_
G es una biyeccin..
b ab
3. G
a_a
1
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
) () = axya
1
= a
x (a
1
a) ya
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.
Demostracin. gHg
1
_ G y o (gHg
1
) = o (H) . Por lo tanto gHg
1
=
H, \g G.
Corolario 4 Si G es un grupo y a G entonces
a(
i2I
{A
i
}) =
i2I
(aA
i
)
a('
i2I
{A
i
}) = '
i2I
(aA
i
)
donde {A
i
}
i2I
es una familia de subconjuntos de G y aA
i
= {ax | x A
i
}.
Corolario 5 Si {H
i
}
i2I
es una familia de subgrupos de G entonces:
1. a(
i2I
{H
i
})a
1
=
i2I
{aH
i
a
1
}.
2. a('
i2I
{H
i
})a
1
= '
i2I
{aH
i
a
1
}.
Corolario 6 Si {H
i
} es una familia de subgrupos normales de G, entonces
{H
i
} es un subgrupo normal de G.
Demostracin. a(
i2I
{H
i
})a
1
=
i2I
{aH
i
a
1
} =
i2I
{H
i
}.
Observacin 16 En vista del corolario anterior, cada subconjunto X de un
grupo G, genera un subgrupo normal, al que denotaremos X
4
.
Es claro que X
4
es la interseccin de los subgrupos normales de G que
contienen a X, enseguida daremos una descripcin elemental.
Teorema 13 X
4
= {axa
1
| a G, x X} .
Demostracin.
{axa
1
| a G, x X} = {H _ G | axa
1
H, \x X, \a G} . 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:
b
_
_
H _ G | axa
1
H, \x X, \a G
__
b
1
=
=
_
bHb
1
_ G | axa
1
H, \x X, \a G
_
ahora basta ver que
_
bHb
1
_ G | axa
1
H, \x X, \a G
_
=
=
_
H _ G | axa
1
H, \x X, \a G
_
.
Para ver esto consideremos el isomorsmo
G
b()b
1
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
[e , G] [e , G]
H 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
_
axa
1
| a G, x X
_
_ H =
_
axa
1
| a G, x X
_
_ bHb
1
==) axa
1
bHb
1
=b
1
axa
1
b H. Pero
b
1
axa
1
b =
_
b
1
a
_
x
_
b
1
a
_
1
H,
por hiptesis.
==) axa
1
H =baxa
1
b
1
bHb
1
. Como baxa
1
b
1
= (ba) x (ba)
1
tenemos que baxa
1
b
1
bHb
1
.
Con esto tenemos que
_
H _ G | axa
1
H, \x X, \a G
_
coincide con
_
bHb
1
_ G | axa
1
H, \x X, \a G
_
,
por lo que sus intersecciones tambin coinciden.
Como ya dijimos , de aqu se sigue que
_
H _ G | axa
1
H, \x X, \a G
_
E G.
Tambin es claro que
X _
_
H _ G | axa
1
H, \x X, \a G
_
,
ya que por hiptesis x = exe
1
H, \x X.
Por ltimo, si X _ K E G, entonces \a G, aXa
1
_ aKa
1
= K,
es decir que
axa
1
K, \a G\x X,
es decir que K pertenece a
_
H _ G | axa
1
H, \x X, \a G
_
y as
_
H _ G | axa
1
H, \x X, \a G
_
_ K.
Ejemplo 9 Si K E H E G no necesariamente K E G.
Demostracin. En el grupo de simetras del cuadrado, H E H, V E
S
, pero H , E S
.
Teorema 14 Si K _ a E G entonces K E G.
Demostracin. Como un subgrupo de un grupo cclico es cclico, en-
tonces K = a
i
para alguna i N. Como a E G, si b G, entonces
bab
1
a , por lo que j N tal que bab
1
= a
j
. Como b () b
1
es un
morsmo, entonces b (a
i
) b
1
= (bab
1
)
i
= (a
j
)
i
= a
ij
. Entonces bKb
1
=
b a
i
b
1
K, ya que ba
iz
b
1
= (bab
1
)
iz
= (a
j
)
iz
= a
ijz
= (a
i
)
jz
a
i
= K.
Ejemplo 10 Un grupo no abeliano hamiltoniano.
Consideremos GL
2
(C) el grupo multiplicativo de las matrices de 2 2
con coecientes complejos y de determinante ,= 0. Sea I =
_
i 0
0 i
_
, J =
_
0 1
1 0
_
, y K =
_
0 i
i 0
_
, entonces IJ =
_
i 0
0 i
__
0 1
1 0
_
=
_
0 i
i 0
_
= K, JI =
_
0 1
1 0
__
i 0
0 i
_
=
_
0 i
i 0
_
= K, IK =
_
i 0
0 i
__
0 i
i 0
_
=
_
0 1
1 0
_
= J, KI =
_
0 i
i 0
__
i 0
0 i
_
=
_
0 1
1 0
_
= J. JK =
_
0 1
1 0
__
0 i
i 0
_
=
_
i 0
0 i
_
= I, KJ =
_
0 i
i 0
__
0 1
1 0
_
=
_
i 0
0 i
_
= I.
Entonces el conjunto de las 8 matrices H
_
_
1 0
0 1
_
, I, J, K
_
es
cerrado bajo el producto y por lo tanto es un subgrupo de GL
2
(C) . o(I) =
4, o (J) = 4 y o (K) = 4, o
_
1 0
0 1
_
= 2 y o
_
1 0
0 1
_
= 1. Todos
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 c 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)
= a
o(a)o(b)
b
o(a)o(b)
= ee = e, entonces o (ab) | o (a) o (b) .
Por otra parte, (ab)
o(ab)
= e. Entonces a
o(ab)
= b
o(ab)
a b . Si
x ab , entonces o (x) |
o(a)
o(b)
, por lo que o (x) | (o (a) ; o (b)) = 1, de donde
x = x
1
= e. Entonces a b = e . As tenemos que a
o(ab)
= e por lo que
o (a) | o (ab) tambin tenemos que o (b) | o (ab) , entonces o (a) o (b) | o (ab) y
as o (ab) = o (a) o (b) = [o (a) ; o (b)] .
Supongamos ahora que hay mprimos en la factorizacin de (o (a) ; o (b))
y digamos que p
c
| (o (a) ; o (b)), y que p
c+1
- (o (a) ; o (b)) , entonces, como es
bien sabido, c = mn {,, } donde p
o
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 c = ,, es decir que , _ .
Tomemos a
0
= a
p
y b. Entonces a
0
y b conmutan, o (a
0
) =
o (a)
p
c
,
por lo que p no divide a o (a
0
) . Entonces (o (a
0
) ; o (b)) =
_
o (a)
p
c
; o (b)
_
=
(o (a) ; o (b))
p
c
.
3
. Entonces (o (a
0
) ; o (b)) tiene menos factores primos que (o (a) : o (b)),
as que por hiptesis de induccin c G tal que o (c) = [o (a
0
) ; o (b)] =
o (a
0
) o (b)
(o (a
0
) ; o (b))
=
o (a)
p
c
(o (a) ; o (b))
p
c
=
o (a) o (b)
(o (a) ; o (b))
=
[o (a) ; o (b)] .
Teorema 15 Si un grupo nito G tiene exactamente un subgrupo de orden
m para cada m | 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
y a G entonces H y aHa
1
son dos subgrupos de G con el mismo orden,
y tienen que coincidir por hiptesis.
Sea a G un elemento de orden mximo.
Supongamos que b G \ a , note que o (b) - o (a) ya que en caso
contrario, el grupo cclico a contendra otro subgrupo de orden o (b) , contra
las hiptesis. Como o (b) - o (a) , entonces p
c
tal que divide a o (b) pero que
no divide a o (a) . Tomemos b
0
= b
o(b)
p
, entonces o (b
0
) = p
c
, sea p
o
la mayor
potencia de p que divide a o (a) , (note que , < c porque p
c
- o (a)), tomemos
a
0
= a
p
entonces o (a
0
) =
o (a)
p
o
, por lo que p - o (a
0
) . Ahora b
0
a
0
= e
dado que el orden de b
0
es primo con o (a
0
) . Como a
0
y b
0
son subgrupos
normales de G, entonces a
0
conmuta con b
0
as que debe existir un elemento
3
Es claro que
(o (a) ; o (b))
p
|
_
o (a)
p
; o (b)
_
, ya que
(o (a) ; o (b))
p
|
o(a)
p
o(b)
y tam-
bin
_
o (a)
p
; o (b)
_
|
(o (a) ; o (b))
p
ya que p
_
o (a)
p
; o (b)
_
| (o (a) ; o (b)) ya que
p
_
o (a)
p
; o (b)
_
| o (a) (pues
_
o (a)
p
; o (b)
_
|
o (a)
p
) y p
_
o (a)
p
; o (b)
_
| o (b) (ya que
p
0
@
o(a)
p
;o(b)
1
A
| o (b) y p
es primo con
_
o(a)
p
; o (b)
_
c G tal que o (c) = [o (a
0
) ; o (b
0
)] = o (a
0
) o (b
0
) =
o (a)
p
o
p
c
= o (a) p
co
>
o (a) , contradiciendo la eleccin de a.
Por lo tanto G = a .
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 x
o(G)
= 1. En un campo hay a
lo ms n races para un polinomio de grado n. As que las races de x
o(G)
= 1
(x
o(G)
1 = 0) son los elementos de G.
Tomemos un elemento a G de orden mximo, G = a . Si b G\
a entonces o (b) - o (a) , ya que en caso contrary a contendra un subgrupo
K de orden o (b) tal que b / K, pero entonces K ' {b} tendra ,o (K) + 1
soluciones de x
o(K)
= 1, lo que es imposible. Si o (b) - o (a) , entonces c G
tal que o (c) = [o (a) ; o (b)] =
o (a) o (b)
(o (a) ; o (b))
= o (a)
o (b)
(o (a) ; o (b))
> o (a) ,
contradiciendo la eleccin de a.
Por lo tanto G = a .
Corolario 7 Un subconjunto nito no vaco multiplicativamente cerrado de
elementos distintos de cero en un campo forman un grupo cclico.
Demostracin. Supongamos que ? ,= H _ F \ {0} 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 ,= L fueran dos subgrupos multiplicativos de orden m, entonces
cada x K'L satisfara x
m
= 1, por el Teorema de Lagrange, pero entonces
el polinomio x
m
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 H un elemento de orden mximo, a contiene un subgrupo
por cada divisor de su orden, dado que es cclico. Si b H \ a , entonces
o (b) - o (a) , ya que en caso contrario a tendra que tener un subgrupo
de orden o (b) ,pero este tendra que ser b (ya que slo hay un subgrupo
de orden o (b)), esto contradice que b / a . As si b H \ a , entonces
1.7. SUBGRUPOS Y NORMALIDAD 37
habra c H tal que o (c) = [o (a) ; o (b)] =
o (a) o (b)
(o (a) ; o (b))
> o (a) , dado
que
o (b)
(o (a) ; o (b))
> 1,pues o (b) > (o (a) ; o (b)) . o (c) > o (a) contradice la
eleccin de a.
Corolario 8 Si F es un campo nito entonces (F \ {0} , , 1) es un grupo
cclico.
Ejemplo 11 Z
19
es un grupo cclico: ,(19) = 18. 2, 2
2
19
= 4, 8, 16
19
= 3, 2
5
19
=
6, 2
6
19
= 12
19
= 7, 2
7
19
= 14
19
= 5, 2
8
19
= 10, 2
9
20
19
= 1,
as que 2
18
19
= 1. Entonces Z
19
=
2 .
Ejercicio 32 Encuentre un generador de Z
23
.
Ejercicio 33 Demuestre que Si H _ G entonces H = H \ {e} .
1.7. Subgrupos y normalidad
Hemos visto que todo subconjunto X _ G genera un subgrupo normal
X
4
. 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 X
E
= {H | X _ H E G} =
gxg
1
| g G, x X .
Observacin 17 Si H _ G entonces el mayor subgrupo de G en donde H
es normal es N (H) = {x G | xHx
1
= H} .
Demostracin. e N (H) pues
eHe
1
= H.a, b N (H) =abH (ab)
1
= abHb
1
a
1
= aHa
1
= H.
a N (H) = aHa
1
= H = H = a
1
aHa
1
a = a
1
Ha = a
1
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 {N
i
}
i2I
es una familia de subgrupos normales de G, entonces
.{N
i
}
i2I
=

'{N
i
}
i2I
_
E G.
Demostracin.
.{N
i
}
i2I
=
_
H | '{N
i
}
i2I
_ H
_
= {H | N
i2I
_ H, \i I} .
Sea a G, tenemos que
a ({H | N
i2I
_ H, \i I}) a
1
=
_
aHa
1
| N
i2I
_ H, \i I
_
.
Ya hemos notado que [e , G]
a()a
1
[e , G] es una biyeccin. Hagamos K =
aHa
1
, entonces
N
i2I
_ H =N
i
= aN
i
a
1
_ aHa
1
= K =N
i
_ K.
De lo anterior, tenemos que
_
aHa
1
| N
i2I
_ H, \i I
_
= {K | N
i2I
_ K, \i I} ,
por lo tanto
a ({H | N
i2I
_ H, \i I}) a
1
=
=
_
aHa
1
| N
i2I
_ H, \i I
_
=
= {K | N
i2I
_ K, \i I} .
Es decir que
{H | N
i2I
_ H, \i I} E G.
Teorema 17
_
[e , G]
4
, , ., e , G
_
es una subretcula completa de
([e , G] , , ., e , 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 .{K | H _ K E G} .
Observacin 18 Si H _ G entonces {aHa
1
| a G} es el mayor sub-
grupo normal de G contenido en H.
Demostracin. {aHa
1
| a G} _ eHe
1
= H.
{aHa
1
| a G} _ G, pues es una interseccin de subgrupos de G.
Si b G,entonces b ({aHa
1
| a G}) b
1
= {baHa
1
b
1
| a G} =
= {cHc
1
| a G} .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 {aHa
1
| a G} E G.
Por otra parte, si K _ H y K E G entonces K = aKa
1
_ aHa
1
, \a
G, por lo tanto K _ {aHa
1
| a G} .
aHa
1
se llama conjugado de H.
1. El nmero de subgrupos conjugados de H es i
G
(N (H)) .
2. El nmero de elementos conjugados de a G es i
G
(C (a)) .
Demostracin. 1)
{aHa
1
| a G}
f
G/N (H)
aHa
1
N (H) a
1
es una biyeccin:
aHa
1
= bHb
1
=b
1
aHa
1
b = H =b
1
a N (H) =
a
1
b 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.
2)
{aga
1
| a G}
h
G/C (g)
aga
1
C (g) a
1
. h es una biyeccin:
aga
1
= bgb
1
=b
1
aga
1
= gb
1
=b
1
ag = gb
1
a =b
1
a 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 (V ) , V
E
. Describa todos los conjugados de V
E
y verique que el
nmero de conjugados de V es el ndice de N (V ) en S
.
1.7.1. La relacin de conjugacin
Es claro que \a 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 s
c
b si existe g 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
= {gag
1
| g G} .
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
(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
[a]
sc
=
o (G)
o (C (a))
.
Observacin 19 H E G ==H = '
_
[a]
sc
| a H
_
.
Demostracin. Si H E G, entonces, para cada a H, tenemos que
[a]
sc
_ H, de donde tenemos que '
_
[a]
sc
| a H
_
_ H. Por otra parte,
dada a H,tenemos que a [a]
sc
, por lo que H _ H'
_
[a]
sc
| a H
_
_ H.
Recprocamente, si H = '
_
[a]
sc
| a H
_
, dada a H, g G,tenemos
que gag
1
[a]
sc
_ H. Por lo tanto gHg
1
_ H, as que H E G.
El argumento anterior se usar con fuerza para demostrar que A
n
5
es un
grupo simple para n _ 5.
1.8. Los teoremas de isomorsmo
Teorema 18 (de la correspondencia biyectiva) Si G
f
H es un mor-
smo suprayectivo, entonces
[ker (f) , G]
f
[e , H]
L f (L)
4
Recuerde que C (a) denota el subgrupo de los eleemntos que conmutan con a.
5
A
n
denota el grupo de las permutaciones pares en el conjunto {1, 2, .., n} .
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 _
L
1
, ker f _ L
2
y f (L
1
) = f (L
2
) entonces \x L
1
f (x) f (L
2
) por lo que
f (x) = f (y) , con y L
2
. Entonces x = yy
1
x = y (y
1
x) L
2
ker (f) _
L
2
L
2
= L
2
. Por lo tanto L
1
_ L
2
, por simetra L
2
_ L
1
. Entonces f
es
inyectiva.
Si K _ H entonces f
1
(K) _ G y ker f _ f
1
(K) (dado que
f (ker (f)) = {e} _ K). Ahora, f (f
1
(K)) = K ya que f es suprayectiva: Es
claro que f (f
1
(K)) _ K por otro lado x K =x = f (a) , y a f
1
(K) ,
luego, x 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.
Teorema 19 Sea G
f
H es un morsmo suprayectivo entonces la biyeccin
[ker (f) , G]
f
[e , H]
L f (L)
se restringe a una biyeccin
[ker (f) , G]
E
f
[e , H]
E
L f (L)
,
que preserva orden, intersecciones y yuntas (y tambin f
1
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 H. Como f es suprayectiva, entonces
b = f (a) para alguna a G, entonces bf (L) b
1
= f (a) f (L) f (a)
1
=
f (aLa
1
) = f (L) , \b H.
Supongamos ahora que U E H, es claro que ker (f) _ f
1
(U) ya
que f (ker (f)) = {e
H
} _ U.
Ahora, si a G entonces
f
_
af
1
(U) a
1
_
= f (a)
_
f
_
f
1
(U)
__
f
_
a
1
_
= f (a) (U) f (a)
1
= U,
luego af
1
(U) a
1
_ f
1
(U) .
Veamos ahora que
[ker (f) , G]
E
f
[e , H]
E
L 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,
\U E H, ya que f
y f
1
son inversas una de la otra.
Sea {L
i
}
i2I
una familia en [ker (f) , G]
E
, entonces f
_
{L
i
}
i2I
_
=
{f
(L
i
)}
i2I
y este es un subgrupo normal de H por se la interseccin de
los subgrupos normales f
(L
i
) .
Con el mismo argumento notamos que f
_
.{L
i
}
i2I
_
= .{f
(L
i
)}
i2I
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 / 1 . Notemos que H / 1 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 / 1 es lo que nos dice que H / 1 no es cclico. (hay ms de un
subgrupo de orden 2).
Corolario 10 Si G
f
H es un isonorsmo de grupos entonces:
1. [(e) , G]
f
[(e) , H] es una biyeccin que respeta el orden las intersec-

ciones y las yuntas.
2. [(e) , G]
E
f
[(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.
Otros invariantes son: INVARIANTES
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 S
3
no es isomorfo con Z
6
.
Lema 26 Si X
gen
G y G H es un morsmo suprayectivo, entonces
f (X)
gen
H.
Demostracin. X
gen
G = el nico subgrupo de G que contiene a X es
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)) _
f
1
(L) _ G. Por la hiptesis de unicidad, f
1
(L) = G es decir que L =
f (f
1
(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 Q\{0} entonces Za/b +Zc/d =
Z
_
(ad; bc)
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.
(Considere
__
1
2
n
| n N
__
. Podra ser cclico?).
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.
Demostracin. Consideremos el diagrama
G

G/ ker (f)
|
f
H
, den-
imos

f : G/ ker (f) H
g ker (f) f (g)
, veremos que la funcin denida es in iso-
morsmo.
f est bien denida: g ker (f) = a ker (f) == a

1
g ker (f) ==
f (a
1
g) = e
h
==f (a)
1
f (g) = e
H
==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)
ker

f = f (a) = e
H
= . 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 H, entonces
h = f (a) para alguna a 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 Z
n
, para
alguna n N \ {0} . (
Z a
z a
z
es un morsmo suprayectivo).
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
suprayectivo pues hkH = (kk
1
) hkH = k (k
1
hk) H = kH = : (k) (pues
k
1
hk H).
Ahora, ker (:) = {k K | kH = H} = {k K | k H} = K H.
Por el primer Teorema de isomorsmo, tenemos que im(:) = HK/H
es isomorfo a K/ (H K) el isomorsmo es
K/ (H K) HK/H
k (H K) kH
(la
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) | n.
Teorema 22 (Tercer teorema de isomorsmos) Si H _ L [(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 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 (:) = {gH | gL = L} = {gH | g L} = L/H.
3) Se sigue de 1) y 2), y del Primer teorema de isomorsmo. Note que
el isomorsmo
(G/H) / (L/H) G/L
gH (L/H) gL
(la clase de gH va a la clase de
g).
Ejercicio 47 Sea M el subgrupo de (M
22
(R))
generado por
_
0 1
1 0
_
y
_
0 1
1 0
_
muestre que M es isomorfo al grupo de las simetras del cuadrado.
Ejercicio 48 Sea N el subgrupo de (M
22
(Z
3
))
generado por
_
0 1
1 0
_
y
_
1 1
1 1
_
muestre que M es isomorfo al grupo de las simetras del cuadra-
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) = {g G | o (g) < }
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 ,= b tales que i) o (a) =
4 = o (b) ii) a
2
= b
2
iii) bab
1
= a
1
iv) G = {a, b}, 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 S
3
, 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
p
| p es un primo
_
.
Ejercicio 58 Demuestre que (R
, , 1) no es isomorfo con (C
, , 1) .
Ejercicio 59 Demuestre que si a/b y c/d 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 M
22
(Z
p
)
el grupo multiplicativo de las matrices

de 2 2 con coecientes en Z
p
de determinante ,= 0. Cul es el orden
de M
22
(Z
p
)
? Muestre que {A M
22
(Z
p
)
| det (A) = 1} es un subgrupo

normal de M
22
(Z
p
)
, mostrando que M
22
(Z
p
)
det
Z
p
es un morsmo
suprayectivo. Use esto para determinar o({A M
22
(Z
p
)
| det (A) = 1}) .

Ejercicio 63 Sea C
N
R
+
denida por N (z) = z z, donde z denota el
conjugado de z. Demuestre que N es un epimorsmo y que C
/ {z | |z| = 1} 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 G, se dene la adicin
f + g por (f + g)(x) = f(x) + g(x) para todo x [0, 1]. Si N = {f G |
f (1) = 0}, entonces G/N u (R, +, 0).
Denamos la funcin .
ev
aluar en 1"
G
ev
1
R
f f (1)
,
entonces ev
1
es un morsmo: ev
1
(f +g) = (f +g) (1) = f (1) + g (1) =
ev
1
(f) + ev
1
(g) . El ncleo de ev
1
es N y la imagen de ev
1
es R. Para ver
esto ltimo, escojamos r R. La funcin h(x)=rx tiene la propiedad de que
en 1vale r. Por lo que r = ev
1
(h) Im(ev
1
) .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 = {1, 1} . Demostrar que G/N u (R
+
, , 1) .
Denamos la funcin
R
| |
R
+
x |x|
por |x| =
_
x
x
si x = 0
si x < 0
, (| | de-
nota la funcin valor absoluto). Notemos que es un morsmo (|xy| = |x| |y|)
su ncleo es precisamente {1, 1} que son los reales de valor absoluto = 1.
La imagen de | | es todo R
+
. As que por el primer Teorema de Isomorsmo
tenemos que G/N u (R
+
, , 1) .
Ejemplo 15 Si G
1
, G
2
son grupos y G = G
1
G
2
:= {(a, b) | a G
1
, b G
2
)},
en donde se dene
(a, b)(c, d) = (ac, bd),
demustrese que:
1. N = {(a, e, ) | a G
2
), donde e es el elemento neutro de G
2
, es un
subgrupo normal de G.
2. N u G
1
.
3. G/N u G
2
.
Ejemplo 16 Si F es un campo, entonces det : M
nn
(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 U
nn
(F) dicho subgrupo. La
imagen de det consiste de todo F
( det
_
_
_
_
_
c 0 0
0 1 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 1
_
_
_
_
_
= c, donde la
matriz anterior es una matriz diagonal ). Entonces
M
nn
(F)
U
nn
(F)
u F
.
Por ejemplo si F = Z
p
, 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 U
33
(Z
p
) .(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
Sea {G
i
}
i2I
un familia de grupos y consideremos

{G
i
}
i2I
el producto
cartesiano, es decir
_
f : I '{G
i
}
i2I
| f (j) G
j
, \j I
_
(f se identica
con(f (i))
i2I
).

{G
i
}
i2I
resulta un grupo con la operacin (f g) (i) =
1.10. PRODUCTOS DE GRUPOS 49
f (i) g (i) G
i
y con neutro e tal que e (i) = e
G
i
. Desde luego
_
(f (i))
i2I
_
1
=
_
f (i)
1
_
i2I
.
Notemos que en el caso particular de que I = {1, 2}, es ms comn escribir
G
1
G
2
que

{G
i
}
i2I
.
Para cada i I tenemos un epimorsmo
{G
i
}
i2I
j
G
j
f f (j)
(veri-
carlo).
Adems la pareja
_
{G
i
}
i2I
, {:
j
}
j2I
_
tiene la siguiente propiedad (uni-
versal del producto).
Teorema 23 Para cada familia
_
H
u
j
G
j
_
j2I
de morsmos, ! : H
u
{G
i
}
i2I
morsmo de grupos tal que cada
{G
i
}
i2I
j
G
j
u
u
j
H
conmuta.
Demostracin. Para que un morsmo hiciera conmutar cada uno de los
tringulos de arriba, necesitaramos que :
j
(u(h)) = u
j
(h) , lo que signica
que u(h) : I '{G
i
}
i2I
debe denirse por u(h) (j) = u
j
(h) G
j
.
Hagamos lo anterior y veriquemos que u : H
{G
i
}
i2I
es un morsmo.
u(h +k) (j) = u
j
(h +k) = u
j
(h) + u
j
(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
Hom
_
H,
{G
i
}
i2I
_
0
Hom(H, G
i
)
donde la funcin o es biyectiva y enva f a F tal que F (i) = :
i
f
Hom(H, G
i
) , es decir,o (f) (i) = :
i
f. La inversa de o est denida mediante
la propiedad universal del producto.
Ejercicio 64 Demuestre que C
_
{G
i
}
i2I
_
= C
_
{C (G
i
)}
i2I
_
. (El
centro de un producto es el producto de los centros).
Ejercicio 65 Use lo anterior para demostrar que

{G
i
}
i2I
es abeliano =
G
i
es abeliano \i I.
1.11. El subgrupo conmutador
Denicin 25 Sea G un grupo y a, b G,decimos que aba
1
b
1
es el con-
mutador de a y b.
Denicin 26 Denimos el subgrupo conmutador de G, G
0
como
_
aba
1
b
1
| a, b G
__
.
Lema 27 El subgrupo conmutador G
0
es normal.
Demostracin. Basta que demostremos que {aba
1
b
1
| a, b G} =
{aba
1
b
1
| a, b G}
C
=
{x (aba
1
b
1
) x
1
| a, b, x G} . 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
G
0
, \a, b, x G. Llamem-
os z = (aba
1
b
1
) , entonces xzx
1
z
1
G
0
ya que es un conmutador. Tam-
bin tenemos que z G
0
as que xzx
1
= (xzx
1
z
1
) z G
0
,que es lo que
queramos demostrar.
Teorema 24 G
0
es el menor subgrupo normal tal que G/G
0
es un grupo
abeliano.
Demostracin. Tenemos que G/G
0
es un grupo. Sean a, b G, G
0
=
aba
1
b
1
G
0
= aG
0
bG
0
a
1
G
0
b
1
G
0
, de donde tenemos que aG
0
bG
0
= bG
0
aG
0
.
Es decir que G/G
0
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
K, \a.b G. por lo
que G
0
_ K.
Adems podemos demostrar que si G
0
_ K entonces K E G y G/K es
abeliano:
1.11. EL SUBGRUPO CONMUTADOR 51
Si x K, a G entonces (axa
1
) x
1
G
0
_ K,entonces (axa
1
x
1
) x
K (ya que es el producto de dos elementos de K). Entonces axa
1
K as
que K E G.
Ahora G
0
_ K ==G/G
0

G/K de donde G/K es abeliano por ser un
cociente de un grupo abeliano.
Ejemplo 17 Si G es abeliano entonces G
0
= e .
Ejemplo 18 Si G no tiene subgrupos normales propios no triviales y G no
es abeliano, entonces G
0
= G.
Ejemplo 19 S
0
3
= {(1, 2, 3)} , donde (1, 2, 3) denota la permutacin 1
2 3 1.
Ejemplo 20 El grupo de simetras del cuadrado tiene su conmutador igual
a su centro: r
2
donde r es la rotacin de 90
.
Ejemplo 21 El conmutador de H el grupo de Hamilton es {1, 1} .
Ejemplo 22 El conmutador de un producto nito de grupos es el producto
de los conmutadores:
_
{G
i
}
i2I
_
0
=

_
{G
0
i
}
i2I
_
, .si I es nito.
Demostracin. _) Para mostrar que vale esta inclusin basta mostrar
que un generador de
_
{G
i
}
i2I
_
0
pertenece a

_
{G
0
i
}
i2I
_
. Sea fgf
1
g
1
con f, g

_
{G
i
}
i2I
_
, es decir que f : I '{G
i
}
i2I
y f (j) G
j
(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
).
Quisiramos notar que fgf
1
g
1
_
{G
0
i
}
i2I
_
. Para ver esto eval-
uamos en una j I : (fgf
1
g
1
) (j) = f (j) g (j) f (j)
1
g (j)
1
G
0
j
. As
que efectivamente (fgf
1
g
1
)

_
{G
0
i
}
i2I
_
.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 G
0
H
0
_ (GH)
0
, para esto basta
demostrar que (aba
1
b
1
, e
H
) , (e
G
, xyx
1
y
1
) (GH)
0
, \a.b G, \x, y
H. Pero
(aba
1
b
1
, e
H
) = (a, e) (b, e) (a
1
, e) (b
1
, e) =
= (a, e) (b, e) (a, e)
1
(b, e)
1
(GH)
0
.Y anlogamente (e
G
, xyx
1
y
1
)
(GH)
0
.
El grupo didrico
Consideraremos el grupo de simetras de un polgono regular de n lados,
n _ 4. Denotaremos D
2,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 o es una simetra
tal que
1 i
2 i + 1
,
es claro que entonces 3 i + 2, 4 i + 3, ... es decir que o es "sumar
i 1mdulo n". Hay n simetras de este tipo, pues i {1, 2, ..., n} .
La otra posibilida para una simetra es
1 i
2 i 1
y en este caso es claro que 3 i 2, 4 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 (D
2,n
) = 2n.
Denotemos j la simetra i i + 1 (una rotacin por un ngulo
2:
n
) y
sea o la reexin sobre la lnea que pas por el vrtice marcado con 1 y el
centro del polgono, entonces
1 1
2 n
3 n 1
n 2
.
Como o es una reexin, entonces o
2
= Id. As que o = o
1
. Por lo que
i
o
o (i) (o enva o (i) a i).
Podemos notar que o (j) = n y que o (o) = 2. Esto se debe a que j
k
(i) =
i +k, as que la menor k positiva tal que i
mod n
= i +k es n.
Notemos que j E D
2,n
puesto que es de ndice 2. Entonces ojo
1
= j
k
,
para alguna k. Calculemos el efecto de ojo
1
= ojo en 1 : 1
o
1
j
2
o
n, entonces ojo
1
= j
n1
= j
1
.
Podemos ahora notar que D
2,n
= j, o = j o . Esto se debe a que
j o es un subgrupo de D
2,n
,debido a que j es normal. Por otra parte
j o = {Id} , pues la nicas potencias de j que jan 1 son las que son
mltiplos de n. Entonces o (j o) =
2n
1
= 2n.
En particular tenemos que todo elemento de D
2,n
puede verse como una
potencia de j por una potencia de o, es decir que D
2,n
=
_
j
i
o
k
| i {1, ..., n} , j {1, 2}
_
.
Podemos calcular la forma de un producto:
notando que oj = j
1
o, tenemos que o
k
j
m
=
_
j
m
o
k
si k es par
j
m
o
k
si k es impar
j
i
o
k
j
m
o
n
= j
i
j
(1)
k
m
o
k
o
n
.
Podemos calcular el centro de D
2,n
:
1. Si n es impar, y j
i
o
k
pertenece a C (D
2,n
) , entonces j
i
o
k
conmuta con
o y con j :
j
i
o
k
o = oj
i
o
k
= j
1
o
k+1
, de donde tenemos que j
i
= j
i
, por lo que
j
2i
= Id, entonces n | 2i pero (2; n) = 1, de donde tenemos que n | i,
pero entonces
j
i
o
k
= o
k
que tiene que ser Id, pues por hiptesis o
k
pertenece al centro, pero o
no conmuta con j. Por lo tanto el nico elemento del centro de D
2,n
es
Id.
2. Si n es par, repitiendo el argumento de arriba, llegando al punto en que
j
2i
= Id, conclumos que n | 2i, como podemos escoger i {1, ..., n} es-
to tiene dos posibilidades: i = n o i =
n
2
. El primer caso produce el ele-
mento Id D
2,n
, y en el segundo obtenemos el elemento j
n
2
o
k
,que debe
conmutar con o, si est en el centro, entonces j
_
j
n
2
o
k
_
=
_
j
n
2
o
k
_
j.
Entonces j
_
j
n
2
o
k
_
= o
k
j
(1)
k
(
n
2
+1)
. Por otro lado
_
j
n
2
o
k
_
j =
o
k
j
(1)
k n
2
+1
OJO
Ejercicio 66 Encuentre el conmutador de D
2,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
s
HK
[(h, k)]
s
hk
est bien denida y es suprayectiva e inyectiva. Por lo
que
H K
s
= |HK| .
Por otra parte cada clase de equivalencia tiene el mismo nmero de ele-
mentos: pues [(h, k)]
s
= {(hx, x
1
k) | x H K} , 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 H K (pues a, h H y k, b K). As
que ab = h(kb
1
) (a
1
h) k, con kb
1
= (a
1
h)
1
H K. Por lo tanto
ab {(hx, x
1
k) | x H K} .
Entonces |[(h, k)]| = o (H K) .
As tenemos que |H K| =
H K
s
o (H K) = |HK| o (H K) .
De aqu tenemos que o (H K) =
o (H) o (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 S
4
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 3 4 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 1 2, 4 3 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 S
4
. Denotemos R
4
a este grupo.
Si no se supiera que la composicin de dos rotaciones es una rotacin, se
puede vericar elementalmente.
Podemos notar que R
4
E S
4
en vista de que es de ndice 2.
R
4
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
R
4
. Como consecuencia R
4
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

R
4
entonces V =: {Id, (1, 2) (3, 4) , (1, 3) (2, 4) , (1, 4) (2, 3)} es un subgrupo
normal.
Ahora podemos notar que R
4
no tiene un subgrupo H de orden 6, ya que
de tenerlo V H sera normal y o (V H) =
6 4
o (V H)

_
24
2
,
24
1
_
, ya que
o (V H) | (6, 4) = 2. Entonces V H sera un subgrupo normal con dos
elementos, lo que ya vimos que no hay.
Ejemplo 23 R
4
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 \a G, G un grupo las funciones
a _ : G G y _a : G G son biyecciones. Ahora demostraremos un
poco ms, demostraremos que la funcin
: G S
G
a a _
es un morsmo
de grupos. Aqu denota el grupo de las biyecciones del conjunto G, con la
composicin de funciones.
Teorema 25
: G S
G
a a _
es un morsmo de grupos.
Demostracin. Sean a, b G, (ab) = (ab) _ = (a _) (b _) =
(a) (b) , como se puede comprobar evaluando en un elemento x G :
(ab) (x) = (ab) _(x) = abx = a (bx) = = a ((b) (x)) = (a) ((b) (x)) =
((a) (b)) (x) .
Note que Ker () = {e} , ya que si a Ker () , entonces a _ = Id
S
G
,
por lo que ax = x, \x G, en particular ae = e, de donde a = e. Si H _ G es
un subgrupo podemos considerar el conjunto de las clases laterales izquierdas
H\G, tambin tenemos que
: G S
H\G
a a _
es un morsmo.
Teorema 26 Sea H _ G entonces
: G S
H\G
a a _
es un morsmo
cuyo ncleo es el mayor subgrupo normal de G contenido en H.
Demostracin. Desde luego, (a) (bH) = abH. Es claro que a _ :
H\G H\G 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 Ker () = aH =
a (eH) = eH = H = a H. ) Ker () _ H. Si K E G y K _ H,
entonces para k K tenemos que k (aH) = aa
1
kaH = a (a
1
ka) H =
a ((a
1
ka) H) = aH, debido a que a
1
ka a
1
Ka _ a
1
Ha _ H. Luego
k _ = Id
S
H\G
. debido a que a
1
ka a
1
Ka _ a
1
Ha _ H. Luego k _ =
Id
S
H\G
.
Corolario 11 Si G es un grupo nito tal que o (G) -
_
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 ()
~
= S
H\G
, por lo que
o (G)
o (Ker ())
|
_
o (G)
o (H)
_
!
si o (G) -
_
o(G)
o(H)
_
!, entonces es claro que o (Ker ()) ,= 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 {gHg
1
| g G} .
Demostracin. Si a G, entonces
a
_
_
gHg
1
| g G
__
a
1
=
_
agHg
1
a
1
| g G
_
.
Pero {agHg
1
a
1
| g G} = {gHg
1
| g G} , ya que {ag | g G} = G
(G
a_
Ges una biyeccin). Entonces a ({gHg
1
| g G}) a
1
{agHg
1
a
1
| g G} =
= {gHg
1
| g G} . ) {gHg
1
| g G} E G. Adems {gHg
1
| g G} _
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
, \g G. Entonces
K _ {gHg
1
| g G} .
Ejemplo 24 Un grupo no abeliano de orden 6 es isomorfo a S
3
.
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 H r G, entonces a es de orden 2. Tenemos que
existe un morsmo de grupos G
A
SG
H
, donde
G
H
denota el conjunto de clases
laterales izquierdas de H en G, su ncleo es el mayor subgrupo normal de G
contenido en a , como a es de orden 2 y no es normal, entonces el ncleo
de ` es {e} . Por lo que `es un monomorsmo entre dos grupos de orden
6.Por lo tanto G
~
= SG
H
~
= S
3
, dado que hay 3 clases laterales izquierdas de
a 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 s
c
b) si b = gag
1
, para alguna g G.
Lema 29 s
c
es una relacin de equivalencia en un grupo.
Demostracin. a = eae
1
, por lo que a s
c
a. a s
c
b = b = gag
1
=
g
1
bg = a = a s
c
b. a s
c
b s
c
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 s
c
a.
Observemos que por denicin, [a]
sc
= {gag
1
| g G} .
Lema 30

[a]
sc
= i
G
(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 C (a) = (h
1
g) C (a) = C (a) = gC (a) = hC (a) . Lo anterior
muestra que la funcin
[a]
sc
C (a) \G
gag
1
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
| [a]
sc
G/ s
c
, [a]
sc
,= {a}
_
_
.
Corolario 12 Si G es un grupo nito entonces o (G) = o (C (G))+
_
_
o (G) /o (C (a)) | [a]
sc
G/ s
c
, a / C (G)
_
_
.
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 pgrupo (p un nmero primo)
si el orden de cada elemento de G es una potencia de p.
Ejemplos 25 Z
p
, Z
p
2, Z
X
p
son pgrupos.
Teorema 29 El centro de un pgrupo nito no trivial no es trivial.
Demostracin. Supongamos que G es un pgrupo nito no trivial. Ob-
servemos la ecuacin de clase
o (G) = o (C (G)) +
_
_
o (G) /o (C (a)) | [a]
sc
G/ s
c
, a / C (G)
_
_
y notemos que cada sumando o (G) /o (C (a)) con o (C (a)) o (G) es un
mltiplo de p (ya que o (G) = p
n
).
Entonces o (G)
p
= 0 y tambin

_
o (G) /o (C (a)) | [a]
sc
G/ s
c
, a / C (G)
_
p
=
0.
De la ecuacin de clase tenemos que 1 _ o (C (G))
p
= 0,de donde o (C (G))
{p, 2p, ...} en particular o (C (G)) _ p.
Teorema 30 Un pgrupo nito G tiene un subgrupo normal de orden m,
\m tal que m | o (G) .
Demostracin. Por induccin sobre el orden de G.
Si o (G) = 1, la armacin es claramente cierta.
Supongamos que o (G) = p
n
, con n > 0. Como C (G) no es trivial, en-
tonces o (C (G)) = p
m
, 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 pgrupo abeliano nito tiene subgrupos
de todos los rdenes posibles. Esto sucede si G es cclico. Si G no es cclico,
escojamos a G \ {e}, entonces e a G, por lo que G/ a es un
pgrupo de orden menor que o (G) . Por hiptesis de induccin, G/ a tiene
subgrupos de todos los rdenes posibles: 1, p, p
2
, ..., o (G) /o (a) = p
nk
,
donde p
k
= o (a) . Digamos que estos subgrupos son

H
0
, ...,

H
nk
. Sea : :
G G/ a el epimorsmo cannico, por el Teorema de la correspondencia,
H
j
= : (H
j
) =
H
j
a
, donde H
j
_ G y entonces o (H
j
) = o
_
H
j
_
o (a) = p
j
p
k
=
p
j+k
.
As que G tiene subgrupos de rdenes p
k
, p
k+1
, ..., p
n
. Tambin, como a
es cclico de orden p
k
, entonces a tiene subgrupos de rdenes 1, p, ..., p
k
.
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
| h H
_
, donde
[h]
vc
denota la clase de conjugacin de h en G.
Demostracin. =) Supongamos que H E G. _) Se sigue de que h
[h]
vc
. _) Si h H, entonces \g G, ghg
1
H. Por lo tanto [h]
vc
_ H.
Por lo tanto '
_
[h]
vc
| h H
_
_ H. =) Si H = '
_
[h]
vc
| h H
_
, entonces
\h H, [h]
vc
_ H, es decir que ghg
1
H, \g G. Por lo tanto H E G.
1.12. El grupo simtrico
S
n
denota el grupo de las permutaciones de {1, ..., n} , junto con la op-
eracin de composicin y Id
{1,...,n}
.
Denicin 28 Un ciclo = (i
1
, i
2
, ..., i
k
) es la permutacin que hace lo
siguiente: i
1
i
2
... i
k
i
1
y que ja a cualquier otro elemento.
Denicin 29 Un ciclo que mueve dos elementos se llama una trasposi-
cin: (i, j) .
1. Mov (c) = {i {1, ..., n} | c(i) ,= i} .
2. Fij (c) = {i {1, ..., n} | c(i) = i} .
Note que Mov (c) , Fij (c) son complementarios en {1, ..., n} .
Denicin 30 Se dice que c es ajena con , si Mov (c) _ Fij (,) .
Observemos que si c es ajena con , entonces , es ajena con c : Mov (c) _
Fij (,) ==Mov (,) _ Fij (c) (tomando complementos).
Observacin 21 Si c y , son ajenas entonces c, = ,c.
Demostracin. Queremos ver que (c,) (i) = (,c) (i) , \i {1, ..., n} .
Tenemos 3 casos:
Si i Fij (c) Fij (,) entonces (c,) (i) = c(, (i)) = c(i) = i, tambin
(,c) (i) = i.
Si i Mov (c) entonces (,c) (i) = , (c(i)) = c(i) porque c(i)
Fij (,) , ya que c(i) Mov (c) : c(i) ,= i = c(c(i)) ,= c(i) . Por otro
lado (c,) (i) = c(, (i)) = c(i) , ya que , (i) Fij (,) .
Si i Mov (,) el caso es simtrico al anterior.
1.12. EL GRUPO SIMTRICO 61
Lema 32 Sea c S
n
, denimos la relacin s
c
en {1, ..., n} por i s
c
j si
j = c
z
(i) para alguna z Z. Entonces s
c
es una relacin de equivalencia.
Demostracin. i = Id (i) = c
0
(i) , por lo que i s
c
i, \i {1, ..., n} .
Si i s
c
j = j = c
z
(i) = c
z
(j) = c
z
(c
z
(i)) = c
0
(i) = i por lo que
i s
c
j.
Si i s
c
j s
c
k entonces j = c
z
(i) y k = c
w
(j) , con z.w Z. Por lo
tanto k = c
w
(j) = c
w
(c
z
(i)) = c
w+z
(i) , es decir que k s
c
i.
Observemos que [i]
s
= {c
z
(i) | z Z} _ {1, ..., n} nito. Por lo tanto
z ,= w Z, tales que c
z
(i) = c
w
(i) , de donde tenemos que c
zw
(i) = i =
c
wz
(i) . Por el principio del buen orden existe una m N\{0} menor tal que
c
m
(i) = i. Ahora podemos usar el algoritmo de la divisin para demostrar
que [i]
s
= {i, c(i) , ..., c
m1
(i)}
6=
. Que todos los elementos en el conjun-
to anterior son distintos se sigue de la eleccin de m. Consideremos ahora
c
z
(i) ,con z Z. z = qm + r con 0 _ r < m, entonces c
z
(i) = c
qm+r
(i) =
((c
r
) (c
m
)
q
) (i) . Ahora, c
m
(i) = i =(c
m
)
q
(i) = i, \q Z, como se puede
ver con una fcil induccin. Entonces c
z
(i) = (c
r
) ((c
m
)
q
(i)) = (c
r
) (i)
{i, c(i) , ..., c
m1
(i)} .
Observacin 22 c
|[i]
s
= (i, c(i) , ..., c
m1
(i)) .
Teorema 31 Toda permutacin c en S
n
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 c.
Base. Si c mueve 0 elementos, entonces c = Id y c se puede escribir
como el producto vaco.
Si c mueve por lo menos un smbolo, digamos que i Mov (c)
y que m es el menor natural positivo tal que c
m
(i) = i. Entonces [i]
s
=
{i, c(i) , ..., c
m1
(i)} ,adems como ya vimos, c
|[i]
s
= (i, c(i) , ..., c
m1
(i)) .
Llamemos al ciclo (i, c(i) , ..., c
m1
(i)) .
Consideremos ahora la permutacin c
1
S
n
. Notemos que c
1
ja a todos los elementos de [i]
s
:
(c
1
) (c
z
(i)) = c(
1
(c
z
(i))) = c(c
z1
(i)) = c
z
(i) .
Notemos tambin que si j es movido por c
1
(y por lo tanto
j / [i]
s
) entonces j ,= (c
1
) (j) = c((
1
) (j)) = c(j) , por lo que
Mov (c
1
) _ Mov (c) . As c
1
mueve menos elementos que c (porque
c mueve i, pero c
1
ja i). Por hiptesis de induccin c
1
= `
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 c = `
1
... `
s
es una factorizacin en
ciclos ajenos.
Unicidad.
De nuevo por induccin sobre |Mov (c)| .
Es claro que la nica factorizacin posible de Id con ciclos no triviales
ajenos dos a dos es la factorizacin vaca.
Supongamos que |Mov (c)| > 0 y que c(i) ,= i,adoptemos la no-
tacin de arriba, es decir supongamos que [i]
s
= {i, c(i) , .., c
m1
(i)} . Si
`
1
`
2
...`
s
= c =
1
2
...
t
fueran dos factorizaciones de c 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 ( (i
1
, i
2
, ..., i
s
) = (i
2
, ..., i
s
, i
1
) = (i
3
, ..., i
s
, i
1
, i
2
) =
...) podemos suponer que `
1
= (i, c(i) , ..., c
m1
(i)) , pero con el mismo ar-
gumento
1
= (i, c(i) , ..., c
m1
(i)) . por lo que `
1
=
1
.
Entonces multiplicando por `
1
1
tenemos que
`
2
...`
s
= `
1
1
c =
2
...
t
donde `
1
1
c mueve menos elementos que c (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 c son la misma excepto por el orden en que escribimos
los ciclos.
Denicin 31 Denimos sig : S
n
{1, 1} por
1. sig ((i
1
, i
2
, ..., i
k
)) = (1)
k+1
.
2. Si c =
1

2
...
s
es un producto de ciclos no triviales ajenos dos
a dos, denimos sig (c) =
s
i=1
sig (
i
) .
As por ejemplo sig (i, j) = 1 y sig (Id) = 1.
Lema 33 Si c S
n
y t es una trasposicin, entonces sig (ct) = sig (c) .
Demostracin. Sea c =
1

2
...
s
la factorizacin en ciclos ajenos
de c, consideremos los siguientes casos.
1) c es ajeno con t.
En este caso la factorizacin en ciclos ajenos de ct es
1

2
...
s
t
de donde es claro que sig (ct) = (sig (c)) .
2) Si Mov (c) Mov (t) = {i} , entonces supongamos que
1
=
_
i, c(i) , ..., c
m1
(i)
_
.
Entonces
_
i, c(i) , ..., c
m1
(i)
_
(i, j) =
_
i, j, c(i) , ..., c
m1
(i)
_
,
y
sig
__
i, c(i) , ..., c
m1
(i)
_
(i, j)
_
= (1)
m+1+1
=
= (1)
m+1
= sig
__
i, c(i) , ..., c
m1
(i)
__
.
As que la factorizacin en ciclos ajenos de ct es (i, c(i) , ..., c
m1
(i))
2
...
s
y sig (ct) = sig (c) .
3) Mov (c) Mov (t) = {i, j} y i, j son movidos por el mismo ciclo de la
factorizacin de c : digamos que
1
=
_
i, c(i) , ..., c
k1
(i) = j, c(j) = c
k
(i) , ..., c
m1
(i)
_
entonces sig (
1
) = (1)
m+1
.
Por otro lado,
1
t =
_
i, c(i) , ..., c
k
(i) = j, c(j) = c
k+1
(i) , ..., c
m1
(i)
_
(i, j) =
=
_
i, c
k+1
(i) , ..., c
m1
(i)
_ _
j, c(i) , ..., c
k1
(i)
_
.
As que sig (
1
t) = (1)
m1k+1+1
(1)
k+1
= (1)
m+2
= sig (
1
) .
4) Si i y j son movidos por distintos ciclos de la factorizacin de c, dig-
amos que
1
= (i, c(i) , ..., c
m1
(i)) y
2
=
_
j, c(j) , ..., c
k1
(j)
_
, entonces
2
t = (i, c(i) , ..., c
m1
(i))
_
j, c(j) , ..., c
k1
(j)
_
(i, j) =
=
_
i, c(j) , ..., c
k1
(j) , j, c(i) , ..., c
m1
(i)
_
un ciclo que mueve k + m
elementos por lo que sig (
1
2
t) = (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
t) = sig (
1
) sig (
2
) .
De lo anterior se sigue la armacin.
Lema 34 (i
1
, i
2
, ..., i
k
) = (i
1
, i
k
) ... (i
1
, i
3
) (i
1
, i
2
) .
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 c = t
1
t
2
... t
k
entonces sig (c) = (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 (c) = sig ((t
1
t
2
... t
k1
) t
k
) = sig (t
1
t
2
... t
k1
) =
= (1)
k1
= (1)
k
.
Denicin 32 Decimos que c S
n
es par si sig (c) = 1. Si c no es par,
decimos que c es impar.
Observacin 23 c 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 : S
n
{1, 1} es un morsmo de grupos.
Demostracin. Sean c, , S
n
. Digamos que c es un producto de s
trasposiciones y que , es un producto de t trasposiciones. Entonces sig (c,) =
(1)
s+t
= (1)
s
(1)
t
= sig (c) sig (,) .
Denicin 33 Denotamos A
n
= {c S
n
| sig (c) = 1} , se llama el sub-
grupo alternante de S
n
.
Observacin 24 A
n
E S
n
.
Demostracin. A
n
= ker (sig) .
Observemos que por el primer teorema de isomorsmos S
n
/A
n
{1, 1}
es un isomorsmo, de aqu que o (S
n
/A
n
) = 2, as que o (A
n
) =
n!
2
.
Lema 36 Sean c. S
n
y sean i, j {1, .., n} . Si i
c
j entonces (i)
c
1
(j) .
Demostracin. ( c
1
) ( (i)) = ( c) (
1
(i)) = ( c) (i) =
(c(i)) = (j) .
Note que si i Fij (c) ,entonces (i) Fij (a
1
) .
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.
Observacin 25 Si y ` son ciclos ajenos, entonces ,,
1
y ,`,
1
son
ciclos ajenos.
Demostracin. Por el lema 36, Mov
_
,,
1
_
= , (Mov ()). Si i es
movido por ,,
1
y ,`,
1
entonces i , (Mov ()) , (Mov (`)) , pero
entonces ,
1
(i) Mov () Mov (`) , contradiciendo que y ` son ciclos
ajenos.
Teorema 34 Dos permutaciones en S
n
son conjugadas si y slo si ambas
permutaciones tienen la misma estructura cclica.
Demostracin. =) Sea c =
1
2
...
k
la factorizacin de c en ciclos
ajenos no triviales. Por el lema 36, ,c,
1
=
_
,
1
,
1
_ _
,
2
,
1
_
...
_
,
k
,
1
_
y si
i
= (j
i,1
, j
i,2
, ..., j
i,k
i
) entonces ,
i
,
1
= (, (j
i,1
) , , (j
i,2
) , ..., , (j
i,k
i
))
que es un ciclo de la misma longitud que
i
. De aqu se sigue que c y ,c,
1
tienen la misma estructura cclica. ==) Veamos primero que dos ciclos de la
misma longitud son conjugados: Supongamos que
= (i
1
, i
2
, ... , i
k
)
|
o
|
o
|
o
` = (j
1
, j
2
, ... , j
k
denimos , (i
s
) = j
s
si s , {1, ..., k} extendemos esta denicin a todo
{1, ..., n} escogiendo cualquier biyeccin entre Fij () y Fij (`) (que ex-
iste porque ambos conjuntos tienen n k elementos. Es claro que entonces
,,
1
= `. Ahora si c y , tienen la misma estructura cclica,
Lema 37 Si H _ S
n
entonces H _ A
n
o |H A
n
| = |H \ A
n
| .
Demostracin. Si H A
n
, entonces H \A
n
, entonces HA
n
_
H \ A
n
es una biyeccin con inverso H \ A
n
_
H A
n
.
Lema 38 Los 3ciclos generan A
n
.
Demostracin. Como una permutacin par es el producto de un nmero
par de trasposiciones, entonces basta ver que t
1
t
2
est generado por 3ciclos
para cualesquiera dos trasposiciones t
1
, t
2
. La armacin es claramente
cierta si t
1
= t
2
, (i, j) (i, k) = (i, k, j) si j ,= 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 3ciclos son conjugados en A
n
.
Demostracin. (1, 2, 3) es conjugado de cualquier otro 3ciclo. El nmero
de 3ciclos es
n(n 1) (n 2)
3
=
n!
o (C (1, 2, 3))
, de donde tenemos que
o (C (1, 2, 3)) =
(n 3)!
3
. Por otra parte, C (1, 2, 3) contiene una permutacin
impar: (5, 6). As que o (C
An
(1, 2, 3)) =
1
2
o (C (1, 2, 3)) , de aqu tenemos que
el nmero de conjugados de (1, 2, 3) en A
n
es
o (A
n
)
o (C
An
(1, 2, 3))
=
n!/2
1
2
o (C (1, 2, 3))
=
n!
o (C (1, 2, 3))
=
n(n 1) (n 2)
3
.
Teorema 35 A
5
es simple.
Demostracin. Las clases de conjugacin en S
5
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)
y sus clases de conjugacin en S
5
tienen tantos elementos como 1,
5 4
2
=
10,
5 4 3
3
= 20,
5 4 3 2
4
= 30,
5!
5
= 24,
5 4
2
3 2
2
2
= 15,
5 4
2

3 2 1
3
= 20, respectivamente. Las clases en A
5
son las que tienen
representantes:
(1) , (1, 2, 3) , (1, 2, 3, 4, 5) , (1, 2) (3, 4)
cuyas clases de conjugacin en S
5
tienen 1, 20, 24 y 15 elementos respectiva-
mente. (Note que 1 + 20 + 24 + 15 = 60 = o (A
5
)). Supongamos ahora
que {(1)} , = H A
5
. Entonces H no contiene ningn 3ciclo ya que
al contener uno contendra tambin a todos sus conjugados, es decir a to-
dos los 3ciclos, pero los 3-ciclos generan A
5
. Como H es normal em
A
5
, entonces H debe ser unin de clases de conjugacin en A
5
. Veamos
que (1, 2, 3, 4, 5) tiene 24 conjugados en S
5
pero solo tiene 12 conjugados en
A
5
: 24 =
o (S
5
)
o (C (1, 2, 3, 4, 5))
=
5!
o (C (1, 2, 3, 4, 5))
. Luego o (C (1, 2, 3, 4, 5)) =
5!
24
= 5. Los 5 elementos que conmutan con (1, 2, 3, 4, 5) son las 5 po-
tencias de (1, 2, 3, 4, 5) . Note que son todas pares, entonces el nmero de
conjugados de (1, 2, 3, 4, 5) en A
5
es
o (A
5
)
5
=
5!/2
5
= 12. (Esto quiere
decir que hay 12 5-ciclos que no s0n conjugados de (1, 2, 3, 4, 5) en A
5
).
En cambio (1, 2) (3, 4) tiene 15 conjugados en A
5
, los mismos que tena
en S
5
. 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 {0, 1, 2} y {0, 1} . Por lo tanto o (H) _ 13
y o (H) Div (60) = {1, 2, 4, 3, 6, 12, 5, 10, 20, 15, 30, 60} (60 = 2
2
3 5).
Entonces (H) {20, 30} (que son los divisores propios de 60 mayores que
13). Adems o (H) = 1 + x12 + y15 =o (H)
3
= 1. Pero 20
3
= 2 mientras que
30
3
= 0. Luego A
5
no tiene subgrupos normales distintos de {(1)} y A
5
.
Es decir, A
5
es simple.
Teorema 36 A
6
es simple.
Demostracin. Las clases de conjugacin de permutaciones pares en S
6
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)
de las cuales hay: 1,
6 5
2
4 3
2
2
= 45,
6 5 4
3
= 40, 6!/5 = 144,
6 5
2
4!
4
=
90,
6 5 4
3
3!
3
2
= 40.(Note que 1+45+40+144+90+40 = 360 = o (A
6
) =
6!
2
). (5, 6) conmuta con (1, 2) (3, 4) y es impar, por lo tanto (1, 2) (3, 4) tiene
tantos conjugados en A
6
como en S
6
(Haga las cuentas con los central-
izadores respectivos). (1, 2, 3, 4, 5) tiene 144 conjugados en S
6
, por lo que
o (C (1, 2, 3, 4, 5)) =
6!
144
= 5. Los 5 elementos que conmutan con (1, 2, 3, 4, 5)
son sus cinco potencias. Entonces todos los elementos de S
5
que conmutan
con (1, 2, 3, 4, 5) son permutaciones pares, as que (1, 2, 3, 4, 5) tiene
o (A
6
)
5
=
6!/2
5
= 72 conjugados en A
5
. (1, 2) (3, 4, 5, 6) conmuta con (1, 2) y por lo
tanto tiene tantos conjugados en A
5
como en S
5
. (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 A
5
como en S
5
. Si {(1)} , = H
A
6
fuera normal, entonces H no puede contener ningn 3ciclo (todos son
conjugados y los 3.ciclos generan A
6
). Entonces o (H) = 1 +45x+72y +
90z + 40w, donde x, z, w {0, 1} y y {0, 1, 2} . Adems o (H) tiene
que ser un divisor de 360 = 2
3
3
2
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) {72, 120, 90, 180} . Si y = 0, entonces
o (H) = 1 + 45x + 90z + 40w
5
= 1, esto no puede ser porque ninguno de
los elementos en {72, 120, 90, 180} satisface esto. Si y = 1, entonces
o (H) = 1+45x+72+90z +40w _ 1+73+40 = 114,pero adems 1+45x+
72 + 90z + 40w
5
= 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 A
6
es simple.
Teorema 37 A
n
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 A
n
, que H es propio y que
H no es trivial. Sea una permutacin no trivial en H. ,= (1) =
Mov () ,= ?. Supongamos que i j ,= 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) H siendo un conjugado de H E A
n
. Adems
` = (i, j, k) (i, k, j)
1
= (i, j, k) ( (i) , (j) , (k)) es una permutacin
que mueve a lo ms 6 smbolos. Sea {i
1
, i
2
, ..., i
6
}
6=
_ {1, .., n} un conjunto
de 6 smbolos que contenga a {i, j, k, (i) , (j) , (k)} . De esta manera
podemos considerar que ` es una permutacin no trivial en A
6
(A
6
denota el
conjunto de las permutaciones pares que mueve elementos en {i
1
, i
2
, ..., i
6
}).
Entonces (1) ,= ` H A
6
E A
6
. Como A
6
es simple, entonces H A
6
=
A
6
. Por lo tanto A
6
_ H, pero entonces H s contiene un 3ciclo. Esta
contradiccin muestra que no puede haber un tal subgrupo H de A
n
.
Observacin 26 A
5
es el nico subgrupo simple de orden 60.
Demostracin. Supongamos que G es un grupo simple con 60 elemen-
tos. Como 60 = 2
2
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
un subgrupo H de orden 15 ya que como 60 -
_
60
15
_
! = 24, entonces H con-
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 S
5
cuyo ncleo es (e) (el mayor subgrupo normal de
G contenido en K). Entonces tendramos una inmersin de G en S
5
y hay dos
casos: ,(G) _ A
5
(en cuyo caso ,(G) = A
5
y G
~
= A
5
o bien la mitad de los
elementos de ,(G) son permutaciones pares por lo que ,(G) A
5
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 S
6
,y de hecho se sumerge en A
6
. A
6
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 5ciclo), 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 3ciclo 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 Z
5
Z
2
o bien es isomorfo D
2,5
el grupo de simetras del pentgono. En el primer
caso tendramos que poder encontrar en A
6
un 5ciclo y un producto de dos
trasposiciones que conmutasen. Tales permutaciones no existen (el central-
izador de un 5ciclo en A
6
consiste de las 5 potencias del mismo ciclo, como
ya hemos visto), en el segundo caso deberamos poder encontrar un 5ciclo
y dos trasposiciones ajenas t, o tales que toot =
1
. Pero veamos si
esto es posible, supongamos, para jar ideas que = (1, 2, 3, 4, 5) entonces
1
= (5, 4, 3, 2, 1) hay 5 soluciones para ,,
1
=
1
, una por cada manera
diferente de escribir
1
:
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 {(1, 2) , (1, 3) , ..., (1, n)} genera S
n
.
Demostracin. Basta ver que cualquier ciclo pertenece al grupo genera-
do por las permutaciones anteriores. Sea = (i
1
, i
2
, ..., i
k
) , consideremos
dos casos: 1 Mov () y 1 / Mov () . En el primer caso, podemos suponer
1 = i
1
, entonces
= (1, i
k
) ... (1, i
3
) (1, i
2
) .
1.13. AUTOMORFISMOS 71
En el segundo caso
= (1, i
1
) (1, i
k
) ... (1, i
2
) (1, i
1
) .
Observacin 29 {(1, 2) , (2, 3) , ..., (n 1, n)} genera S
n
.
Demostracin. Basta que demostremos que cada trasposicin de la
forma (1, i) pertenece al grupo generado por las permutaciones anteriores.
(1, 2) {(1, 2) , (2, 3) , ..., (n 1, n)} , suponiendo que (1, i) {(1, 2) , (2, 3) , ..., (n 1, n)} ,
entonces
(i, i + 1) (1, i) (i, i + 1) = (1, i + 1)
tambin pertenece al subgrupo generado por {(1, 2) , (2, 3) , ..., (n 1, n)} .
Conclumos que todas las trasposiciones (1, i) , i {1, ..., n} pertenecen al
subgrupo generado por {(1, 2) , (2, 3) , ..., (n 1, n)}.
Observacin 30 {(1, 2) , (1, 2, ..., n)} genera S
n
.
Demostracin. Basta mostrar que toda trasposicin de la forma (i, i + 1)
pertenece al grupo generado por las dos permutaciones en el enunciado.
Sea = (1, 2, ..., n) entonces 1

i1
i, 2

i1
i + 1, as que
i1
(1, 2)
1i
= (i.i + 1)
pertenece a {(1, 2) , (1, 2, ..., n)} .
Observacin 31 Si n es impar, los ciclos de longitud n generan A
n
.
1.13. Automorsmos
Denicin 35 Un isomorsmo , : G G se llama automorsmo.
1. La identidad 1
G
: G G es un automorsmo.
2. \g G, conjugar por g,
g () g
1
: G G
x g (x) g
1
es un auto-
morsmo, pues es un morsmo y si inverso es g
1
() g. Este tipo de
automorsmo se llama automorsmo interior.
3.
()
1
: G G
x x
1
es un automorsmo si y slo si G es abeliano.
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 1
G
es un grupo.
Demostracin. Sabemos que S
G
= {f : G G | f es una biyeccin}
es un grupo con la composicin de funciones y 1
G
como neutro. Podemos
comprobar que Aut (G) es un subgrupo de S
G
. 1
G
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. 1
G
= 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
conjugar por a
1
, (a () a
1
)
1
= a
1
() a.
Tomemos , Aut (G) y a G, entonces , (a () a
1
) ,
1
aplicada a
un elemento x G, da:
_
,
_
a () a
1
_
,
1
(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) .
Lo que muestra que , (a () a
1
) ,
1
= ,(a) () ,(a)
1
, que es un auto-
morsmo interior.
Demostracin.
G
C (G)
~
= Int (G) .
Demostracin. Denamos
G
j
Int (G)
g g () g
1
, es claro que j es un mor-
smo (b () b
1
a () a
1
= (ba) () (ba)
1
. Tambin es claro que j es suprayec-
tiva. a ker (j) =a () a
1
es la identidad, lo que sucede cuando axa
1
= x,
\x G, es decir cuando a C (G) . Por el primer Teorema de isomorsmo,
tenemos que
G
C (G)
~
= Int (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.
Observacin 32 Si G
f
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 = X .
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 _
f
1
(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 = a de orden n, y sea , Aut (G) , como , : G G es suprayecti-
vo, entonces ,(a) debe ser un generador de G, ,(a) = a
z
, .con z Z.
Si G es innito tenemos que a G = ,(a) = a
z
, entonces a debe ser una
potencia de a
z
, digamos que a = a
zw
. De aqu tenemos que a
zw1
= e, y como
el orden de a es innito, esto implica que zw = 1. As que z {1, 1} .En
el primer caso , = 1
G
y en el segundo c = ()
1
, que es un automorsmo
autoinverso, ya que un grupo cclico es abeliano.
Entonces Aut (G) =
_
1
G
, ()
1
_
, si G es cclico innito.
Si G es nito entonces ,(a) = a
z
(por lo que ,(a
w
) = (,(a))
w
= a
zw
=
(a
w
)
z
, y as , = ()
z
) debe ser un elemento con el mismo orden que a.
o (a
z
) =
o (a)
(o (a) ; z)
. As que debemos escoger z prima relativa con o (a) , es
decir que z (Z
n
) .
Denamos
Z
n

Aut (G)
z ()
z
, veremos que es un isomorsmo. Ya nota-
mos que es suprayectiva.
est bien denida, pues si x
mod n
= z, entonces x = z + nu, para algn
entero u, entonces a
x
= a
z+nu
= a
z
a
nu
= a
z
e = a
z
, ya que n = o (a) . a
x
= a
z
implica que ()
x
= ()
z
.
Si ()
x
= 1
G
, entonces a
x
= a,por lo que a
x1
= e, as que n | x 1,de
donde tenemos que x
mod n
= 1, pero entonces x =

1. As que ker () es trivial
y entonces es un monomorsmo.
Ejemplo 28 Consideremos el grupo de Klein V = {e, a, b, c} donde todos
los elementos satisfacen x
2
= e.
Si , Aut (V ) entonces ,
|
{a, b, c} {a, b, c} es una biyeccin. Recpro-
camente, cualquier biyeccin de {a, b, c} , se extiende a un automorsmo de
G (el producto de dos elementos distintos de orden 2 es el tercer elemento
de orden 2.
Entonces
Aut (V ) S
{a,b,c}
, ,
|{a,b,c}
es una biyeccin, pero es adems un
morsmo:(, j)
|{a,b,c}
= (,)
|{a,b,c}
(j)
|{a,b,c}
. Entonces Aut (V )
~
= S
3
.
Ejemplo 29 Calculemos el grupo de automorsmos de S
3
. Como S
3
est falta
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 S
3
,
as que debe ser una transposicin. Por otra parte, ,((1, 2, 3)) debe ser un
elemento de orden 3,as que ,((1, 2, 3)) {(1, 2, 3) , (1, 3, 2)} .
Para jar ideas, digamos que ,((1, 2)) = t, ,((1, 2, 3)) = . Notemos que
es un grupo de orden 3 y por lo tanto es de ndice 2 en S
3
. Entonces E S
3
.
Entonces tt
1
es un elemento de orden 3, que no puede ser , porque
S
3
no es abeliano. As que tt
1
=
1
, y tambin t
1
t
1
= (
1
)
1
= .
De aqu que
t =
1
tyt
1
= t.
Como tenemos que t, generan S
3
, y t = S
3
, entonces todo elemento
de S
3
es de la forma t
i
j
. Tenemos ahora que
_
t
i
j
_ _
t
k
l
_
= t
i+k
l+(1)
k
j
,
en vista de 29.
Si , : S
3
S
3
es un automorsmo y ,(1, 2) = t, ,(1, 2, 3) = , entonces
,
_
(1, 2)
i
(1, 2, 3)
j
_
= t
i
j
.
Por otra parte, si se dene , por medio de la ecuacin anterior entonces ,
es un morsmo:
,
_
(1, 2)
i
(1, 2, 3)
j
(1, 2)
k
(1, 2, 3)
l
_
= ,
_
(1, 2)
i+k
(1, 2, 3)
l+(1)
k
j
_
=
= t
i+k
l+(1)
k
j
=
_
t
i
j
_ _
t
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 (S
3
) 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
=
(2, 3)
,
1
(1, 2, 3) (2, 3) (1, 2, 3)
1
= (3, 1) . De aqu tenemos que
,
1
((1, 2)) = (2, 3)
,
1
((2, 3)) = (1, 3)
,
1
((1, 3)) = (1, 2)
,
1
((1, 2, 3)) = (1, 2, 3)
,
1
((1, 3, 2)) = (1, 3, 2)
,
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
(1, 2)
,
2
(1, 2)
(1, 2, 3) (1, 2) (1, 3, 2) = (2, 3)
,
2
(1, 3, 2) (1, 2) (1, 2, 3) = (3, 1)
(1, 3, 2) (1, 2) (1, 2, 3) = (1, 3)
,
2
(1, 2, 3) (1, 2) (1, 3, 2) = (2, 3)
(1, 2, 3)
,
2
(1, 3, 2)
(1, 3, 2)
,
2
(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
(1, 3)
,
3
(1, 3)
(1, 3, 2) (1, 3) (1, 2, 3) = (3, 2)
,
3
(1, 2, 3) (1, 3) (1, 3, 2) = (2, 1)
(1, 2, 3) (1, 3) (1, 3, 2) = (1, 2)
,
3
(1, 3, 2) (1, 3) (1, 2, 3) = (3, 2)
(1, 3, 2)
,
3
(1, 2, 3)
(1, 2, 3)
,
3
(1, 3, 2)
.
Note que ,
3
es otro elemento de orden 2. Podemos notar entonces que
Aut (S
3
) es un grupo que no es cclico as que debe ser isomorfo a S
3
.
1.13.1. Productos semidirectos
Supongamos que el grupo G tiene un subgrupo normal H y otro subgrupo
K tales que G = HK y HK = {e} , 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 (k () k
1
)
|H
, como en el siguiente
diagrama:
G
k()k
1
G

H H
donde las echas verticales son inclusiones. Es claro que , es un morsmo
de grupos, ya que
_
k
2
() k
1
2
_
_
k
1
() k
1
1
_
= k
2
k
1
() k
1
2
k
1
1
.
El producto de dos elementos de Gest dado por hkh
1
k
1
= hkh
1
(k
1
k) k
1
=
h(kh
1
k
1
) kk
1
= h[,(k) (h
1
)] kk
1
. Lo que sugiere denir la operacin en
H K dada por (h, k) (h
1
, k
1
) := (h[,(k) (h
1
)] , kk
1
) . 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) (h
1
, k
1
) := (h[,(k) (h
1
)] , kk
1
) .
Observacin 33 H o
,
K es un grupo y H es isomorfo al subgrupo norma
H {e}. K es isomorfo al subgrupo {e} K.
La operacin es asociativa: ((h, k) (h
0
, k
0
)) (h
00
, k
00
) = (h[,(k) (h
0
)] , kk
0
) (h
00
, k
00
) =
((h (,(k) (h
0
))) ,(kk
0
) (h
00
) , kk
0
k
00
)
Por otro lado
(h, k) ((h
0
, k
0
) (h
00
, k
00
)) = (h, k) (h
0
[,(k
0
) (h
00
)] , k
0
k
00
) = (h [,(k) (h
0
[,(k
0
) (h
00
)])] , k (k
0
k
00
)) .
Basta notar la igualdad de las primeras entradas. Como ,(k) es un
morsmo, entonces ,(k) (h
0
[,(k
0
) (h
00
)]) = ,(k) (h
0
) ,(k) (,(k
0
) (h
00
)) =
,(k) (h
0
) ((,(k) ,(k
0
)) (h
00
)) =
,(k) (h
0
) (,(kk
0
) (h
00
)) .
(h.k) (e, e) = (h (,(k) (e)) , ke) . Como ,(k) es un morsmo entonces
,(k) (e) = Id
H
. Por esta razn, (h.k) (e, e) = (h ((,(k) (e)) (e)) , ke) =
(h Id
h
(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) k
es un morsmo: (h, k) (h
0
, k
0
) = (h(,(k) (h
0
)) , kk
0
)

2
kk
0
. Su ncleo es
H {e} , que es por lo tanto un subgrupo normal de H o
,
K. {e} 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 = {e} . 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 = {e} , consideremos
, : K H
k k () k
1
y entonces
G
~
= H o
,
K
hk (h, k)
.
Recprocamente, si G = H o
,
K, entonces H {e} E G, {e} K _ G,
G = (H {e}) ({e} K) , (H {e}) ({e} K) = {(e, e)} y
(H {e}) ({e} K) H o
,
K
(h, e) (e.k) (h, k)
es un isomorsmo.
Ejemplo 30 Consideremos el grupo S
3
.ste tiene un subgrupo normal: j ,
donde j es la rotacin 1 2 3 1. La reexin o
1
: 1 1, 2
3, 3 2 genera un subgrupo de orden 2. Es claro que S
3
es el producto
semidirecto de j o
1
.
Ejemplo 31 Lo anterior tambin se puede decir del grupo didrico D
2,n
:
D
2,n
= j o , donde o es cualquier reexin del ngono regular.
Ejemplo 32 Consideremos ahora Aut (D
2,n
) el grupo de automorsmos del
grupo didrico.
D
2,n
= {j, o | o (j) = n, o (o) = 2, ojo
1
= j
1
} . Si Aut (G) , entonces
(j) , (o) deben satisfacer las relaciones que satisfacen j y o. Cualquier OJO
elemento de la forma j
i
o es de orden 2 : j
i
oj
i
o = j
i
j
i
oo = e. As
que (j) = j
z
, para algn entero z. Entonces podemos notar que existe
un morsmo
Aut (D
2,n
) Aut (j)

|hji
, que corresponde al hecho de que
(j) = j
z
, para algn entero z primo relativo con n. (o) debe ser un elemen-
to de orden 2,as que debe ser de la forma j
i
o. Adems debe de suceder que
(o) (j) ((o))
1
= ((j))
1
. Entonces debiera suceder que j
i
oj
z
j
i
o =
j
z
. Calculemos el lado izquierdo: j
i
oj
z
j
i
o = j
i
j
z
oj
i
o = j
i
j
z
j
1
oo =
j
z
. Entonces cualquier automorsmo de D
2,n
est determinada por dos elec-
ciones: z Z
n
y por Z
n
((j) = j
z
, (o) = j
i
o).
Veamos ahora que
Aut (D
2,n
)
0
~
= Z
n
n
,
Z
n
(, z)
si ((j) = j
z
, (o) = j
i
o).
Notemos que cada z Z
n
induce un automorsmo z _ de Z
n
(que sea
morsmo es la propiedad distributiva en Z
n
, y es un automorsmo porque z
es un elemento invertible de Z
n
.
As pues tenemos un morsmo
, : Z
n
Aut (Z
n
)
z z
, que es morsmo
es porque multiplicar primero por z y despus por w es lo mismo que multi-
plicar por w z. Entonces Z
n
n Z
n
es un grupo con la operacin denida por
(, z) (
j, w) = ( + ,( z) (j) , z w) = ( + zj, z w)
Ya notamos que o () Z
n
Z
n
.
Por otra parte, una pareja ( z, ) induce ( z, ) =: tal que
_
j
k
o
l
_
:=
j
kz
(j
i
o)
l
. En particular, (j) = j
z
, (o) = j
i
o,que como ya vimos satis-
facen que o ((j)) = n = o (j) , o ((o)) = 2 = o (o) y (o) (j) (o) =
(j)
1
. Por lo que D
2,n
= (j) , (o) y como las relaciones que denen
la multiplicacin son las mismas que satisfacen j y o, obtenemos el mis-
mo resultado al calcular
_
(j
u
o
v
)
_
j
k
o
l
__
que al calcular ((j
u
) (o
v
))
_
_
j
k
_
_
o
l
__
. Es decir que = (( z, )) es un morsmo de D
2,n
.
es inyectiva: si
_
j
k
o
l
_
= e, entonces
_
j
k
_
_
o
l
_
= e, de donde j
kz
=
_
j
k
_
(j) (o) = j j
i
o , como j
i
o = {e, j
i
o} , tendramos
que j
kz
= e, o j
kz
= j
i
o el segundo caso no es posible, ya que o / j ,
1.14. ACCIONES DE GRUPOS 79
en el primer caso n = o (j) | kz, as que n | k, porque (z; n) = 1. As que
j
k
o
l
= o
l
ker () , pero entonces (j
i
o)
l
=
_
o
l
_
= e, lo que implica que l es
par. Por lo tanto ker () = {e} . Como es un morsmo inyectivo y D
2,n
es
nito, entonces es un automorsmo.
o es un morsmo: supongamos que o () = (, z) y que o (`) = (
j, w) , esto
signica que (j) = j
z
, (o) = j
i
o, y que `(j) = j
w
, `(o) = j
j
o. En-
tonces (` ) (j) = `((j)) = `(j
z
) = (`(j))
z
= j
wz
. Por otra parte
(` ) (o) = `((o)) = `(j
i
o) = `(j
i
) `(o) = j
wi
j
j
o = j
wi+j
o.
Esto signica que o (`) =
_
wi +j, wz
_
, mientras que o (`) o () = (
j, w) (, z) =
(
j + ,( w) i, w z) = (
j + wi, w z) que es lo mismo.

Ahora veamos que es inverso para o :
0
(, z) si (j) = j
z
y (o) = j
i
o. Entonces (, z) ((, z)) que
hace precisamente lo mismo. Por lo tanto = Id
Aut(D
2,n
)
, que = Id es
inmediato.
Ejemplo 33 Como caso particular, consideremos el grupo de automorsmos
del grupo de las simetras del cuadrado: Aut (D
2,4
)
~
= Z
4
o
,
Z
4
~
= Z
4
o
,
Z
2
~
= D
2,4
. El grupo de simetras del cuadrado es isomorfo a su grupo de
automorsmos.
Ejemplo 34 Con los mismos argumentos Aut (S
3
)
~
= Z
3
o
,
Z
3
~
= Z
3
o
,
Z
2
~
=
S
3
.
1.14. Acciones de grupos
Diremos que G acta en un conjunto X si existe un morsmo G
A
S
X
,
donde S
X
es el grupo de permutaciones del conjunto X.
Una manera equivalente de denir una accin de un grupo en un conjun-
to es deniendo una funcin
GX X
(g, x) gx
que satisfaga las siguientes
condiciones:
1. ex = x, \x X.
2. (g
1
g
2
) x = g
1
(g
2
x) .
Observacin 34 Ambas deniciones son equivalentes.
Demostracin. Para empezar, supongamos que tenemos un morsmo
` : G S
X
. En este caso podemos denir el producto G X X
por gx := `(g) (x) , note que ex = `(e) (x) = 1
X
(x) = x y (g
1
g
2
) x =
`(g
1
g
2
) (x) = (`(g
1
) `(g
2
)) (x) = `(g
1
) (`(g
2
) (x)) = g
1
(g
2
x) .
Por otra parte, si lo que tenemos es el producto G X X con las
propiedades pedidas entonces podemos denir g
A
g () (multiplicar por
la izquierda. Veremos que ` es un morsmo de grupos G S
X
:
Para empezar g () : X X es una biyeccin, esto se debe a que
(g ())
_
g
1
()
_
(x) =
_
gg
1
_
x = e x = x,
y por la misma razn
_
g
1
()
_
_
_
g
1
_
1
()
_
(x) =
_
g
1
_
g
1
_
1
_
x = e x = x,
as que g () tiene inverso.
Adems ` es un morsmo: `(g
1
g
2
) = (g
1
g
2
) () = (g
1
()) (g
2
()) ,
puesto que (g
1
g
2
) (x) = g
1
(g
2
(x)) .
1. G acta sobre s mismo por multiplicacin por la izquierda:
GG G
(a, b) ab
o bien
G
A
S
G
a a ()
Ejemplos 35 G acta sobre s mismo por conjugacin:
G S
G
a a () a
1
Ejemplos 36 G acta sobre un subgrupo normal por conjugacin
G S
H
a a () a
1
,
ya que a () a
1
: H H es una biyeccin (su inverso es a
1
() a.
Ejemplos 37 El grupo de permutaciones S
X
acta trivialmente en X : si
, S
X
y x 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
A
S
X
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 s
G
y si y = gx, g G.
Es claro que x s
G
x pues x = ex. x s
G
y = y = gx, para alguna
g G =g
1
y = g
1
(gx) = (g
1
g) x = ex = x, con g
1
G =y s
G
x.
x s
G
y s
G
z = a, b G tales que ax = y, by = z = (ba) x = b (ax) =
z =x s
G
z.
La clase de equivalencia [x]
s
G
= {gx | g G} .
Podemos contar el nmero de elementos en [x]
s
G
.gx = hx ==g
1
hx =
x.
Esto sugiere considerar H
x
= {g G | gx = x} . Podemos observar que
H
x
es un subgrupo de G (ex = x. gx = x = g
1
gx = g
1
x, pero g
1
gx =
ex = x. g, h H
x
=(gh) x = g (hx) = gx = x. ).
As pues gx = hx ==g
1
hx = x ==g
1
h H
x
==hH
x
= gH
x
. Esto
muestra que hay una biyeccin entre los elementos de [x]
s
G
y el conjunto de
clases laterales izquierdas de H
x
. Por lo tanto

[x]
s
G
= [G : H
x
] (=
o (G)
o (H
x
)
,
si G es nito).
Ejemplo 39 En el caso particular de la accin de G en G por conjugacin,
tenemos que [a]
s
G
= {gag
1
| g G} , H
a
= {g G | gag
1
= a} = 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 a es un subgrupo normal no trivial. Si o (a) = pq,
entonces a
q
es de orden p.
Si G no es abeliano entonces no tiene elementos de orden pq, por lo que
un elemento a ,= e tiene orden {p, q} . Supongamos que p _ q.
Por el Teorema de Cauchy Gcontiene un elemento de orden p. Si o (a) = p,
entonces [G : a] = 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
a contiene un subgrupo normal de G no trivial. Como a es de orden p,
conclumos que a 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 G tal que g x = y.
Observacin 35 ~
G
es una relacin de equivalencia en X :
Como x = e x, entonces x ~
G
x, \x 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 g, h 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 Grbita de x a la clase de
equivalencia de [x]
G
.
Denicin 38 Denotamos por H
x
el estabilizador de x, es decir
H
x
= {g G | g x = x} .
Observacin 36 Si G nito acta en X nito, entonces [x]
G
tiene tantos
elementos como
Hx
\
G
.
Demostracin. g x = h x =(g
1
h) x = x =g
1
h H
x
=
=gH
x
= hH
x
.
Entonces la funcin
[x]
G

Hx
\
G
g x gH
x
est bien denida, es inyectiva y es suprayectiva.
Denicin 39 Si G acta en X, F (g) =: {x X | g x = x} .
Observacin 37 x F (g) =g H
x
.
En el siguiente lema calcularemos cuntas Grbitas 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 H
x
~
= H
y
.
Demostracin. Supongamos que gx = y. a H
y
= ay = y = agx =
y = gx =g
1
agx = g
1
gx
=(g
1
ag) x = x =(g
1
ag) H
x
.
Lo anterior demuestra que
H
y
H
x
a g
1
ag
es una biyeccin, de
hecho esto muestra que H
x
es conjugado de H
y
.
Lema 41 Si G nito acta en X nito, entonces c el nmero de rbitas est
dado por
c =
1
o (G)
g2G
F (g) .
Demostracin. Consideremos x F (g) , esta x est contada en la suma
una vez por cada elemento de H
x
. 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 (H
x
)
[x]
= o (H
x
)
_
Hx
\
G
_
= 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
o (K)
k2K
F (k) . F (k) es el nmero de elementos g de G con la propiedad
de que kg = g, es decir F (k) =
_
o (G) si k = e
0 si k ,= e
. Por lo tanto el nmero
de rbitas (el nmero de clases laterales derechas de K) es
1
o (K)
o (G) . Lo
que nos da nuevamente el Teorema de Lagrange.
1.14.2. Aplicaciones al conteo
A una funcin f : X {1, ..., k} le llamaremos coloracin de X con k
colores, o bien kcoloracin,. Pensamos que al elemento x le damos el color
f (x) .
Segn la denicin anterior, el nmero de kcoloraciones de un conjunto
X es |X|
k
.
Por ejemplo el nmero de 2coloraciones de las caras de un cubo (6
caras) es 6
2
= 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
j es una rotacin del cubo que deja jo a 1, entonces la restriccin de j a
los vecinos de 1 debe ser un elemento de {Id, (2, 4, 5) , (2, 5, 4)} , segn sea la
imagen de 2 bajo j. Si j deja jo a 1,entonces tambin debe jar a 7 que es
su vrtice opuesto. j queda determinada por la imagen de 2 (si j ja a 1).
As que j {(1) , (2, 4, 5) (6, 3, 8) , (2, 5, 4) (6, 8, 3)} , si j 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 2coloraciones de las caras del cubo es 2
6
.vamos ahora
1.15. LOS TEOREMAS DE SYLOW 85
a contar el nmero de rbitas
v v
c c
c c
a a
tipo de rotacin cantidad # coloraciones jadas
(1) 1 2
6
(2, 4, 5) (6, 3, 8) 4 2 2
2
(1, 2, 3, 4) (5, 6, 7, 8) 3 2 2
3
(1, 3) (2, 4) (5, 7) (6, 8) 3 2
4
(1, 2) (7, 8) (3, 5) (4, 6) 6 2
2
Entonces c =
1
24
(2
6
+ (8 4) + (6 8) + (3 16) + (6 4)) = 9.
Hay 9 maneras diferentes de colorear un cubo con dos colores.
1.15. Los Teoremas de Sylow
Denicin 40 Decimos que un psubgrupo de un grupo G es de Sylow si es
un p-subgrupo mximo de G.(P _
psS
G denotar que P es un psubgrupo
de Sylow de G.
De la pura denicin de pgrupo y del hecho de que un automorsmo
interior preserva el orden de los elementos (y de los subgrupos) tenemos que
el conjugado de un psubgrupo de Sylow es un psubgrupo de Sylow.
Teorema 40 Un grupo acta en el conjunto de sus psubgrupos de Sylow
por conjugacin.
Demostracin. Denotemos por S
psS
el conjunto de los psubgrupos de
Sylow de G. Sea a G y P S
psS
, queremos demostrar que aPa
1
S
psS
.
Es claro que aPa
1
es un psubgrupo de G, ya que a ( ) a
1
respeta el orden
de los elementos.
Si aPa
1
_ Q y Q es un psubgrupo, entonces conjugando por
a
1
tenemos que P _ a
1
Qa, como a
1
Qa es un pgrupo y P es pgrupo
mximo, entonces P = a
1
Qa, por lo que aPa
1
= Q. Entonces aPa
1
es
un pgrupo mximo, es decir, es un psubgrupo de Sylow.
Teorema 41 Todo grupo G contiene un psubgrupo de Sylow.
Demostracin. Esto es claro si G es nito, pues bastara tomar un
psubgrupo 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 psubgrupos de G, (note que {e} S). S est
ordenado por _ . Ahora si {H
i
}
i2I
es una cadena en S, entonces '{H
i
}
i2I
=
.{H
i
}
i2I
_ G. Adems es claro que '{H
i
}
i2I
es un pgrupo, ya que todos
sus uniendos lo son, y es una cota para cada H
i
. El lema de Zorn nos asegura
que S tiene elementos mximos, es decir que G tiene psubgrupos de Sylow.
Podemos observar que con un ligera modicacin del argumento, todo
p-grupo est contenido en un p-subgrupo de Sylow.
Lema 42 El nmero de psubgrupos de Sylow de un grupo nito G es
p
= 1
y es un divisor de o (G) .
Demostracin. Sea P un psubgrupo de Sylow de G. Sea S
psS
el
conjunto de los psubgrupos de Sylow de G. Ya notamos que G acta en
S
psS
por conjugacin. Ahora consideremos la clase de conjugacin de P,
[P] = {gPg
1
| g G} . Note que G acta en [P] por conjugacin, como
P _ G, entonces P acta en [P] , tambin por conjugacin
P S
[P]
x x ( ) x
1
x (aPa
1
) x
1
[P] , x P, a G
.
En vista de lo anterior. [] P queda partido en Prbitas.
Note que la Prbita de P es {P} , esto se debe a que [P]
P
=
{xPx
1
| x P} = {P} .
6
Supongamos ahora que aPa
1
,= P, el nmero de elementos en la
Prbita de aPa
1
es
o (P)
o (H
aPa
1)
, donde H
aPa
1 denota el estabilizador de
aPa
1
en P, es decir: P {c G | caPa
1
c
1
= aPa
1
} note que este es un
subgrupo propio de P, ya que en caso contrario,
P = P
_
c G | caPa
1
c
1
= aPa
1
_
,
6
Denotamos [Q]
P
la Prbita de Q, para distinguirla de [Q] la Grbita de Q.
de donde tendramos que P _ N (aPa
1
) ,as que xaPa
1
x
1
= P, \x P,
pero entonces aPa
1
= x
1
Px = P, contradiciendo la hiptesis acerca de
aPa
1
.
Entonces. en el caso de que aPa
1
,= P, el nmero de elementos en
la Prbita de aPa
1
es
o (P)
o (H
aPa
1)
p
= 0, ya que o (H
aPa
1) es un divisor
propio de o (P) .
En conclusin, |[P]|
p
= 1.
Adems |[P]| 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 psubgrupos de
Sylow son conjugados.
Demostracin. Supongamos que P y Q son psubgrupos de Sylow
que no son conjugados en el grupo nito G.
Ya hemos notado que G acta en [P] , la Grbita de P. Entonces
Q tambin acta en [P], partindola en Qrbitas de la forma
_
xPx
1
Q
=
_
q
_
xPx
1
_
q
1
| q Q
_
.
El nmero de elementos en la Qrbita [xPx
1
]
Q
es el ndice de su estabi-
lizador en Q, es decir es
o (Q)
o (N
G
(xPx
1
) Q)
p
=
_
0 si N (xPx
1
) Q Q
1 si N (xPx
1
) Q = Q
.
Como ya hemos visto que el nmero de conjugados de P es congruente con 1
mdulo p, al menos una Qrbita [xPx
1
]
Q
debe tener un elemento En este
caso Q _ N (xPx
1
) , entonces N (xPx
1
) contiene dos psubgrupos de Sy-
low: Q y xPx
1
y este ltimo es normal en N (xPx
1
) , entonces (xPx
1
) Q _
N (xPx
1
) . Dado que o ((xPx
1
) Q) =
o (xPx
1
) o (Q)
o ((xPx
1
) (Q))
, este orden es una
potencia de p, por lo que resulta un pgrupo. Como tanto Q como xPx
1
son psubgrupos de Sylow, entonces Q = xPx
1
, contradiciendo que Q no
era conjugado de P.
Corolario 13 Un psubgrupo de Sylow de un grupo nito G es normal si y
slo si es el nico psubgrupo de Sylow.
Corolario 14 En un grupo nito todos los psubgrupos de Sylow son iso-
morfos.
Teorema 43 Si G es un grupo nito entonces el orden de un psubgrupo
de Sylow es la mayor potencia de p que divide a o (G) .
Demostracin. Sea P un psubgrupo de Sylow de G, entonces
o (G)
o (P)
=
_
o (G)
o (N (P))
__
o (N (P))
o (P)
_
, el primer factor es el nmero de conjugados de
P, que ya vimos que es
p
= 1, el segundo factor tampoco es mltiplo de p, ya
que en caso contrario bP
N (P)
P
(como P E N (P) entonces
N (P)
P
es un
grupo y tendra un elemento de orden p,por el teorema de Cauchy), entonces
p | o (bP) , por lo que (bP)
p
= b
p
P = P, por lo que o (b
p
) = p
k
,para alguna
k Z,as b es un pgrupo (o (b) = p
s
t, digamos, entonces p
k
= o (b
p
) =
p
s
t
(p
s
t; p)
= p
s1
t, de aqu que s 1 = k y t = 1,por lo que o (b) = p
k+1
) y
P P b , contradiciendo que P es de Sylow. Por lo tanto p -
o (G)
o (P)
, como P
es un pgrupo entonces o (P) es la mayor potencia de p que divide a o (G) .
Observacin 38 A
5
es el nico subgrupo simple de orden 60.
Demostracin. Supongamos que G es un grupo simple con 60 ele-
mentos. Como 60 = 2
2
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
15
_
! = 24, entonces H contendra un subgrupo normal no trivial de G,
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 S
5
cuyo ncleo es (e) (el mayor subgrupo
normal de G contenido en K). Entonces tendramos una inmersin de G en
S
5
y hay dos casos: ,(G) _ A
5
(en cuyo caso ,(G) = A
5
y G
~
= A
5
o
bien la mitad de los elementos de ,(G) son permutaciones pares por lo que
,(G) A
5
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 S
6
,y de hecho se sumerge en A
6
.
La inmersin de G en A
6
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 S
6
, son ambas permutaciones impares).
Usamos ahora los Teoremas de Sylow, denotemos c
2
, c
3
, c
5
el nmero
de subgrupos de G de rdenes 4, 3 y 5 respectivamente. Denotemos por
S
2
.S
3
, S
5
subgrupos de Sylow de G,de rdenes 4, 3, 5 respectivamente.
c
2
2
= 1 = c
2
{3, 5, 15} . c
2
= 3 = o (N (S
2
)) =
60
3
= 20, cosa que
como ya vimos no puede suceder. c
2
= 5 = o (N (S
2
)) = 12, que es lo que
andamos tratando de demostrar.
Tenemos que ver que no es posible que c
2
= 15.
Si c
2
= 15, entonces N (S
2
) = S
2
(
60
15
= 4 = o (N (S
2
))).
Como todos los 2subgrupos de Sylow son isomorfos, y como slo hay
dos clases de isomorsmo de grupos de orden 4, tenemos dos posibilidades: o
bien S
2
es cclico con 4 elementos o bien S
2
es isomorfo a Z
2
Z
2
. 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 c
5
= 6 (es el nico
numero ,= 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 c
3
{4, 10} 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 c
2
,= 15.
Supongamos, contra lo que queremos, que c
2
= 15, entonces N (S
2
) =
S
2
, veremos que todos los subgrupos de orden 4 se intersectan trivialmente:
si e ,= a UV, U ,= V, de orden 4, entonces U'V _ C (a) . As 4 | o (C (a))
(U _ C (a)) y |U ' V | = 4+42 = 6 _ o (C (a)) . Entonces 4 | o (C (a)) | 60
por lo que o (C (a)) {12, 20} 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 c
2
= 5, por lo que hay un subgrupo de
orden 12, N (S
2
) .
Como G S
N(S
2
)
\
G
~
= S
5
, es un monomorsmo, entonces la imagen
de G en S
5
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 A
5
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 A
5
. (Por ejemplo, {(1) , (1, 2) (3, 4) , (1, 3) (2, 4) , (1, 4) (2, 3)} _
A
5
).
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 = aPa
1
, para alguna a G. Entonces H = aHa
1
_ aPa
1
= Q.
Observacin 39 La interseccin de los p-subgrupos de Sylow es un p-grupo
normal y es el mayor pgrupo normal de G.
Ejemplo 41 Un subgrupo G de orden 15 es cclico.
Si c
3
denota el nmero de 3-subgrupos de Sylow, entonces c
3
3
= 1 y c
3
| 15. Como los divisores de 15 son 1, 3, 5, 15, tenemos que c
3
= 1. Es decir que
el 3 subgrupo de Sylow es normal. Por otro lado, c
5
5
= 1, c
5
| 15, implican
que c
5
= 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 = a b .
Como a , b son subgrupos normales de interseccin trivial, entonces todo
elemento de a conmuta con todo elemento de b . Entonces G es abeliano.
Ahora, e = (ab)
n
= a
n
b
n
=a
n
= b
n
a b = {e} . Entonces 3 = o (a) |
n, 5 = o (b) | n. Luego 15 | n. Esto muestra que o (ab) = 15 y por lo tanto
G = ab .
Ejemplo 42 Grupos de orden 30
Como de costumbre, denotemos por c
2
, c
3
, c
5
el nmero de 2-subgrupos de
Sylow, de 3-subgrupos de Sylow y de 5-subgrupos de Sylow, respectivamente.
Como c
2
2
= 1, entonces c
2
tiene que ser impar, y divisor de 30. Por lo tanto,
c
2
{1, 3, 5, 15} .
Por otra parte c
3
3
= 1, c
3
| 30 implican que c
3
{1, 10} . Anlogamente
c
5
{1, 6} .
Si c
3
= 10, como en la unin de dos subgrupos distintos de orden 3 hay
3+31 = 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 c
3
= 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 c
3
= 10 y c
5
= 6 simultneamente.
Entonces c
3
= 1 o c
5
= 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 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 c
3
= 1 y c
5
= 1.
Supongamos que c G tiene orden 2, entonces cac
1
= a
i
,para alguna
i. Conjugando nuevamente, a = ccac
1
c
1
= c (cac
1
) c
1
= c (a
i
) c
1
=
(cac
1
)
i
= (a
i
)
i
= a
i
2
. Entonces 15 = o (a) | i
2
, es decir, i
2
15
= 1. Esto es
equivalente al sistema
i
2
5
= 1
i
2
3
= 1
, cuyas soluciones son:
i
5
= 1, i
3
= 1, es decir i
15
= 1
i
5
= 1, i
3
= 1, es decir, i
15
= 1
i
5
= 1, i
3
= 1, es decir i
15
= 11
i
5
= 1, i
3
= 1, es decir i
15
= 4
.
As que tenemos las cuatro posibilidades:
cac
1
= a
cac
1
= a
1
cac
1
= a
4
cac
1
= a
11
.
Desde luego, cac
1
= a implica que G = a c es abeliano y por lo tanto
cclico de orden 30.
cac
1
= a
1
determina el grupo didrico D
2,15
, de las simetras del 15-
gono regular.
Consideremos ahora el caso cac
1
= a
4
.
Tenemos que ca
3
c
1
= (cac
1
)
3
= (a
4
)
3
= a
12
= a
3
. Como o (a
3
) =
5, esto signica que a
3
y c generan un grupo didrico D
2,5
(isomorfo a las
simetras del pentgono). Este subgrupo es a
3
c (pues a
3
E G). Entonces
G = (a
3
c) a
5
. a
5
E G, veamos que tambin a
3
c E G. Queremos
ver que x a
3
c x
1
_ a
3
c , para toda x G. Como a
3
, c, a
5
generan G,
basta demostrar que a
3
, c, a
5
N (a
3
c) , pero para esto basta demostrar
que xcx
1
a
3
c , para x {a
3
, c, a
5
} . En realidad, basta mostrar que
a
3
ca
3
y a
5
ca
5
pertenecen a a
3
c . Pero
a
3
ca
3
= a
3
ca
3
c
1
c = a
3
_
ca
3
c
1
_
c =
= a
3
_
cac
1
_
3
c = a
3
a
12
c = a
9
c =
_
a
3
_
3
c.
a
5
ca
5
= a
5
ca
5
c
1
c = a
5
_
ca
5
c
1
_
c =
= a
5
_
cac
1
_
5
c = a
5
a
20
c = a
15
c =
_
a
3
_
5
c.
Con esto tenemos que a
3
c E G, y por lo tanto G = (a
3
c) a
5
~
=
(a
3
c) a
5
~
= D
2,5
Z
3
. Veamos cuntos elementos de orden 2 hay:
e = a
j
ca
j
c = a
j
ca
j
c
1
= a
j
(cac
1
)
j
= a
j
a
4j
= a
5j
implica que 15 | 5j,es
decir que 3 | j, de donde j {0, 3, 6, 9, 12} . Hay 5 elementos de orden 2, as
que esto corresponde a c
2
= 5.
Por ltimo consideremos el caso cac
1
= a
11
.
Si esto sucede, entonces ca
5
c
1
= (cac
1
)
5
= (a
11
)
5
= a
55
= a
5
. Entonces
c y a
5
generan un subgrupo isomorfo a S
3
. Este subgrupo es a
5
c ,ya
que a
5
E G. Entonces G = (a
5
c) a
3
y a
3
E G. Queremos ver
que a
5
c E G. Como en el caso precedente basta que demostremos que
a
5
ca
5
a
5
c y que a
3
ca
3
a
5
c .
a
5
ca
5
= a
5
ca
5
c
1
c = a
5
(ca
5
c
1
) c = a
5
(a
11
)
5
c = a
50
c = (a
5
)
10
c.
a
3
ca
3
= a
3
ca
3
c
1
c = a
3
(ca
3
c
1
) c = a
3
(a
11
)
3
c = a
30
c = (a
5
)
6
c.
Como a
5
c E G y a
5
E G, entonces G
~
= (a
5
c) a
5
~
= S
3
Z
5
.
Veamos cuntos elementos de orden 2 hay en este caso. e = a
j
ca
j
c =
a
j
(a
11
)
j
= a
12j
, as que 15 | 12j, por lo que 5 | 4j,as que 5 | j. Entonces
j {0, 5, 10} . Por lo tanto hay 3 elementos de orden 2, y c
2
= 3.
Entonces hay 4 grupos de orden 30 que son excepto por isomorsmo,
Z
30
, D
2,15
, D
2,5
Z
3
, S
3
Z
5
.
Ejemplo 43 Los 2-subgrupos de Sylow de S
4
.
El orden de S
4
es 24 = 2
3
3. El nmero de sus 2-subgrupos de Sylow, c
2
es impar y un divisor de 24, as que c
2
{1, 3} . El nmero de 3 subgrupos
de Sylow es c
3
3
= 1 y es un divisor de 24, entonces c
3
{1, 4} . El nmero de
3-ciclos en S
4
es
4 3 2
3
= 8, que deben estar repartidos en 4 subgrupos de
orden 3. Entonces c
3
= 4.
D
2,4
el grupo de simetras del cuadrado es un subgrupo de S
4
. D
2,4
~
= H =
{(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)} ,
como c
2
{1, 3} , entonces c
2
=
o (S
4
)
o (N (H))
=
24
o (N (H))
.Entonces o (N (H))
_
24
1
,
24
3
= 8
_
. As que H E S
4
o H = N (H) . Si H fuera normal, entonces
habra un elemento de orden 3 en su normalizador, pero (1, 2, 3) H (1, 2, 3)
1
=
{(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)} ,
que claramente no es H ((1, 3) H r(1, 2, 3) H (1, 2, 3)
1
). Como hay ms
de un 2-subgrupo de Sylow, entonces c
2
= 3. El otro 2subgrupo de Sylow lo
obtenemos intercambiando los smbolos 1 y 2 en H : {(1) , (2, 1, 3, 4) , (2, 3) (1, 4) , (2, 4, 3, 1) , (2, 1) (3, 4) , (2, 3) , (1, 4) , (2, 4) (1, 3)} .
Entonces S
4
contiene 3 subgrupos de orden 8.
Ejemplo 44 S
5
.
o (S
5
) = 120 = 8 3 5.
Los 5-subgrupos de Sylow de S
5
.
c
5
5
= 1, c
5
| 120. El conjunto de divisores de 120 es
{1, 2, 4, 8, 3, 6, 12, 24, 5, 10, 20, 40, 15, 30, 60, 120} .
De estos slo 1 y 6 son congruentes con 1 mdulo 5. Como en S
5
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 c
5
= 6.
Los 3-subgrupos de Sylow de S
5.
Los nmeros congruentes con 1mdulo 3 en la lista de los divisores de 120
son: 1, 4, 10, 40. Hay
5 4 3
3
= 20 ciclos de longitud 3 (que son los elementos
de orden 3 en S
5
). Como cada subgrupo con tres elementos contiene dos de
esos 3-ciclos, debe haber 10 subgrupos de orden 3.
Los 2subgrupos de Sylow de S
5
.
Los elementos de orden 2 en S
5
son transposiciones (hay
5 4
2
= 10) y
productos de dos transposiciones ajenas (hay
5 4
2

3 2
2
2
= 15), los elemen-
tos de orden 4 son 4ciclos (hay
5 4 3 2
4
= 30), y no hay elementos de
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-
posicin y un 3-ciclo
_
5 4
2

3 2 1
3
= 20
_
.
Note que 56 + 20 + 24 + 20 = 120.
Como o (S
5
) = 5! = 120 = 2
3
3 5, entonces un 2subgrupo de Sylow
de A
5
tiene 8 elementos.
El nmero de 2-subgrupos de Sylow de G, c
2
es impar y es un divisor de 15.
As que c
2
{1, 3, 5, 15} .
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 D
2,4
_ S
5
, y que D
2,4
es un 2-subgrupo
de Sylow de S
5
.
S
5
tiene por lo menos 5 copias de D
2,4
como subgrupos (piense que los vrtices
del cuadrado se pueden etiquetar con 4 de los 5 primeros naturales positivos
y
_
5
4
_
= 5. Entonces c
2
{5, 15} . Como c
2
=
o (S
5
)
o (N (H))
, donde H es un
2-subgrupo de Sylow de A
5
, entonces o (N (H)) =
120
c
2

_
120
5
,
120
15
_
=
{24, 8} , 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 2subgrupos de Sylow de S
5
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 {1, 2, 3, 4, 5} (hay 5 maneras de hacer esto). Para una eleccin A de 4
smbolos, tenemos que S
4
~
= S
A
_ S
5
. Por el ejemplo anterior, S
A
contiene 3
subgrupos de orden 8. Ahora, es claro cuales son los 15 subgrupos de orden
8.
Ejemplo 45 El nmero de subgrupos de S
4
.
Como o (S
4
) = 24 = 83 = 2
3
3, denotando c
2
el nmero de 2subgrupos
de Sylow de S
4
, tenemos que c
2
{1, 3} , ya que c
2
es un impar que divide a
24. En el ejemplo 43, vimos que c
2
= 3.
Anlogamente, c
3
3
= 1 es un divisor de 24, as que c
3
{1, 4} . Ahora,
(1, 2, 3) , (1, 2, 4) , (1, 3, 4) , (2, 3, 4) generan 4 subgrupos distintos de orden 3.
Entonces c
3
= 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.
Como 24 -
24
8
! = 6, entonces un subgrupo de orden 8 contiene un sub-
grupo normal no trivial de S
4
. 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 S
4
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 = {(1) , (1, 2) (3, 4) , (1, 3) (2, 4) , (1, 4) (2, 3)} .
{(1) , (1, 3) , (2, 4) , (1, 3) (2, 4)} , {(1) , (1, 2) , (3, 4) , (1, 2) (3, 4)} , {(1) , (1, 4) , (2, 3) , (1, 4) (2, 3)}
son subgrupos de orden 4.
(1, 2, 3, 4) , (1, 3, 2, 4) , (1, 2, 4, 3) 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.
Como
12 12
m
= 24 = m = 6, entonces la interseccin de dos subgrupos
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 S
4
porque es de ndice 2, si H es el subgrupo normal de
orden 4, entonces H L E S
4
, si H no estuviera contenida en L, entonces
o (H L) {1, 2} , 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 S
4
, pero el centro de S4 es trivial. Por 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 S
4
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 S
3
, correspondientes a los subconjuntos con tres elementos de
{1, 2, 3, 4} .
Los elementos de orden 2 son transposiciones (
4 3
2
= 6), productos de
dos transposiciones ajenas (
4 3
2
2 1
2
2
= 3).
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 S
4
tiene 30 subgrupos.
Ejemplo 46 Grupos G de orden 8.
Si hay un elemento de orden 8 el grupo es cclico e isomorfo a Z
8
.
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 / a ,
entonces bab
1
= a
i
. Entonces a = bbab
1
b
1
= b (bab
1
) b
1
= b (a
i
) b
1
=
(bab
1
)
i
= (a
i
)
i
= a
i
2
. De aqu que i
2
4
= 1, de donde i
4
= 1 o i
4
= 1. La
primera posibilidad nos dice que G es abeliano y entonces G
~
= Z
4
Z
2
. La
segunda posibilidad dene al grupo didrico, D
2,4
.
Si hay un elemento a de orden 4 pero no hay elementos de orden 2 fuera
de a , entonces \b Gra , tendramos que o (b) = 4. Como los subgrupos
de orden 4 son normales pues son de ndice 2, tenemos que G = a b , de
donde 8 =
4 4
o (a b)
. As que a b es un subgrupo normal de orden
2. Entonces a
2
= b
2
es un elemento de orden 2 que adems pertenece al
centro de G. Ahora ab / a por lo que tambin tiene orden 4. Nuevamente,
(ab)
2
= a
2
= b
2
.
Como ya notamos, G = a b . El producto a
i
b
j
a
k
b
l
queda determinado
por el valor de bab
1
que es una potencia de a ( ba = a
s
b lo que permitira
evaluar todos los productos en G).
Si bab
1
= a
s
, conjugando sucesivamente, tenemos que a = b
4
ab
4
= a
s
4
,
de donde tenemos que s
4
4
= 1, por lo tanto s
4
= 1 o s
4
= 1. El primer caso
nos dara que G es abeliano, pero adems, bab
1
= a = ba = ab = baa =
aba = b
3
= aba = e = b
4
= baba. De donde tenemos que ba es un elemento
de orden 2 que no pertenece a a , 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 p
2
Ejemplo 50 Grupos de orden pq.
Ejemplo 51 Grupos de orden 16.
Ejemplo 52 Grupos de orden 60.
Ejemplos 53 Subgrupos de Sylow de S
4
.
Como 24 = 2
3
3, un 2-subgrupo de Sylow de S
4
tiene 8 elementos. Clara-
mente el grupo de simetras del cuadrado est inmerso en S
4
y es un 2subgrupo
de Sylow. Especcamente {(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)}
es un 2subgrupo de Slow de S
4
. Ahora, segn el teorema de Sylow, el
nmero de conjugados de este subgrupos es
2
= 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 S
4
. (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:
{(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)}
y
{(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)} .
Resta ver cuantos subgrupos de orden 3 hay.
Denotemos c
3
el nmero de subgrupos de orden 3. Segn los Teoremas de
Sylow, c
3
{1, 4} , pues estos son los nmeros
3
= 1 en el conunto de divisores
de 24 : {1, 2, 4, 8, 3, 6, 12, 24} . Ya hemos visto que hay
4 3 2
3
= 8 ciclos
de orden 3 que estn repartiedos en 4 subgrupos de orden 3.Por lo tanto
c
3
= 4.
Ejemplos 54 Subgrupos de Sylow de S
5
.
1,6Como o (S
5
) = 5! = 120 = 60 2 = 15 8 = 2
3
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 c
2
, el nmero
2-subgrupos de Sylow es
p
= 1 y es un divisor de 120. Por esto, tenemos que
c
2
{1, 3, 5, 15} .
H = {(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)}
es uno de ellos. El nmero de conjugados de este grupo, c
2
, estambin el indice
de su normalizador. N (H) es un grupo con o (N (H))
_
120
1
,
120
3
,
120
5
,
120
15
_
=
{120, 40, 24, 8} . Evidentemente H no es normal, pues (1, 2) H (1, 2) ,= H (ver
ejemplo anterior, o bien recuerde que S
5
es simple). Por otra parte, como S
5
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
S
5
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
S
5
.
Si N (H) tiene 24 elementos, entonces N (H) = H c , para algn elemnto
de orden 3 de S
5
. As que tendra que haber un 3ciclo 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 S
n
, es evidente que los 3
smbolos que mueve deben estar contenidos en {1, 2, 3, 4} . Tambin es claro
que
1
N (H) . As que podramos escoger en {(1, 2, 3) , (1, 2, 4) , (2, 3, 4)} .
Veamos que ninguno de estos 3ciclos pertenece a N (H) .
(1, 2, 3) (1, 2, 3, 4) (1, 3, 2) = (2, 3, 1, 4) / H,
(1, 2, 4) (1, 2, 3, 4) (1, 4, 2) = (2, 4, 3, 1) / H,
(2, 3, 4) (1, 2, 3, 4) (2, 4, 3) = (1, 3, 4, 2) / H.
Entonces ningn subgrupo de orden 3 est contenido en N (H) .Por lo tanto
N (H) tiene orden 8,as que que S
5
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) = {1, 2, 4, 8, 3, 6, 12, 24, 5, 10, 20, 40, 15, 30, 60, 120} , de estos, los
congruentes con 1 mdulo 5 son:1, 6, En S
5
hay
5!
5
= 24 cinco ciclos que
estan repartidos en 6 subgrupos de orden 5. Por lo tanto c
5
= 6.(Que coin-
cide con lo que ya sabamos: c
5
,= 1,pues S
5
es simple).
Ejemplos 55 Grupos de orden 30.
30 = 2 3 5. Denotemos c
i
el nmero de subgrupos de orden i.
Por el Teorema de Sylow, c
2
es un diviso impar de 30, por lo que c
2

{1, 3, 5, 15} .
Los divisores de 30 son los elementos de {1, 2, 3, 6, 5, 10, 15, 30} , de aqu que
c
3
{1, 10} , c
5
{1, 6} .
No se puede dar que c
3
= 10, c
5
= 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 = a b con a b = e .
Entonces G = {a
i
b
j
| i Z
15
, j Z
2
} , G queda determinado por ba :
bab
1
= a
k
y a = bbab
1
b
1
= b
_
a
k
_
b
1
= (bab
1
)
k
=
_
a
k
_
k
= a
k
2
, de donde
tenemos que k
2
15
= 1, esto tiiene 4 soluciones: 1, 1, 4, 4.
Por lo que ba = a
k
b y tambin ab = ba
k
(Podemos notar que b () b
1
= ()
k
en a .
As que tenemos 4 grupos de orden 30 (que hay que ver que son no isomorfos
2 2) :
a o
,
1
b b
,
1
a ,
1
= ()
1
= 1
hai
a o
,
1
b b
,
1
a ,
1
= ()
1
a o
,
4
b b
,
4
a ,
4
= ()
4
a o
,
4
b b
,
4
a ,
4
= ()
4
.
El primer grupo es claramente isomorfo al producto a b (En ests caso,
ab = ba, ab tiene orden 30 as que este grupo es cclico de orden 30 y es claro
que c
2
= 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 15gono. Se puede interpretar acomo una rotacin
de
2:
15
y b como una refelexin. Como bab
1
= a
1
en este caso, tenemos que
a
i
ba
i
b = a
i
a
i
bb = e. As que todos los elemntos de la forma a
i
b son de orden
2. Por otro lado, o (a
i
) | o (a) = 15, as que un eleemnto a
i
no puede tener
orden 2. As que G
~
= D
2,15
, y este caso corresponde a c
2
= 15.
Los otros dos subgrupos de la lista los podemos identicar con D
2,5
Z
3
y el
otro con S
3
Z
5
.
Veamos esto. D
2,5
Z
3
es un grupo con 5 elemntos de orden 2 (esto corre-
sponde a c
2
= 5).
S
3
Z
5
tiene 3 elementos de orden 2 (c
2
= 3).
Como el nmero de subgrupos de orden 2 es invariante bajo isomorsmos,
entonces estos 4 grupos, Z
30
, D
2,15
, D
2,5
Z
3
, S
3
Z
5
.Son no isomorfos 22.
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 a o
,
bpara algn morsmo b
,
Aut (a) , donde el or-
den de b es 2 y el de a es 15. Como hemos visto, hay 4 de estos morsmos.
(Aut(a)
~
= Aut (Z
15
)
~
= Z
2
Z
2
~
= 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 D
2,5
Z
3
, un elemento
b de orden a y determine i en bab
1
= a
i
.
7
Ejercicio 69 Lo mismo para el grupo S
3
Z
5
.
8
7
(, 0) (, 1) (, 0) =
_
1
, 1
_
= (, 1)
4
. Notar que la operacin del lado derecho es la
suma.
8
(, 0) (, 1)
_
1
, 0
_
=
_
1
, 1
_
=
_
2
, 1
_
=
_
4
, 4
_
= (, 1)
4.
1.16. EL TEOREMAFUNDAMENTAL DELOS GRUPOS ABELIANOS FINITAMENTEGENERADOS101
Ejemplos 56 Grupos de orden 12.
Como 12 = 4 3. Entonces c
2
{1, 3} , c
3
{1, 4} .
Como 12 - 3!, tenemos que un subgrupo de orden 4 tiene un subgrupo normal
no trivial. As que c
2
= 1 o c
2
= 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:
c
2
= 1, c
3
= 1, entonces hay nicos subgrupos de orden 4 y de orden 3 y
G es isomorfo al producto de ellos. Las posibilidades son Z
4
Z
3
~
= Z
12
o
V Z
3
~
= Z
2
Z
2
Z
3
. Estos dos grupo son abelianos y no son isomorfos.
c
2
= 1, c
3
= 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
~
= Z
4
, la otra es que H
~
= Z
2
Z
2
.
Aut (Z
4
)
~
= Z
4
~
= Z
2
, as que no hay automorsmos no triviales de K(de
orden 3 en Aut (Z
4
) . As que H
~
= Z
4
, queda descartado. Si H
~
= Z
2
Z
2
,
entonces Aut (H)
~
= S
3
, que tiene un subgrupo de orden 3. Digamos que den-
mos Z
3
,
Aut (Z
2
Z
2
)por 1 tal que (1, 0) = (0, 1) , ((0, 1)) =
(1, 1) . Entonces (Z
2
Z
2
) o
,
Z
3
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
producto de sus subgrupos de Sylow, ya que si o (G) = p
c
1
1
p
c
2
2
...p
c
n
n
, entonces
los subgrupos de Sylow de G tienen rdenes p
c
1
1
, p
c
2
2
, ..., p
cn
n
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 pgrupo.
Denicin 41 El pzoclo de un grupo abeliano es pzoc (G) = {x G | px = 0} ,
es inmediato que es un subgrupo de G y que puede considerarse como un
Z
p
espacio vectorial, con el producto ax = ax, donde a Z
p
, x pzoc (G) .
Si G es un pgrupo abeliano nito, existe un menor natural positivo n
tal que p
n
G = {0} , de hecho, p
n
= max {o (x) | x G} . Podemos llamar a
n la altura del grupo.
Teorema 44 Todo pgrupo 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 ,(x
1
x
2
...x
n
) = f (x
1
) f (x
2
) ...f (x
n
) ,
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 (W
X
, X
i
F
X
), donde F
X
es un monoide y
X
i
W
X
es una funcin, es un monoide libre con base X si \f : X H
funcin de X al monoide H, !, : W
X
H morsmo de monoides tal que
, t = 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 = G
0
D G
1
D ... D G
n+1
= {e}
tal que G
i
/G
i+1
es un grupo abeliano, \i {0, ..., n} .
Por ejemplo, un grupo abeliano G es soluble con cadena de subgrupos
G D {e} , ya que G/ {e}
~
= G es abeliano.
A
4
es un grupo soluble, pues tiene un subgrupo normal
V = {(1) , (1, 2) (3, 4) , (1, 3) (2,4) , (1, 4) (2, 3)}
de orden 4 y la cadena
A
4
D V D {e}
satisface la denicin.
En cambio, A
5
(y en general A
n
, n = 5) no es soluble ya que A
5
es simple
y A
5
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)
= e , para alguna
n N.
Demostracin. ==) Recordemos que [G
0
, G] = {H E G | G/H es abeliano} ,
as que si G
(n)
= e ,entonces la sucesin
G D G D G
(2)
D ... D G
(n)
= e ,
satisface la denicin de grupo soluble.
==) Supongamos ahora que hay una sucesin
G = G
0
D G
1
D G
2
D ... D G
n+1
= {e}
tal que G
i
/G
i+1
es abeliano para cada i. Demostraremos por induccin que
G
(i)
_ G
i
.
Base. Como G/G
1
es abeliano, entonces G
0
_ G
1
. Supongamos ahora que
G
(i)
_ G
i
, (Por lo que
_
G
(i)
_
0
_ (G
i
)
0
. Como G
i
/G
i+1
es abeliano, entonces
G
0
i
_ G
i+1
. Pero entonces G
(i+1)
=
_
G
(i)
_
0
_ (G
i
)
0
_ G
i+1
. Lo que completa
la induccin. En particular, G
(n+1)
_ G
n+1
= {e} .
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 N.
As que si G
(n)
= e ,tambin se tiene que H
(n)
= e .Concluimos usando el
Lema anterior.
2) Si G
f
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
a que f es sobre. Entonces f se restringe a un epimorsmo G
0
f
|G
0
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)
= e ,entonces H
(n)
= e .
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
epimorsmo G
(k)

G
(k)
(G/H)
(k)
, para cada k N. As que si (G/H)
(n)
= e ,
entonces :
_
G
(n)
_
= e , es decir que G
(n)
_ ker (:) = H. Como existe m N
tal que H
(m)
= e ,entonces es claro que G
(n+m)
_ H
(m)
= e .Por lo que G
es soluble.
1.21. GRUPOS NILPOTENTES 105
Corolario 15 S
n
no es soluble si n = 5.
Demostracin. Ya observamos que A
n
no es soluble si n = 5.
1.21. Grupos nilpotentes
Si H, K son subgrupos de G, denimos [H, K] = {hkh
1
k
1
| h H, k K} .
Denicin 45 Denimos los conmutadores generalizados de G, por recur-
sin, de la manera siguiente: G
0
= G, G
n+1
= [G, G
n
] .
Denicin 46 Decimos que un grupo es nilpotente si G
n
= e, para algn
n N.
Observacin 40 Notemos que G
(1)
= G
0
. As que por induccin tenemos
que G
(n)
_ G
n
, \n N. (G
(i+1)
=
_
G
(i)
, G
(i)
_
_
G, G
(i)
_ [G, G
i
] = G
i+1
.
Observacin 41 De lo anterior se sigue que si G es nilpotente, entonces G
es soluble.
Ejemplo 57 A
4
es un grupo soluble que no es nilpotente.
Notemos que (A
4
)
0
= {(1) , (1, 2) (3, 4) , (1, 3) (2, 4) , (1, 4) (2, 3)} = V. Pero
[A
4
, V ] = {oo
1
1
| o A
4
, V } . Como ya hemos visto, todas la per-
mutaciones que son un producto de dos transposiciones ajenas son conjugadas
en A
4,
de aqu que [A
4
, V ] = V. Entonces A
i
4
= V, \i = 2. Entonces A
4
no es
nilpotente.
Lema 44 G
n
E G, \n N.
Demostracin. Notemos que G D G
0
. Demostraremos que G D G
i+1
=
[G, G
i
] _ G
i
, \i N. Por induccin sobre i.
Si i = 0, tenemos que G = G
0
D G
1
= G
0
, el conmutador de G.
Supongamos ahora que G
i
E G. Entonces
G
i+1
=
_
G, G
i
=
_
gag
1
a
1
| g G, a G
i
__
,
entonces gag
1
a
1
= (gag
1
) a
1
G
i
G
i
= G
i
.Lo que demuestra que G
i+1
_
G
i
. Falta demostrar que G
i+1
E G.
Supongamos que a G
i+1
, g G.Queremos ver que gag
1
G
i+1
. Note-
mos que (gag
1
) a
1
G
i+2
. Ahora (gag
1
a
1
) a G
i+2
G
i+1
= G
i+1
(ya que
segn vimos G
i+2
_ G
i+1
). Entonces gag
1
= (gag
1
a
1
) a G
i+1
. Luego
G
i+1
E G.
Denicin 47 La sucesin G D G
1
D G
2
D ... se llama la serie central
inferior.
Denicin 48 Denimos C
1
(G) = C (G) , el centro de G, que es un sub-
grupo normal de G. Ahora, C
i+1
(G) /C
i
(G) = C (G/C
i
(G)) .
Notemos que C (G/C
i
(G)) E G/C
i
(G) (el centro de un grupo siem-
pre es un subgrupo normal). Consideremos el morsmo natural : : G
G/C
i
(G) ,por el Teorema de la correspondencia, :
1
(C (G/C
i
(G))) E G.
Notemos que por denicin :
1
(C (G/C
i
(G))) = C
i+1
y contiene como sub-
grupo a C
i
.
Denicin 49 La sucesin e _ C (G) _ C
1
(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 n N tal que C
n
(G) = G.
Demostracin. Supongamos que e _ C (G) _ C
1
(G) _ ... _ C
n
(G) =
G y tomemos la serie central inferior G D G
1
D G
2
D ....O escribindola al
revs y comparndola con la otra cadena:
e _ C (G) _ C
1
(G) _ ...C
n2
(G) _ C
n1
(G) _ C
n
(G) = G
...G
2
E G
1
E G
0
= G
.
Por hiptesis G/C
n1
(G) = C
n
(G) /C
n1
(G) = C (G/C
n1
(G)) ,que es con-
mutativo. Entonces G
0
_ C
n1
(G) .
Tambin
C
n1
(G)
C
n2
(G)
= C
_
G
C
n2
(G)
_
es abeliano y contiene a
[G, G
0
] C
n2
(G)
C
n2
(G)
:
supongamos que g G y que a G
0
, como gag
1
a
1
C
n2
(G) = C
n2
(G)
(un grupo es abeliano si y slo si sus conmutadores son triviales), entonces
gag
1
a
1
C
n2
(G) . Por lo que [G, G
0
] _ C
n2
(G) .
En general,
C
ni
C
nii
es abeliano, as que la clase de un conmutador gag
1
a
1
C
ni
es trivial, as que si g G y a G
i
_ C
ni
(tmese como hipte-
sis de induccin) entonces gag
1
a
1
C
ni
(pues C
ni
E G). As que
gag
1
a
1
C
nii
= C
nii
, de donde tenemos que G
i+1
_ C
nii
. Por in-
duccin G
k
_ C
nk
, para cada k. En particular G
n
_ C
0
(G) = e , es decir
que G es nilpotente.
Corolario 16 Un pgrupo 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)) = C
2
/C
1
no es trivial, as que C
1
< C
2
E G. Si C
2
es propio repetimos el argumento con G/C
2
. As obtenemos una cadena de
inclusiones propias C
1
< C
2
< ..., 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
a G \ H, y aHa
1
,= H. Por lo tanto h H tal que aha
1
/ H,
entonces aha
1
h
1
/ H. De donde tenemos que [G, H] _ G
0
,= e . Tomemos
u = ah
1
h
1
G
0
, como u / H, entonces h
2
H tal que uh
2
u
1
h
1
2
/ H,
entonces e ,= uh
2
u
2
h
2
2
G
2
.
Supongamos que hemos encontrado u
k
G
k
\ H, (note que entonces
G
k
,= e). Como u
k
/ N (H) entonces h
k+1
H tal que u
k
h
k+1
u
1
k
/ H,por
lo que u
k
h
k+1
u
1
k
h
1
k+1
/ H. Entonces u
k
h
k+1
u
1
k
h
1
k+1
G
k+1
\H, en particular
G
k+1
,= e .
Esta induccin demuestra que cada G
k
,= e . 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 G
j
=
H
j
K
j
. Si H
n
y K
m
son grupos triviales, entonces G
nm
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 A
4
y S
4
no son nilpotentes.
1.21.1. Teorema de Jordan Holder.
Denicin 50 Una serie de composicin para G es una sucesin G =
G
1
B G
2
B ... B G
n+1
= {e} , tal que
G
i
G
i+1
es simple para cada i
{1, ..., n}(equivalentemente, cada G
i+1
es un subgrupo normal propio mxi-
mo de G
i
. Los cocientes
G
i
G
i+1
se llaman los factores de la serie.
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 e E G. Si G es nito no trivial escogemos
un subgrupo propio normal mximo G
1
, por induccin este tiene una serie
de composicin-
Denicin 51 Dos series de composicin de G, G = G
1
B G
2
B ... B
G
n+1
= e , G = H
1
B H
2
B ... B H
l+1
= e son equivalentes si l = n y
o S
n
tal que
G
i
G
i+1
~
=
H
o(i)
H
o(
i+1
)
.
Teorema 47 (Jordan-Hlder). Dos series de composicin para un grupo
nito son equivalentes.
Demostracin. Por induccin sobre o (G) . Si G = e , la armacin es
cierta claramente. Supongamos que o (G) > 1 y que
G = G
1
B G
2
B ... B G
n+1
= e (1.1)
G = H
1
B H
2
B ... B H
l+1
= e
son dos series de composicin. Si G
2
= H
2
,por induccin, las series
G
2
B ... B G
n+1
= e
H
2
B ... B H
l+1
= e
son equivalentes, as que tambin lo son las series en 1.1. Si G
2
,= H
2
, entonces
G
2
< G
2
H
2
E G. Como G
2
es un subgrupo normal propio mximo, entonces
G
2
H
2
=

G. Ahora,
G
2
H
2
G
2
~
=
H
2
G
2
H
2
y
G
2
H
2
H
2
~
=
G
2
G
2
H
2
, por el segundo
Teorema de isomorsmos. Como
G
2
H
2
G
2
es simple, entonces
H
2
G
2
H
2
es simple,
as que G
2
H
2
es mximo normal propio en H
2
y anlogamente G
2
H
2
es
mximo normal propio en H
2
en G
2
. Tomemos K
3
= G
2
H
2
y una serie de
composicin para K
3
: K
3
B ... B K
t+1
= e . Tenemos las siguientes dos
series de composicin para G :
G B G
2
B K
3
B ... B K
t+1
G B H
2
B K
3
B ... B K
t+1
estas dos series son equivalentes pues G/G
2
~
= H
2
/K
3
y G
2
/K
3
~
= G/H
2
, y el
resto de los factores de ambas series son comunes. Por otra parte, G = G
1
B
G
2
B ... B G
n+1
= e y G B G
2
B K
3
B ... B K
t+1
son equvalentes por
hiptesis de induccin, mientras que, por la misma razn, H
1
B H
2
B ... B
H
l+1
= e y G B H
2
B K
3
B ... B K
t+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 G
2
C G
un subgrupo normal propio mximo de G. Si G/G
2
no fuera de orden primo,
entonces habra un subgrupo H/H
2
de G/G
2
propio y no travail, entonces
G
2
< H < G, en particular H no es normal en G. Como G es soluble
G
(n)
= e , para alguna n. Sea k N, minima tal que G
(k)
_ H. Entonces
G
2
G
(k)
_ H y es un subgrupo normal de G por ser un producto de subgrupos
normales de G. Por la eleccin de G
2
,tenemos que G
2
G
(k)
= G
2
, de donde
tenemos que G
(k)
_ G
2
, entonces G/G
(k)
G/G
2
.
G
2
/G
(k)
es normal propio mximo en G/G
(k)
, segn el Teorema de la
Correspondencia). Por lo tanto
G/G
(k)
G
2
/G
(k)
~
=
G
G
2
es un factor (de una serie de
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.

Algebra Moderna I

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Algebra Moderna I

Încărcat de

Drepturi de autor:

Formate disponibile

lgebra moderna I

Hugo Alberto Rincn

(X) = {A _ X | A ,= ?} .Cmo tiene que ser

(X) , ') exista un neutro?

(X) , ) exista un neutro?

respeta uniones o intersecciones slo en casos especiales, por ejemplo si

de simetras del cuadrado, {H, L} = S

es un morsmo de grupos si ~ es una relacin de equivalencia?

= : (ab) = : (a) : (b) = [a]

debe estar dado por [a]

es un grupo con la operacin dada

. Esta operacin es asociativa: [a]

est bien denido y hace que G/ ~

es el neutro del grupo G/ ~ . Llamemos H = ker (:) .

= |G| , o bien G = a es nito y |G| = o (a) = n,

es la mayor potencia de p que divide a o (b) .Supongamos sin perder

de las simetras del cuadrado, describa C (V ),

respeta inclusiones, intersecciones

es biyectiva y respeta el orden es claro que respeta

respeta el orden es claro. tambin es claro que f

[(e) , H] es una biyeccin que respeta el orden las intersec-

manda subgrupos nitamente generados de G en subgrupos ni-

f est bien denida: g ker (f) = a ker (f) == a

f (ab ker (f)) = f (ab) = f (a) f (b) =

est generado por

el grupo multiplicativo de las matrices

| det (A) = 1} es un subgrupo

| det (A) = 1}) .

alrededor de ejes que pasan por los centros de

junto con la identidad forman

). Como este es el nico subgrupo de orden 4 que tiene

j + wi, w z) que es lo mismo.

f es un morsmo (en particular, manda la palabra vaca a un producto vaco

S-ar putea să vă placă și