Gruppentheorie 2011

i
i
Gruppentheorie-2011 2011/10/27 15:43 page i #1
i
i
i
i
i
i
Teora de grupos nitos
Ismael Gutirrez Garca
Universidad del Norte
Barranquilla - Colombia
i
i
Gruppentheorie-2011 2011/10/27 15:43 page ii #2
i
i
i
i
i
i
.
i
i
Gruppentheorie-2011 2011/10/27 15:43 page iii #3
i
i
i
i
i
i
ndice general
I Teora de grupos 1
1 Preliminares 3
1.1 Primeros resultados y ejemplos . . . . . . . . . . . . . . . . . 3
1.2 Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 El teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . 21
1.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2 Subgrupos normales y homomorsmos 29
2.1 Subgrupos normales . . . . . . . . . . . . . . . . . . . . . . . 29
2.2 Homomorsmos . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3 Endomorsmos y automorsmos . . . . . . . . . . . . . . . . 40
2.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3 Grupo simtrico y grupo alternante 49
3.1 Notacin de ciclos . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2 El signo de una permutacin . . . . . . . . . . . . . . . . . . 53
3.3 El grupo alternante . . . . . . . . . . . . . . . . . . . . . . . 56
3.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4 Grupos cclicos 61
4.1 Elementos de torsin . . . . . . . . . . . . . . . . . . . . . . 61
4.2 Subgrupos de grupos cclicos . . . . . . . . . . . . . . . . . . 65
4.3 Clasicacin de los grupos cclicos . . . . . . . . . . . . . . . 67
4.4 El grupo de automorsmos de un grupo cclico . . . . . . . . 69
4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
iii
i
i
Gruppentheorie-2011 2011/10/27 15:43 page iv #4
i
i
i
i
i
i
iv Ismael Gutirrez
5 Productos directos y semi-directos 73
5.1 Productos directos . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2 Productos semi-directos . . . . . . . . . . . . . . . . . . . . . 78
5.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6 Los teoremas de Sylow 83
6.1 G-conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
6.2 p-subgrupos de Sylow . . . . . . . . . . . . . . . . . . . . . . 90
6.3 Algunas aplicaciones . . . . . . . . . . . . . . . . . . . . . . 99
6.4 Grupos abelianos nitos . . . . . . . . . . . . . . . . . . . . 102
6.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7 Grupos nilpotentes y grupos solubles 111
7.1 El teorema de Jordan - Hlder . . . . . . . . . . . . . . . . . 111
7.2 Conmutadores . . . . . . . . . . . . . . . . . . . . . . . . . . 121
7.3 Series centrales . . . . . . . . . . . . . . . . . . . . . . . . . 126
7.3.1 Serie central descendente . . . . . . . . . . . . . . . . 126
7.3.2 Serie central ascendente . . . . . . . . . . . . . . . . 130
7.4 Grupos nilpotentes nitos . . . . . . . . . . . . . . . . . . . . 133
7.5 Grupos solubles nitos . . . . . . . . . . . . . . . . . . . . . 138
7.6 Subgrupos normales minimales . . . . . . . . . . . . . . . . . 144
7.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
8 Los subgrupos de Fitting y Frattini 151
8.1 El subgrupo de Fitting . . . . . . . . . . . . . . . . . . . . . 151
8.2 El subgrupo de Frattini . . . . . . . . . . . . . . . . . . . . . 154
Bibliografa & Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
NDICE GENERAL
i
i
Gruppentheorie-2011 2011/10/27 15:43 page 1 #5
i
i
i
i
i
i
Part I
Teora de grupos
1
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
Captulo 1
Preliminares
Contenido
1.1 Primeros resultados y ejemplos . . . . . . . . . . . . . . 3
1.2 Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 El teorema de Lagrange . . . . . . . . . . . . . . . . . . 21
1.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 26
La forma abstracta del concepto de grupo se remonta a 1854 con los traba-
jos de A. Cayley
1
para grupos nitos, a 1870 con L. Kronecker
2
para grupos
abelianos y en forma denitiva a 1892 con H. Weber
3
. Inicialmente solo fueron
considerados grupos nitos de permutaciones y grupos de transformaciones
geomtricas.
1.1 Primeros resultados y ejemplos
Introducimos en esta seccin el concepto de grupo y demostramos algunos
resultados que son consecuencias inmediatas de dicha denicin.
1.1.1 Denicin. Sea G un conjunto no vaco, sobre el cual est denida una
1
Arthur Cayley (Reino Unido, 1821 - Cambridge, 1895) Matemtico britnico. Es el tercer
matemtico ms prolco de la historia, sobrepasado solo por Euler y Cauchy.
2
Leopold Kronecker (Liegnitz, 1823 - Berln, 1891) Matemtico alemn. Estuvo en contra
de varias de las extensiones matemticas de G. Cantor.
3
Heinrich Weber (Heidelberg, 1842 - Strasburg, 1913) Matemtico alemn. Formul de
manera abstracta la teora de Galois.
3
i
i
i
i
i
i
i
i
4 Ismael Gutirrez
una operacin binaria . Diremos que (G, ) es un grupo, si se verican los
siguientes axiomas:
(G1) Asociatividad. Para todo x, y, z G se verica x (y z) = (x y) z.
(G2) Existencia de un elemento neutro. Existe e G con e x = x, para
todo x G.
(G3) Existencia de inversos. Para todo x G existe y G ta que y x = e.
Si adems se verica que x y = y x, para todo x, y G, entonces
diremos que G es un grupo abeliano o conmutativo.
Es muy usual, escribir los grupos abelianos de forma aditiva. Es decir, escribir
x + y en lugar de xy. Si G es un conjunto nito, entonces el nmero de
elementos de G lo llamaremos orden de G y lo notaremos con [G[. Si solo se
verica el axioma (G1) entonces llamaremos a (G, ) un semi-grupo. En lo
sucesivo escribiremos simplemente xy en lugar de x y
1.1.2 Ejemplos. Algunos grupos.
(a) (Z, +), (, +), (1, +), (C, +), (
, ), (1
, ) y (C
, ) son grupos.
(b) Si R es alguno de los anillos Z, , 1 o C, entonces el conjunto de todas
las matrices de tamao nn con entradas en R, notado con M
n
(R), es
un grupo con la suma usual de matrices.
(c) Si es un conjunto no vaco, entonces el conjunto de todas las biyec-
ciones de en si mismo, notado con Sym(), es un grupo con respecto
de la composicin de funciones. Este grupo se denominar grupo de
permutaciones de .
(d) Un caso especial de Sym() se tiene cuando = 1, . . . , n. En
este caso escribiremos simplemente Sym(n) y hablaremos del grupo
simtrico de grado n. Una representacin usual para Sym(n) es la
siguiente:
=
_
1 2 n
(1) (2) (n)
_
(1.1)
(1) Si n = 2, entonces Sym(2) tiene dos elementos y estn dados por
1
=
_
1 2
1 2
_
y
2
=
_
1 2
2 1
_
Captulo 1. Preliminares
i
i
i
i
i
i
i
i
Teora de grupos nitos 5
(2) Si n = 3, entonces Sym(3) tiene seis elementos. Estas son:
1
=
_
1 2 3
1 2 3
_
,
2
=
_
1 2 3
1 3 2
_
,
3
=
_
1 2 3
3 2 1
_
4
=
_
1 2 3
2 1 3
_
,
5
=
_
1 2 3
2 3 1
_
,
6
=
_
1 2 3
3 1 2
_
En notacin de ciclos
(1) Si n = 2, entonces
1
= (1) y
2
= (12).
(2) Si n = 3, entonces
1
= (1),
2
= (23),
3
= (13),
4
= (12),
5
= (123) y
6
= (132).
Dado que
4
3
=
6
y
3
4
=
5
, se tiene que Sym(3) es un grupo no
abeliano de orden 6. En general [Sym(n)[ = n!.
(e) Si K es uno de los cuerpos , 1, C o Z
p
, con p un nmero primo,
entonces notaremos con GL
n
(K) el conjunto de todas las matrices de
tamao n n, invertibles, con entradas en K. Esto es,
GL
n
(K) =
_
A M
n
(K) [ det(A) ,= 0
_
.
Se verica que GL
n
(K) es un grupo con respecto a la multiplicacin
usual de matrices y lo llamaremos grupo lineal general de grado n so-
bre K.
(f) Si K = Z
p
, entonces escribiremos GL
n
(p) en lugar de GL
n
(Z
p
). Un
caso especial se tiene para n = p = 2. En este caso GL
2
(2) est dado
por:
_
_
1 0
0 1
_
,
_
1 1
0 1
_
,
_
0 1
1 1
_
,
_
1 0
1 1
_
,
_
0 1
1 0
_
,
_
1 1
1 0
_
_
Note que
_
1 1
0 1
__
0 1
1 1
_
=
_
1 0
1 1
_
y
_
0 1
1 1
__
1 1
0 1
_
=
_
0 1
1 0
_
,
con lo cual se tiene que GL
2
(2) es un grupo no abeliano de orden 6.
Presentamos ahora algunas consecuencias inmediatas de la denicin de
grupo.
1.1. Primeros resultados y ejemplos
i
i
i
i
i
i
i
i
6 Ismael Gutirrez
1.1.3 Lema. Sea G un grupo con elemento neutro e. Entonces
(a) xe = x, para todo x G.
(b) Existe un nico e G con ex = x, para todo x G.
(c) Si x, y G y yx = e, entonces xy = e.
(d) Para todo x G existe un nico y G tal que yx = e. Llamaremos
a y el inverso de x y lo notaremos con x
1
. Si el grupo se escribe
aditivamente, entonces lo notaremos con x.
DEMOSTRACIN.
(a) Sea x G. Entonces del axioma (G3) se sigue que existen w, z G
tales que wx = e y zw = e. Entonces
ze = z(wx) = (zw)x = ex = x.
Por consiguiente
x = ze = z(ee) = (ze)e = xe.
(b) Supongamos que existe e
G con e
x = x, para todo x G. Entonces

e
e = e. De (a) se sigue que e
e = e
. Por lo tanto e = e
e = e
.
(c) Sean x, y G con yx = e. Entonces nuevamente del axioma (G3) se
sigue que existe z G tal que zy = e. Entonces
ze = z(yx) = (zy)x = ex = x.
Usando (a) se tiene que
x = ze = z.
En consecuencia xy = e.
(d) Sea x G y supongamos que existen y, z G tales que yx = zx = e.
Entonces usando (c) se tiene
y = ey = (zx)y = z(xy) = ze = z,
con lo cual se garantiza la unicidad.
1.1.4 Lema. Sea G un grupo. Entonces
i
i
i
i
i
i
i
i
(a) Para todo x G, (x
1
)
1
= x
(b) Para todo x, y G, (xy)
1
= y
1
x
1
(c) Para todo x
1
, . . . , x
n
G, (x
1
x
n
)
1
= x
1
n
x
1
1
.
DEMOSTRACIN.
(a) Dado que x
1
x = e, se tiene que x es el inverso de x
1
.
(b) Usando la asociatividad se sigue que:
(y
1
x
1
)(xy) = y
1
(x
1
x)y = y
1
(ey) = y
1
y = e.
Entonces (y
1
x
1
) = (xy)
1
.
(c) Use induccin matemtica sobre n.
En el siguiente lema se demuestra que en un grupo se cumplen las leyes de
cancelacin a izquierda y a derecha.
1.1.5 Lema. (Leyes de cancelacin) Sean G un grupo y a, x, y G.
(a) Si ax = ay, entonces x = y.
(b) Si xa = ya, entonces x = y.
DEMOSTRACIN. Del lema 1.1.3 se sigue:
x = ex = (a
1
a)x = a
1
(ax) = a
1
(ay) = (a
1
a)y = ey = y.
Similarmente se demuestra la otra armacin.
1.1.6 Lema. Si G es un grupo, entonces para todo par de elementos a, b G
existen nicos x, y G tales que ax = b y ya = b.
DEMOSTRACIN. Se deja como ejercicio.
Como consecuencia de este resultado presentamos ahora la clasicacin de
todos los grupos nitos con orden menor o igual a 4.
Grupos de orden 1. Si [G[ = 1, entonces G = e, con ee = e.
Grupos de orden 2. Si [G[ = 2, entonces G = e, g, con gg = e.
Grupos de orden 3. Sea [G[ = 3, digamos G = e, g, h. Dado que gg ,= g,
se verica que gg e, h. Si gg = e, entonces gh ,= e, g, h y se tiene un
contradiccin. Por lo tanto gg = h.
Nuevamente por la propiedad cancelativa se tiene que gh ,= g, h y hg ,= g, h.
Es decir, forzosamente gh = hg = e. Finalmente, hh ,= h, e. En consecuencia
hh = g. La tabla de la operacin en G est dada por
i
i
i
i
i
i
i
i
8 Ismael Gutirrez
e g h
e e g h
g g h e
h h e g
Grupos de orden 4. Sea [G[ = 4, digamos G = e, g, h, k. En todo grupo
de orden par existe por lo menos un e ,= x G tal que xx = e. En efecto,
es suciente agrupar los elementos de G en parejas del tipo (x, x
1
), con x ,=
x
1
. Dado que G tiene orden par, y ee = e se sigue que existe por lo menos
un x ,= e con x = x
1
.
Supongamos que gg = e. Entonces tenemos inicialmente la tabla
e g h k
e e g h k
g g e
h h
k k
Observemos ahora que gh ,= e, g, h. Es decir, forzosamente gh = k. De
manera similar se obtiene que hg = k. Como consecuencia gk = kg = h.
Entonces tenemos
e g h k
e e g h k
g g e k h
h h k
k k h
Para hh existen dos posibilidades: hh = e o hh = g.
(a) Si hh = e, entonces hk, kh ,= h, k, e. Es decir, solo permanece libre
hk = kh = g.
Finalmente kk = e y se tiene en denitiva el denominado 4-grupo de
Klein
4
.
e g h k
e e g h k
g g e k h
h h k e g
k k h g e
4
Felix Klein (Dsseldorf, 1849 - Gttingen 1925) Matemtico alemn. Uso el concepto de
grupo para su presentacin de la clasicacin de la geometra.
i
i
i
i
i
i
i
i
(b) Si hh = g, entonces hk, kh ,= h, k, g. Es decir, solo permanece libre
hk = kh = e.
Finalmente kk = g y se tiene
e g h k
e e g h k
g g e k h
h h k g e
k k h e g
Hemos encontrado entonces dos grupos abelianos distintos de orden 4.
1.1.7 Lema. Un semi-grupo G es un grupo, si y solo si para todo par de ele-
mentos a, b G existen nicos x, y G tales que ax = b y ya = b.
1.1.8 Lema. Un semi-grupo G es un grupo, si y solo si en G se verican las
leyes de cancelacin.
Presentamos a continuacin el concepto de potencia entera de elementos de
un grupo. Seguidamente demostramos algunas propiedades de stas.
1.1.9 Denicin. Sean G un grupo, g G y n Z. Denimos inductiva-
mente la n-sima potencia de g, notada en caso multiplicativo con g
n
o en
caso aditivo con ng as:
g
n
:=
_
_
_
e, si n = 0
g
n1
g, si n > 0
(g
n
)
1
, si n < 0.
o
ng :=
_
_
_
0, si n = 0
(n 1)g +g, si n > 0
((n)g), si n < 0.
1.1.10 Teorema. Sea G un grupo y g G. Para n, m Z se cumple:
(a) g
m
g
n
= g
m+n
= g
n
g
m
(a) mg +ng = (m+n)g = ng +mg (notacin aditiva)
i
i
i
i
i
i
i
i
10 Ismael Gutirrez
(b) (g
m
)
n
= g
mn
(b) n(mg) = (mn)g (notacin aditiva)
DEMOSTRACIN.
(a) Supongamos inicialmente que m, n N
0
y demostramos la armacin
por induccin sobre n.
Paso 1. Si n = 0, entonces g
m
g
0
= g
m
e = g
m
= g
m+0
.
Hiptesis inductiva. Sea n > 0 y supongamos que la armacin es
vlida para n 1. Entonces
g
m
g
n
= g
m
(g
n1
g) = (g
m
g
n1
)g = g
m+n1
g = g
m+n
. (1.2)
Demostramos la siguiente armacin: Si k N, entonces
g
k
g = g
k+1
.
Dado que k 1 0 de (1.2), se sigue que gg
k1
= g
k
. Entonces
g
k
= (g
k
)
1
= (gg
k1
)
1
= g
(k1)
g
1
= g
k+1
g
1
.
Multiplicando por g a ambos lados de la igualdad se tiene que
g
k
g = (g
k+1
g
1
)g = g
k+1
. (1.3)
De la denicin de potencia y de (1.3) se sigue que para todo m, n Z
g
m+n
g = g
m+n+1
.
En ef ecto, si m + n 0 la armacin se sigue de la denicin de
potencia y si m+n < 0, entonces sta se sigue de (1.3).
Similar como antes se puede demostrar, por induccin sobre n, que
g
m
g
n
= g
m+n
para todo m Z y para todo n N
0
.
Si demostramos que para m Z y n > 0 se verica que g
m
g
n
=
g
mn
, entonces se tiene completa la demostracin de 1.
Note que g
mn
g
n
= g
mn+n
= g
m
. Entonces si multiplicamos a am-
bos lados por (g
n
)
1
se tiene:
g
mn
= g
m
(g
n
)
1
= g
m
g
n
.
i
i
i
i
i
i
i
i
(b) De la denicin de potencia se tiene que g
m
= (g
m
)
1
para todo
m 0. Si m < 0, entonces
(g
m
)
1
= ((g
m
)
1
)
1
= g
m
.
Por lo tanto (g
m
)
1
= g
m
, para todo m Z.
Demostramos por induccin sobre n que: (g
m
)
n
= g
mn
, para todo m
Z y n N
0
.
Paso 1. Si n = 0, entonces (g
m
)
0
= e = g
0
= g
m0
.
Hiptesis inductiva. Supongamos que la armacin es vlida para n
0. Entonces:
(g
m
)
n+1
= (g
m
)
n
g
m
= g
mn
g
m
= g
mn+m
= g
m(n+1)
.
Sea ahora n 0. Entonces:
(g
m
)
n
= ((g
m
)
n
)
1
= (g
mn
)
1
= g
mn
1.2 Subgrupos
Consideramos ahora subconjuntos de un grupo G para los cuales al restringir
a ellos la operacin, la estructura de grupo se transmite.
1.2.1 Denicin. Sean (G, ) un grupo y ,= U G. Diremos que U es un
subgrupo de G, notado U G, si al restringir la operacin al conjunto U se
verica que (U, ) es un grupo. Si U es un subgrupo de G y U ,= G, entonces
diremos que U es un subgrupo propio de G y lo notaremos con U < G. Un
subgrupo U < G se llama maximal en G, si de U < V G, se sigue que
V = G. En este caso escribiremos U < G.
1.2.2 Lema. (Criterio para subgrupos) Sean Gun grupo y , = U G. Son
equivalentes
(a) U G
(b) Si x, y U, entonces xy U y y
1
U
(c) Si x, y U, entonces xy
1
U.
1.2. Subgrupos
i
i
i
i
i
i
i
i
12 Ismael Gutirrez
DEMOSTRACIN. Sea e el elemento neutro de G.
(a) (b). Sean x, y U. Dado que U G, se verica que xy U. Si e
es e l elemento neutro de U, entonces e
= e
y se sigue que e
= e. (Ver
ejercicio 2). Es decir, el elemento neutro de G es el mismo elemento neutro de
U. Finalmente, para todo x U, existe y U tal que xy = e
= e. Por lo
tanto y = x
1
U.
(b) (c). Si x, y U, entonces por hiptesis x, y
1
U y as, xy
1
U.
(c) (a). Sean x, y U. Entonces e = xx
1
U. Con esto se tiene que,
x
1
= ex
1
U. Por lo tanto, xy = x(y
1
)
1
U. La propiedad asociativa
se verica naturalmente para los elementos de U.
El criterio anterior es mucho mas sencillo para semi-grupos nitos de un
grupo.
1.2.3 Lema. (Criterio para subgrupos nitos) Todo semigrupo nito U de
un grupo G es un subgrupo de G.
DEMOSTRACIN. Dado que U es un semi-grupo, usando el criterio para
subgrupos (b), es suciente demostrar que: si u U, entonces u
1
U. Sea
u U dado. Entonces para todo n N se verica que u
n
U. Dado que U
es nito, se sigue que las potencias
u, u
2
, . . . , u
k
, . . .
no son todas distintas. Por lo tanto existen i, j N, con j > i tales que
u
i
= u
j
. Es decir, u
ji
= e y se tiene que e U. Por otro lado, dado que
u
ji
= uu
ji1
= e,
se tiene que u
1
= u
ji1
U.
Nota. Observe que (N, +) es un semigrupo no nito de (Z, +) y no es un
subgrupo.
1.2.4 Ejemplos. Subgrupos.
(a) Sea G un grupo. Entonces siempre se cumple que e y G son subgru-
pos de G. Estos sern sus subgrupos triviales.
(b) (Z, +) (, +) (1, +) (C, +) y (
, ) (1
, ) (C
, ).
(c) Sean un conjunto no vaco y , = X . Si denimos
U := [ Sym(), (X) = X
i
i
i
i
i
i
i
i
y
V := [ Sym(), (x) = x, x X,
entonces se verica que V U Sym().
Consideremos como caso especial = 1, 2, 3.
(1) Si X = 1, 3, entonces U = (1), (13) y V = (1).
(2) Si X = 1, 2, 3, entonces U = (1), (123), (132) y V =
(1).
(d) Si G = GL
2
(1), entonces
U =
__
a 0
b a
1
_
[ a, b 1, y a ,= 0
_
.
es un subgrupo propio de G. En general, si denimos
SLG
n
(1) := A [ A GL
n
(1), det(A) = 1,
entonces se verica que SLG
n
(1) GL
n
(1). Este grupo se denomina
grupo lineal especial de grado n sobre 1.
(e) Sea n N y denotemos con U
n
el conjunto de las n-esimas races
complejas de la unidad. Esto es,
U
n
= z [ z C, z
n
= 1.
Claramente U
n
es no vaco. Para a, b U
n
se tiene
(ab
1
)
n
= a
n
(b
1
)
n
= a
n
(b
n
)
1
= 1.
En consecuencia (U
n
, ) (C
, ). Sea ahora a C
en forma polar,
digamos a = re
i
, con r > 0 y 0 < 2. Entonces
a U
n
r
n
e
in
= 1
(r
n
= 1 e
in
= 1)
(r = 1
2k
n
[ k = 0, 1, . . . , n 1).
Usando la notacin
n
:= e
i2/n
se tiene que
U
n
=
k
n
[ k = 0, 1, . . . , n 1.
Geomtricamente podemos visualizar los elementos de U
n
como los vr-
tices de un polgono regular de n lados. Ilustramos a continuacin los
casos n = 4 y n = 8.
1.2. Subgrupos
i
i
i
i
i
i
i
i
14 Ismael Gutirrez
x
y
2
3
4
5
4
3
2
7
4
0
(f) Los subgrupos de (Z, +) son de la forma nZ, con n N
0
jo.
Si U = 0, entonces n = 0. Supongamos entonces que U ,= 0.
Para todo u U se verica que u U. Por lo tanto a U pertenecen
nmeros naturales. El principio de buen orden nos garantiza que existe
n := min(U).
Sea u U cualquiera. Usando la divisin con resto se tiene que existen
q, r Z tales que
u = nq +r, con 0 r < n.
Dado que u, n U, se tiene que u nq = r U. En consecuencia,
por la minimalidad de n se sigue que r = 0 y as u = nq nZ. Esto
demuestra que U nZ. La otra contenencia es inmediata.
En el siguiente lema demostramos que la interseccin de subgrupos de un
grupo G es tambin un subgrupo de G, lo cual no se cumple en general para la
unin.
1.2.5 Lema. Sean G un grupo y U, V, U
j
G, con j J.
(a)
jJ
U
j
G.
i
i
i
i
i
i
i
i
(b) U V G si y solo si U V o V U
DEMOSTRACIN.
(a) Denamos D :=
jJ
U
j
. Dado que e U
j
, para todo j J, se tiene
que e D, es decir, D no es vaco. Sean ahora u, v D. Entonces
u, v U
j
para todo j J. Por lo tanto uv
1
U
j
, para todo j J. En
consecuencia que uv
1
D y por lo tanto D G.
(b) Si U V o V U, entonces es claro que U V G.
Recprocamente, supongamos que U V G, pero U _ V y V _ U.
Sean u U V y v V U. Entonces uv U V . Sin perder
generalidad, podemos suponer que uv U. Entonces v U, lo cual es
una contradiccin.
Consideremos el grupo aditivo Z. Note que 2Z3Z = 0, 2, 3, 4, . . .
no es un subgrupo de Z. En efecto, 2 + 3 = 5 / (2Z 3Z).
1.2.6 Denicin. Sean G un grupo y M G.
(a) Denimos el generado de M en G, notado con M, como la intersec-
cin de todos los subgrupos de G que contienen a M. Es decir
M =
MUG
U.
(b) Diremos que G es nitamente generado, si M es nito y G = M.
En este caso, M se denomina un sistema de generadores para G.
(c) Si G = g, para algn g G, entonces G se llama cclico. Es usual
escribir simplemente G = g.
Dado que M es una interseccin de subgrupos, se sigue que M M
G. Adems M = M si y solo si M G. Si U G y M U, entonces
M U, por lo tanto M es el subgrupo ms pequeo de G que contiene a
M.
Ahora queremos describir M mediante elementos de M.
1.2.7 Teorema. Sea G un grupo y , = M G. Entonces
(a) M = x
n
1
1
x
n
k
k
[ k N, x
i
M, n
i
Z. Esto es, M es el con-
junto de todos los productos nitos de potencias que pueden formarse
con elementos de M.
1.2. Subgrupos
i
i
i
i
i
i
i
i
16 Ismael Gutirrez
(b) Si M es nito, digamos M = x
1
, . . . x
m
y sus elementos conmutan
dos a dos, entonces M es un grupo abeliano y
M = x
n
1
1
x
nm
m
[ n
i
Z.
En particular, si g G y M = g, entonces M = g
n
[ n Z.
DEMOSTRACIN.
(a) Denamos
U := x
n
1
1
x
n
k
k
[ k N, x
i
M, n
i
Z.
Demostremos que M U G: Si x
1
M, entonces x
1
= x
1
1
U.
Esto demuestra que M U. Dado que ,= M U, se tiene que
U ,= . Sean x, y U, digamos x = x
n
1
1
x
nr
r
y y = y
n
1
1
y
ns
s
.
Entonces
xy
1
= x
n
1
1
x
nr
r
y
ns
s
y
n
1
1
U,
con lo cual demuestra que U G y consecuentemente M U.
Recprocamente, sabemos que M M G. Entonces todo elemento
de la forma x
m
1
1
x
m
i
i
, con x
j
M pertenecen a M. Por lo tanto
U M.
(b) Dado que x
i
x
j
= x
j
x
i
, para todo i, j 1, . . . , m, se sigue que
x
1
j
x
i
= x
i
x
1
j
y de estas dos por inversin se tiene que x
1
j
x
1
i
=
x
1
i
x
1
j
y x
1
i
x
j
= x
j
x
1
i
. Usando induccin matemtica se sigue que
todas las potencias de x
i
conmutan con todas las potencias de x
j
, para
todo i, j 1, . . . , m. El resto se sigue de la parte anterior.
1.2.8 Ejemplos. Sean G un grupo y U G.
(a) = e = e.
(b) U = U.
(c) (Z, +) es un grupo cclico. Z = 1 = 1
(d) Para el grupo de las races n-simas complejas de la unidad U
n
se veri-
ca que U
n
=
n
.
(e) Para el 4-grupo de Klein V = e, g, h, k se verica que V = g, h =
g, k = h, k. Es decir, V es nitamente generado, pero no es cclico.
i
i
i
i
i
i
i
i
(e) Sym(3) = (12), (123).
1.2.9 Ejemplo. Sean n 3 y
n
una n-esima raz compleja de la unidad. Es
decir,
n
= e
2i/n
. Denamos E
n
:=
n
= 1,
n
,
2
n
, . . . ,
n1
n
. Es claro
que E
n
es un subgrupo del grupo multiplicativo de C. Sean y permuta-
ciones de E
n
denidas por
(z) := z
1
= z
(z) :=
n
z,
para todo z E
n
. Note que (z) es la reexin de z con respecto al eje
x, mientras que (z) es la rotacin de z un ngulo de 2i/n en sentido anti-
horario y haciendo centro en el origen. Note que
2
=
n
= I
En
. Es decir,
1
= .
x
y
3
2
0
(z)
z
(z)
Denamos D
n
:= , Sym(E
n
) y sea x E
n
. Entonces
1
(x) = (
1
(x))
= ((x))
= ((x
1
))
= (
n
x
1
)
= x
1
n
=
1
n
x.
1.2. Subgrupos
i
i
i
i
i
i
i
i
18 Ismael Gutirrez
Por otro lado,
(
1
n
x) =
n
1
n
x = x.
Es decir,
1
(x) =
1
n
x.
Por lo tanto, para todo x E
n
se verica que
1
(x) =
1
(x).
Esto es,
1
=
1
. (1.4)
Como consecuencia de (1.4) se tienen entonces las siguientes relaciones:
=
1
y =
1
. (1.5)
Dado que ,=
1
, se sigue que D
n
no es un grupo abeliano.
Si D
n
, entonces
=
1
1

k
k
,
donde k N,
j
Z y
j
, . Usando (1.5) se sigue que
D
n
=
i
j
[ i, j Z
=
i
j
[ i 0, 1, j 0, 1, . . . , n 1.
Estos 2n elementos son distintos. En efecto, si
i
j
=
r
s
, con i ,= r,
digamos sin perder generalidad i = 0 y r = 1, entonces =
js
. Para todo
x E
n
se verica entonces que
x
1
= (x) =
js
(x) =
js
n
x.
Entonces
js
n
= 1 y se tendra que, para todo x E
n
se satisface x
1
= x,
lo cual no es cierto. En consecuencia i = r y por lo tanto j = s. Esto trae
como consecuencia que [D
n
[ = 2n.
Consideremos el caso particular consideremos n = 4. Entonces
4
= i y se
tiene que E
4
= i, 1, i, 1.
i
i
i
i
i
i
i
i
x
y
i
1
i
1
1
2
3
4
Si identicamos el conjunto E
4
con = 1, 2, 3, 4, entonces se tiene que
= (24) Sym(4)
y
= (1234) Sym(4).
Por lo tanto
D
4
= (1), , ,
2
,
3
, ,
2
,
3
.
La tabla de multiplicacin para D
4
est dada por
(1)
2
3

2
3
(1) (1)
2
3

2
3
(1)
2
3

2
3

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

2
3

2
Un problema interesante de la teora de grupos ha sido siempre construir
grupos a partir de algunos dados o mediante el anlisis de la estructura interna
de un grupo dado. Recordemos que si G es un grupo y U, V G, entonces
U V y U V tambin lo son. Los prximos resultados nos permitirn
encontrar nuevas tcnicas para construir subgrupos de un grupo G dado.
1.2. Subgrupos
i
i
i
i
i
i
i
i
20 Ismael Gutirrez
1.2.10 Denicin. Sean U, V subconjuntos no vacos de un grupo G. Deni-
mos un producto entre conjuntos de la siguiente manera
UV := uv [ u U, v V .
Si g G, entonces escribiremos gU y Ug en lugar de gU y Ug respec-
tivamente Estos conjuntos se denominarn clase lateral izquierda respectiva-
mente derecha de g con respecto a U. Denimos adems
U
1
:= u
1
[ u U.
El siguiente lema, de tipo tcnico nos enumera una serie de propiedades de
la multiplicacin de subconjuntos de un grupo G.
1.2.11 Lema. Sean G un grupo y , = U, V, W G. Entonces
(a) U(V W) = (UV )W
(b) Si U V , entonces UW V W y WU WV
(c) Si G es abeliano, entonces UV = V U. Note que de UV = V U, no
necesariamente se sigue que uv = vu para todo u U y v V .
(d) Si ,= X U G, entonces se cumple que XU = UX = U. En
particular se tiene que UU = U y uU = Uu = U, para todo u U.
(e) (U
1
)
1
= U
(f) Si U G, entonces U
1
= U
(g) (UV )
1
= V
1
U
1
.
Si G es un grupo y U, V G, entonces no necesariamente se verica
que UV G. Por ejemplo, sean G = Sym(3), U := (1), (23) y
V := (1), (13). Note que
UV = (1), (23), (13), (123) _ G.
1.2.12 Teorema. Sean U, V G. Entonces
(a) UV G si y solo si UV = V U
(b) Si UV = V U, entonces UV = U V . Escribiremos simplemente
UV = U, V .
i
i
i
i
i
i
i
i
DEMOSTRACIN.
(a) Si UV G, entonces del lema 1.2.11 (5) se sigue que
UV = (UV )
1
= V
1
U
1
= V U.
Recprocamente, sean u
1
v
1
, u
2
v
2
UV . Entonces
u
1
v
1
(u
2
v
2
)
1
= u
1
v
1
v
1
2
u
1
2
= u
1
v
3
u
1
2
= u
1
u
3
v
4
= uv UV.
Es decir, UV G.
(b) Es claro que UV U V . Por otro lado, dado que U V UV y
UV G, se tiene que U V UV .
1.2.13 Lema. (Identidad de Dedekind) Sean U, V, W G, con V U.
Entonces U V W = V (U W).
DEMOSTRACIN. Dado que V U, V W y U W U, V W, se sigue que
V (U W) U V W.
Recprocamente,
x U V W x = u = vw, con u U v V, w W)
w = v
1
u V U = U
w U W
x = vw V (U W),
con lo cual se tiene la armacin.
1.3 El teorema de Lagrange
Demostramos en esta seccin que dado un grupo nito G y U G, siempre
se verica que el orden de U divide al orden de G.
1.3.1 Lema. Sean G un grupo y U G. Denamos sobre G la siguiente
relacin:
g
U
h g
1
h U.
Entonces
U
es una relacin de equivalencia sobre Gy la clase de equivalencia
de g G tiene la forma gU. Es decir, las clase laterales izquierdas de U en G.
1.3. El teorema de Lagrange
i
i
i
i
i
i
i
i
22 Ismael Gutirrez
De manera similar, la relacin de equivalencia
g
U
h gh
1
U
suministra las clases laterales derechas Ug de U en G.
Listamos a continuacin algunas propiedades de las clases laterales, las
cuales son consecuencias inmediata del lema anterior.
1.3.2 Corolario. Sean G un grupo y U G. Entonces
(a) gU = U si y solo si g U
(b) gU = hU si y solo si g
1
h U
(c) gU = hU si y solo si gU hU ,=
(d) G =
gG
gU y dos clase laterales gU, hU o son iguales o son disjun-
tas.
(e) [gU[ = [U[ = [Ug[, para todo g G.
(f) Los conjuntos de las clases laterales izquierdas y derechas de U en G
tienen el mismo nmero de elementos.
DEMOSTRACIN. Las primeras cuatro armaciones son consecuencias del
hecho que
U
es una relacin de equivalencia.
(e) Las funciones : U gU y : U Ug denidas respectivamente
por (x) = gx y (x) = xg son biyectivas.
(f) Sean L = gU [ g G, R = Ug [ g G. y : L R denida
por
(gU) := Ug
1
.
Demostramos que es una biyeccin.
Note inicialmente que
gU = hU U
1
g
1
= U
1
h
1
Ug
1
= Uh
1
.
Esto demuestra que est bien denida y adems es inyectiva.
Dado que (g
1
U) = Ug, se sigue que es sobreyectiva.
Como consecuencia del lema anterior partes (c) y (d) se tiene que siempre
existe una descomposicin de G en clases laterales disyuntas. Es decir, existe
T G tal que
G =
_
gT
gU (1.6)
i
i
i
i
i
i
i
i
y adems para todo g, h T con g ,= h se verica que gU hU = .
Esta particin (1.6) se denomina la descomposicin de Gen clases laterales
con respecto a U. Un conjunto T con tales caractersticas se denomina un
transversal izquierdo de U en G o tambin un sistema de representantes
para las clases laterales. De manera similar se dene un transversal derecho.
Note que otra forma de decir que T es un transversal izquierdo de U en G
es la siguiente:
T G
G = TU
Para todo g, h T con g ,= h se verica que gU ,= hU.
1.3.3 Denicin. Sean G un grupo y U G. Si T es un transversal izquierdo
nito de U en G, entonces [T[ se llamar el ndice de U en G y lo notaremos
con [G : U[. Si el ndice no es nito, entonces escribiremos [G : U[ = .
1.3.4 Ejemplos. Sea G un grupo.
(a) [G : G[ = 1 y [G : e[ = [G[.
(b) Sean G = Sym(3) y U = (1), (13). Es claro que U G. Si g = (12)
y h = (23), entonces se tiene la siguiente descomposicin para G:
G = (1), (13) (12), (132) (23), (123) = U gU hU.
Un transversal izquierdo de U en Gest dado por T = (1), (12), (23).
Por lo tanto [G : U[ = 3. Puede vericarse sin dicultades que gU ,=
Ug.
(c) Sea G = (Z, +) y U = nZ, con n Z. Entonces
j +nZ = k +nZ (j k) nZ n [ (j k).
Entonces el conjunto T := 0, 1, . . . , n 1 es un transversal de U en
G. Por lo tanto [Z : nZ[ = n.
El teorema de Lagrange, el cual demostramos a continuacin impone una
restriccin al orden de un eventual subgrupo de un grupo dado G. Por ejemplo
el grupo Sym(3) solo puede tener subgrupos de orden 1, 2, 3 y 6.
1.3.5 Teorema. Sean G un grupo y U G.
i
i
i
i
i
i
i
i
24 Ismael Gutirrez
(a) Sea V U. Si T es un transversal izquierdo nito de U en G y si S es
un transversal izquierdo nito de V en U, entonces TS es un transversal
izquierdo nito de V en G y adems
[TS[ = [T[[S[ y [G : V [ = [G : U[[U : V [.
(b) (Lagrange) [G[ = [G : U[ [U[. En particular, si G es un grupo nito,
entonces [U[ y [G : U[ son divisores de [G[.
DEMOSTRACIN.
(a) Dado que T es un transversal izquierdo nito de U en G y que S lo es
para V en U, se tiene que G = TU y U = SV . Por lo tanto G = TSV .
Resta entonces demostrar que si tsV = t
V , entonces ts = t
, donde
t, t
T y s, s
S.
Dado que sV U, se sigue con ayuda del lema 1.2.11 (d) que sV U =
U y de la misma manera que s
V U = U. Si tsV = t
V , se sigue
que tU = tsV U = t
V U = t
U, lo cual trae como consecuencia que

t = t
. Entonces sV = s
V y con esto se sigue que s = s
. Es decir
ts = t
y se tiene que TS es un transversal izquierdo de V en G y

adems
[G : V [ = [TS[ = [T[[S[ = [G : U[[U : V [.
(b) Se sigue inmediatamente de (a), tomando V = e.
1.3.6 Teorema. Sean G un grupo y U, V G. Si T un transversal izquierdo
de U V en U, entonces UV =
tT
tV y tV sV = , para t, s T con
t ,= s. Si U y V son nitos, entonces
[UV [ =
[U[ [V [
[U V [
.
DEMOSTRACIN. Sea uv UV , con u U y v V . Dado que U =
tT
t(U V ), se tiene que u = tv
, con t T y v
(U V ). Entonces
uv = tv
v tV . Esto demuestra que UV

tT
tV . La otra inclusin es
trivial, ya que T U. Entonces
UV =
_
tT
tV.
Sea ahora x (tV sV ). Entonces x = tv = sw, con t, s T y v, w V .
Se sigue entonces s
1
t = wv
1
(U V ), por lo tanto t(U V ) = s(U V )
y con esto se tiene que t = s.
i
i
i
i
i
i
i
i
Si U y V son nitos, entonces
[UV [ = [T[ [V [ = [U : U V [ [V [ =
[U[
[U V [
[V [ =
[U[ [V [
[U V [
.
Demostramos ahora con la ayuda del teorema anterior una serie de resultados
sobre subgrupos con indices nitos.
1.3.7 Teorema. Sea G un grupo y U, V G, con [G : U[ y [G : V [ nitos.
Entonces
(a) [G : U V [ [G : U[ [G : V [
(b) (H. Poincar) La interseccin de un nmero nito de subgrupos con
ndices nitos tiene ndice nito.
(c) Si G es nito, entonces [G : U V [ = [G : U[ [G : V [ si y solo si
G = UV
(d) Si G es nito y mcd([G : U[, [G : V [) = 1, entonces G = UV
DEMOSTRACIN.
(a) Del teorema 1.3.6 se tiene: [U : U V [ = [UV : V [ [G : V [. Del
teorema 1.3.5 (a) se sigue que
[G : U V [ = [G : U[ [U : U V [ [G : U[ [G : V [.
(v) Se sigue de (a).
(c) Sea G nito. La igualdad [G : U V [ = [G : U[ [G : V [ signica que
[G[
[U V [
=
[G[
[U[
[G[
[V [
=
[G[
2
[U[ [V [
.
Usando el teorema 1.3.6 obtenemos:
[G[ =
[U[ [V [
[U V [
= [UV [.
(d) Dado que [G : UV [ = [G : U[[U : UV [, se sigue que [G : U[ divide
a [G : UV [, similarmente se tiene que [G : V [ divide a [G : UV [. Por
hiptesis mcd([G : U[, [G : V [) = 1, entonces [G : U[[G : V [ divide a
[G : U V [. De (a) se sigue que [G : U V [ = [G : U[[U : U V [.
Usando (c) se sigue que G = UV .
i
i
i
i
i
i
i
i
26 Ismael Gutirrez
1.4 Ejercicios
1. Demuestre que, si q = p
k
, siendo p un primo, entonces
[GL
n
(q)[ = (q
n
1)(q
n
q) (q
n
q
n1
)
2. Sea G un grupo y g G. Demuestre que si g
2
= g, entonces g = e.
3. Sea G = GL
2
(1) con la multiplicacin usual de matrices. Considere-
mos los subconjuntos de G
(a) U =
_
_
a 0
b c
_
a, b 1, ac ,= 0
_
(b) V =
_
_
a 0
0 a
1
_
a 1
_
(c) W =
_
_
a 0
0 a
1
_
,
_
0 a
a
1
0
_
a 1
_
.
Demuestre que U, V, W G.
4. Sea G = Sym(4) y notemos con Alt(4) al conjunto de todas las per-
mutaciones pares de Sym(4). Es decir,
Alt(4) = (1), (12)(34), (13)(24), (14)(23), (123), (132), (234),
(243), (341), (314), (412), (421)
Demuestre que Alt(4) < Sym(4).
5. Sean G un grupo y U un subconjunto no vaco, nito de G. Demuestre
que U G si y solo si para todo u, v U se verica que uv U.
6. Si m, n Z, y k := mcm(m, n), demuestre que mZ nZ = kZ.
7. Sea G = GL
2
(1) con la multiplicacin usual de matrices y sea
|
8
:=
__
0 1
1 0
_
,
_
1 0
0 1
__
Halle todos los elementos de |
8
.
8. Sea G un grupo con [G[ par. Demuestre que G tiene por lo menos un
elemento g tal que g
2
= e.
i
i
i
i
i
i
i
i
9. Halle el orden de todos los elementos de GL
2
(2).
10. Sea U un subgrupo de un grupo G. Si T es un transversal izquierdo de
U en G, demuestre que T
1
es un transversal derecho de U en G.
1.4. Ejercicios
i
i
i
i
i
i
i
i
28 Ismael Gutirrez
i
i
i
i
i
i
i
i
Captulo 2
Subgrupos normales y
homomorsmos
Contenido
2.1 Subgrupos normales . . . . . . . . . . . . . . . . . . . . 29
2.2 Homomorsmos . . . . . . . . . . . . . . . . . . . . . . 33
2.3 Endomorsmos y automorsmos . . . . . . . . . . . . . 40
2.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 46
En la teora de espacios vectoriales se encuentra que con respecto a cualquier
subespacio de un espacio vectorial dado, uno siempre puede formar el conjunto
cociente y la estructura se hereda. Mas aun, el nuevo espacio vectorial diere
del original en su dimensin.
En el caso de los grupos la situacin es totalmente diferente. No siempre
el conjunto de las clases laterales de un subgrupo con la operacin cannica
adquiere la estructura de grupo. Esta propiedad deseada se verica solo para
algunos subgrupos especiales, denominados usualmente subgrupos normales,
los cuales estudiaremos en este captulo.
2.1 Subgrupos normales
2.1.1 Denicin. Sea Gun grupo. Un subgrupo N de Gse denomina normal
en G, si para todo g G se verica que gNg
1
N. Es decir, para todo
g G y para todo n N se tiene que gng
1
N. Usaremos la notacin
N G. Si N es un subgrupo propio de G, escribiremos N G.
29
i
i
i
i
i
i
i
i
30 Ismael Gutirrez
El siguiente teorema, establece una serie de criterios para determinar la nor-
malidad de un subgrupo N de G.
2.1.2 Teorema. Sea G un grupo y N G. Las siguientes armaciones son
equivalentes:
(a) N G
(b) gNg
1
= N, para todo g G.
(c) gN = Ng, para todo g G.
(d) gN hN = ghN, para todo g, h G.
DEMOSTRACIN. (a) (b) Sean g G y n N cualesquiera. Entonces
n = g(g
1
ng)g
1
gNg
1
.
Esto demuestra que N gNg
1
.
(b) (c). Sea gn gN. Entonces gng
1
gNg
1
. Por lo tanto existe
n
N tal que gng

1
= n
. Entonces gn = n
g Ng y se sigue entonces
que gN Ng. De manera similar se demuestra la otra contenencia.
(c) (d). Sean g, h G. Entonces
gN hN = g(hN)N = ghNN = ghN.
(d) (a). Si g G, entonces g
1
N gN = N y as g
1
Ng N.
2.1.3 Ejemplos. Sean G un grupo y K un cuerpo.
(a) Los subgrupos triviales de Gson subgrupos normales de G. Si estos son
sus nicos subgrupos normales, entonces G se denomina simple.
(b) En un grupo abeliano todos los subgrupos son normales.
(c) Sean G = Sym(3), N = (1), (123), (132) y U = (1), (23). Se
verica que N G, mientras que U no lo es.
(d) SLG
n
(K) GL
n
(K)
2.1.4 Lema. Sean G un grupo, N, N
1
, N
2
G y U G. Entonces
(a) U N U
(b) UN = NU G
Captulo 2. Subgrupos normales y homomorsmos
i
i
i
i
i
i
i
i
(c) N
1
N
2
G
(d) N
1
N
2
G
(e) Si N
1
N
2
= e, entonces n
1
n
2
= n
2
n
1
para todo n
i
N
i
.
DEMOSTRACIN.
(a) Sean u U y n NU. Dado que NG, se verica que unu
1
N.
De la cerradura de la operacin en U se tiene que unu
1
U. Por lo
tanto unu
1
N U.
(b) Es consecuencia de los teoremas 2.1.2 se sigue que NU = UN y del
teorema 1.2.12 se tiene el resto.
(c) Sean g G y n
i
N
i
. Entonces gn
1
n
2
g
1
= (gn
1
g
1
)(gn
2
g
1
)
N
1
N
2
. Por lo tanto N
1
N
2
G.
(d) Sean g G y n N
1
N
2
. Entonces n N
1
y n N
2
. Dado
que N
i
G, se tiene que gng
1
N
1
y gng
1
N
2
. Por lo tanto
gng
1
N
1
N
2
, lo cual demuestra la normalidad de N
1
N
2
.
(e) Sean n
i
N
i
, con i = 1, 2. Entonces
n
1
n
2
n
1
1
n
1
2
= n
1
(n
2
n
1
1
n
1
2
) N
1
y tambin
n
1
n
2
n
1
1
n
1
2
= (n
1
n
2
n
1
1
)n
1
2
N
2
.
Por lo tanto n
1
1
n
1
2
n
1
n
2
N
1
N
2
y as n
1
1
n
1
2
n
1
n
2
= e y se sigue
que n
1
n
2
= n
2
n
1
.
La propiedad (d) del teorema 2.1.2 nos permite denir una operacin sobre
el conjunto de las clases laterales izquierdas de un subgrupo normal en un
grupo. Demostramos ahora que este conjunto adquiere la estructura de grupo.
2.1.5 Teorema. Sean Gun grupo, NG. Denamos G/N := gN [ g G
y sobre ste consideremos la operacin binaria
gN hN = ghN, g, h G.
Entonces G/N es un grupo, el cual llamaremos grupo factor o grupo cociente
de G mdulo N. Si [G : N[ es nito, entonces [G/N[ = [G : N[.
2.1. Subgrupos normales
i
i
i
i
i
i
i
i
32 Ismael Gutirrez
DEMOSTRACIN. Es claro que la operacin est bien denida. La asocia-
tividad de sta es una consecuencia inmediata de la asociatividad de la op-
eracin en G. Sea g G. Entonces
N(gN) = (eN)(gN) = (eg)N = gN.
Es decir, N es el mdulo en G/N. Por otro lado
g
1
N gN = g
1
gN = eN = N.
Entonces, (gN)
1
= g
1
N.
Si N G, es usual el siguiente diagrama para ilustrar G/N.
G
_
G/N
N
e
2.1.6 Lema. Sea G un grupo y N < G con [G : N[ = 2. Entonces
(a) N G.
(b) g
2
N, para todo g G.
DEMOSTRACIN.
(a) Dado que [G : N[ = 2, se sigue que
G = N gN = N Ng,
con g / N. Por lo tanto
gN = N = Ng.
Del teorema 2.1.2 se sigue que N G.
(b) Si g N, entonces la armacin es inmediata. Supongamos que g / N.
Entonces gN ,= N. Si g
2
/ N, entonces g
2
N ,= N y se debe vericar
que g
2
N = gN. Esto trae como consecuencia que gN = N, lo cual no
es posible.
En el grupo diedrico D
n
= , se verica que el subgrupo es normal,
ya que [D
n
: [ = 2.
i
i
i
i
i
i
i
i
2.2 Homomorsmos
Al estudiar objetos algebraicos, generalmente se despierta un gran inters por
las funciones entre ellos que respetan o preservan la estructura. Tales funciones
son usualmente denominadas homomorsmos. En lo que sigue nos ocupare-
mos de estudiar homomorsmos entre grupos, haciendo especial nfasis en el
estudio de su imagen y de su ncleo. Existe una clase especial de homomor-
smos, los denominados isomorsmos, los cuales preservan toda la estructura
algebraica. Esto es, cualquier armacin sobre la estructura algebraica de G,
ser vlida para cualquier grupo isomorfo a G.
2.2.1 Denicin. Sean (G, ) y (H, ) dos grupos y : G H.
(a) Diremos que es un homomorsmo entre Gy H, si para todo x, y G
se verica:
(x y) = (x) (y).
El conjunto de todos los homomorsmos de G en H lo notaremos con
Hom(G, H).
(b) Sea Hom(G, H).
1. Si es inyectiva, entonces se denomina un monomorsmo.
2. Si es sobreyectiva, entonces se llama un epimorsmo.
3. Si es biyectiva, entonces llamaremos a un isomorsmo. Si
existe un isomorsmo entre Gy H escribiremos G

= H y diremos
que G y H son isomorfos.
4. Si G = H, entonces escribiremos End(G) en lugar de Hom(G, G)
y sus elementos se llamarn endomorsmos de G. Con Aut(G)
notaremos al subconjunto de End(G) formado por todos los iso-
morsmos de G, sus elementos se llamarn automorsmos de G.
5. Se notan y denen el ncleo y la imagen de de la siguiente
manera
ker() := g G [ (g) = e.
Im() := (g) [ g G.
2.2.2 Lema. Sean G, H y K grupos.
(a) Si : G H y : H K son homomorsmos, entonces es
un homomorsmo de G en K
2.2. Homomorsmos
i
i
i
i
i
i
i
i
34 Ismael Gutirrez
(b) Si : G H es un isomorsmo, entonces
1
: H G es un
isomorsmo.
DEMOSTRACIN.
(a) Sean x, y G. Entonces
(xy) = ((x)(y)) = ((x))((y)) = ()(x)()(y).
(b) Dado que es un isomorsmo, en particular es biyectiva. Entonces para
x, y H existen a, b G tales que (a) = x y (b) = y. Entonces
1
(xy) =
1
((a)(b)) =
1
((ab)) = ab =
1
(x)
1
(y).
Como consecuencia de este lema se tiene que la relacin

= es una relacin
de equivalencia sobre la clase de todos los grupos.
2.2.3 Ejemplos. Sea K un cuerpo con grupo multiplicativo K
. Sean ade-
ms G un grupo y n N.
(a) La funcin det : GL
n
(K) K
es un epimorsmo cuyo ncleo es

el grupo lineal especial SLG
n
(K).
(b) Para g G jo, denamos la funcin
g
: G G mediante
g
(x) = gxg
1
, para todo x G.
Se verica que
g
es un automorsmo de G. En efecto, sean x, y G.
Entonces
g
(xy) = g(xy)g
1
= (gxg
1
)(gyg
1
) =
g
(x)
g
(y).
Esto demuestra que para cada g G, la funcin
g
es un endomorsmo
de G. La funcin
g
1 es la inversa de
g
. Por lo tanto
g
Aut(G).
Cada automorsmo de esta forma se denominar un automorsmo in-
terior de G. El conjunto
Inn(G) :=
g
[ g G
lo llamaremos el conjunto de los automorsmos interiores de G.
i
i
i
i
i
i
i
i
Retornando a la denicin de subgrupo normal, podemos armar que estos
son precisamente aquellos subgrupos de G que son invariantes bajo automor-
smos interiores, es decir, la imagen de este bajo un automorsmo interior de
G es un subconjunto del subgrupo considerado.
En el siguiente teorema demostramos algunas consecuencias inmediatas de
la denicin de homomorsmos entre grupos. Si G y H son grupos, no us-
aremos distintivos para sus mdulos, escribiremos siempre para este e y en el
contexto entenderemos a cual hacemos referencia.
2.2.4 Lema. Sean G y H grupos, U G, V H y Hom(G, H).
Entonces:
(a) (e
G
) = e
H
(b) (g
1
) = (g)
1
, para todo g G
(c) (g
n
) = (g)
n
, para todo g G y todo n Z
(d) (U) H. En particular Im() H
(e)
1
(V ) G
(f) ker() G
DEMOSTRACIN.
(a) e
H
(e
G
) = (e
G
) = (e
G
e
G
) = (e
G
)(e
G
). Entonces (e
G
) =
e
H
.
(b) Sea g G. Entonces (g)(g
1
) = (gg
1
) = (e
G
) = e
H
. Por lo
tanto (g
1
) = (g)
1
.
(c) Procedemos por induccin sobre n:
1. Si n = 1, entonces la armacin se cumple trivialmente.
2. Supongamos ahora que (g
k
) = (g)
k
, para todo g G y para
todo k N. Entonces:
(g
k+1
) = (g
k
g) = (g
k
)(g) = (g)
k
(g) = (g)
k+1
.
3. Sea ahora n < 0. Entonces n N. Sabemos que g
n
g
n
= e
G
.
Por lo tanto
e
H
= (g
n
g
n
) = (g
n
)(g
n
).
Entonces:
(g
n
) = (g
n
)
1
= ((g)
n
)
1
= (g)
n
.
2.2. Homomorsmos
i
i
i
i
i
i
i
i
36 Ismael Gutirrez
(d) Sean (g), (h) (U). Entonces
(g)(h)
1
= (gh
1
) (U).
(e) Dado que e
G

1
(V ), se sigue que
1
(V ) ,= . Sean x, y
1
(V ). Entonces
(xy
1
) = (x)(y)
1
V.
Por lo tanto xy
1

1
(V ).
(f) Note que ker() =
1
(e
H
) G. Para demostrar la normalidad de
ker(), sean g G y x ker(). Entonces
(gxg
1
) = (g)(x)(g
1
) = (g)(g
1
) = (g)(g)
1
= e
H
.
Esto demuestra que gxg
1
ker(). Es decir, ker() G.
2.2.5 Lema. Sean G, H grupos y Hom(G, H). Entonces:
(a) es un monomorsmo, si y solo si ker() = e.
(b) es un epimorsmo si y solo si Im() = H
(c) es un isomorsmo si y solo si Im() = H y ker() = e
DEMOSTRACIN.
(a) Sea inyectiva y g ker(). Entonces (g) = e
H
= (e
G
) y se sigue
que g = e
G
.
Recprocamente, sea ker() = e
G
y g, h G con (g) = (h).
Entonces (g)(h)
1
= e
H
y se sigue que (gh
1
) = e
H
. Esto de-
muestra que gh
1
ker() = e
G
y por tanto g = h.
(b) Se sigue de la denicin de epimorsmo.
(c) Es una consecuencia de (a) y (b).
2.2.6 Ejemplos. Sea V el 4-grupo de Klein.
(a) Sea : V V denida por (x) := x
2
, para todo x V . Se verica
que es un endomorsmo de V , con ker() = V .
(b) Sea exp : (1, +) (1
, ) denida por exp(x) := e

x
. Se verica
que exp es un homomorsmo inyectivo, por lo tanto ker(exp) = 0.
i
i
i
i
i
i
i
i
2.2.7 Teorema. (Isomorfa I) Sean G y H grupos.
(a) Si Hom(G, H), entonces la funcin : G/ker() Im()
denida por (gker()) = (g) es un isomorsmo. Es decir,
G/ker()

= Im() (2.1)
(b) Recprocamente, si NG, entonces la funcin : G G/N denida
por (g) = gN es un epimorsmo y ker() = N. Esta funcin la
llamaremos epimorsmo cannico.
Ilustracin:
G
Im() G/N
DEMOSTRACIN.
(a) Del teorema 2.2.4 (d) se tiene que ker() G.
(1) est bien denida: Sean x, y G.
xker() = yker() y
1
x ker()
(y
1
x) = e
(x) = (y)
(xker()) = (yker())
(2) Es claro que es un epimorsmo.
(3) es un monomorsmo: Sea x G. Entonces
xker() ker() (x) = e
x ker()
xker() = ker().
Esto demuestra que ker() = ker() = e.
(b) Consideremos ahora la funcin :
2.2. Homomorsmos
i
i
i
i
i
i
i
i
38 Ismael Gutirrez
(1) es un homomorsmo: Sean x, y G. Entonces
(xy) = xyN = xN yN = (x)(y).
(2) Claramente es un epimorsmo.
(3) es monomorsmo: Sea x G.
x ker() (x) = e xN = N x N.
Entonces ker() = N.
2.2.8 Teorema. (Isomorfa II) Sean N G y U G. Entonces
UN/N

= U/(U N).
Ilustracin:
G
UN
U N
U N
e
DEMOSTRACIN. Del lema 2.1.4 tenemos que UN G y U N U.
Consideremos la funcin : U UN/N denida por (u) := uN.
(a) est bien denida: sean u, v U. Si u = v, entonces v
1
u = 1 N.
Por consiguiente, v
1
uN = N. Entonces uN = vN.
(b) Es claro que es un epimorsmo.
(c) Sea u U. Entonces
u ker() uN = N u N u U N.
i
i
i
i
i
i
i
i
Esto demuestra que ker() = U N. Usando el primer teorema de
isomorfa se tiene que
U/(U N) = U/ker()

= Im() = UN/N.
2.2.9 Teorema. (Isomorfa III) Sean N, MGy N M. Entonces M/N
G/N y adems (G/N)/(M/N)

= G/M.
Ilustracin:
G
M
N
e
G/N
M/N
e
DEMOSTRACIN. Sea : G/N G/M denida por (gN) := gM.
(a) est bien denida: Sean g, h G y supongamos que gN = hN.
Entonces h
1
g N M. Por lo tanto que gM = hM.
(b) es un homomorsmo: Sean g, h G. Entonces
(gNhN) = (ghN) = (gh)M = gMhM = (gN)(hN).
(c) No es difcil vericar que es un epimorsmo.
(d) es un monomorsmo: sea g G.
gN ker() gM = M g M.
Entonces ker() = M/N y por tanto M/N G/N. Nuevamente us-
amos el primer teorema de isomorfa
(G/N)/(M/N) = (G/N)/ker()

= Im() = G/M.
2.2. Homomorsmos
i
i
i
i
i
i
i
i
40 Ismael Gutirrez
Dados dos grupos G y H y un homomorsmo : G H, en el siguiente
teorema establecemos una correspondencia entre los elementos del conjunto
de todos los subgrupos de G que contienen al ncleo de y el conjunto de
todos los subgrupos de Im().
2.2.10 Teorema. (Correspondencia) Sean G y H grupos y : G H un
homomorsmo. Denamos los conjuntos
| := U G [ ker() U y 1 := V [ V Im().
Para V 1 sea nuevamente
1
(V ) := x G [ (x) V .
Entonces las funciones
1
: | 1 y
2
: 1 | denidas respectivamente
por
1
(U) = (U) y
2
(V ) =
1
(V )
son biyectivas y una es la inversa de la otra.
DEMOSTRACIN.
G

//
Im()
U
//
(U)
ker() e
e
G

//
Im()
V
//
V
ker() e
e
2.3 Endomorsmos y automorsmos
2.3.1 Lema. Sean (G, ) y (H, +) grupos, con H abeliano Entonces
Hom(G, H) es un grupo abeliano con respecto a la operacin
( +)(g) := (g) +(g), , Hom(G, H).
i
i
i
i
i
i
i
i
DEMOSTRACIN. La funcin : G H, denida por (g) := e, para
todo g G, es un homomorsmo. Por lo tanto Hom(G, H) es no vaco y
funciona como mdulo.
Sean , Hom(G, H) y g, h G. Entonces
( +)(gh) = (gh) +(gh)
= (g) +(h) +(g) +(h)
= (g) +(g) +(h) +(h)
= ( +)(g) + ( +)(h)
Esto demuestra que + Hom(G, H). La asociatividad de la operacin es
evidente. Si denimos ()(g) := (g), entonces se verica sin dicultades
que Hom(G, H) y adems es la inversa de .
2.3.2 Corolario. El conjunto de los endomorsmos de un grupo abeliano A
forma un anillo con elemento identidad.
DEMOSTRACIN. Como multiplicacin se toma la composicin de fun-
ciones.
Note que si G es un grupo, entonces Aut(G) es un grupo con respecto a
la composicin de funciones, pero con respecto a la suma denida en el lema
anterior, en general, no lo es. En efecto, si Ges un grupo abeliano, entonces las
funciones idntica e inversin son automorsmos de G, no obstante la suma
de stas es / Aut(G).
2.3.3 Teorema. Sean G un grupo
(a) Para todo h G, la funcin
h
: G Gdenida por
h
(g) = hgh
1
es un automorsmo de G.
(b) Inn(G) :=
h
[ h G Aut(G).
(c) Sea : G Inn(G) denida por (g) :=
g
. Entonces es un
epimorsmo. Su ncleo lo notaremos con Z(G) y lo llamaremos el
centro de G.
(d) Z(G) = x [ x G, xy = yx, y G y adems G/Z(G)

= Inn(G).
DEMOSTRACIN.
(a) Ver ejemplo 2.2.3 (b).
2.3. Endomorsmos y automorsmos
i
i
i
i
i
i
i
i
42 Ismael Gutirrez
(b) Dado que
e
= Id
G
, se sigue que Inn(G) ,= . Sean
g
,
h
Inn(G)
y x G. Entonces
(
g
h
)(x) =
g
(
h
(x)) = g(hxh
1
)g
1
= (gh)x(gh)
1
=
gh
(x)
Es decir
g
h
=
gh
Inn(G). Por otro lado,
g
g
1 =
e
= Id
G
, lo
cual demuestra que
g
1 =
1
g
Inn(G).
Finalmente, sean
g
Inn(G), Aut(G) y x G. Entonces:
(
g
1
)(x) = (g
1
(x)g
1
) = (g)x(g)
1
=
(g)
(x).
Esto demuestra que
1
g
Inn(G) y se tiene la conclusin.
(c) Sean g, h, x G. Entonces
gh
(x) = (gh)x(gh)
1
= g(hxh
1
)g
1
=
g
(
h
(x)) = (
g
h
)(x).
Esto demuestra que (gh) = (g)(h), para todo g, h G. Por lo
tanto Hom(G, Inn(G)). Es claro que es sobre y en consecuencia
un epimorsmo.
(d) Evaluemos ahora el ncleo de .
g ker()
g
= Id
G
gxg
1
= x, para todo x G
gx = xg, para todo x G
Aplicando ahora el primer teorema de isomorfa se tiene el resto.
Usualmente el grupo cociente Aut(G)/Inn(G) es denominado el grupo de
los automorsmos exteriores de G. Note que G es un grupo abeliano si y
solo si Z(G) = G.
2.3.4 Ejemplo. Examinemos el grupo de automorsmos del 4-grupo de Klein.
Sea G = e, g, h, gh, con g
2
= h
2
= e. Si Aut(G), entonces debe
vericarse que sea biyectiva y adems (e) = e. Entonces Aut(G) es un
subconjunto de
I
G
, , ,
2
, ,
2
,
donde
=
_
e g h gh
e h gh g
_
i
i
i
i
i
i
i
i
y
=
_
e g h gh
e g gh h
_
Se puede vericar que todas estas funciones son homomorsmos. Por lo tanto
Aut(G) = I
G
, , ,
2
, ,
2
. Se deja como ejercicio demostrar que
Aut(G)

= Sym(3).
2.3.5 Denicin. Sean G un grupo, , = M G y U G.
(a) El normalizador de M en U, notado N
U
(M), se dene por
N
U
(M) := g U [ M
g
= M = g U [ gMg
1
= M.
(b) El centralizador de M en U, notado C
U
(M), se dene por
C
U
(M) := g U [ m
g
= m, m M
= g U [ gmg
1
= m, m M.
(c) Note que Z(G) = C
G
(G).
2.3.6 Lema. Sean G un grupo, , = M G y U G. Entonces
(a) N
U
(M), C
U
(M) G.
(b) El nmero de conjugados de M en G coincide con el nmero de clases
laterales de N
G
(M). Es decir,
[M
g
[ g G[ = [G : N
G
(M)[.
(c) U G si y solo si N
G
(U) = G
(d) U N
G
(U) y todo subgrupo de Gen el cual U es normal est contenido
en N
G
(U). Es decir, N
G
(U) es el subgrupo mas grande de G en el cual
U es normal.
DEMOSTRACIN.
(a) Dado que e N
U
(M), se sigue que N
U
(M) ,= . Sean a, b N
U
(M).
Entonces
a N
U
(M) aMa
1
= M a
1
Ma = M a
1
N
U
(M).
i
i
i
i
i
i
i
i
44 Ismael Gutirrez
Por lo tanto
M
ab
1
= ab
1
M(ab
1
)
1
= ab
1
Mba
1
= aMba
1
= M.
Esto demuestra que N
U
(M) U.
Dado que e C
U
(M), se sigue que C
U
(M) ,= . Sean a, b C
U
(M)
y m M, cualquiera. Entonces
m
ab
= (m
b
)
a
= m
a
= m.
Por lo tanto ab C
U
(M). Similar se demuestra la cerradura para inver-
sos de elementos de C
U
(M).
(b) Sean g, h G. Entonces
gMg
1
= hMh
1
h
1
gMg
1
h = M
(h
1
g)M(h
1
g)
1
= M
h
1
g N
G
(M)
gN
G
(M) = hN
G
(M).
En conclusin, N
U
(M) tiene tantas clases laterales izquierdas distintas
en G como conjugados distintos tenga M.
(c) Se deja como ejercicio.
(d) Se deja como ejercicio.
2.3.7 Teorema. Sean G un grupo y U G. Entonces C
G
(U) N
G
(U) y
adems N
G
(U)/C
G
(U) es isomorfo a un subgrupo de Aut(U).
DEMOSTRACIN. Sea g N
G
(U) y consideremos la funcin
g
: U U
denida por
g
(u) = u
g
. En el teorema 2.3.3 se demostr que
g
Aut(U)
y que
g
h
=
gh
. Adems la funcin
: N
G
(U) Aut(U)
denida por (x) :=
x
es un homomorsmo, cuyo ncleo es C
G
(U). La
conclusin se sigue del primer teorema de isomorfa.
2.3.8 Denicin. Sea U G
i
i
i
i
i
i
i
i
(a) U se denomina un subgrupo caracterstico de G, si y solo si (U) U,
para todo Aut(G). Usaremos la notacin notado U char G.
(b) U se denomina completamente invariante, si y solo si (U) U, para
todo End(G).
Si U char G, entonces (U) = U para todo Aut(G). En efecto, de la
denicin se sigue
1
(U) U para todo Aut(G). Entonces U (U)
para todo Aut(G).
2.3.9 Lema. Sean U, N G.
(a) Si U es completamente invariante, entonces U char G y si N char G,
entonces N G.
(b) Las relaciones ser caracterstico y ser completamente invariante son
transitivas.
(c) Si U char N y N G, entonces U G.
(d) Si U V G con U char G y V/U char G/U, entonces V char G.
DEMOSTRACIN.
(a) La primera armacin se sigue del hecho que Aut(G) End(G) y la
segunda de que Inn(G) Aut(G).
(b) Supongamos que U char V y V char G y sea Aut(G). Entonces
(V ) V y adems induce un automorsmo sobre V , que deja in-
variante a U. Entonces (U) U y se demuestra que U char G. Un ra-
zonamiento similar demuestra el caso completamente invariante. Note
que la restriccin de un endomorsmo (automorsmo) a un subgrupo
completamente invariante (caracterstico) es un endomorsmo (auto-
morsmo).
(c) Sea
g
Inn(G). Dado que N G, se tiene que
g
(N) = N. Si
denimos
g
como la restriccin de
g
a N, entonces
g
Aut(N) y
se verica que
g
(U) = U. Por lo tanto U G.
(d) Se deja como ejercicio.
Puede vericarse que la normalidad no es transitiva. Es decir, si U N y
N G, no necesariamente U G. Por ejemplo, considere el grupo alternante
de grado 4. Se verica que C
2
V
4
Alt(4). Sin embargo C
2
_ Alt(4)
i
i
i
i
i
i
i
i
46 Ismael Gutirrez
(a) Z(G) char G. Sea x Z(G), g G y Aut(G). Entonces
(x)g = (x)(h), para algn h G.
Por lo tanto
(x)g = (xh) = (hx) = (h)(x) = g(x).
Esto demuestra que (x) conmuta con cada elemento de G. En general
Z(G) no es un subgrupo completamente invariante.
(b) Si U es el nico subgrupo de G con orden n, entonces U char G. Sea
Aut(G). Entonces [(U)[ = [U[ = n. Por otro lado (U) G y
dado que U es nico subgrupo de G con orden n, se tiene que (U) =
U.
(c) Sea k N jo y denamos G
k
:= g
k
[ g G. Entonces G
k
es un
subgrupo completamente invariante de G. Si x G
k
, entonces x tiene
la forma x = x
1
1
x
n
n
, donde n N, x
i
= g
k
i
y g
i
G. Sea ahora
End(G). Entonces:
(x) = (x
1
)
1
(x
n
)
n
= (g
1
)
k
1
(g
n
)
kn
= (h
k
1
)
1
(h
k
n
)
n
G
k
.
2.4 Ejercicios
Sea G un grupo.
1. Sean G = GL
2
(1) con la multiplicacin usual de matrices y
N =
_
_
a 0
0 a
1
_
a 1
_
.
Verique que N es un subgrupo normal de G con ndice 2.
2. Sea (N
j
)
jJ
una familia de subgrupos normales de G, si denimos
D
1
:=
jJ
N
j
y D
2
:= N
j
j J,
Demuestre que D
1
, D
2
G
i
i
i
i
i
i
i
i
3. Sea N G. Consideremos los conjuntos
M
1
:= U [ U G, N U, N
1
:= U [ U G/N
y
M
2
:= M [ M G, N M, N
2
:= M [ M G/N
Demuestre que las siguientes funciones son biyectivas:
M
1
U

1
U/N N
1
y
M
2
M

2
M/N N
2
4. Halle todos los subgrupos normales de GL
2
(2) y |
8
.
5. Denamos
8
:=
__
0 1
1 0
_
,
_
0
0
__
< GL
2
(C)
Este grupo es denominado el grupo de los quaterniones de orden 8.
Halle todos los elementos de
8
, sus subgrupos y sus subgrupos nor-
males.
6. Demuestre que la inversin sobre G, es decir, la funcin
G g g
1
G
es un isomorsmo de G si y solo si G es abeliano.
7. Sea m Z. Demuestre que si G es abeliano, entonces la funcin
G g
m
g
m
G
es un homomorsmo.
8. Para n 1 determine [GL
2
(n) : SL(2, n)[.
9. Cuantos elementos tienen los grupos GL
2
(3) y SL(2, 3)?
10. Determine Z(GL
2
(2))
11. Sea G = Sym(3). Demuestre que Z(G) = e y por lo tanto G

=
Inn(G).
2.4. Ejercicios
i
i
i
i
i
i
i
i
48 Ismael Gutirrez
12. Sean G y H grupos, Hom(G, H) y X un sistema de generadores
de G. Demuestre que queda determinado de manera nica por las
imgenes de los elementos de X.
13. Sean G y H grupos, Hom(G, H). Demuestre
(a) Si N H, entonces
1
(N) = g G [ (g) N G.
(b) Si N G y es un epimorsmo, entonces (N) H.
i
i
i
i
i
i
i
i
Captulo 3
Grupo simtrico y grupo
alternante
Contenido
3.1 Notacin de ciclos . . . . . . . . . . . . . . . . . . . . . 49
3.2 El signo de una permutacin . . . . . . . . . . . . . . . 53
3.3 El grupo alternante . . . . . . . . . . . . . . . . . . . . 56
3.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 60
En el captulo uno se introdujo el grupo simtrico de grado n, notado con
Sym(n). Uno de los principales resultados de este captulo es demostrar que
existe un nico homomorsmo (no trivial) de Sym(n) en Z
2
. Este resultado
trae como consecuencia que Sym(n) admite un subgrupo normal de ndice 2,
el denominado grupo alternate de grado n
3.1 Notacin de ciclos
3.1.1 Denicin. Sea = 1, 2, , n.
(a) Si Sym(n), utilizaremos el siguiente esquema para representar a :
=
_
1 2 n
(1) (2) (n)
_
(3.1)
49
i
i
i
i
i
i
i
i
50 Ismael Gutirrez
(b) Una permutacin Sym(n) para la cual existe una descomposicin
= a
1
, a
2
, . . . , a
k
b
1
, b
2
, . . . , b
nk
tal que
=
_
a
1
a
2
a
k1
a
k
b
1
b
2
b
nk
a
2
a
3
a
k
a
1
b
1
b
2
b
nk
_
se denominar un k-ciclo o tambin un ciclo de longitud k. En otras
palabras, Sym(n) es un un k-ciclo, si existen a
1
, a
2
, . . . , a
k

tales que (a
1
) = a
2
, (a
2
) = a
3
, . . ., (a
k1
) = a
k
, (a
k
) =
a
1
y (x) = x para todo x a
1
, a
2
, , a
k
. Para abreviar,
utilizaremos la notacin
= (a
1
a
2
. . . a
k
)
Note que los ciclos (a
1
a
2
. . . a
k
), (a
k
a
1
. . . a
k1
), etc representan la
misma permutacin.
(c) Un 2-ciclo se denominar una transposicin. Esto es, una transposicin
intercambia dos nmeros y deja jo al resto. Evidentemente, si es una
transposicin, entonces
2
= Id
y
1
= .
3.1.2 Ejemplo. Consideremos las permutaciones
=
_
1 2 3 4
3 1 4 2
_
, =
_
1 2 3 4
4 2 1 3
_
Sym(4).
Expresadas en notacin de ciclos se tiene = (1342) y = (143). Adems
= (24) y = (12). Es decir son ambas transposiciones.
3.1.3 Ejemplo. La permutacin Sym(5) dada por
=
_
1 2 3 4 5
3 4 1 5 2
_
no es expresable como un ciclo, pero puede descomponerse como un producto
de ciclos. En efecto, = (13)(245).
Consideraremos a Sym(n) como un grupo usando la composicin de fun-
ciones como operacin binaria. Si Sym(n) y m N, entonces escribire-
mos
m
para denotar la composicin de con si mismo m-veces.
3.1.4 Teorema. Sym(n) tiene n! elementos. Esto es, [Sym(n)[ = n!.
Captulo 3. Grupo simtrico y grupo alternante
i
i
i
i
i
i
i
i
DEMOSTRACIN. Sea = 1, 2, , n. En primer lugar es importante
anotar lo siguiente: Dado que Sym(n) es una biyeccin, debe cumplirse
que (i) ,= (j) para todo i, j , con i ,= j. Entonces para (1) existen n
posibilidades.
(2) puede ser cualquiera de los nmeros del 1 al n exceptuando (1), es
decir tenemos n 1 posibilidades para (2). En total tenemos n(n 1) posi-
bilidades para dejar jos a (1) y (2).
En general, para la eleccin de (j) tenemos n (j 1) posibilidades, ya
que (j) / (1), (2), , (j 1). Entonces se sigue que el nmero de
elementos de Sym(n), el cual notaremos con [Sym(n)[ est dado por
[Sym(n)[ =
n
j=1
(n j + 1) = n(n 1) 3 2 1 = n!
Como casos particulares se tiene que [Sym(2)[ = 2 y [Sym(3)[ = 6.
3.1.5 Denicin. Sean = (a
i
1
, . . . , a
i
k
) y = (b
i
1
, . . . , b
im
) elementos de
Sym(n). Diremos que y son disjuntos, si
a
i
1
, . . . , a
i
k
b
i
1
, . . . , b
im
= .
En el siguiente teorema se demuestra que toda permutacin de Sym(n)
puede expresarse como un producto de ciclos disjuntos.
3.1.6 Teorema. Sea n N. Entonces
(a) Todo Sym(n) tiene una descomposicin en ciclos de la forma
= (a
1
, (a
1
), . . . ,
n
1
1
(a
1
)) (a
k
, (a
k
), . . . ,
n
k
1
(a
k
)),
donde n
j
N,
k
j=1
n
j
= n y =
n
j=1
a
j
, (a
j
) . . . ,
n
j
1
(a
j
).
(b) Se verica adems que
(a
1
, a
2
. . . , a
k
) = (a
1
, a
k
)(a
1
, a
k1
) (a
1
, a
2
).
Esto es, toda permutacin es un producto de transposiciones.
DEMOSTRACIN.
(a) Comenzamos con a
1
= 1 y consideremos los nmeros
j1
(a
1
), con
j N. Dado que es un conjunto nito, estos nmeros no son todos
distintos. Es decir, existe n
1
N tal que
a
1
, (a
1
), . . . ,
n
1
1
(a
1
)
3.1. Notacin de ciclos
i
i
i
i
i
i
i
i
52 Ismael Gutirrez
son distintos dos a dos y adems se verica que
n
1
(a
1
) a
1
, (a
1
), . . . ,
n
1
1
(a
1
).
Esto es, existe k con 0 k < n
1
y
n
1
(a
1
) =
k
(a
1
). Entonces
n
1
k
(a
1
) = a
1
. Por la eleccin de n
1
se sigue que k = 0 y se tiene
que
n
1
1
(a
1
) = a
1
.
Si n
1
< n, elegimos a
2
a
1
, (a
1
), . . . ,
n
1
1
(a
1
). Entonces
j
(a
1
) [ j N
j
(a
2
) [ j N =
y tenemos un nuevo ciclo (a
2
, (a
2
), . . . ,
n
2
1
(a
2
)). Despus de un
nmero nito de pasos se tiene la armacin.
(b) Si x
j
a
1
, . . . , a
k
, entonces el ciclo (a
1
, . . . , a
k
) deja jo a x
j
.
Por otro lado, si j = k se verica que
(a
1
, a
k
)(a
1
, a
k1
) (a
1
, a
2
)(a
j
) = a
1
y si j < k, entonces se tiene que
(a
1
, a
k
)(a
1
, a
k1
) (a
1
, a
2
)(a
j
) = (a
1
, a
k
) (a
1
, a
j+1
)(a
j
) = a
j+1
y se tiene la armacin.
3.1.7 Ejemplo. Consideremos la permutacin
=
_
1 2 3 4 5 6 7
3 1 4 2 5 7 6
_
Sym(7)
La descomposicin de en ciclos y transposiciones esta dada por
= (1342)(5)(67) = (13)(14)(12)(67)
3.1.8 Ejemplo. La permutacin
=
_
1 2 3 4 5 6 7 8
3 4 1 5 2 7 6 8
_
Sym(8)
expresada como producto de transposiciones es = (13)(24)(25)(67). Es im-
portante anotar que la descomposicin de una permutacin en transposiciones
no es nica. Por ejemplo, para la transposicin anterior se tiene:
= (13)(24)(25)(67) = (13)(45)(42)(67).
i
i
i
i
i
i
i
i
3.2 El signo de una permutacin
3.2.1 Teorema. Sean = 1, 2, , n y K un cuerpo.
(a) Para n 2 existe un epimorsmo de grupos
sig : (Sym(n), ) (1, 1, ),
llamado signo. Se verica que sig() = 1, para toda transposicin
Sym(n).
(b) Si f : (Sym(n), ) (K
, ) es un homomorsmo de grupos, en-

tonces
(1) Si char (K) = 2, entonces f() = 1, para todo Sym(n).
(2) Si char (K) ,= 2, entonces f = sig.
DEMOSTRACIN.
(a) Sea T := i, j con i < j. Para Sym(n) denimos
(T) :=
_
1 si (i) < (j)
1 si (i) > (j).
Sea
sig : Sym(n) 1, 1
denida de la siguiente manera:
sig() =
T
|T|=2
(T).
Es claro que sig() 1, 1, para todo Sym(n).
Para Sym(n), T = i, j , denamos (T) = (i), (j) y
determinemos los valores de
(T),
((T)) y
(T).
Casos
(T)
((T))
(T)
(i) < (j), ((i)) < ((j)) 1 1 1
(i) < (j), ((i)) > ((j)) 1 -1 -1
(i) > (j), ((i)) < ((j)) -1 -1 1
(i) > (j), ((i)) > ((j)) -1 1 -1
3.2. El signo de una permutacin
i
i
i
i
i
i
i
i
54 Ismael Gutirrez
En todos los casos se cumple que
(T) =
(T)
((T)).
Con esto tenemos
sig() =
T
|T|=2
(T)
=
(T)
((T))
=
(T)
((T))
= sig() sig().
Resta demostrar que sig() = 1, para toda transposicin . Sea ini-
cialmente = (1, 2). Entonces
(T) :=
_
1 si T = 1, 2
1 si T ,= 1, 2
Por lo tanto sig() = 1. Sea ahora
una transposicin cualquiera,

digamos = (i, j). Denamos
=
_
1 2 3 n
i j (3) (n)
_
Sym(n). (3.2)
Entonces se verica que
=
1
. En efecto,
1
(i) = (
1
(i)) = (1) = (2) = j.
1
(j) = (
1
(j)) = (2) = (1) = i.
Para k ,= i, j tenemos
1
(k) = (
1
(k)) = (
1
(k)) = k.
Con esto tenemos que
sig(
) = sig() sig() sig(

1
) = 1.
i
i
i
i
i
i
i
i
(b) Sea f : (Sym(n), ) (K
, ) un homomorsmo de grupos. Si es
una transposicin, entonces
2
= I
y se tiene que
f()
2
= f()f() = f(
2
) = f(I
) = 1.
Por lo tanto f() 1, 1.
Sea
cualquier transposicin y la permutacin denida en (3.2). En-

tonces
f(
) = f(
1
) = f() f() f(
1
) = f().
Esto demuestra que todas las transposiciones tiene la misma imagen bajo
f, es decir, 1 o 1.
Sea Sym(n) cualquiera. Entonces del teorema 3.1.6 se sigue que
=
1

k
, donde cada
j
es una transposicin. De (a) se sigue que
sig() =
k
j=1
sig(
j
) = (1)
k
.
Por otro lado,
f() =
k
j=1
f(
j
) =
_
1 si f(
j
) = 1
(1)
k
si f(
j
) = 1.
Diferenciamos ahora los dos casos posibles
(1) Si char (K) = 2, entonces 1 = 1 y se tiene que f() = 1, para
todo Sym(n).
(2) Si char (K) ,= 2, entonces f = sig.
El siguiente lema nos facilita el clculo del signo de una permutacin.
3.2.2 Lema. Sean Sym(n) y =
1

k
su descomposicin en ciclos,
con
j
= (a
j
, (a
j
) . . . ,
n
j
1
(a
j
)). Entonces sig() = (1)
nk
.
DEMOSTRACIN. Del teorema 3.1.6 se tiene que
(a
j
, (a
j
) . . . ,
n
j
1
(a
j
)) = (a
j
,
n
j
1
(a
j
)) (a
j
, (a
j
)).
Por lo tanto
sig(
j
) = (1)
n
j
1
.
3.2. El signo de una permutacin
i
i
i
i
i
i
i
i
56 Ismael Gutirrez
Dado que n =
n
j=1
n
j
, se tiene que
sig() =
n
j=1
sig(
j
) = (1)
nk
.
3.2.3 Corolario. (a) Cada elemento de Sym(n) puede descomponerse
como un nmero par o impar de trasposiciones.
(b) Si es un k-ciclo, entonces sig() = (1)
k1
.
(c) Si es una transposicin, entonces sig() = 1.
DEMOSTRACIN.
(a) Sea =
1

2

m
=
k
, donde
j
y
j
son transposiciones.
Entonces
(1)
m
= sig() = (1)
k
Por lo tanto, (1)
mk
= 1. Es decir, m k es un nmero par. Esto
demuestra que m y k son ambos pares o ambos impares.
(b) Cada k-ciclo puede expresarse como el producto de k 1 transposi-
ciones. El resto se sigue del teorema 3.2.1.
(c) Se sigue de (b).
3.3 El grupo alternante
3.3.1 Denicin. Para n 2, denimos Alt(n) := ker(sig). Esto es,
Alt(n) = Sym(n) [ sig() = 1
Alt(n) se denomina el grupo alternante de grado n. Del corolario ante-
rior se sigue que los elementos de Alt(n) pueden expresarse como un pro-
ducto de un nmero par de transposiciones. Por esta razn estas son usual-
mente denominadas permutaciones pares. Las permutaciones pertenecientes
a Sym(n) Alt(n) se denominarn impares.
3.3.2 Ejemplos. Sea 2 n N.
(a) Si n = 2, entonces Alt(2) = (1).
i
i
i
i
i
i
i
i
(b) Si n = 3, entonces Alt(3) = (1), (123), (132).
(c) Si n = 4, entonces los elementos de Alt(4) son
Identidad (1),
(12)(34), (13)(24), (14)(23)
3-ciclos (124), (134), (234), (132), (123), (142), (143), (243),
3.3.3 Teorema. Sea n 2. Entonces Alt(n) Sym(n) y adems se verica
que [Sym(n) : Alt(n)[ = 2.
DEMOSTRACIN. Dado que Alt(n) = ker(sig), se tine la normalidad de
Alt(n). Por otro lado, del primer teorema de isomorfa se tiene que
[Sym(n) : Alt(n)[ = [Sym(n)/Alt(n)[ = [Im(sig)[ = 2,
El siguiente teorema es de gran importancia a la hora de establecer un contra-
jemplo sobre la no existencia, en general, de subgrupos con orden un nmero
que divide el orden del grupo. La prueba que presentamos del teorema se debe
a T. -L. Sheu.
3.3.4 Teorema. El grupo Alt(4) no tiene subgrupos de orden 6.
DEMOSTRACIN. Supongamos que G admite un subgrupo de orden 6, dig-
amos N. Entonces [G : N[ = 2 y del lema 2.1.6 se tendra que g
2
N, para
todo g Alt(4). Si g es un 3-ciclo, entonces
g = g
4
= (g
2
)
2
N.
Dado que en Alt(4) existen ocho 3-ciclos, se tendran 8 elementos en N, lo
cual es una contradiccin.
El grupo alternante Alt(n) para n 5 es de especial inters ya que estos
suministran la primera serie de grupos simples. Los grupos simples juegan un
papel importante en el estudio de los grupos solubles.
3.3.5 Lema. Si n 3, entonces Alt(n) es generado por los 3-ciclos de
Sym(n).
DEMOSTRACIN. Dado que cada elemento de Alt(n) es expresable como
el producto de un nmero par de transposiciones, es suciente demostrar que
el producto de dos transposiciones es un producto de 3-ciclos.
En el anlisis de los diferentes casos, letras diferentes representan nmeros
diferentes.
3.3. El grupo alternante
i
i
i
i
i
i
i
i
58 Ismael Gutirrez
Caso 1. (1) = (xy)(xy) = (123)(123)(123).
Caso 2. (xy)(yz) = (xyz).
Caso 3. (xy)(zw) = (xy)(yz)(yz)(zw) = (xyz)(yzw).
3.3.6 Lema. Sean n 5 y N Alt(n). Si N contiene un 3-ciclo, entonces
N = Alt(n).
DEMOSTRACIN. Supongamos que N contiene un 3-ciclo, digamos (abc).
Sea (xyz) otro 3-ciclo cualquiera y Sym(n) con
(a) = x, (b) = y, (c) = z.
Entonces
(abc)
1
= (xyz). (3.3)
Caso 1. Si es una permutacin par, entonces (xyz) N y del lema 3.3.5 se
tiene la armacin.
Caso 2. Si es una permutacin impar, entonces dado que n 5 existen
v, w 1, . . . , n x, y, z y podemos reemplazar a en (3.3) por la per-
mutacin par = (vw). Note que que
(abc)
1
= (xyz)
y en consecuencia todo 3-ciclo pertenece a N. Nuevamente del lema 3.3.5 se
sigue la armacin.
3.3.7 Lema. Sean n 5 y N Alt(n). Entonces no existe en N un elemento
cuya descomposicin en cilcos disyuntos tenga un ciclo con longitud mayor o
igual a 4.
DEMOSTRACIN. Supongamos que existe N, cuya descomposicin en
ciclos disyuntos tiene un ciclo con longitud por lo menos 4. Dado que ciclos
disyuntos conmutan, no se pierde generalidad si suponemos que
= (a
1
a
2
. . . a
k
)
2

m
,
con k 4. Si denimos de la siguiente manera
:= (a
1
a
2
a
3
)(a
1
a
2
a
3
)
1
,
entonces
= (a
2
a
3
a
1
a
4
a
k
)
2

m
N,
i
i
i
i
i
i
i
i
y se verica que
1
= (a
1
a
2
a
4
) N.
Del lema anterior se sigue que N = Alt(n), lo cual no es posible.
Sean n 5 y NAlt(n). Como consecuencia del lema 3.3.7 se tiene que en
la descomposicin en ciclos disyuntos de los elementos de N aparecen ciclos
con longitud 2 o 3. Mas aun, no es posible que aparezca un nico 3-ciclo en
dicha descomposicin, ya que de lo contrario se tendra un 3-ciclo en N, lo
cual no es posible.
3.3.8 Lema. Sean n 5 y N Alt(n). Entonces no existe en N un elemento
cuya descomposicin en cilcos disyuntos tenga dos 3-ciclos.
DEMOSTRACIN. Sea N una permutacin en cuya descomposicin en
ciclos disyuntos aparecen por lo menos dos 3-ciclos, digamos
= (a
1
, a
2
, a
3
)(a
4
a
5
a
6
)
2

m
.
Entonces N tiene como elemento al conjugado
:= (a
4
a
5
a
3
)(a
4
a
5
a
3
)
1
= (a
1
a
2
a
4
)(a
3
a
6
a
5
)
2

m
N,
y por lo tanto
= (a
1
a
3
a
4
a
2
a
5
) N,
lo cual contradice el lema 3.3.7.
3.3.9 Teorema. Para n 5, el grupo alternante Alt(n) es simple.
DEMOSTRACIN. Supongamos que Alt(n) no es simple y sea e , = N
Alt(n). De los lemas 3.3.6, 3.3.7 y 3.3.8 se sigue que todo elemento de N es
un producto de un nmero par de transposiciones disyuntas.
Si = (ab)(cd) N, entonces para todo f / a, b, c, d se verica que
:= (afb)(afb)
1
= (af)(cd) N.
Por lo tanto
= (afb) N,
lo cual es una contradiccin. En consecuencia, si (1) ,= N, entonces en su
descomposicin en ciclos disyuntos aparecen por lo menos 4 transposiciones
disyuntas. Sea N de la forma
= (a
1
b
1
)(a
2
b
2
)(a
3
b
3
)(a
4
b
4
).
3.3. El grupo alternante
i
i
i
i
i
i
i
i
60 Ismael Gutirrez
Entonces si denimos mediante
:= (a
3
b
2
)(a
2
b
1
)(a
2
b
1
)(a
3
b
2
),
se tine que
= (a
1
a
2
)(a
3
b
1
)(b
2
b
3
)(a
4
b
4
) N.
Por lo tanto
= (a
1
b
2
a
3
)(a
2
b
1
b
3
) N,
lo cual constrituye una contradiccn.
En particular Alt(5) es simple y este constituye el ejemplo del grupo simple
no abeliano ms pequeo que existe. Mas aun, todo grupo simple de orden 60
es isomorfo a Alt(5).
3.4 Ejercicios
1. Demuestre que Sym(3)

= GL
2
(2).
2. Sea G := Sym(4). determine:
(a) Los elementos de G y sus respectivos ordenes
(b) Los subgrupos de G
(c) Los subgrupos normales de G
(d) Z(G)
i
i
i
i
i
i
i
i
Captulo 4
Grupos cclicos
Contenido
4.1 Elementos de torsin . . . . . . . . . . . . . . . . . . . . 61
4.2 Subgrupos de grupos cclicos . . . . . . . . . . . . . . . 65
4.3 Clasicacin de los grupos cclicos . . . . . . . . . . . . 67
4.4 El grupo de automorsmos de un grupo cclico . . . . . 69
4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 72
En lo que sigue presentamos algunos resultados importantes sobre grupos
cclicos.
4.1 Elementos de torsin
4.1.1 Denicin. Sea G un grupo y g G.
(a) El el orden de g se dene como el el nmero natural ms pequeo n, si
existe, tal que
g
n
= e.
Si tal nmero existe, lo notaremos con ord(g), en caso contrario es-
cribiremos ord(g) = .
(b) Se dice que g es un elemento de torsin de G, si ord(g) es nito. Los
elementos de G que tienen orden 2 se denominan involuciones.
4.1.2 Ejemplos. Consideremos algunos ejemplos elementales.
61
i
i
i
i
i
i
i
i
62 Ismael Gutirrez
(a) Sea G = Z. Entonces, para todo 0 ,= g Z se verica que ord(g) = .
(b) Sea G = Sym(3). Entonces, ord((12)) = 2.
(c) Para el 4-grupo de Klein se verica que todo sus elementos distintos de
e son involuciones.
4.1.3 Teorema. Todo grupo cclico es abeliano.
Demostramos en el siguiente lema algunas propiedades de los elementos de
torsin.
4.1.4 Teorema. Sean G un grupo, g, h G y n, m, k N. Entonces
(a) Todas las potencias de g son distintas, si y solo si ord(g) = .
(b) ord(g) = 1, si y solo si g = e.
(c) Si ord(g
1
) = ord(g).
(d) Si ord(gh) es nito, entonces ord(gh) = ord(hg).
(e) Si ord(g) = n, entonces
(1) g
m
= e si y solo si n [ m
(2) g = e, g, . . . , g
n1
(3) ord(g
k
) =
n
mcd(n,k)
.
(f) Si g y h son elementos de torsin y gh = hg, entonces
ord(gh) [ mcm(ord(g), ord(h)).
Si adems mcd(ord(g), ord(h)) = 1, entonces
ord(gh) = ord(g)ord(h).
DEMOSTRACIN.
(a) Supongamos que todas las potencias de g son distintas. Es decir, g
i
,=
g
j
, para todo i ,= j. Entonces es inmediato que ord(g) = .
Recprocamente, supongamos que no todas las potencias de g son dis-
tintas. Es decir, supongamos que existen l, m N tales que g
l
= g
m
.
Captulo 4. Grupos cclicos
i
i
i
i
i
i
i
i
Sin perder generalidad supongamos que l < m. Entonces g
ml
= e,
con ml > 0 y en consecuencia el conjunto
M = k [ k N, g
k
= e N
es no vaco y tiene, por el principio de buen orden, un elemento mnimo,
digamos t. Es decir, g
t
= e y por lo tanto ord(g) < .
(b) Si ord(g) = 1, entonces g
1
= g = e. Recprocamente, si g = e,
entonces g
1
= e
1
= e y se tiene que ord(g) = 1.
(c) Es suciente observar que
(g
1
)
m
= e (g
m
)
1
= e g
m
= e.
(d) Supongamos que ord(gh) = m. Entonces
(gh)
m
= e g(hg)
m1
h = e
(hg)
m1
= g
1
h
1
(hg)
m1
= (hg)
1
(hg)
m
= e.
(e) Supongamos que ord(g) = n.
(1) Si g
m
= e, entonces aplicando el algoritmo de la divisin con resto
tenemos que m = nq +r, con 0 r < n. Entonces
e = g
m
= (g
n
)
q
g
r
= g
r
Por la minimalidad de n se tiene que r = 0 y as m = nq.
Recprocamente, si n [ m, entonces m = nq y se sigue que
g
m
= g
nq
= (g
n
)
q
= e.
(2) Recordemos que g = g
m
[ m Z. Sea ahora m Z,
cualquiera. Usando el algoritmo de la divisin con resto se tiene
que m = qn +r, con 0 r < n. Entonces
g
m
= g
qn+r
= (g
n
)
q
g
r
= g
r
.
Por lo tanto g = e, g, . . . , g
n1
. Resta demostrar que todos
los elementos de g son distintos dos a dos.
Supongamos que g
i
= g
j
, con 0 i j < n. Entonces g
ji
= e
y se tiene n [ (j i), lo cual se verica si y solo si j i = 0. Es
decir, si y solo si i = j.
4.1. Elementos de torsin
i
i
i
i
i
i
i
i
64 Ismael Gutirrez
(3) Dado que n divide a
nk
mcd(n,k)
, se sigue inmediatamente que
e = g
nk
mcd(n,k)
= (g
k
)
n
mcd(n,k)
.
Entonces de (2) se sigue que
ord(g
k
) [
n
mcd(n,k)
.
Si t := ord(g
k
), entonces (g
k
)
t
= g
kt
= e. Es decir, n [ kt y
naturalmente
n
mcd(n,k)
[
kt
mcd(n,k)
.
Entonces
n
mcd(n,k)
divide a t.
(f) Sea M := mcm(ord(g), ord(h)). Si gh = hg, entonces
(gh)
M
= g
M
h
M
= e.
Por lo tanto ord(gh) [ M.
Sean m := ord(g), n := ord(h) y k := ord(gh). Dado que g y h
conmutan se tiene nuevamente que
(gh)
mn
= g
mn
h
mn
= (g
m
)
n
(h
n
)
m
= e,
y en consecuencia k [ mn.
Por otro lado,
(gh)
k
= g
k
h
k
= e g
k
= h
k
ord(g
k
) = ord(h
k
) = ord(h
k
)
m
mcd(m,k)
=
n
mcd(n,k)
m [ k y n [ k
mn [ k.
En conclusin k = mn. Es decir, ord(gh) = ord(g)ord(h).
4.1.5 Corolario. Sea G un grupo nito.
1. Para todo g G se verica que ord(g) = [g[.
2. Para todo g G se verica que ord(g) [ [G[.
3. Si [G[ es un nmero primo, entonces G es cclico.
i
i
i
i
i
i
i
i
DEMOSTRACIN.
1. Es consecuencia inmediata del teorema 4.1.4 (e) (2).
2. Es consecuencia del teorema de Lagrange.
3. Sea e ,= g G. Entonces 1 ,= ord(g) [ [G[. Dado que [G[ es un nmero
primo, se tiene que ord(g) = [G[ y por lo tanto G = g.
4.2 Subgrupos de grupos cclicos
4.2.1 Teorema. Subgrupos de grupos cclicos son cclicos.
DEMOSTRACIN. Si U = e, entonces la armacin es inmediata.
Sea entonces e , = U G. Dado que U G, se tiene que todos sus
elementos son potencias de g. Sea e ,= u U. Entonces existe 0 ,= m Z tal
que u = g
m
. Note que
g
m
U (g
m
)
1
= (g
1
)
m
= g
m
U.
Entonces se tiene que el conjunto
M := n N [ g
n
U , =
y por el principio de buen orden M tiene un elemento mnimo, digamos k.
Demostramos que U = g
k
.
Sea g
s
U. Entonces existen q, r Z tal que s = qk + r, con 0 r < k.
Por tanto
g
r
= g
sqk
= g
s
g
qk
= g
s
(g
k
)
q
U.
Por la minimalidad de k se tiene entonces que r = 0. Entonces s = qk y se
sigue que g
s
= (g
k
)
q
g
k
. Esto demuestra que U g
k
.
Recprocamente, dado que g
k
U, se tiene que g
kn
= (g
k
)
n
U para todo
n Z. Entonces g
k
U y se demuestra la primera armacin.
En general, si G es un grupo nito y d [ [G[, entonces no siempre se verica
que existe un subgrupo U de G con la propiedad [U[ = d. No obstante para
grupos cclicos y para grupos abelianos la armacin es cierta.
4.2.2 Teorema. Sea G = g un grupo cclico.
(a) Si G es innito, entonces para cada k N
0
se verica que U
k
:= g
k
es un subgrupo de G y adems stos son todos los subgrupos de G.

Adicionalmente, para cada k N se cumple que [G : U
k
[ = k. En
particular se cumple que U
k
,= U
l
para k ,= l.
4.2. Subgrupos de grupos cclicos
i
i
i
i
i
i
i
i
66 Ismael Gutirrez
(b) Si Ges nito, digamos [G[ = n, entonces para todo divisor positivo d de
n existe un nico subgrupo con d elementos. stos son concretamente
U
d
:= g
n
d
.
DEMOSTRACIN.
(a) La primera armacin es inmediata, se sigue del teorema anterior.
Para demostrar que [G : U
k
[ = k, probamos que los elementos e =
g
0
, g, . . . , g
k1
forman un transversal derecho para U
k
en G.
Para cada m Z existen s, t Z tales que m = tk +s con 0 s < k.
Entonces g
m
= (g
k
)
t
g
s
U
k
g
s
y con esto se tiene:
G =
k1
_
s=0
U
k
g
s
.
Sea h (U
k
g
s
U
k
g
s
) con 0 s s
k 1. Entonces existen
t, t
Z tales que
h = g
kt+s
= g
kt
+s
.
Por lo tanto g
ss
= g
k(t
t)
. Dado que G es innito, debe cumplirse
que s s
= k(t
t) y dado que 0 s s
k 1 se sigue
forzosamente que s = s
.
(b) Denamos c :=
n
d
y U
d
:= g
c
. Del teorema 4.1.4 (e)(3) se sigue que
ord(g
c
) =
n
mcd(n, c)
=
n
mcd
_
n,
n
d
_ =
n
n
d
= d.
Entonces [U
d
[ = [g
c
[ = ord(g
c
) = d.
Sea V G cualquiera, digamos V = g
k
, con ord(g
k
) = d. De-
mostramos que V U
d
.
Del teorema de Lagrange se sigue que d [ n. Por otro lado, de g
kd
= e
se sigue que n [ kd. Es decir, existe m Z tal que kd = mn. Entonces
k =
mn
d
y se sigue que
g
k
= (g
n
d
)
m
U
d
.
Por tanto V U
d
. Dado que [V [ = d = [U
d
[, se tiene que V = U
d
.
i
i
i
i
i
i
i
i
4.2.3 Ejemplo. Sea G = g un grupo cclico con [G[ = 30. Entonces los
divisores positivos de [G[ son 1, 2, 3, 5, 6, 10, 15 y 30.
Con base en el teorema anterior se tiene que G admite subgrupos con estos
rdenes. Estos subgrupos estn dados respectivamente por e = g
30
, g
15
,
g
10
, g
6
, g
5
, g
3
, g
2
y g
1
= G.
En el siguiente diagrama de Hasse representamos el retculo de todos los
subgrupos de G.
g
g
3
g
2
g
5
g
10
g
6
g
15
g
30
4.3 Clasicacin de los grupos cclicos

Demostramos ahora que salvo isomorfa existen dos tipos de grupos cclicos y
adems la clasicacin depende exclusivamente del orden del grupo.
4.3.1 Teorema. Sea G un grupo cclico.
(a) Si [G[ = , entonces G

= Z.
(b) Si [G[ = n, entonces G

= Z
n
.
DEMOSTRACIN. Sean G = g y : Z G denida por (i) := g
i
.
Entonces
es un homomorsmo: (i +j) = g
i+j
= g
i
g
j
= (i)(j).
es un epimorsmo: Sea x G. Dado que G es cclico se tiene que x = g
j
para algn j Z. Entonces x = (j).
4.3. Clasicacin de los grupos cclicos
i
i
i
i
i
i
i
i
68 Ismael Gutirrez
(a) Sea [G[ = . Entonces
i ker() g
i
= e i = 0.
Es decir, es un isomorsmo.
(b) Sea [G[ = n. Entonces
i ker() g
i
= e n [ i i nZ.
Del primer teorema de isomorfa se sigue que
Z
n
= Z/nZ = Z/ker()

= Im() = G.
4.3.2 Teorema. Sea G = g. Entonces
(a) Si G es innito, entonces g y g
1
son los nicos generadores de G.
(b) Si G es nito, digamos [G[ = n, entonces los generadores de G son los
elementos de la forma g
k
, con mcd(k, n) = 1.
DEMOSTRACIN.
(a) Para todo k Z se verica que g
k
= g
k
. En particular se tiene que
g = g
1
= G. Si k ,= 1, entonces del teorema 4.2.2 se sigue que
g
k
= U
|k|
,= U
1
= G.
(b) Sea G nito con [G[ = n. Entonces
G = g
k
ord(g
k
) = n
n
mcd(n, k)
= n
mcd(n, k) = 1.
4.3.3 Ejemplo. Sea G = Z
8
, entonces 1, 3, 5 y 7 generan a G.
Sea G = g un grupo cclico con [G[ = n. Entonces los elementos que
generan a G son de la forma g
k
con 1 k n y mcd(k, n) = 1. El nmero
de primos relativos con n que estn entre 1 y n est dado por la denominada
funcin de Euler de la teora de nmeros, la cual se denota con .
Para un nmero primo p y m N se verica que
(p
m
) = p
m
p
m1
= p
m1
(p 1).
i
i
i
i
i
i
i
i
Por otro lado, si mcd(m, n) = 1, entonces (mn) = (m)(n). Por lo tanto
de n =
s
i=1
p
m
i
i
, con p
1
, . . . , p
s
primos distintos, se sigue que
(n) =
s
i=1
p
m
i
1
i
(p
i
1).
4.3.4 Teorema. Sea G = g con [G[ = rs y mcd(r, s) = 1. Entonces existen
U, V G tales que [U[ = r, [V [ = s y U V = e.
DEMOSTRACIN. Denamos U := g
s
y V := g
r
. Es claro que U, V
G. Por otro lado,
[U[ =
rs
mcd(rs, s)
=
rs
s mcd(r, 1)
= r.
De manera similar se demuestra que [V [ = s
Sea x (UV ). Entonces ord(x) [ r y ord(x) [ s. Dado que mcd(r, s) = 1
se tiene que ord(x) = 1 y por lo tanto x = e.
4.4 El grupo de automorsmos de un grupo cclico
Consideremos ahora el problema de caracterizar el grupo de automorsmos
de un grupo cclico. Dado que G es abeliano, el grupo de automorsmos
interiores de G es trivial. Entonces la bsqueda se orientar en la direccin
opuesta.
4.4.1 Lema. Sea G un grupo y n N.
(a) Si G es abeliano, entonces la funcin : G G denida por (g) =
g
n
es un endomorsmo de G.
(b) Si G es abeliano y nito con mcd(n, [G[) = 1, entonces la funcin
denida arriba es un automorsmo de G.
DEMOSTRACIN.
(a) Sean g, h G. Entonces (gh) = (gh)
n
= g
n
h
n
= (g)(h) y se
tiene que es un homomorsmo.
(b) Es suciente demostrar que es inyectiva. Si g ker(), entonces
g
n
= e y se tiene que ord(g) [ n. Dado que ord(g) [ [G[ y
mcd(n, [G[) = 1, se sigue que ord(g) = 1 y por lo tanto g = e.
4.4. El grupo de automorsmos de un grupo cclico
i
i
i
i
i
i
i
i
70 Ismael Gutirrez
4.4.2 Teorema. Sea G un grupo cclico, digamos G = g.
(a) Si [G[ = , entonces Aut(G)

= Z
2
.
(b) Si [G[ = n y para cada k con 1 k n denimos
k
: G G
mediante
k
(g
i
) = g
ik
, para todo i Z,
entonces
Aut(G) =
_
k
[ mcd(k, n) = 1
_
.
En particular Aut(G) es abeliano y tiene orden (n).
DEMOSTRACIN.
(a) Sea Aut(G) cualquiera. Entonces (g) = g
k
, para algn k Z y
adems (g
i
) = g
ik
, para todo i Z. Entonces
G = Im() = (g
k
)
i
[ i Z = g
k
Usando el teorema 4.3.2 (a) se tiene que k = 1 o k = 1. Es decir,

(g) = g o (g) = g
1
y ambos son automorsmos de G.
(b) Del lema 4.4.1 (b) se sigue que
k
Aut(G), para todo 1 k n,
con mcd(k, n) = 1. Por lo tanto
k
,=
l
, para todo 1 k < l n,
con mcd(n, k) = mcd(n, l) = 1.
Sea ahora Aut(G) cualquiera. Entonces (g) = g
m
, para algn
m Z. Usando la divisin con resto se tiene que existen q, k Z tales
que m = nq +k, con 1 k < n. Entonces
(g) = g
nq+k
= (g
n
)
q
g
k
= g
k
.
Es decir, =
k
, para algn 1 k < n. Como en (a) se tiene que
G = g
k
y del teorema 4.3.2 (b) se sigue que mcd(n, k) = 1.
4.4.3 Ejemplo. Sea n N. Dado que Z
n
= 1, como consecuencia del
teorema anterior y teniendo en cuenta la notacin aditiva para el grupo, se
verica que
Aut(Z
n
) =
_
k
[ mcd(k, n) = 1
_
,
donde para todo 0 m < n se tiene que
k
(m) =
k
(m1) = mk1 = km.
Como casos particulares tenemos que
i
i
i
i
i
i
i
i
Aut(Z
2
) = I
Z
2
.
Aut(Z
3
) = I
Z
3
,
2
, donde
2
(x) = 2x,
Aut(Z
4
) = I
Z
4
,
3
, donde
3
(x) = 3x,
4.4.4 Teorema. Sea G = g y sea [G[ = p
n
, donde p es un nmero primo.
Entonces
(a) G = g
k
si y solo si mcd(k, p) = 1.
(b) Aut(G) =
_
k
[ 1 k p
n
y mcd(k, p) = 1
_
, con
k
como en el
teorema anterior. Adems [Aut(G)[ = p
n1
(p 1).
(c) Aut(G) es un grupo abeliano y Aut(G)

= Z
p
n, donde Z
p
n, denota el
grupo multiplicativo de Z
p
n
DEMOSTRACIN.
(a) Usando el teorema 4.1.4 (e) (3) tenemos
G = g
k
mcd(k, p
n
) = 1 mcd(k, p) = 1.
(b) Se sigue del teorema 4.4.2 (b). Adems [Aut(G)[ = (p
n
) = p
n1
(p
1).
(c) Sea g G. Entones
l
(g) = g
kl
= g
lk
=
l
k
(g).
Esto demuestra que Aut(G) es abeliano.
Recordemos que Z
p
n est dado por
Z
p
n =
_
k +p
n
Z [ mcd(k, p) = 1
_
.
Sea
: Aut(G) Z
p
n,
denida por (
k
) := k +p
n
Z.
es un homomorsmo: Sean
k
,
l
Aut(G). Entonces
(
k
l
) = (
kl
) = kl +p
n
Z = (k +p
n
Z)(l +p
n
Z) = (
k
)(
l
).
4.4. El grupo de automorsmos de un grupo cclico
i
i
i
i
i
i
i
i
72 Ismael Gutirrez
es uno a uno: Si (
k
) = (
l
), entonces k + p
n
Z = l + p
n
Z. Es
decir, (k l) p
n
Z. Por lo tanto k = l + p
n
m, para algn m Z. En
consecuencia, para todo g G se verica que
k
(g) = g
k
= g
l
g
p
n
m
= g
l
=
l
(g).
Esto demuestra que
k
=
l
.
Finalmente, note que mcd(k, p
n
) = 1 si y solo si existen , Z tales
que k +p
n
= 1. Entonces k 1 mod p
n
, con lo cual se garantiza
la existencia de la inversa de .
4.5 Ejercicios
Sea G un grupo nito.
1. Demuestre que si G es abeliano y [G[ = pq, donde p y q son primos
distintos, entonces G es cclico.
2.
3.
i
i
i
i
i
i
i
i
Captulo 5
Productos directos y
semi-directos
Contenido
5.1 Productos directos . . . . . . . . . . . . . . . . . . . . . 73
5.2 Productos semi-directos . . . . . . . . . . . . . . . . . . 78
5.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.1 Productos directos
5.1.1 Denicin. Sean G
1
, . . . , G
n
grupos y consideremos
G := G
1
G
n
= (g
1
, . . . , g
n
) [ g
j
G
j
,
el producto cartesiano de los G
j
. Podemos dotar a G de la estructura de grupo
deniendo para g
j
G
j
la multiplicacin
(g
1
, . . . , g
n
) (g
1
, . . . , g
n
) := (g
1
g
1
, . . . , g
n
g
n
).
La asociatividad del producto es consecuencia de la asociatividad en cada com-
ponente. Si e
j
denota el elemento neutro de G
j
, entonces e := (e
1
, . . . , e
n
) es
el elemento neutro de G. Si g = (g
1
, . . . , g
n
) G, entonces
g
1
= (g
1
1
, . . . , g
1
n
).
Llamaremos a G el producto directo (externo) de los grupos G
1
, . . . , G
n
.
73
i
i
i
i
i
i
i
i
74 Ismael Gutirrez
5.1.2 Ejemplo. Consideremos el producto directo externo G = Z
2
Z
2
. La
tabla de multiplicacin para G est dada por
+ (0, 0) (0, 1) (1, 0) (1, 1)
(0, 0) (0, 0) (0, 1) (1, 0) (1, 1)
(0, 1) (0, 1) (0, 0) (1, 1) (1, 0)
(1, 0) (1, 0) (1, 1) (0, 0) (0, 1)
(1, 1) (1, 1) (1, 0) (0, 1) (0, 0)
Podemos observar que G posee la misma estructura que el 4-grupo de Klein
V
4
.
Formar el producto directo externo de grupos no es mas que una tcnica para
construir un grupo mas grande. Para el producto directo interno la situacin es
otra, se trata de buscar dentro del grupos subgrupos normales que me permitan
factorizar el grupo como productos de stos.
5.1.3 Denicin. Diremos que un grupo G es el producto directo (interno)
de los subgrupos normales N
1
, . . . , N
k
G, si se verican
(a) G = N
1
N
k
= g
1
g
k
[ g
j
N
j
, j = 1, . . . , k
(b) N
j
N
1
N
j1
N
j+1
N
k
= e, para todo j = 1, . . . , k.
Cada N
j
se denomina un factor directo. Usaremos la notacin
G =
k
j=1
N
j
= N
1
N
k
.
Como consecuencia de la denicin, las condiciones para que un grupo G
sea el producto directo de dos subgrupos normales N
1
y N
2
son muy simples.
En efecto
G = N
1
N
2
(G = N
1
N
2
y N
1
N
2
= e
5.1.4 Ejemplos. Productos directos.
1. Para el 4-grupo de Klein V = e, g, h, k se verica que
V = g h = g k = h k.
2. Z
8
= 3 5
3. Z
6
= 3 2
Captulo 5. Productos directos y semi-directos
i
i
i
i
i
i
i
i
Presentamos a continuacin otra forma de caracterizar el producto directo
interno.
5.1.5 Teorema. Sean G un grupo y N
1
, . . . , N
k
G. Son equivalentes:
(a) N
1
, . . . , N
k
G y G =
k
j=1
N
j
(b) Se satisfacen las siguientes condiciones
(1) Si g N
i
y h N
j
con i ,= j, entonces gh = hg
(2) Todo g G puede expresarse de manera nica en la forma
g = g
1
g
k
, con g
j
N
j
.
DEMOSTRACIN. (a) (b). Sean g N
i
y h N
j
con i ,= j. Entonces
dado que N
i
, N
j
G tenemos
(ghg
1
)h
1
= g(hg
1
h
1
) N
i
N
j
.
Dado que
N
i
N
j
N
i
N
1
N
i1
N
i+1
N
k
= e,
se sigue que ghg
1
h
1
= e. Es decir, gh = hg.
Si g G, entonces por hiptesis se tiene que g puede expresarse en la forma
g = g
1
g
k
, con g
j
N
j
. Para demostrar la unicidad, supongamos que
g = g
1
g
k
= h
1
h
k
, con g
j
, h
j
N
j
, j = 1, . . . , k.
Para todo j 1, . . . , k se verica que h
1
j
g
j
N
j
. Adems, usando (1) se
tiene que
h
1
j
g
j
=
k
i=1
i=j
g
1
i
h
i
N
1
N
j1
N
j+1
N
k
= e.
Por lo tanto h
1
j
g
j
= e. Es decir, h
j
= g
j
, para todo j = 1, . . . , k.
(b) (a). Demostramos inicialmente que cada N
j
G. Para ello sean
x N
j
y g G. Por hiptesis existen g
j
N
j
, j = 1, . . . , k tales que
g = g
1
g
k
.Usando nuevamente (1) se tiene que
gxg
1
= (g
1
g
k
)x(g
1
k
g
1
1
) = g
j
xg
1
j
N
j
.
5.1. Productos directos
i
i
i
i
i
i
i
i
76 Ismael Gutirrez
De (2) se sigue que G = N
1
N
k
. Por lo tanto solo resta demostrar que, para
todo j = 1, . . . , k
N
j
N
1
N
j1
N
j+1
N
k
= e.
Si g N
j
N
1
N
j1
N
j+1
N
k
, entonces
g = e ege . . . e = g
1
g
j1
eg
j+1
g
k
,
con g
i
N
i
adecuados. De la unicidad en la escritura, garantizada por (2) se
tiene que g = e.
A continuacin demostramos que al hablar de productos directos, no es
necesario hacer la distincin entre internos y externos. Concretamente de-
mostramos que, como grupos, estos son isomorfos. Con este resultado queda
justicada el porque hemos utilizado la misma notacin.
5.1.6 Lema. Si el grupo Ges el producto directo interno de los subgrupos nor-
males N
1
, . . . , N
k
G, entonces G es isomorfo al producto directo externo
N
1
N
k
.
DEMOSTRACIN. Sea la funcin : N
1
N
k
G denida por
((g
1
, . . . , g
k
)) := g
1
g
k
.
Sean (g
1
, . . . , g
k
), (h
1
, . . . , h
k
) N
1
N
k
. Entonces usando (I) en el
teorema 5.1.5 se sigue que
((g
1
, . . . , g
k
) (h
1
, . . . , h
k
)) = ((g
1
h
1
, . . . , g
k
h
k
))
= g
1
h
1
g
k
h
k
= g
1
g
k
h
1
h
k
= ((g
1
, . . . , g
k
)) ((h
1
, . . . , h
k
)).
De (II) en el teorema 5.1.5 se sigue que es una biyeccin.
En el siguiente lema demostramos que el producto directo externo de grupos
tambin suministra un producto directo interno de subgrupos.
5.1.7 Lema. Si G es el producto directo externo de los grupos G
1
, . . . , G
k
,
entonces G es el producto directo interno de los subgrupos normales
N
i
:= (e, . . . , e, g, e, . . . , e) [ g G
i

= G
i
, para i = 1, . . . , k.
Es decir, G = N
1
N
k
.
i
i
i
i
i
i
i
i
5.1.8 Lema. Sean G
1
, . . . , G
k
y H
1
, . . . , H
k
grupos y
j
: G
j
H
j
isomor-
smos de grupos, para j = 1, . . . , k. Entonces la funcin
: G
1
G
k
H
1
H
k
denida por
((g
1
, . . . , g
k
)) := (
1
(g
1
), . . . ,
k
(g
k
))
es un isomorsmo de grupos.
5.1.9 Ejemplo. Para el 4-grupo de Klein V = e, g, h, k se verica que
V = g h

= Z
2
Z
2
.
5.1.10 Lema. Sean m, n N con mcd(m, n) = 1. Entonces
Z
mn

= Z
m
Z
n
.
DEMOSTRACIN. Sea : Z
mn
Z
m
Z
n
denida por
(k +mnZ) := (k +mZ, k +nZ).
Se verica sin dicultades que es un homomorsmo de grupos (aditivos).
((k +mnZ) + (k
+mnZ)) = ((k +k
) +mnZ)
= ((k +k
) +mZ, (k +k
) +nZ)
= (k +mZ +k
+mZ, k +nZ +k
+nZ)
= (k +mZ, k +nZ) + (k
+mZ, k
+nZ)
= (k +mnZ) +(k
+mnZ)
Demostramos ahora que est bien denida y es inyectiva. En efecto,
k +mnZ = k
+mnZ k k
mnZ
mn [ k k
m [ k k
n [ k k
k k
mZ k k
nZ
k +mZ = k
+mZ k +nZ = k
+nZ
(k +mZ, k +nZ) = (k
+mZ, k
+nZ)
(k +mnZ) = (k
+mnZ)
5.1. Productos directos
i
i
i
i
i
i
i
i
78 Ismael Gutirrez
Note ahora que
[Z
mn
[ = mn = [Z
m
[ [Z
n
[ = [Z
m
Z
n
[.
Por lo tanto es tambin sobreyectiva.
5.1.11 Corolario. El producto directo de dos grupos cclicos es un grupo
cclico, si y solo si los correspondientes ordenes de los factores directos son
primos relativos.
5.2 Productos semi-directos
5.2.1 Denicin. Sean G un grupo, N G y U G. Diremos que G es el
producto semi-directo (interno) de N con U, si se verica que G = NU y
U N = e. Para efectos de notacin escribiremos G = N U.
Ilustracin:
G
U N
e
5.2.2 Ejemplo. Sean G = Sym(3), N = (123) y U = (12). Sabemos
que N G, G = NU y N U = e. Entonces Sym(3) = N U.
5.2.3 Denicin. Sean G y H grupos. Si existe un homomorsmo
: H Aut(G),
entonces diremos que H opera sobre G, via . Es decir, cada h H tiene
asociado un automorsmo de G, digamos (h) : G G.
5.2.4 Teorema. Sean H un grupo que opera sobre G, via y K el producto
cartesiano de G con H. Si denimos sobre K la operacin
(g
1
, h
1
) (g
2
, h
2
) := (g
1
(h
1
)(g
2
), h
1
h
2
),
entonces (K, ) es un grupo, el cual llamaremos producto semi-directo (ex-
terno) de G con H, con respecto a y lo notaremos con K = G
H.
i
i
i
i
i
i
i
i
DEMOSTRACIN. Demostramos inicialmente la asociatividad de la multi-
plicacin. Sean g
1
, g
2
, g
3
G y h
1
, h
2
, h
3
H. Entonces
(g
1
, h
1
) ((g
2
, h
2
) (g
3
, h
3
)) = (g
1
, h
1
) (g
2
(h
2
)(g
3
), h
2
h
3
)
= (g
1
(h
1
)(g
2
(h
2
)(g
3
)), h
1
h
2
h
3
)
= (g
1
(h
1
)(g
2
)(h)((h
2
)(g
3
)), h
1
h
2
h
3
)
= (g
1
(h
1
)(g
2
)(h
1
h
2
)(g
3
), h
1
h
2
h
3
)
= (g
1
(h
1
)(g
2
), h
1
h
2
) (g
3
, h
3
)
= ((g
1
, h
1
) (g
2
, h
2
)) (g
3
, h
3
)
Es claro que (e, e) es el mdulo de K. Adems, para g G y h H
(g, h) ((h
1
)(g
1
), h
1
) = (g(h)((h
1
)(g
1
)), hh
1
)
= (g(hh
1
)(g
1
), hh
1
)
= (g(e)(g
1
), hh
1
)
= (gg
1
, hh
1
)
= (e, e)
Por lo tanto (g, h)
1
= ((h
1
)(g
1
), h
1
).
Note que si es el homomorsmo trivial. Es decir, para todo h H se
verica que (h) es la funcin idntica sobre G, entonces K = G
H =
GH.
5.2.5 Teorema. Sean H un grupo que opera sobre G, via y K = G
H.
Si denimos G = (g, e) [ g G y H = (e, h) [ h H, entonces
1. G

= GK
2. H

= H K
3. K = G H y G H = (e, e)
Es decir, K es producto semi-directo interno de G con H.
DEMOSTRACIN.
1. Sea : G Gdenida por (g) := (g, e). Es claro que es biyectiva.
Adems para todo g, g
G
(gg
) = (gg
, e) = (g(e)(g
), ee) = (g, e) (g
, e) = (g)(g
).
5.2. Productos semi-directos
i
i
i
i
i
i
i
i
80 Ismael Gutirrez
Demostramos ahora que GK. Para ello consideremos inicialmente el
siguiente resultado:
(g, e)
(e,h)
= (e, h) (g, e) (e, h)
1
= (e, h) (g, e) (e, h
1
)
= (e, h) (g, h
1
)
= (e(h)(g), hh
1
)
= ((h)(g), e) G.
Sean ahora (g
1
, e) G y sea (g
2
, h) K cualquiera. Entonces
(g
1
, e)
(g
2
,h)
= (g
2
, h) (g
1
, e) (g
2
, h)
1
= (g
2
, e) (e, h) (g
1
, e) (e, h
1
) (g
1
2
, e)
= (g
2
, e) ((h)(g
1
), e) (g
1
2
, e) G.
2. Sea : H H denida por (h) := (e, h). Es claro que es biyec-
tiva. Adems para todo h, h
H
(hh
) = (e, hh
) = (e(h)(e), hh
) = (e, h) (e, h
) = (h)(h
).
3. Es inmediato.
Tenemos nuevamente la situacin
K
H G
e
5.2.6 Teorema. Sean G un grupo, N G y U G. Si G es el producto
semi-directo interno de N con U, es decir, G = NU y U N = e, entonces
G es isomorfo al producto semi-directo externo N
U, donde
: U Aut(N)
est denida por (u)(n) := unu
1
, para todo u U y n N.
i
i
i
i
i
i
i
i
DEMOSTRACIN. Es claro que todo g G puede expresarse de manera
nica en la forma g = nu, con n N y u U. Denamos ahora
: G N
U,
mediante (g) := (n, u). Se verica que est bien denida y es biyectiva.
Demostramos ahora que es un homomorsmo. Sean g
1
= n
1
u
1
, g
2
=
n
2
u
2
G. Entonces
g
1
g
2
= n
1
u
1
n
2
u
2
= n
1
u
1
n
2
(u
1
1
u
1
)u
2
= n
1
(u
1
)(n
2
)u
1
u
2
.
En consecuencia
(g
1
g
2
) = (n
1
(u
1
)(n
2
), u
1
u
2
) = (n
1
, u
1
) (n
2
, u
2
) = (g
1
)(g
2
),
5.2.7 Ejemplo. Sean G = g con orden n y H = b con orden 2. Denamos
: H Aut(G) de la siguiente manera:
(h)(g) :=
_
g
1
, si h = b
g, si h = e.
El producto semi-directo de G con H es isomorfo al grupo didrico de
orden n.
5.3 Ejercicios
5.3. Ejercicios
i
i
i
i
i
i
i
i
82 Ismael Gutirrez
i
i
i
i
i
i
i
i
Captulo 6
Los teoremas de Sylow
Contenido
6.1 G-conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 83
6.2 p-subgrupos de Sylow . . . . . . . . . . . . . . . . . . . 90
6.3 Algunas aplicaciones . . . . . . . . . . . . . . . . . . . . 99
6.4 Grupos abelianos nitos . . . . . . . . . . . . . . . . . . 102
6.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Iniciamos este captulo estudiando el concepto de accin de un grupo sobre
un conjunto.
6.1 G-conjuntos
6.1.1 Denicin. Sean G un grupo y un conjunto. Diremos que G acta
u opera sobre o que es un G-conjunto izquierdo, si a cada par (g, )
G est asociado un elemento g , de tal manera que
(a) e = , para todo .
(b) (gh) = g (h ), para todo y para todo g, h G.
6.1.2 Ejemplos. (a) Sea V un espacio vectorial sobre un cuerpo K. En-
tonces el grupo multiplicativo K
acta trivialmente sobre V . En

efecto, es suciente denir
v := v,
83
i
i
i
i
i
i
i
i
84 Ismael Gutirrez
para todo K
y v V .
(b) Sea G un grupo. Si N G, entonces N es un G-conjunto, donde la
accin de G sobre N se dene por conjugacin. Esto es,
g n := gng
1
.
(c) Sean = 1, . . . , n y G = Sym(). Si para y Gdenimos
la accin
:= (),
entonces se verica que es un G-conjunto.
(d) Sean G un grupo, ,= A G y := A
g
[ g G. Denamos sobre
la accin
h A
g
:= A
hg
.
Se verica que es un G-conjunto.
(e) Sean G un grupo, U G con [G : U[ = n y := g
1
U, . . . , g
n
U el
conjunto de las clases laterales izquierdas distintas de U en G. Es decir,
T := g
1
, . . . , g
n
es un transversal izquierdo de U en G. Entonces la
accin de G sobre denida por
h g
i
U := hg
i
U
hace de un G-conjunto.
6.1.3 Lema. Sea un G-conjunto. Si denimos sobre la siguiente relacin:
g G tal que g = ,
para , , entonces es una relacin de equivalencia.
Esta relacin de equivalencia induce una particin sobre y si ,
entonces su clase de equivalencia, notada con
G
, est dada por
G
:= [ = g [ g G
y la llamaremos la rbita de bajo G. Se sigue entonces que
=
_
G
. (6.1)
Captulo 6. Los teoremas de Sylow
i
i
i
i
i
i
i
i
Adems
G
=
G

G

G
,= .
Si en la descomposicin (6.1) de no consideramos rbitas repetidas, en-
tonces esta unin no corre sobre todos los elementos de sino sobre un sub-
conjunto T de , el cual llamaremos sistema de representantes para las r-
bitas.
Esto es, T es un sistema de representantes para las rbitas si se veri-
can:
1. Para todo existe t T tal que
G
= t
G
y
2. Para todo t
1
, t
2
T con t
1
,= t
2
se tiene que t
G
1
,= t
G
2
.
Consideremos nuevamente las acciones presentadas en el ejemplo 6.1.2.
6.1.4 Ejemplos. (a) Sea V un espacio vectorial sobre un cuerpo K. Las
rbitas determinadas por la accin de G = K
sobre V estn dadas por

v
G
= v [ G.
Es decir, para cada v V se verica que v
G
es un espacio vectorial
1-dimensional generado por el vector v.
(b) Sean G un grupo y N G. Sabemos que G opera sobre N por conju-
gacin. La rbita de n N est dada por
n
G
= gng
1
[ g G.
Esta se denominar clase de conjugacin de n bajo G.
(c) Sean = 1, . . . , n y G = Sym(). La evaluacin dene una accin
de G sobre y la rbita de est dada por
G
= () [ G = .
(d) Si G es un grupo, ,= A G y := A
g
[ g G, entonces es la
nica rbita determinada por la accin de G sobre dada por
h A
g
:= A
hg
.
(e) Si G es un grupo, U G y := g
1
U, . . . , g
n
U es el conjunto de
todas clases laterales izquierdas distintas de U en G, entonces es la
nica rbita determinada por la accin de G sobre dada por
h g
i
U := hg
i
U.
6.1. G-conjuntos
i
i
i
i
i
i
i
i
86 Ismael Gutirrez
6.1.5 Denicin. Sea un G-conjunto.
(a) Diremos que G opera transitivamente sobre o que es un G-
conjunto transitivo, si para todo , existe g G tal que
g = . Es decir, es la nica rbita de G sobre .
(b) Si , entonces llamaremos al conjunto
G
:= g G [ g =
el estabilizador de en G.
Cules de las acciones denidas en el ejemplo 6.1.2 son transitivas?
6.1.6 Ejemplo. (a) Las acciones (d) y (e) denidas en los ejemplos 6.1.2
son transitivas.
(b) Sean = 1, 2, 3 y G = Sym(3). La evaluacin dene una accin de
G sobre y los estabilizadores de los elementos de estn dados por
G
1
= (1), (23)
G
2
= (1), (13)
G
3
= (1), (12).
6.1.7 Teorema. (Estabilizador-rbita) Sea un G-conjunto. Entonces
(a) Para todo se verica que G
G y adems [G : G
[ = [
G
[.
(b) Si T es un sistema de representantes para las rbitas, entonces
[[ =
T
[G : G
[. (6.2)
(c) Si es un G-conjunto transitivo nito, entonces para todo se
tiene que [G : G
[ = [[.
(d) Para todo g G y todo se verica que G
g
= gG
g
1
.
DEMOSTRACIN.
(a) Sean g G y . Se demuestra fcilmente que de g = se
sigue inmediatamente que g
1
= . Sean ahora g, h G
y .
Entonces
(gh
1
) = g (h
1
) = g = .
i
i
i
i
i
i
i
i
Esto demuestra que G
G.
Por otro lado,
g = h h
1
(g ) = h
1
(h )
(h
1
g) =
h
1
g G
g hG
gG
= hG
En conclusin, G
tiene tantas clases laterales izquierdas distintas en G

como elementos distintos tenga la rbita
G
.
(b) Dado que es la unin disyunta
=
_
T
G
,
se tiene que
[[ =
T
[
G
[ =
T
[G : G
[.
(c) Se sigue de (b).
(d) Sean g G y . Entonces
h G
g
h (g ) = g
(hg) = g
(g
1
hg) =
g
1
hg G
h gG
g
1
.
6.1.8 Corolario. Sean G un grupo nito, un G-conjunto nito y n N.
Entonces
(a) Si n [ [
G
[, para todo , entonces n [ [[.
(b) La longitud de cualquier rbita, es decir, su nmero de elementos, divide
a [G[. En particular, si G opera transitivamente sobre , entonces [[
divide a [G[.
DEMOSTRACIN.
6.1. G-conjuntos
i
i
i
i
i
i
i
i
88 Ismael Gutirrez
(a) Dado que es la unin disjunta de las rbitas de Gsobre , el resultado
se sigue del teorema anterior.
(b) Como consecuencia del teorema de Lagrange y del teorema anterior se
tiene que
[G[ = [G : G
[ [G
[ = [
G
[ [G
[,
con lo cual se tiene el resultado.
6.1.9 Denicin. Sea un G-conjunto. Diremos que es un punto jo
de la accin de G sobre , si g = , para todo g G. Es decir,
G
=
o equivalentemente G
= G y por lo tanto [G : G
[ = 1. Notaremos con
Fix
G
() al conjunto de todos los puntos jos de la accin de G sobre .
Dado que F := Fix
G
() est contenido en cualquier sistema de represen-
tantes para las rbitas T, la ecuacin (6.2) en el lema 6.1.7 se transforma en
[[ = [Fix
G
()[ +
T\F
[G : G
[. (6.3)
6.1.10 Lema. (Punto jo) Sea G un grupo nito con [G[ = p
m
, donde p es
un nmero primo y m N. Sea un G-conjunto nito con p [ [[. Entonces
G tiene un punto jo sobre .
DEMOSTRACIN. Sea T =
1
, . . . ,
n
es un sistema de represen-
tantes para las rbitas. Entonces
=
n
_
j=1
G
j
y se tiene que [
G
j
[ = [G : G
j
[ = p
n
j
, con n
j
N
0
. Es decir,
[[ =
n
j=1
p
n
j
.
Si n
j
> 0, para todo j = 1, . . . , n, entonces [[ = pk, para algn k Z.
Es decir, p [ [[, lo cual contradice la hiptesis p [ [[. Entonces existe
j
0
1, . . . , n tal que [
G
j
0
[ = 1. Es decir,
j
0
es un punto jo.
6.1.11 Ejemplo. Si Ges un grupo nito, entonces Gacta sobre si mismo por
conjugacin. Es decir, para g, h G se dene la accin g h := ghg
1
. Por
i
i
i
i
i
i
i
i
lo tanto G admite una descomposicin en rbitas, digamos
G =
n
_
j=1
h
G
j
,
donde
h
G
j
= gh
j
g
1
[ g G.
Estas rbitas se denominarn tambin clases de conjugacin de G.
Si x G es un punto jo de esta accin, entonces gxg
1
= x, para todo
g G. Es decir, x Z(G). Por otro lado, el estabilizador G
x
est dado por
G
x
= g G [ gxg
1
= x = C
G
(x).
Entonces en este caso particular, con una reenumeracin adecuada, la descom-
posicin (6.3) se transforma en
[G[ = [Z(G)[ +
m
j=1
[G : C
G
(h
j
)[. (6.4)
Esta igualdad es usualmente denominada la ecuacin de clases.
6.1.12 Denicin. Sea p un nmero primo. Un grupo nito G se denomina
un p-grupo, si [G[ = p
a
, con a N.
6.1.13 Teorema. Sea G un p-grupo. Entonces
(a) Z(G) ,= e. Es decir, todo p-grupo tiene centro no trivial.
(b) Si G es simple, entonces G es cclico y [G[ = p.
DEMOSTRACIN.
(a) Usando la ecuacin de clases (6.4) se sigue que
[G[ = [Z(G)[ +
m
j=1
[G : C
G
(h
j
)[.
Dado que cada ndice [G : C
G
(h
j
)[ > 1 y adems un divisor de G, se
sigue que cada uno de stos es una p-potencia. Por lo tanto
[Z(G)[ = [G[
m
j=1
[G : C
G
(h
j
)[
tambin lo es. Es decir, Z(G) es no trivial.
6.1. G-conjuntos
i
i
i
i
i
i
i
i
90 Ismael Gutirrez
(b) De (a) se sigue que e , = Z(G) G. Dado que G es simple, se tiene
que G = Z(G). Es decir, G es abeliano.
Sea e ,= g Gcualquiera. Entonces ord(g) = p
n
, para algn n N. Si
denimos h := g
p
n1
, entonces e ,= h G y se cumple que ord(h) =
p. Dado que G es abeliano, se verica tambin que e ,= h G.
Entonces h = G y p = ord(h) = [G[.
6.1.14 Teorema. (Argumento de Frattini I) Sean Gun grupo, NGy un
G-conjunto. Si es un N-conjunto transitivo, entonces para todo
G = G
N.
DEMOSTRACIN. Es claro que, para todo se verica que
NG
= G
N G.
Sean g G y . Dado que es un N-conjunto transitivo, existe n N
tal que
n = g .
Por lo tanto n
1
g G
. Es decir, g nG
y se tiene que
G NG
= G
N,
6.2 p-subgrupos de Sylow
6.2.1 Teorema. (Ferdinand Frobenius) Sean p un nmero primo y G un
grupo nito, con [G[ = p
a
m y a N. Si notamos con N(p
a
) al nmero
de subgrupos de G con orden p
a
, entonces
N(p
a
) 1 mod p.
En particular, G tiene por lo menos un subgrupo de orden p
a
.
DEMOSTRACIN.(Helmut Wielandt, 1959) Sea el conjunto denido por
:= M G [ [M[ = p
a
.
Si para g G y M denimos la accin
g M := gM,
i
i
i
i
i
i
i
i
entonces se verica que es un G-conjunto. Sea =
j

j
la descomposi-
cin de en rbitas bajo G. Usando el teorema estabilizador - rbita, se sigue
que
[
j
[ = [G : U
j
[,
donde U
j
= G
M
j
, para algn M
j

j
. Entonces U
j
M
j
= M
j
y se tiene que
M
j
=
n
j
_
k=1
U
j
m
jk
, con m
jk
M
j
.
En particular se cumple que
p
a
= [M
j
[ = n
j
[U
j
[.
Es decir, [U
j
[ = p
b
j
, con b
j
a. En consecuencia
[
j
[ = [G : U
j
[ =
[G[
[U
j
[
=
p
a
m
p
b
j
= p
ab
j
m.
Diferenciamos dos casos.
Caso 1. Si b
j
< a, entonces [
j
[ 0 mod (pm).
Caso 2. Si b
j
= a, entonces [
j
[ = m y tenemos
[[ =
j
[
j
[ =
|
j
|=m
[
j
[ +
|
j
|>m
[
j
[.
Por lo tanto
[[ lm mod (pm), (6.5)
donde l es el nmero de rbitas
j
, con [
j
[ = m.
Demostramos ahora que N(p
a
) = l. Para ello consideremos los conjuntos
M = V [ V G, [V [ = p
a
,
N =
j
[ [
j
[ = m
y denamos la funcin : MN mediante
(V ) := g V [ g G.
(1) (V ) N. Si V M, entonces (V ) es una rbita y adems
[(V )[ = [G : V [ =
p
a
m
p
a
= m.
6.2. p-subgrupos de Sylow
i
i
i
i
i
i
i
i
92 Ismael Gutirrez
(2) es inyectiva. Supongamos que (V
1
) = (V
2
). Entonces existe g G
tal que V
1
= gV
2
. En particular se cumple que e = gh, para algn h V
2
. Es
decir, g V
2
y se tiene que V
1
= V
2
.
(3) es sobre. Sea
j
N, M
j
y U = G
M
, el estabilizador de M en G.
Entonces m = [
j
[ = [G : U[ y se tiene que [U[ = p
a
.
Por otro lado, M =
k
i=1
Um
i
, con m
i
M. Es decir p
a
= k[U[ = kp
a
,
con lo cual se sigue que k = 1 y M = Um
1
.
Note que
j
= gM [ g G
= gUm
1
[ g G
= gm
1
1
Um
1
[ g G
= gU
m
1
1
[ g G
= (U
m
1
1
).
Todo lo anterior nos permite concluir que N(p
a
) = l.
Retomando la congruencia (6.5) tenemos
[[ N(p
a
)m mod (pm), (6.6)
Esta congruencia se verica para todo grupo con orden p
a
m. Por lo tanto
tambin es vlida para el grupo cclico con este orden. Para ste se tiene que
N(p
a
) = 1. Por consiguiente
[[ m mod (pm).
Usando (6.6) tenemos
N(p
a
)m m mod (pm),
por lo tanto
N(p
a
) 1 mod p.
6.2.2 Corolario. Sean G un grupo nito, p un nmero primo y [G[ = p
a
m.
Entonces para cada j = 1, . . . , a existe un subgrupo de G con orden p
j
.
DEMOSTRACIN. Se sigue inmediatamente del teorema anterior. Tenga en
cuenta que en este no se exigi que p [ m.
i
i
i
i
i
i
i
i
6.2.3 Corolario. (Cauchy) Sea G un grupo nito. Si p es un divisor primo de
[G[, entonces existe g G con ord(g) = p.
DEMOSTRACIN. Del teorema anterior se sigue que G admite un subgrupo
U con [U[ = p. Entonces U es cclico, generado por un elemento g de orden p
6.2.4 Denicin. Sean G un grupo nito, p un nmero primo y [G[ = p

a
m
con p [ m. Si U G, con [U[ = p
a
, entonces diremos que U es un p-
subgrupo de Sylow de G. El conjunto de todos los p-subgrupos de Sylow de
G lo notaremos con Syl
p
(G).
6.2.5 Teorema. (Ludwig Sylow, 1872) Sean G un grupo nito, p un nmero
primo y [G[ = p
a
m con p [ m. Entonces
(a) Syl
p
(G) ,=
(b) Si U es un p-subgrupo de G y P Syl
p
(G), entonces existe g G tal
que U P
g
.
(c) Todos los p-subgrupos de Sylow de G son conjugados en G. Es decir,
Si P
1
, P
2
Syl
p
(G), entonces existe g G tal que P
g
1
= P
2
. Adems
[Syl
p
(G)[ = [G : N
G
(P)[ 1 mod p.
Mas an [Syl
p
(G)[ [ m. Esto es, [Syl
p
(G)[ [ [G[.
DEMOSTRACIN.
(a) Se sigue del teorema de Frobenius. Note que N(p
a
) ,= 0.
(b) Sea P Syl
p
(G). Denamos el conjunto := P
g
[ g G. Del
ejemplo 6.1.2 (d) se sigue que es un G-conjunto transitivo bajo la
accin
h P
g
:= P
hg
.
Usando el teorema estabilizador-rbita (c) se sigue que
[[ = [G : N
G
(P)[.
Dado que P N
G
(P) G, se verica que
p
a
m = [G[ = [G : N
G
(P)[ [N
G
(P) : P[ [P[ = [[ n p
a
.
Es decir, m = n[[. Por lo tanto p [ [[.
i
i
i
i
i
i
i
i
94 Ismael Gutirrez
Se verica tambin que bajo la misma accin es un U-conjunto. Del
teorema del punto jo se sigue que existe g G tal que
P
ug
= P
g
u U.
Esto demuestra que U N
G
(P
g
) y se tiene que UP
g
G. Por lo tanto
[UP
g
[ =
[U[ [P
g
[
[U P
g
[
=
p
b
p
a
p
c
p
a
.
Dado que U P
g
U, se sigue que p
c
[ p
b
. En consecuencia p
b
= p
c
.
Es decir, [U P
g
[ = [U[ y se tiene que U = U P
g
P
g
.
(c) Sean P
1
, P
2
Syl
p
(G). De (2) se sigue que existen g, h G tales que
P
1
P
g
2
y P
2
P
h
1
.
Entonces
[P
1
[ [P
g
2
[ = [P
2
[ [P
h
1
[ = [P
1
[.
En conclusin [P
1
[ = [P
g
2
[ y as P
1
= P
g
2
.
Nuevamente del teorema estabilizador-rbita se sigue que [G : N
G
(P)[
coincide con el nmero de conjugados de P en G. Pero todos los p-
subgrupos de Sylow de G son conjugados en G. Es decir,
[Syl
p
(G)[ = [G : N
G
(P)[ 1 mod p.
Por otro lado, dado que P N
G
(P) tenemos
[Syl
p
(G)[ =
[G[
[N
G
(P)[
=
[G[
[N
G
(P) : P[[P[
=
m
[N
G
(P) : P[
.
Es decir, se verica que [Syl
p
(G)[ [ m.
6.2.6 Observacin. Sea G un grupo nito y p un nmero primo.
(a) Si p [ [G[, entonces Syl
p
(G) = e
(b) Si [G[ = p
a
, entonces Syl
p
(G) = G
6.2.7 Ejemplos. Subgrupos de Sylow.
(a) Syl
2
(Sym(3)) = (12), (13), (23)
(b) Syl
3
(Sym(3)) = (123)
i
i
i
i
i
i
i
i
(c) Syl
3
(Alt(4)) = (123), (124), (243), (134).
(d) Syl
2
(Sym(4)) = (1234), (24), (1243), (23), (1324), (34).
6.2.8 Teorema. Sea G un grupo nito y p un nmero primo.
(a) Sea P Syl
p
(G). Entonces P G si y solo si Syl
p
(G) = P. En
este caso P consta de todos los elementos de G cuyos rdenes son p-
potencias.
(b) Si todos los subgrupos de Sylowde G(i.e. para cualquier nmero primo)
son normales en G, entonces G es el producto directo de stos.
DEMOSTRACIN.
(a) Es consecuencia inmediata de los teoremas de Sylow.
(b) Sea [G[ = p
a
1
1
p
a
k
k
, con p
1
,= p
j
para cada i ,= j la descomposicin
en factores primos de [G[. Por hiptesis, para cada j 1, . . . , k existe
un nico p
j
-subgrupo de Sylow de G, digamos P
j
.
Si denimos H := P
1
P
k
, entonces se tiene que H G. Del to-
erema de Lagrange se sigue que para todo j 1, . . . , k
p
a
j
j
[ [H[.
Dado que para cada i ,= j se verica que mcd(p
i
, p
j
) = 1, tenemos
p
a
1
1
p
a
k
k
[ [H[.
Entonces [G[ [ [H[ y se sigue que G = H.
Sean ahora g P
i
, h P
j
, con i ,= j. Entonces
P
j
(ghg
1
)h
1
= g(hg
1
h
1
) P
i
.
En consecuencia, dado que P
i
P
j
= e se tiene que ghg
1
h
1
= e.
Es decir, gh = hg. La conclusin se sigue del teorema 5.1.5.
6.2.9 Corolario. Sea G un grupo nito, [G[ = p
a
m, p un nmero primo y
p [ m. Entonces
(a) P Syl
p
(G) si y solo si P es un p-subgrupo maximal de G.
(b) Si P Syl
p
(G) y Aut(G), entonces (P) Syl
p
(G).
i
i
i
i
i
i
i
i
96 Ismael Gutirrez
(c) Argumento de Frattini II. Si N G y P Syl
p
(N), entonces
G = N
G
(P)N.
(d) Si P Syl
p
(G) y N
G
(P) U G, entonces N
G
(U) = U.
(e) Si P Syl
p
(G), entonces N
G
(N
G
(P)) = N
G
(P).
(f) Si denimos el subgrupo O
p
(G) de la siguiente manera
O
p
(G) :=
PSyl
p
(G)
P,
entonces O
p
(G) char G. Adems O
p
(G) es el subgrupo normal mas
grande de G, que es p-grupo.
DEMOSTRACIN.
(a) Sean P Syl
p
(G) y U un p-subgrupo de G con P U < G. Entonces
[U[ p
a
= [P[.
Por lo tanto P = U.
Recprocamente, si P es un p-subgrupo maximal de G, entonces del
teorema 6.2.5 (b) se sigue que P P
1
, para algn P
1
Syl
p
(G). Por
lo tanto P = P
1
.
(b) Dado que Aut(G), se sigue que [(P)[ = [P[. Por lo tanto (P) =
P
g
1
, para algn P
1
Syl
p
(G) y algn g G.
(c) Denamos := Syl
p
(N). Es decir, = P
n
[ n N. Similar como
antes, se verica que es un G-conjunto y adems un N-conjunto tran-
sitivo. Usando el Argumento de Frattini I (teorema 6.1.14) se sigue que
G = N
G
(P)N. Tenga en cuenta que N
G
(P) coincide con el estabi-
lizador de P en G.
(d) Es claro que U N
G
(U). Dado que P N
G
(P) U, se sigue que
P Syl
p
(U). Usando el Argumento de Frattini II se tiene
N
G
(U) = U N
N
G
(U)
(P)
. .
N
G
(P)U
= U.
(e) Se sigue de (d).
i
i
i
i
i
i
i
i
(f) De la denicin de O
p
(G) se sigue inmediatamente que ste es un p-
grupo. Sea ahora Aut(G). Entonces
(O
p
(G))
PSyl
p
(G)
(P) =
PSyl
p
(G)
P = O
p
(G).
Esto demuestra que O
p
(G) es un subgrupo caracterstico de G.
Demostramos ahora que si NGy N es un p-grupo, entonces se verica
que N O
p
(G). En efecto, si P Syl
p
(G), entonces NP es un p-
subgrupo de G. De la maximalidad de P, como p-grupo y de P
PN = NP se sigue que N P. Por lo tanto N P. Es decir, N est
contenido en cualquier p-subgrupo de Sylow de G y en consecuencia
N O
p
(G).
6.2.10 Lema. Sean U, V, W G. Entonces son equivalentes:
(a) U V W = (U V )(U W)
(b) UV UW = U(V W)
DEMOSTRACIN. (a) (b) Dado que V W V y V W W, se
sigue que U(V W) UV y U(V W) UW. Por lo tanto U(V W)
(UV UW). Sea ahora z (UV UW). Entonces existen u, u
U,
v V y w W tales que z = uv = u
w. Por lo tanto que u

1
u
= vw
1
U V W = (U V )(U W).
Entonces vw
1
= v
1
w
1
, con v
1
(U V ) y w
1
(U W). Por lo tanto
v
1
1
v = w
1
w (V W). Entonces z = uv = (uv
1
)(v
1
1
v) U(V W) y
se tiene que UV UW U(V W). Esto demuestra que (UV UW)
U(V W) y se tiene la igualdad.
(b) (a) Evidentemente (UV )(UW) UV W. Sea ahora z (U
V W). Entonces existen u U, v V y w W tales que z = u = vw. En
consecuencia v = uw
1
(UV UW) = U(V W). Entonces v = uw
1
=
u
1
v
1
, con u
1
U y v
1
V W. Se sigue por lo tanto que v
1
w = u
1
1
u y
u
1
= vv
1
1
(UV ). Entonces z = u = vw = u
1
(v
1
w) (UV )(UW).
Esto demuestra que U V W (U V )(U W).
6.2.11 Teorema. Sea G un grupo nito y p un nmero primo. Entonces
(a) Si P Syl
p
(G) y N G, entonces
(1) P N Syl
p
(N)
(2) PN/N Syl
p
(G/N)
i
i
i
i
i
i
i
i
98 Ismael Gutirrez
(b) Si P Syl
p
(G) y N
1
, N
2
G, entonces
(1) N
1
N
2
P = (N
1
P)(N
2
P) y
(2) PN
1
PN
2
= P(N
1
N
2
).
(c) Sea [G[ = p
a
1
1
p
an
n
, con cada p
j
un nmero primo y p
i
,= p
j
, para
i ,= j. Si P
j
Syl
p
j
(G), entonces
G = P
j
[ j = 1, . . . , n.
En particular, si n = 2, entonces G = P
1
P
2
.
DEMOSTRACIN. Supongamos que [G[ = p
a
m, con p [ m.
(a) Dado que N G, se verica que PN G. Entonces
[N : P N[ =
[N[
[P N[
=
[P[[N[
[P[[P N[
=
[PN[
[P[
= [PN : P[. (6.7)
y
[G/N : PN/N[ =
[G/N[
[PN/N[
=
[G[
[PN[
= [G : PN[. (6.8)
Por otro lado, dado que
[G : P[ = [G : PN[[PN : P[
y dado que p [ [G : P[, se verica que
p [ [PN : P[ y p [ [G : PN[.
Entonces
(1) p [ [N : N P[. Por lo tanto P N Syl
p
(N).
(2) p [ [G : PN[. Por lo tanto PN/N Syl
p
(G/N).
(b) Sean P Syl
p
(G) y N
1
, N
2
G.
(1) Es claro que (N
1
P)(N
2
P) N
1
N
2
P.
Si M G, denotemos con [M[
p
la mayor potencia de p que divide
a [M[. Es decir, si [M[ = p
b
k, con p [ k, entonces [M[
p
= p
b
.
i
i
i
i
i
i
i
i
De (a) se sigue que [N
j
P[ = [N
j
[
p
, para j = 1, 2. Por lo tanto
[N
1
N
2
P[ = [N
1
N
2
[
p
. Entonces
[(N
1
P)(N
2
P)[ =
[N
1
P[[N
2
P[
[N
1
N
2
P[
=
[N
1
[
p
[N
2
[
p
[N
1
N
2
[
p
= [N
1
N
2
[
p
= [N
1
N
2
P[,
con lo cual se tiene la igualdad.
(2) Se sigue del lema 6.2.10.
(c) Denamos U := P
j
[ j = 1, . . . , n G. Del teorema de Lagrange se
sigue que
[P
j
[ [ [U[, j = 1, . . . , n.
Teniendo en cuenta que mcd(p
a
1
1
, . . . , p
an
n
) = 1, se demuestra por in-
duccin que si p
a
j
j
[ [U[, para todo j = 1, . . . , n, entonces p
a
1
1
p
an
n
[
[U[. Por lo tanto [G[ [ [U[ y se sigue que U = G.
Si n = 2, entonces
[P
1
P
2
[ =
[P
1
[[P
2
[
[P
1
P
2
[
= [P
1
[[P
2
[ = [G[.
Por lo tanto
G = P
1
, P
2
= P
1
P
2
.
6.3 Algunas aplicaciones
6.3.1 Teorema. El grupo Alt(4) no tiene subgrupos de orden 6.
DEMOSTRACIN. Supongamos que existe U Alt(4), con [U[ = 6. Dado
que [Alt(4) : U[ = 2, se tiene que U Alt(4). Como consecuencia de los
teoremas de Sylow se sigue que
[Syl
3
(U)[ 1 mod 3 y [Syl
3
(U)[ [ 2.
Por lo tanto existe un nico 3-subgrupo de Sylow de U, digamos P.
Para todo g Alt(4) se verica que P
g
U
g
= U. Por lo tanto P
g
= P y
se sigue que P Alt(4). Pero P Syl
3
(Alt(4)) y se sigue que Alt(4) tendra
un nico 3-subgrupo de Sylow, una contradiccin. Ver ejemplo 6.2.7 (c).
6.3. Algunas aplicaciones
i
i
i
i
i
i
i
i
100 Ismael Gutirrez
6.3.2 Teorema. Si G es un grupo con [G[ = 20, entonces G no es simple.
DEMOSTRACIN. Dado que 20 = 2
2
5, se verica que [Syl
5
(G)[ 1 mod
5 y tambin [Syl
5
(G)[ [ 4. Por lo tanto [Syl
5
(G)[ = 1 y se tiene que existe un
nico 5-subgrupo de Sylow de G, por lo tanto normal.
6.3.3 Teorema. Sea Gun grupo de orden pq, donde p y q son nmeros primos
con 2 p < q. Entonces,
(a) G admite un nico subgrupo de orden q, el cual es cclico y adems
normal.
(b) Si q , 1 mod p, entonces G admite un nico subgrupo de orden p, el
cual es cclico y normal en G.
(c) Si q 1 mod p, entonces G admite un nico subgrupo de orden p, el
cual es cclico y normal en G o bien admite q subgrupos de orden p,
cclicos y conjugados entre s.
(d) G es el producto semidirecto de un q-subgrupo normal N y un p-
subgrupo U.
(e) Si G admite un nico subgrupo U de orden p, entonces G

= Z
pq
.
DEMOSTRACIN. De los teoremas de Sylow se sigue que
[Syl
q
(G)[ 1 mod q y [Syl
q
(G)[ [ p (6.9)
y
[Syl
p
(G)[ 1 mod p y [Syl
p
(G)[ [ q. (6.10)
(a) De la segunda condicin en (6.9) se sigue que [Syl
q
(G)[ 1, p. Dado
que p < q, no puede vericarse la condicin [Syl
q
(G)[ 1 mod q. Por
lo tanto [Syl
q
(G)[ = 1. Entonces el nico q-subgrupo de Sylow de G es
nrmal y adems cclico por tener orden un nmero primo.
(b) De la ltima condicin en (6.10) se sigue que [Syl
p
(G)[ 1, q. Dado
que debe cumplirse que Syl
p
(G)[ 1 mod p y por hiptesis q , 1 mod
p, se tiene que [Syl
p
(G)[ = 1. Entonces el nico p-subgrupo de Sylow
de G es nrmal y adems cclico por tener orden un nmero primo.
(c) Si q 1 mod p, entonces con el anlisis anterior podemos armar que
pueden darse las opciones [Syl
p
(G)[ = 1 o [Syl
p
(G)[ = q, con lo cual
se tiene la armacin.
i
i
i
i
i
i
i
i
(d) La existencia de tales subgrupos N y U est garantizada por lo anterior
y del teroema 6.2.11 (c) se sigue que G = UN.
(e) En este caso, adems de las condiciones NG, G = UN y UN = e
se tiene que U G. Entonces
G = U N

= Z
p
Z
q

= Z
pq
.
Esta ltima isomorfa se sigue del hecho que mcd(p, q) = 1.
6.3.4 Corolario. Sea p un nmero primo impar y G un grupo con [G[ = 2p.
Entonces G

= Z
2p
o G

= D
p
.
DEMOSTRACIN. Del teorema 6.3.3 (a) se sigue que G admite un nico
subgrupo normal cclcio de orden p, digamos a, con a G. Del teorema
de Cauchy se sigue que existe b G, con ord(b) = 2. Dado que a G, se
sigue que
bab
1
= bab a.
Es decir,
bab = a
j
,
para algn j N con j < p.
Si r N, entonces dado que b es una involucin, se tiene que
ba
r
b = (bab)
r
= (a
j
)
r
= a
rj
.
Entonces
a = b
2
ab
2
= b(bab)b = ba
j
b = a
j
2
y en consecuencia
a
j
2
1
= e.
Dado que ord(a) = p, se sigue que p [ j
2
1 o equivalentemente j
2
1 mod p. Las soluciones a esta congruencia son j = 1 o j = p 1.

Caso 1. Si j = 1, entonces ab = ba y se tiene que G es abeliano, por lo tanto
isomorfo a Z
2p
.
Caso 2. Si j = p 1, entonces
G

= a, b [ a
p
= b
2
= e, bab
1
= a
p1

= D
p
,
con lo cual se concluye la prueba.
6.3.5 Corolario. Existen salvo isomorfa dos grupos de orden 6.
6.3. Algunas aplicaciones
i
i
i
i
i
i
i
i
102 Ismael Gutirrez
DEMOSTRACIN. Del teorema anterior se sigue que existen salvo isomorfa
los grupos Z
6
y D
3
. No es dicil vericar que D
3

= Sym(3).
6.3.6 Teorema. Sean p y q nmeros primos distintos. Si G es un grupo con
[G[ = p
2
q, entonces G admite bien un p-subgrupo de Sylow normal o un
q-subgrupo de Sylow normal.
6.3.7 Teorema. Existe salvo isomorfa existe un nico grupo simple con orden
60, concretamente Alt(5).
DEMOSTRACIN. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
6.4 Grupos abelianos nitos
Similar como se realizo con los grupos cclicos, la tarea principal de esta cap-
tulo es clasicar los grupos abelianos nitos.
6.4.1 Lema. Sea e ,= G un p-grupo abeliano nito. Entonces G es cclico
si y solo si G tiene un nico subgrupo de orden p.
DEMOSTRACIN. Si G es un grupo cclico, entonces el resultado se sigue
del teorema 4.2.2.
Recprocamente, supongamos que [G[ = p
m
y demostramos la armacin
por induccin sobre m. Si m = 1, entonces G es ciclico.
Supongamos entonces que m > 1 y que G admite un nico subgrupo de
orden p, digamos P. Entonces la funcin : G G denida por
(x) := x
p
.
es un endomorsmo con ker() = x G [ x
p
= e = P. Entonces del
primer teorema de isomorfa se sigue que
G/P

= Im().
Por lo tanto [Im()[ = p
m1
. Usando el teorema de Cauchy (corolario 6.2.3)
y la hiptesis se sigue que P es el ico subgrupo de orden p de Im() G.
Usando la hiptesis inductiva se sigue que Im() es cclicio, digamos Im() =
(g), para algn g G. Entonces
ord((g)) = ord(g
p
) = p
m1
.
Por lo tanto ord(g) = p
m
y se tiene que G = g.
i
i
i
i
i
i
i
i
6.4.2 Lema. Sea e , = G un p-grupo abeliano nito y g G con orden
maximal. Entonces existe U G tal que G = g U. Es decir g tiene un
complemento en G.
DEMOSTRACIN. Demostramos la armacin por induccin sobre [G[. Si
G es cclico, entonces G = g para algn g G con orden maximal y
podemos tomar U := e.
Supongamos entonces que G no es cclico. Usando el lema anterior, pode-
mos armar que Gtiene por lo menos dos subgrupos de orden p. Dado que g
admite un nico subgrupo de orden p, se tiene que existe A G, con [A[ = p,
A _ g y A g = e.
Denamos G := G/Ay g := gA G. Entonces usando el segundo teorema
de isomorfa tenemos:
g = gA/A

= g/(g A)

= g.
Por lo tanto ord(g) = ord(g) y se tiene que g es un elemento con orden
maximal en G.
Usando la hiptesis de induccin, se tiene que g tiene un complemento en
G. Es decir, existe U G tal que G = g U. Sea U = U/A. Entonces se
verica que
G = gU y g U A.
Dado que A g = e, se tiene que U g = e. Esto demuestra que
G = g U.
6.4.3 Teorema. Sea e ,= G un p-grupo abeliano nito. Entonces G es un
producto directo de grupos cclicos. Si
G = g
1
g
n
= h
1
h
m
,
entonces m = n y para una enumeracin adecuada se verica que o(g
j
) =
o(h
j
) para j = 1, . . . , n. Es decir,
G = g
1
g
n
,
con ord(g
1
) ord(g
n
) y la n-tupla (ord(g
1
), . . . , ord(g
n
)) queda de-
terminada de manera nica por G.
DEMOSTRACIN. La existencia de tal descomposicin es una consecuencia
inmediata del lema 6.4.2. Para ello se inicia con un elemento g
1
de orden
maximal en G y luego aplica la hiptesis al complemento U.
6.4. Grupos abelianos nitos
i
i
i
i
i
i
i
i
104 Ismael Gutirrez
Para demostrar la unicidad de la descomposicin, enumeremos los g
j
de tal
manera que ord(g
j
) = p
a
j
con
a
1
a
k
> a
k+1
= = a
n
= 1.
Si consideramos nuevamente el endomorsmo de G denido por
(x) := x
p
,
entonces para el subgrupo Im() se verica que
Im() = g
p
1
g
p
n
= g
p
1
g
p
k
y adems
[Im()[ = p
a
1
1
p
a
k
1
,
con lo cual se tiene que
[G/Im()[ = p
n
.
Un argumento similar con los h
j
demuestra que
[G/Im()[ = p
m
.
Por lo tanto m = n.
Usando induccin matemtica sobre [G[ se demuestra que los k nmeros
a
1
1, . . . , a
k
1 quedan determinados de manera nica por Im() y por
lo tanto tambin por G. Dado que n queda determinado por G/Im(), los
exponentes a
1
, . . . , a
n
quedan determinados de manera nica por G.
El siguiente teorema suministra una clasicacin completa de los grupos
abelianos nitos. Demostramos que si G es un grupo abeliano nito, entonces
G es isomorfo a un producto directo de de grupos cclicos cuyos ordenes son
potencias de nmeros primos.
6.4.4 Teorema fundamental sobre grupos abelianos ntos. Sea e ,= G
un grupo abeliano nito. Entonces G es un producto directo de subgrupos
cclicos no triviales cuyos rdenes son potencias de nmeros primos.
DEMOSTRACIN. Del teorema 6.2.8 (b) se sigue que G es producto directo
de sus subgrupos de Sylow, P
1
, . . . , P
k
. Es decir,
G = P
1
P
k
.
La existencia de una descomposicin de la forma
G = g
1
g
n
(6.11)
i
i
i
i
i
i
i
i
se sigue del teorema 6.4.3.
Si p
j
es un divisor de [G[, entonces del teorema 6.2.8 (a) se sigue que los
p
j
-subgrupos de Sylow P
j
de G contienen exactamente los elementos de G,
cuyos rdenes son p
j
-potencias.
Sean U
j1
, . . . , U
jn
j
los factores en (6.11) para los cuales p
j
[ [U
ji
[. Entonces
se sigue que
[U
j1
U
jn
j
[ = [P
j
[
y en consecuencia
U
j1
U
jn
j
= P
j
.
6.4.5 Denicin. Sea G un grupo abeliano nito, digamos
G = g
1
g
n
,
con ord(g
j
) = p
a
j
j
donde cada p
j
es un nmero primo y a
j
N. Ordenamos
los p
j
de menor a mayor y para dos primos iguales, digamos p
j
= p
j+1
, se
cuenta primero la mayor potencia de p
j
, es decir,
p
1
p
2
. . . p
n
y si p
j
= p
j+1
, entonces a
j
a
j+1
.
La n-tupla (p
a
1
1
, . . . , p
an
n
) formada con este orden y segn el teorema funda-
mental de los grupos abelianos, determinada de manera nica por el grupo G,
se denomina el tipo de G. Un p-grupo abeliano nito del tipo (p, p, . . . , p) se
denomina abeliano elemental.
Dado que g
j

= Z
p
a
j
j
, para todo j = 1, . . . , n, se sigue que
G

= Z
p
a
1
1
Z
p
an
n
.
Esto trae como consecuencia que todo grupo nito G queda completamente
determinado por su tipo.
6.4.6 Ejemplos. Como aplicaciones del teorema fundamental tenemos:
(a) Salvo isomorfa existe un nico grupo abeliano de orden 210, este es del
tipo (2, 3, 5, 7) y corresponde a
Z
2
Z
3
Z
5
Z
7
.
6.4. Grupos abelianos nitos
i
i
i
i
i
i
i
i
106 Ismael Gutirrez
(b) Salvo isomorfa existen tres grupos abelianos de orden 8. Sus tipos son
(2, 2, 2), (2
2
, 2), (2
3
) y estn dado por
Z
2
Z
2
Z
2
Z
4
Z
2
Z
8
(c) Salvo isomorfa existen dos grupos abelianos de orden 20. Sus tipos son
(2, 2, 5), (2
2
, 5) y estn dado por
Z
2
Z
2
Z
5
Z
4
Z
5
(d) Salvo isomorfa existen nueve grupos abelianos de orden 1000 = 2
3
5
3
,
como se muestra en la siguiente tabla:
Grupo Tipo
Z
2
Z
2
Z
2
Z
5
Z
5
Z
5
(2, 2, 2, 5, 5, 5)
Z
2
Z
2
Z
2
Z
5
2 Z
5
(2, 2, 2, 5
2
, 5)
Z
2
2 Z
2
Z
5
Z
5
Z
5
(2
2
, 2, 5, 5, 5)
Z
2
Z
2
Z
2
Z
5
3 (2, 2, 2, 5
3
)
Z
2
2 Z
2
Z
5
2 Z
5
(2
2
, 2, 5
2
, 5)
Z
2
3 Z
5
Z
5
Z
5
(2
3
, 5, 5, 5)
Z
2
2 Z
2
Z
5
3 (2
2
, 2, 5
3
)
Z
2
3 Z
5
2 Z
5
(2
3
, 5
2
, 5)
Z
2
3 Z
5
3 (2
3
, 5
3
)
Presentamos a continuacin una consecuencia importante del teorema fun-
damental para los grupos abelianos nitos. Esta propiedad se mantena hasta
el momento solo para grupos cclicos.
6.4.7 Corolario. Si G es un grupo abeliano nito y d un divisor de [G[, en-
tonces existe U G con [U[ = d.
DEMOSTRACIN. Si [G[ = n
1
n
r
, entonces G

= Z
n
1
Z
nr
. Si
d [ [G[, entonces existen d
j
con d
j
[ n
j
, (j = 1, . . . , r) tales que d = d
1
d
r
.
Por lo tanto Z
d
1
Z
dr
es isomorfo a un subgrupo de G con orden d.
i
i
i
i
i
i
i
i
6.5 Ejercicios
1. Sean G y H grupos. Un homomorsmo : G Sym(), donde
es un conjunto no vaco, se denomina una representacin de G por
permutaciones sobre . Demuestre que es un G-conjunto derecho si
y solo si la funcin : G Sym() denida por
(g)() = g ,
para y g G es una representacin de G por permutaciones
sobre .
2. Sean G y H grupos. Demuestre que:
(a) Si ,= A G y := A
g
[ g G, entonces la funcin
: G Sym() denida por
(h)(A
g
) := A
hg
h G
es una representacin de G por permutaciones sobre .
(b) Si U G con [G : U[ = n y := g
1
U, . . . , g
n
U el conjunto
de las clases laterales derechas distintas de U en G, entonces la
funcin : G Sym() denida por
(h)(g
i
U) := hg
i
U h G
es una representacin de G por permutaciones sobre .
3. Sean G un grupo nito, , = A G y := A
g
[ g G. Entonces
[[ = [G : N
G
(A)[ y en particular, si A = g, entonces se tiene que
N
G
(g) = C
G
(g) y [g
G
[ = [G : C
G
(g)[.
4. Sea U G con ndice nito, digamos [G : U[ = n y sea :=
g
1
U, . . . , g
n
U el conjunto de las clases laterales izquierdas distintas
de U en G. Entonces es un G-conjunto transitivo bajo la accin
h g
i
U := hg
i
U,
para h G. Si denimos core
G
(U) :=
xG
U
x
, entonces core
G
(U)
G y adems G/core
G
(U) es isomorfo a un subgrupo de Sym(n).
5. Use el ejercicio anterior para demostrar el teorema de Cayley. Sea G un
grupo nito. Entonces G es isomorfo a un subgrupo de Sym(n) para
algn n N.
6.5. Ejercicios
i
i
i
i
i
i
i
i
108 Ismael Gutirrez
6. Demuestre que si un grupo G de orden 6 tiene un subgrupo no normal
H con orden 2, entonces G es isomorfo a Sym(3).
7. Sean
1
y
2
dos G-conjuntos. Diremos estos son isomorfos, como
G-conjuntos, si existe una biyeccin :
1

2
con (g ) =
g (), para todo g G y todo
1
. Demuestre que si
1
es un
G-conjunto transitivo,
1
y U = G
, entonces
1
es isomorfo a
2
:= gU [ g G.
8. Sea G = g
1
g
n
un grupo abeliano elemental. Es decir,
G es un p-grupo abeliano del tipo (p, p, . . . , p) y ord(g
j
) = p, para
todo j = 1, 2, . . . , n. Denotemos con V (n, p) el espacio vectorial de
dimensin n sobre GF(p), el campo de Galois de orden p y sea V (n, p)
+
su grupo aditivo. Demuestre que
(a) La funcin : G V (n, p)
+
denida por
(g
1
1
, . . . , g
n
n
) := (
1
+pZ, . . . ,
n
+pZ)
es un isomorsmo.
(b) Si Aut(G) con (g
1
1
, . . . , g
n
n
) = (g
1
1
, . . . , g
n
n
), entonces
la funcin : Aut(G) GL
n
(p) denida por
()(
1
+pZ, . . . ,
n
+pZ) := (
1
+pZ, . . . ,
n
+pZ)
es un isomorsmo. Es decir, se verica que Aut(G)

= GL
n
(p).
9. Sea G un grupo tal que G/Z(G) es cclico. Entonces G es abeliano.
10. Sea G un grupo nito. Si U G con [G : U[ = n, entonces G tiene un
subgrupo normal N tal que n divide a [G : N[ y [G : N[ divide a n!.
11. Si p es el nmero primo ms pequeo que divide a [G[ y N < G con
p = [G : N[, entonces N G.
12. Los grupos Sym(4) y Alt(4) operan transitivamente (por conjugacin)
sobre el grupo 4-de Klein V
4
= (1), (12)(34), (13)(24), (14)(23).
Determine el estabilizador de = (12)(34) bajo las dos operaciones.
13. Sea G un grupo. Si , = M G y U G, entonces para todo g G
(a) (N
U
(M))
g
= N
U
g (M
g
)
(b) (C
U
(M))
g
= C
U
g (M
g
)
i
i
i
i
i
i
i
i
14. Si [G[ = p
2
(p primo), entonces G es abeliano.
15. Si G = Sym(4), calcule N
G
(V
4
), C
G
((1 2)(3 4)).
16. Sea G un grupo, M G, g G y U G. Entonces
(a) U N
G
(U)
(b) Z(G) =
gG
C
G
(g)
(c) C
U
(g) = C
G
(g) U
17. Sea G un grupo tal que G/Z(G) es cclico. Entonces G es abeliano.
18. Si G es un grupo abeliano y k Z. Denimos
G
k
:= g
k
[ g G.
Diremos que k aniquila a G, si G
k
= e. Demuestre que el conjunto
K(G) := k [ k aniquila a G,
es un subgrupo de Z y por lo tanto es de la forma mZ, para algn m
N
0
. Este nmero m es denominado el exponente de G y lo notaremos
con Exp(G).
19. Denotemos nuevamente con V
4
al 4-grupo de Klein y con Z
15
el grupo
de las unidades de Z
15
. Demuestre que
(a) Exp(Z) = 0
(b) Exp(Z
n
) = n
(c) Exp(V
4
) = 2.
(d) Exp(Z
15
) = 4
(e) Exp(Sym(3)) = 6.
20. Sea G un grupo abeliano con Exp(G) = m. Demuestre que
(a) Para todo entero k, k aniquila a G si y solo si m [ k.
(b) Si G es nito, entonces m [ [G[
(c) Si m ,= 0, entonces para todo g G se verica que ord(g) [ m
(d) Si G es cclico, entonces
Exp(G) =
_
0, si G es innito
[G[, si G es nito
6.5. Ejercicios
i
i
i
i
i
i
i
i
110 Ismael Gutirrez
21. Demuestre que si G es un grupo nito, entonces
Exp(G) := mcmord(g) [ g G.
22. Demuestre que todo grupo G con Exp(G) = 2 es abeliano.
23. Sean G un grupo abeliano y g G. Supngase que para algn primo p
y algn entero a se verica que g
p
a1
,= e y g
p
a
= e. Demuestre que
ord(g) = p
a
.
24. Sea G un grupo abeliano con Exp(G) = m ,= 0. Demuestre que G
tiene un elemento de orden m.
25. Sean Gun grupo abeliano nito y n N. Demuestre que si n [ Exp(G),
entonces existe h G tal que ord(h) = n.
26. Sean G un grupo abeliano nito y N G. Demuestre que Exp(G/N)
divide a Exp(G).
27. Sean G un grupo abeliano nito y p un nmero primo con p [ [G[.
Demuestre que p [ Exp(G) y en particular que existe g G tal que
ord(g) = p.
28. Sea G un grupo abeliano nito. Demuestre que los nmeros primos que
dividen a Exp(G) son los mismos primos que dividen a [G[.
29. Si G un grupo abeliano nito tal que [G[ = mn, con m, n N y
mcd(m, n) = 1. Entonces existen U, V Gcon G = UV , [U[ = m
y [V [ = n.
30. Sean G un grupo, p un nmero primo, P un p-subgrupo de G, N G y
p [ [N[. Demuestre que
(a) N
G
(P)N/N = N
G/N
(PN/N)
(b) C
G
(P)N/N = C
G/N
(PN/N)
i
i
i
i
i
i
i
i
Captulo 7
Grupos nilpotentes y grupos
solubles
Contenido
7.1 El teorema de Jordan - Hlder . . . . . . . . . . . . . . 111
7.2 Conmutadores . . . . . . . . . . . . . . . . . . . . . . . 121
7.3 Series centrales . . . . . . . . . . . . . . . . . . . . . . . 126
7.3.1 Serie central descendente . . . . . . . . . . . . . . 126
7.3.2 Serie central ascendente . . . . . . . . . . . . . . 130
7.4 Grupos nilpotentes nitos . . . . . . . . . . . . . . . . . 133
7.5 Grupos solubles nitos . . . . . . . . . . . . . . . . . . 138
7.6 Subgrupos normales minimales . . . . . . . . . . . . . . 144
7.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 148
7.1 El teorema de Jordan - Hlder
7.1.1 Denicin. Sea G un grupo.
(a) Una cadena o una serie ( de Ges cualquier sucesin nita de subgrupos
de G, totalmente ordenada por inclusin, cuyo primer elemento es e
y cuyo elemento nal es G. Esto es,
(() e = U
0
U
1
U
n
= G.
111
i
i
i
i
i
i
i
i
112 Ismael Gutirrez
(b) La cadena ( se denomina subnormal, si para todo i 1, . . . , n1 se
verica que U
i
U
i+1
. Si adems U
i
G, para todo i 1, . . . , n1,
entonces diremos que ( es una cadena normal de G.
(c) Los grupos cocientes U
i+1
/U
i
, con i 1, . . . , n 1 se denominan
factores de la cadena subnormal y el nmero n se denomina longitud
de (. Si U
i
,= U
i+1
, para todo i 1, . . . , n1, entonces diremos que
( es una cadena sin repeticiones.
(d) Una cadena subnormal (
de G, digamos
((
) e = V
0
V
1
V
m
= G
se denomina un renamiento de (, si existe una funcin inyectiva
: 1, . . . , n 1, . . . , m,
tal que U
i
= V
(i)
, para todo i 1, . . . , n. Si m > n, entonces el
renamiento se denomina propio.
(e) Diremos que las cademas subnormales ( y (
son equivalentes o iso-

morfas, si m = n y existe una permutacin Sym(m) tal que para
todo i 1, . . . , m se verica que
U
i+1
/U
i

= V
(i)+1
/V
(i)
.
7.1.2 Ejemplos. Series subnormales y series equivalentes.
(a) Todo grupo G posee la serie normal e G, cuyo nico factor es
G/e

= G.
(b) Sea G = Sym(4). Consideremos las cadenas
(() (1) (12)(34) V
4
Alt(4) G y
((
) (1) V
4
Alt(4) G.
Se verica que ( es un renamiento propio de (
, que es una cadena

subnormal de G, pero no es normal. Mientras que (
es una cadena
normal de G.
(d) Sea G = Z. Entonces la cadena
0 8Z 4Z 2Z Z
es una cadena normal de G.
Captulo 7. Grupos nilpotentes y grupos solubles
i
i
i
i
i
i
i
i
(e) Sea G = Z
6
. Entonces las cadenas
(() 0 2Z/6Z G y
((
) 0 3Z/6Z G
son equivalentes o isomorfas.
(f) Si G = g es un grupo cclico de orden 24, entonces las series normales
(() e g
4
g
2
G y
((
) e g
12
g
6
G
son equivalentes o isomorfas.
7.1.3 Denicin. Sean G un grupo y U G. Diremos que U es subnormal
en G, notado U G, si U es un elemento de una cadena subnormal de G.
Esto es, U es un subgrupo subnormal en G, si existe una cadena de la forma
U = U
0
U
1
U
n
= G.
El siguiente resultado, conocido en la literatura como el lema de la mariposa
o el lema de Zassenhaus
1
. Este resultado nos permite obtener una tcnica para
renar cadenas normales o cadenas subnormales.
7.1.4 Lema. (Zassenhaus, 1934) Sean G un grupo, U, V G, U
0
U, V
0
V . Entonces
(a) (U
0
V )(U V
0
) (U V )
(b) U
0
(U V
0
) U
0
(U V )
(c) V
0
(V U
0
) V
0
(U V )
(d) U
0
(U V )/U
0
(U V
0
)

= (U V )/(U
0
V )(U V
0
)
= V
0
(U V )/V
0
(V U
0
).
Ilustracin:
1
Hans Julius Zassenhaus (1912 - 1991) Matemtico alemn. Ampliamente conocido por sus
trabajos en lgebra. Fue alumno de Emil Artin.
7.1. El teorema de Jordan - Hlder
i
i
i
i
i
i
i
i
114 Ismael Gutirrez
U
U
0
(U V )
U
0
(U V
0
)
U
0
V U
0
V
V
0
(U V )
V
0
(U
0
V )
V
0
V
0
U
U V
(U
0
V )(V
0
U)
U
0
V
0
DEMOSTRACIN. Controlemos inicialmente que cada uno de los productos
que aparecen en las armaciones del lema son efectivamente grupos.
(1) Dado que U
0
U y (U V ) U, del teorema 1.2.12 se verica que
U
0
(U V ) = (U V )U
0
. Por lo tanto U
0
(U V ) U.
(2) Dado que V
0
V y (UV ) V , usando nuevamente del teorema 1.2.12
se verica que V
0
(U V ) = (U V )V
0
. Por lo tanto V
0
(U V ) V .
(3) Dado que U
0
U y (UV
0
) U, se tiene tambin que U
0
(UV
0
) U.
De manera similar se tiene que V
0
(V U
0
) V .
(4) Dado que V
0
V y (U V ) V , del lema 2.1.4 (a) se sigue que
U V
0
= (U V ) V
0
U V.
De manera similar se demuestra que U
0
V U V .
Demostramos ahora las armaciones del lema:
(a) De (4) se tiene que U V
0
U V y U
0
V U V . Usando el lema
2.1.4 (c) se tiene que (U
0
V )(U V
0
) (U V ).
(b) y (d) Consideremos la funcin
: U
0
(U V ) (U V )/(U
0
V )(U V
0
)
i
i
i
i
i
i
i
i
denida por
(xy) = y(U
0
V )(U V
0
), x U
0
, y U V.
Para abreviar denamos N := (U
0
V )(U V
0
).
est bien denida. Sean x
1
, x
2
U
0
y y
1
, y
2
U V con x
1
y
1
=
x
2
y
2
. Entonces
y
1
y
1
2
= x
1
1
x
2
U
0
(U V ) = U
0
V N.
Por lo tanto y
1
N = y
2
N. Es decir, (x
1
y
1
) = (x
2
y
2
).
es un homomorsmo. Dado que U
0
U, para todo y
1
U V se
verica que y
1
U
0
= U
0
y
1
. En consecuencia
(x
1
y
1
x
2
y
2
) = (x
1
x
3
y
1
y
2
)
= y
1
y
2
N
= y
1
Ny
2
N
= (x
1
y
1
)(x
2
y
2
).
es un epimorsmo. Es claro que es sobre.
El ncleo de . Sean x
1
U
0
y y
1
U V
x
1
y
1
ker() (x
1
y
1
) = N.
y
1
N = N
y
1
N
y
1
N
x
1
y
1
U
0
N
x
1
y
1
U
0
(U
0
V )(U V
0
)
Dado que U
0
(U
0
V )(U V
0
) = U
0
(U V
0
), se tiene que
x
1
y
1
ker() x
1
y
1
U
0
(U V
0
).
Por lo tanto
ker() = U
0
(U V
0
).
Esto demuestra (b). Aplicando el primer teorema de isomorfa tenemos
U
0
(U V )/U
0
(U V
0
)

= (U V )/(U
0
V )(U V
0
).
(c) y la otra isomorfa que aparece en (d) se demuestran de manera
similar.
i
i
i
i
i
i
i
i
116 Ismael Gutirrez
El siguiente resultado es conocido como el teorema de renamiento de
Schreier
2
. En 1928 Schreier encontr un renamiento importante del teorema
de Jordan-Hlder, exactamente 39 a sos despus de la publicacin del trabajo
de Hlder. No deja de sorprender el hecho que un teorema tan extendido y
bsico pueda ser profundizado despus de tanto tiempo. Mas sorprendente an
es que esto sucedi nuevamente, Zassenhaus en 1934, descubri una segunda
mejora de la demostraci sn, que es la que se present anteriormente.
7.1.5 Teorema. (Schreier, 1928) Sea G un grupo. Entonces cualquier par de
cadenas o series subnormales de G admiten renamientos equivalentes o iso-
morfos.
DEMOSTRACIN. Sean
((
1
) e = U
0
U
1
U
n
= G
y
((
2
) e = V
0
V
1
V
m
= G
dos cadenas subnormales de G.
Para cada i 0, 1, . . . , n1 introducimos entre los grupos U
i
y U
i+1
una
cadena de subgrupos, no necesariamente diferentes, de la siguiente manera:
U
i,j
:= U
i
(U
i+1
V
j
), j 0, 1, . . . , m.
Note que para todo i 0, 1, . . . , n 1
U
i
= U
i,0
U
i,1
U
i,m1
U
i,m
= U
i+1
.
Se verica adems que
U
i,m
= U
i+1
= U
i+1,0
.
Usando el lema de Zassenhaus podemos armar que de esta forma se obtiene
una nueva cadena subnormal de G, digamos (
1
, la cual es un renamiento de
(
1
. Esta nueva cadena subnormal tiene nm+1 subgrupos, no necesariamente
diferentes.
Ilustracin:
2
Otto Schreier (Vienna, 1901, Hamburg, 1929) Matemtico austriaco. Realiz grandes con-
tribuciones en la teora de grupos.
i
i
i
i
i
i
i
i
U
i+1
U
i
(U
i+1
V
j
)
U
i
(U
i+1
V
j1
)
U
i
De manera similar podemos proceder con (
2
, obteniendo una cadena subnor-
mal (
2
, la cual es un renamiento de (
2
y posee tambin nm + 1 subgrupos,
no necesariamente diferentes.
Para cada j 0, 1, . . . , m1 denimos
V
j,i
:= V
j
(V
j+1
U
i
), i 0, 1, . . . , n.
Note que
V
j,n
= V
j+1
= V
j+1,0
.
Usando nuevamente el lema de Zassenhaus se sigue que
U
i,j+1
/U
i,j
= U
i
(U
i+1
V
j+1
)/U
i
(U
i+1
V
j
)
= V
j
(V
j+1
U
i+1
)/V
j
(V
j+1
U
i
)
= V
j,i+1
/V
j,i
. (7.1)
Finalmente, para indexar las cadenas (
1
y (
2
fueron utilizados, respectiva-
mente, los conjuntos
I = (i, j) [ 0 i n 1, 0 j m1 (n, 0)
J = (r, s) [ 0 r m1, 0 s n 1 (m, 0).
Sea K el conjunto denido por
K = k Z [ 0 k nm.
Se verica que [I[ = [J[ = [K[ = nm + 1. Entonces podemos usar K para
indexar las cadenas (
1
y (
2
. Para ello procedamos de la siguiente manera:
I (i, j) im+j K
(n, 0) nm
J (r, s) rn +s K
(m, 0) mn.
i
i
i
i
i
i
i
i
118 Ismael Gutirrez
En esta nueva notacin, para (i, j) I y (r, s) J tenemos que
U
i,j
= U
im+j
U
n,0
= U
nm
V
r,s
= V
rn+s
V
m,0
= V
mn
.
Sea ahora = 0, 1, . . . , nm1 y como es usual, notemos con Sym() el
grupo de las biyecciones de .
Si k , entonces existe (i, j) I tal que k = im + j. Si denimos
: mediante
(k) = (im+j) = jn +i,
entonces se verica que Sym().
es inyectiva. Supongamos que (im + j) = (i
m + j
). Entonces
jn +i = j
n +i
o equivalentemente
(j j
)n = i
i. (7.2)
Sin perder generalidad supongamos que j j
. Si j ,= j
, entonces (7.2)
implicara que
n < (j j
)n = i
i n 1 < n,
lo cual es contradictorio. En consecuencia j = j
y i = i
, con lo cual se tiene

la inyectividad de . Dado que es nito se tiene que Sym().
Finalmente,
U
k+1
/U
k
= U
im+j+1
/U
im+j
= U
i,j+1
/U
i,j
.
V
(k)+1
/V
(k)
= V
jn+i+1
/V
jn+i
= V
j,i+1
/V
j,i
.
Usando (7.1) se sigue que
U
k+1
/U
k

= V
(k)+1
/V
(k)
,
para k , con lo cual se completa la prueba.
7.1.6 Denicin. Sea G un grupo. Una cadena subnormal de G, digamos
(() e = U
0
U
1
U
n
= G
se denomina una serie de composicin de G, si sus correspondientes factores
son grupos simples. En este caso, cada cociente U
i+1
/U
i
se denomina un
factor de composicin de G.
i
i
i
i
i
i
i
i
7.1.7 Denicin. Sea G un grupo. Una cadena normal de G, digamos
(() e = U
0
U
1
U
n
= G
se denomina una serie principal de G, si para todo i 1, . . . , n 1 se
verica que U
i+1
/U
i
es un subgrupo normal minimal de G/U
i
. Los grupos
cocientes U
i+1
/U
i
se denominan factores principales de G. Se dice que un
factor principal H/K de G es central en G, si H/K Z(G/K).
7.1.8 Ejemplos. Series de composicin.
(a) La cadena
(1) (12)(34) V
4
Alt(4) Sym(4)
es una serie de composicin de Sym(4).
(b) El grupo aditivo Z no admite una serie de composicin. En efecto, toda
cadena subnormal
0 n
1
Z n
k
Z Z
puede renarse con
0 n
2
1
Z n
1
Z n
k
Z Z.
(c) Todo grupo nito admite una serie de composicin.
El siguiente resultado se intuye en los trabajos de Jordan
3
, no obstante su
demostracin se atribuye a Hlder
4
.
7.1.9 Teorema. (Jordan, 1869 - Hlder, 1889) Sea G un grupo, el cual ad-
mite una serie de composicin. Entonces cualquier par de series de composi-
cin de G son equivalentes.
3
Marie Ennemond Camille Jordan (Lyon, 1838, Paris, 1922) Matemtico e ingeniero
francs. Destacado por sus aportes en la teora de grupos y en las ecuaciones algebraicas.
4
Otto Ludwig Hlder (Stuttgart, 1859, Leipzig, 1937) Matemtico alemn.Trabaj en cover-
gencia de series de Fourier y en 1884 descubri la desigualdad, ahora conocida con su nombre.
Se interes adems en teora de grupos y demostr la unicidad de los grupos factores en las
series de composicin de un grupo.
i
i
i
i
i
i
i
i
120 Ismael Gutirrez
DEMOSTRACIN. Sean
(() e = U
0
U
1
U
n
= G
y
((
) e = V
0
V
1
V
m
= G
dos series de composicin de G. Usando el teorema de Schreier podemos
armar que ( y (
admiten renamientos equivalentes.

Dado que para cada i 0, 1, . . . , n 1 y cada j 0, 1, . . . , m 1 se
verica que U
i
< U
i+1
y V
j
< V
j+1
, dichos renamientos no son propios. Es
decir, estos coinciden con las series de composicin originales. Por lo tanto
deben ser equivalentes.
7.1.10 Corolario. Sea G un grupo, el cual admite una serie de composicin y
N un subgrupo normal propio de G. Entonces N es elemento de una serie de
composicin de G.
DEMOSTRACIN. Consideremos la cadena
(() e < N < G. (7.3)
Es claro que esta es una cadena subnormal de G. Sea ahora
((
) e = U
0
U
1
U
n
= G
una serie de composicin de G. Del teorema de Schreier se sigue nuevamente
que ( y (
admiten renamientos equivalentes. Dado que (
es una serie de
composicin, el renamiento de ( tambin lo es.
7.1.11 Corolario. (Teorema fundamental de la aritmtica) Sea n Z con
n > 1. Entonces existen nmeros primos nicos p
1
, . . . , p
k
con p
1
< < p
k
y enteros positivos a
1
, . . . , a
k
tales que n = p
a
1
1
p
a
k
k
.
DEMOSTRACIN. Para todo n Z con n > 1 existe (salvo isomorfa) un
grupo cclico de orden n. Denotmoslo con C
n
y digamos que C
n
= g.
Todo subgrupo de C
n
es normal y para cada d [ n se verica que existe un
nico subgrupo de orden d.
Sean d el mayor divisr propio de n y U
1
el nico subgrupo de C
n
cuyo
orden es d. Entonces el grupo G/U
1
es cclico y simple. Por lo tanto con
orden un nmero primo. Aplicando esta construccin al grupo U
1
podemos
construir una serie de composicin de G
(() G = U
0
U
1
U
r
= e,
i
i
i
i
i
i
i
i
con U
i1
/U
i
de oren primo, digamos p
i
, i = 1, . . . , r. Entonces
n = [G[
= [G/U
1
[[U
1
[
= [G/U
1
[[U
1
/U
2
[ [U
r1
/U
r
[[U
r
[
= p
1
p
2
. . . p
r1
1.
La unicidad de los nmeros primos se sigue del teorema de Jordan-Hlder
aplicado al grupo G.
7.2 Conmutadores
En el primer captulo se introdujo el concepto de centro de un grupo. Este nos
permite tener una "medida" de la conmutatividad de la operacin en el grupo.
En efecto, un grupo que coincide con su centro es abeliano. Por el contrario, un
grupo con centro propio indica automticamente que el grupo no es abeliano.
Otro concepto importante asociado a la conmutatividad de un grupo es el de
grupo conmutador. Con este podemos tambien determinar en que medida un
grupo no es abeliano.
7.2.1 Denicin. Sea G un grupo, g, h G y U, V G.
(a) Denimos el conmutador de g con h, notado [g, h] as:
[g, h] := ghg
1
h
1
.
(b) Se dene y nota el conmutador de U con V de la siguiente manera:
[U, V ] := [u, v] [ u U, v V .
En particular, [G, G] se notar con G
y se denomina el grupo conmu-

tador o derivado de G.
Es claro que [g, h] = e si y solo si gh = hg. Adems [U, V ] G y si
A U, B V , entonces [A, B] [U, V ].
7.2.2 Lema. Sean G un grupo y g, h, k, x G. Entonces
(a) [g, h]
x
= [g
x
, h
x
]
(b) [g, h]
1
= [h, g]
7.2. Conmutadores
i
i
i
i
i
i
i
i
122 Ismael Gutirrez
(c) [g, hk] = [g, h][g, k]
h
(d) [gh, k] = [h, k]
g
[g, k].
7.2.3 Lema. Un grupo G es abeliano si y solo si G
= e.
DEMOSTRACIN. Se sigue inmediatamente de la denicin.
7.2.4 Lema. Sea G un grupo, A, B, C G. Entonces
(a) [A, B] = [B, A] A, B
(b) [A, B] A si y solo si B N
G
(A)
(c) Si End(G), entonces
([A, B]) = [(A), (B)].
Si A, B char G, entonces [A, B] char G. En particular G
char G.
(d) Si A, B G, entonces [A, B] G y [A, B] A B.
DEMOSTRACIN. Sean a, x A y b, y B.
(a) Dado que [a, b] = [b, a]
1
, se sigue que [A, B] [B, A]. Similar se
demuestra la otra contenencia.
Por otro lado, del lema 7.2.2 (c) y (d) se sigue que
[a, b]
y
= [a, y]
1
[a, yb] [A, B]
y
[a, b]
x
= [xa, b][x, b]
1
[A, B].
Por lo tanto [A, B] A, B
(b) [a, b] = a(a
1
)
b
A (a
1
)
b
A B N
G
(A).
(c) Sea End(G). Entonces
([A, B]) = ([a, b] [ a A, b B)
= [(a), (b)] [ a A, b B
= [(A), (B)].
i
i
i
i
i
i
i
i
(d) Se sigue de (b).
7.2.5 Lema. Sea G un grupo. Si N G, entonces [G/N, G/N] = G
N/N.
DEMOSTRACIN. Si N G, entonces
[G/N, G/N] = [gN, hN] [ g, h G
= [g, h]N [ g, h G
= G
N/N,
7.2.6 Lema. Sea G un grupo. Si G
N G, entonces N G. Adems
G/G
es abeliano y G
est contenido en cualquier subgrupo normal N de G

para el cual G/N sea abeliano. En particular [G : G
[ [G : N[, para todo

N G, con G/N abeliano.
DEMOSTRACIN. Si G
N G, entonces [G, N] [G, G] = G
N.
Usando el lema 7.2.4 (b) se sigue que G N
G
(N). Es decir, N
G
(N) = G,
por lo tanto N G.
Para demostrar que G/G
es abeliano sean xG
, yG
G/G
. Entonces
xG
yG
x
1
G
y
1
G
= xyx
1
y
1
G
= [x, y]G
= G
.
Esto trae como consecuencia que xG
yG
= yG
xG
.
Sea ahora N G, con G/N abeliano. Entonces [G/N, G/N] = N. Pero
[G/N, G/N] = N G
N/N = N
G
N = N
G
N.
Finalmente, del teorema de Lagrange se sigue que
[G[ = [G : N[[N[ [G : N[[G
[
Por lo tanto
[G : G
[[G
[ = [G[ [G : N[[G
[.
Esto implica que [G : G
[ [G : N[, con lo cual se completa la prueba.

7.2. Conmutadores
i
i
i
i
i
i
i
i
124 Ismael Gutirrez
7.2.7 Ejemplo. Sea n N. Entonces
(a) Sym(n)
= Alt(n).
Los casos n = 1 y n = 2 son inmediatos. Supongamos que n 3.
Demostramos inicialmente que todo 3-ciclo pertenece a Sym(n)
. En
efecto, sean a, b, c 1, . . . , n distintos. Entonces
(abc) = (ac)(cb)(ac)(cb) = [(ac), (cb)].
Dado que Alt(n) es generado por los 3-ciclos, se tiene que Alt(n)
Sym(n)
.
Recprocamente, dado que Alt(n) Sym(n) y Sym(n)/Alt(n) es
abeliano, del lema anterior se sigue que Sym(n)
Alt(n).
(b) Alt(n)
= Alt(n), si n 5.
Es conocido que para n 5 el grupo Alt(n) no es abeliano y adems es
simple. Dado que Alt(n)
Alt(n), se sigue que Alt(n)
= Alt(n).
7.2.8 Lema. Sea G un grupo, U, H, K G. Entonces
(a) Si H, K G con K H, entonces
[H, G] K H/K Z(G/K)
(b) H
k
[ k K =
kK
H
k
_
= H[H, K]
(c) Si U N
G
(H) N
G
(K), entonces [H, UK] = [H, U][H, K]
DEMOSTRACIN.
(a) Supongamos que H, K G con K H. Entonces
[H, G] K [H, G]K K
[H, G]K/K K/K
[H/K, G/K] = K
H/K Z(G/K).
(b) Del lema 7.2.4 (a) se sigue que H[H, K] es un subgrupo de G. Por otro
lado,
h
k
= khk
1
= hh
1
khk
1
= h[h
1
, k] H[H, K].
Entonces
H
k
[ k K H[H, K].
Adems H, [H, K] H
k
[ k K y se tiene la conclusin.
i
i
i
i
i
i
i
i
(c) Sean h H, u U y k K. Del lema 7.2.2 (c) se tiene que
[h, uk] = [h, u][h, k]
u
.
La conclusin se tiene utilizando la hitesis.
7.2.9 Denicin. Sean G un grupo, g
1
, . . . , g
n
G y U
1
, . . . , U
n
G. Para
n 3 denimos recursivamente
(a) [g
1
, g
2
, . . . , g
n
] := [g
1
, [g
2
, . . . , g
n
]].
(b) [U
1
, . . . , U
n
] := [g
1
, . . . , g
n
] [ g
j
U
j
, j = 1, . . . , n.
7.2.10 Lema. (Identidad de Witt) Sea G un grupo y a, b, c G. Entonces
[a, b
1
, c]
b
[b, c
1
, a]
c
[c, a
1
, b]
a
= e.
DEMOSTRACIN. Un clculo sencillo.
7.2.11 Lema de los tres subgrupos. Sea Gun grupo, N Gy A, B, C G.
Entonces
(a) Si [B, C, A] N y [C, A, B] N, entonces [A, B, C] N.
(b) Si [B, C, A] = e = [C, A, B], entonces [A, B, C] = e.
(c) Si [B, C, A] = e = [C, A, B], entonces [A, [B, C]] = e.
DEMOSTRACIN. Sean a A, b B y c C.
(a) De la identidad de Witt se sigue que
[a, b
1
, c]
b
= ([c, a
1
, b]
1
)
a
([b, c
1
, a]
1
)
c
N
a
N
c
= N.
Entonces para todo a A, b B y c C se verica que [a, b
1
, c]
N. Por lo tanto [A, B, C] N.
(b) Es un caso particular de (a).
(c) Si [B, C, A] = e = [C, A, B], entonces de la identidad de Witt se
sigue que
[a, b, c] = [a, [b, c]] = e,
para todo a A, b B y c C. En consecuencia A N
G
([B, C]) y
se tiene que [A, [B, C]] = e.
7.2. Conmutadores
i
i
i
i
i
i
i
i
126 Ismael Gutirrez
7.3 Series centrales
7.3.1 Denicin. Sea G un grupo. Una serie normal de G, digamos
e = U
0
U
1
U
n
= G,
se denomina central, si cada factor U
i+1
/U
i
esta contenido en Z(G/U
i
).
7.3.1 Serie central descendente
7.3.2 Denicin. Sea G un grupo. Para n N denimos recursivamente los
subgrupos K
n
(G) de la siguiente manera
K
1
(G) := G
K
n+1
(G) := [G, K
n
(G)] n 1.
7.3.3 Lema. Sean G, H grupos. Entonces para todo n N
(a) Si U G, entonces K
n
(U) K
n
(G).
(b) Si Hom(G, H), entonces (K
n
(G)) K
n
((G)) K
n
(H).
En particular se tiene que K
n
(G) es un subgrupo de G completamente
invariante.
(c) K
n
(G) G y por lo tanto K
n+1
(G) K
n
(G).
(d) K
n
(G)/K
n+1
(G) Z(G/K
n+1
(G)).
DEMOSTRACIN.
(a) Procedemos por induccin sobre n. Si n = 1, entonces
K
1
(U) = U G = K
1
(G).
Supongamos que la armacin es vlida para n. Es decir, supongamos
que K
n
(U) K
n
(G). Entonces
K
n+1
(U) = [U, K
n
(U)] [G, K
n
(G)] = K
n+1
(G).
(b) Procedemos por induccin sobre n. Si n = 1, entonces
(K
1
(G)) = (G) = K
1
((G)) K
1
(H).
i
i
i
i
i
i
i
i
Como hiptesis de induccin supongamos que
(K
n
(G)) K
n
((G)) K
n
(H).
Entonces usando el lema 7.2.4 (c) y la hiptesis de induccin tenemos
(K
n+1
(G)) = ([G, K
n
(G)])
[(G), (K
n
(G))]
[(G), K
n
((G))]
= K
n+1
((G))
K
n+1
(H).
Si en particular G = H y End(G), entonces
(K
n
(G)) K
n
((G)) K
n
(G).
Es decir, K
n
(G) es un subgrupo de G completamente invariante.
(c) De (b) se sigue que K
n
(G) G. Por lo tanto G = N
G
(K
n
(G)). Del
lema 7.2.4 (b) se sigue que esto es equivalente a
K
n
(G) [K
n
(G), G] = [G, K
n
(G)] = K
n+1
(G).
(d) Se sigue del lema 7.2.8 (a).
7.3.4 Denicin. Sea G un grupo. Del lema anterior (c) se tiene una cadena
de subgrupos de G completamente invariantes
G = K
1
(G) K
2
(G) (7.4)
la cual se denominar serie central descendente de G. Denimos adems
K
(G) :=
jN
K
j
(G).
7.3.5 Teorema. Sean G un grupo y 1 ,= n N. Entonces
K
n
(G) = [G, . . . , G
nveces
] = [g
1
, . . . , g
n
] [ g
1
, . . . , g
n
G.
7.3. Series centrales
i
i
i
i
i
i
i
i
128 Ismael Gutirrez
DEMOSTRACIN. Procedemos por induccin sobre n. Para n = 2 la ar-
macin es inmediata. Supongamos entonces que n 3 y denamos el grupo
N de la siguiente manera:
N := [g
1
, . . . , g
n
] [ g
1
, . . . , g
n
G.
Es claro que NGy N K
n
(G). Como hiptesis de induccin supongamos
que
K
n1
(G) = [g
2
, . . . , g
n
] [ g
2
, . . . , g
n
G.
Entonces
K
n1
(G)/N = [g
2
, . . . , g
n
]N [ g
2
, . . . , g
n
G
y para g
1
, . . . , g
n
G se verica que
[g
1
N, [g
2
, . . . , g
n
]N] = [g
1
, [g
2
, . . . , g
n
]]N = [g
1
, . . . , g
n
]N = N.
En consecuencia
K
n1
(G)/N Z(G/N).
Entonces
K
n
(G)/N = [G, K
n1
(G)]/N = [G/N, K
n1
(G)/N] = N,
con lo cual se tiene que K
n
(G) N.
7.3.6 Corolario. Sean G un grupo y 2 n N. Entonces
K
n
(G/K
n
(G)) = K
n
(G).
DEMOSTRACIN. Del teorema anterior se sigue que
K
n
(G/K
n
(G)) =
[g
1
K
n
(G), . . . , g
n
K
n
(G)] [ g
1
, . . . , g
n
G
_
=
[g
1
, . . . , g
n
]K
n
(G) [ g
1
, . . . , g
n
G
_
= K
n
(G).
Presentamos en el siguiente resultado algunas propiedades de esta cadena.
7.3.7 Teorema. Sean G y H grupos y m, n N. Entonces
(a) [K
m
(G), K
n
(G)] K
m+n
(G).
i
i
i
i
i
i
i
i
(b) K
n
(GH) = K
n
(G) K
n
(H).
DEMOSTRACIN.
(a) Procedemos por induccin sobre n. Si n = 1, entonces
[K
m
(G), K
1
(G)] = [K
m
(G), G] = [G, K
m
(G)] = K
m+1
(G).
Sea n 2 y supongamos que la armacin es vlida para n 1.
Denamos

G := G/K
m+n
(G). Entonces
[

G, [K
n1
(

G), K
m
(

G)]] = [

G, [K
m
(

G), K
n1
(

G)]]
[

G, K
m+n1
(

G)]
= K
m+n
(

G)
= K
m+n
(G).
y
[K
n1
(

G), [K
m
(

G),

G]] = [[K
m
(

G),

G], K
n1
(

G)]
= [[

G, K
m
(

G)], K
n1
(

G)]
= [K
m+1
(

G), K
n1
(

G)]
K
m+n
(

G)
= K
m+n
(G).
Dado que en genral [A, B, C] [A, [B, C]], se tiene que
[

G, K
n1
(

G), K
m
(

G)] = K
m+n
(G) = [K
n1
(

G), K
m
(

G),

G].
Del lema de los tres subgrupos (c) se sigue que
[K
m
(

G), [

G, K
n1
(

G)]] = K
m+n
(G).
Por otro lado,
[K
m
(G), K
n
(G)]K
m+n
(G)/K
m+n
(G) = [K
m
(G)/K
m+n
(G), K
n
(G)/K
m+n
(G)]
= [K
m
(

G), K
n
(

G)]
= [K
m
(

G), [

G, K
n1
(

G)]]
= K
m+n
(G).
Es decir,
[K
m
(G), K
n
(G)]K
m+n
(G) = K
m+n
(G).
Por lo tanto
[K
m
(G), K
n
(G)] K
m+n
(G).
i
i
i
i
i
i
i
i
130 Ismael Gutirrez
(b) Demostramos la rmacin por induccin sobre n. Si n = 1, entonces
K
1
(GH) = GH = K
1
(G) K
1
(H).
Supongamos que la armacin es vlida para n1. Entonces con ayuda
del lema 7.2.8 (c) tenemos
K
n
(GH) = [GH, K
n1
(GH)]
= [GH, K
n1
(G) K
n1
(H)]
= [G, K
n1
(G)] [H, K
n1
(G)]
. .
{e}
[G, K
n1
(H)]
. .
{e}
[H, K
n1
(H)]
= K
n
(G) K
n
(H).
7.3.2 Serie central ascendente
7.3.8 Denicin. Sea G un grupo. Para n N
0
denimos recursivamente los
subgrupos Z
n
(G) de la siguiente manera:
Z
0
(G) :=e,
Z
1
(G) :=Z(G),
Z
n+1
(G)/Z
n
(G) :=Z(G/Z
n
(G)).
Evidentemente se tiene una cadena de subgrupos de G
e = Z
0
(G) Z
1
(G)
los cuales son caractersticos en G, como se demuestra en el siguiente lema.
El subgrupo Z
(G) se dene por

Z
(G) :=
_
jN
Z
j
(G)
y se denomina el hipercentro de G.
7.3.9 Lema. Sea G un grupo. Entonces para todo j se verica Z
j
(G) char G.
DEMOSTRACIN. Procedemos por induccin sobre j. Si j = 0, entonces el
resultado es inmediato.
Supongamos que la armacin es vlida para todo 0 k n. Es decir,
(Z
k
(G)) Z
k
(G), para todo Aut(G) y para todo k 0, . . . , n.
i
i
i
i
i
i
i
i
Sean ahora Aut(G), x Z
n+1
(G) y g G arbitrarios. Dado que
Z
n+1
(G)/Z
n
(G) = Z(G/Z
n
(G)), se verica que
xZ
n
(G)
1
(g)Z
n
(G) =
1
(g)Z
n
(G)xZ
n
(G).
Por lo tanto
x
1
1
(g)
1
x
1
(g) Z
n
(G). (7.5)
Aplicando en (7.5) y usando la hiptesis de induccin se tiene que
(x)
1
g
1
(x)g (Z
n
(G)) Z
n
(G).
Entonces
(x)
1
g
1
(x)gZ
n
(G) = Z
n
(G).
O equivalentemente,
(x)Z
n
(G)gZ
n
(G) = gZ
n
(G)(x)Z
n
(G).
Esto demuestra que (x)Z
n
(G) Z(G/Z
n
(G)) = Z
n+1
(G)/Z
n
(G). En
consecuencia (x) Z
n+1
.
7.3.10 Denicin. Sea G un grupo. Del lema anterior se tiene entonces una
cadena de subgrupos caractersticos de G
e = Z
0
(G) Z
1
(G) (7.6)
la cual se denominar serie central ascendente de G. Del lema 7.2.8 (a) se
sigue adems que
[Z
n+1
(G), G] Z
n
(G).
Presentamos a continuacin algunos resultados que relacionan las series cen-
trales ascendente y descendente.
7.3.11 Lema. Sea G un grupo y
e = U
0
U
1
U
n
= G,
una serie central de G. Entonces
(a) U
j
Z
j
(G), para todo j 0, . . . , n.
(b) K
j
(G) U
nj+1
, para todo j 1, . . . , n + 1.
DEMOSTRACIN.
i
i
i
i
i
i
i
i
132 Ismael Gutirrez
(a) Procedemos por induccin sobre j. Si j = 0, entonces
U
0
= e = Z
0
(G).
Como hiptesis de induccin supongamos que U
j
Z
j
(G). Sean ahora
x U
j+1
y g G cualesquiera. Dado que U
j+1
/U
j
Z(G/U
j
),
se verica que xU
j
Z(G/U
j
). Por lo tanto xU
j
gU
j
= gU
j
xU
j
o equivalentemente xgU
j
= gxU
j
. Esto trae como consecuencia que
x
1
g
1
xg U
j
.
Usando la hiptesis de induccin obtenemos que x
1
g
1
xg Z
j
(G).
Entonces xgZ
j
(G) = gxZ
j
(G). Es decir,
xZ
j
(G)gZ
j
(G) = gZ
j
(G)xZ
j
(G).
Esto es equivalente a armar que
xZ
j
(G) Z(G/Z
j
(G)) = Z
j+1
(G)/Z
j
(G).
Entonces x Z
j+1
(G) y se sigue que U
j+1
Z
j+1
(G).
(b) Procedemos por induccin sobre j. Si j = 1, entonces
K
1
(G) = G = U
n
(G).
Como hiptesis de induccin supongamos que K
j
(G) U
nj+1
. Dado
que U
nj+1
/U
nj
Z(G/U
nj
), se sigue que
[G, U
nj+1
] U
nj
.
Por lo tanto usando la hiptesis de induccin tenemos
K
j+1
(G) = [G, K
j
(G)] [G, U
nj+1
] U
nj
,
7.3.12 Corolario. Sea G un grupo nito tal que Z
n
(G) = G, para algn n
N. Entonces
(a) K
j
(G) Z
nj+1
(G), para todo j 1, . . . , n + 1.
(b) K
n+1j
(G) Z
j
(G), para todo j 0, . . . , n.
DEMOSTRACIN.
(a) Es una consecuencia inmediata del lema 7.3.11 (b).
(b) Se sigue de (a).
Como consecuencia del corolario 7.3.12 se sigue inmediatamente que para
ciertos grupos las cadenas centrales ascendente y descendente tienen la misma
longitud. Una clase de estas grupos es la clase de los grupos nilpotentes.
i
i
i
i
i
i
i
i
7.4 Grupos nilpotentes nitos
7.4.1 Denicin. Un grupo G se denomina nilpotente, si admite una serie
central
e = U
0
U
1
U
n
= G.
La menor longitud de una serie central de Gse denomina la clase de nilpoten-
cia de G.
Utilizando las series centrales ascendente y descendente podemos presentar
en trminoas de estas una nueva caracterizacin de los grupos nilpotentes.
7.4.2 Teorema. Si G es un grupo nilpotente de clase c, entonces c es la longi-
tud de las series centrales ascendente y descendente. Es decir,
(a) Z
c1
(G) < Z
c
(G) = G.
(b) e = K
c+1
(G) < K
c
(G).
DEMOSTRACIN. Del lema 7.3.11 se sigue que las series centrales ascen-
dente y descendente de G son las series con menor longitud que admite G.
7.4.3 Ejemplos. Sea G un grupo y p un nmero primo.

(a) Si G es abeliano, entonces G es nilpotente y adems de clase 1.
(b) Sea G = Sym(3). Dado que Z
1
(G) = (1), se sigue que G no es
nilpotente.
7.4.4 Teorema. Sean G y H grupos, G de clase c(G), U G y N, M G.
Entonces
(a) Si G es nilpotente, entonces U y G/N son nilpotentes. Adems c(U),
c(G/N) c(G).
(b) Si G y H son nilpotentes y m := maxc(G), c(H), entonces G H
es nilpotente de clase m.
(c) Si G/N y G/M son nilpotentes y m := maxc(G/N), c(G/M),
entonces G/(N M) es nilpotente de clase m. En particular, si
M N = e, entonces G es nilpotente.
DEMOSTRACIN.
7.4. Grupos nilpotentes nitos
i
i
i
i
i
i
i
i
134 Ismael Gutirrez
(a) Supongamos que K
c+1
(G) = e. Dado que U G, se sigue que
K
c+1
(U) K
c+1
(G) = e. Por lo tanto K
c+1
(U) = e.
Usando el lema 7.2.4 (c), con el epimorsmo cannico se tiene
([G, K
c
(G)]) = [(G), (K
c
(G))]
= [G/N, K
c
(G)N/N]
= [G/N, K
c
(G/N)]
= K
c+1
(G/N).
Por otro lado,
([G, K
c
(G)]) = [G, K
c
(G)]N/N
= K
c+1
(G)N/N
= N/N
= e.
Es decir, K
c+1
(G/N) = e.
(b) Del teorema 7.3.7 (b) se sigue que
K
m+1
(GH) = K
m+1
(G) K
m+1
(H) = e.
Dado que K
m
(G) ,= e o K
m
(H) ,= e, se tiene que K
m
(GH) ,=
e. Por lo tanto GH es nilpotente de clase m.
(c) Consideremos la funcin : G G/M G/N denida por
(g) := (gM, gN).
es homomorsmo. Sean g, h G. De la denicin de producto
directo se sigue que
(gh) = (ghM, ghN)
= (gMhM, gNhN)
= (gM, gN)(hM, hN)
= (g)(h).
Calculamos el ncleo de :
g ker() (gM, gN) = (M, N) g M N.
i
i
i
i
i
i
i
i
Aplicando el primer teorema de isomorfa se tiene que
G/(M N)

= (G) G/M G/N.
De (a) y (b) se sigue que G/(M N) es un grupo nilpotente con clase
c maxc(G/N), c(G/M).
Por otro lado, del tercer teorema de isomorfa tenemos que
G/(MN)/M/(MN)

= G/M y G/(MN)/N/(MN)

= G/N.
Entonces de (a) se sigue que c maxc(G/N), c(G/M) y se tiene la
igualdad.
7.4.5 Lema. Sea G un grupo nito. G es nilpotente de clase c si y solo si
G/Z(G) es nilpotente de clase c 1.
DEMOSTRACIN. Si G es nilpotente de clase c, entonces del teorema ante-
rior se sigue que G/Z(G) es nilpotente de clase c 1.
Recprocamente, supongamos que G/Z(G) es nilpotente de clase c 1.
Entonces existe un cadena, digamos
Z(G) = U
1
/Z(G) U
2
/Z(G) U
c
/Z(G) = G/Z(G), (7.7)
con
U
j+1
/Z(G)/U
j
/Z(G) Z(G/Z(G)/U
j
/Z(G)). (7.8)
La cadena (7.7) determina en G una cadena
Z(G) = U
1
U
2
U
c
= G,
y de (7.8) con ayuda del tercer teorema de isomorfa se tiene que
U
j+1
/U
j
Z(G//U
j
).
Entonces la cadena
e = U
0
U
1
U
2
U
c
= G
es central y tiene longitud c, con lo cual se tiene la armacin.
7.4.6 Lema. Si G es un p-grupo nito, entonces G es nilpotente.
i
i
i
i
i
i
i
i
136 Ismael Gutirrez
DEMOSTRACIN. Supongamos que la armacin es falsa y sea G un con-
traejemplo minimal. Es decir, G es un p-grupo no nilpotente con orden mn-
imo. Es conocido que Z(G) ,= e. Dado que todo cociente de un p-grupo
tambin es un p-grupo y dado que [G/Z(G)[ < [G[ se sigue que G/Z(G)
es nilpotente. Del lema anterior se sigue que G es nilpotente, lo cual es una
contradiccin.
En los siguientes teoremas presentamos algunas caracterizaciones de los gru-
pos nilpotentes.
7.4.7 Teorema. Sea G un grupo nito. Entonces son equivalentes:
(a) G es nilpotente.
(b) Si U < G, entonces U < N
G
(U).
(c) Si P Syl
p
(G), entonces P G.
(d) G es el producto directo de sus p-subgrupos de Sylow.
DEMOSTRACIN. (a) (b). Dado que Z
0
(G) = e y Z
n
(G) = G,
existe j 0, . . . , n 1 tal que Z
j
(G) U, pero Z
j+1
(G) _ U. Entonces
[U, Z
j+1
(G)] [G, Z
j+1
(G)] Z
j
(G) U.
Del lema 7.2.4 (b) se sigue que Z
j+1
(G) N
G
(U), con lo cual se tiene que
U < N
G
(U).
(b) (c). Sea P Syl
p
(G). Si N
G
(P) ,= G, entonces por hiptesis se
sigue que N
G
(P) < N
G
(N
G
(P)), pero del corolario 6.2.9 (e) se tiene que
N
G
(N
G
(P)) = N
G
(P), lo cual es una contradiccin. Entonces N
G
(P) = G
y se tiene que P G.
(c) (d). Por hiptesis se tiene que cada p-subgrupos de Sylow de G es
normal en G. Sea [G[ = p
a
1
1
p
ar
r
, con p
i
,= p
j
para i ,= j. Entonces la
normalidad de cada P
j
Syl
p
j
(G) implica la unicidad de cada P
j
y dado que
P
j
P
i
[ i ,= j = e,
se sigue que
G = P
1
P
r
.
(d) (a). Dado que cada p-grupo es nilpotente, el resultado se sigue del
teorema 7.4.4 (b).
7.4.8 Teorema. Sea G un grupo nito. Entonces son equivalentes:
i
i
i
i
i
i
i
i
(a) G es nilpotente
(b) Todo subrupo de G es subnormal.
(c) Todo subgrupo maximal de G es normal en G.
DEMOSTRACIN. (a) (b). Sea U G. Denamos U
0
:= U y adems
denamos inductivamente U
j
:= N
G
(U
j1
). Dado que G es nilpotente, si
U
j1
,= G, entonces [U
j1
[ < [U
j
[. Como G es nito, existe n N tal que
U
n
= G y se tiene as que U es subnormal.
(b) (c). Sea U < G. Dado que por hiptesis U G, se sigue inmedi-
atamente que U G.
(c) (a) Demostramos que todo p-subgrupo de Sylow de G es normal
en G y usamos el teorema anterior para asegurar que G es nilpotente. Sea
P Syl
p
(G) y supongamos que N
G
(P) < G. Entonces existe U < G tal que
N
G
(P) U. Del corolario 6.2.9 (d) se sigue que N
G
(U) = U G, lo cual
es una contradiccin.
Como consecuencia de los teoremas 7.4.7 y 7.4.8 tenemos el siguiente re-
sumen que caracteriza a los grupos nilpotentes nitos.
7.4.9 Teorema. Sea G un grupo nito. Son equivalentes
(a) G es nilpotente.
(b) Si U < G, entonces U < N
G
(U).
(c) Si P Syl
p
(G), entonces P G.
(d) G es el producto directo de sus p-subgrupos de Sylow.
(e) Todo subrupo de G es subnormal.
(f) Todo subgrupo maximal de G es normal en G.
DEMOSTRACIN. Estas armaciones se demostraron en los teoremas 7.4.7
y 7.4.8.
7.4.10 Teorema. Sean p un nmero primo y G un p-grupo. Si M < G, en-
tonces M G y adems [G : M[ = p.
DEMOSTRACIN. Dado que todo p-grupo es nilpotente, del teorema 7.4.9
se sigue que M G. La maximalidad de M implica que G/M no admite
subgrupos no triviales. Por lo tanto del teorema de Cauchy 6.2.3 se sigue que
[G/M[ = p y se tiene el resultado.
i
i
i
i
i
i
i
i
138 Ismael Gutirrez
7.5 Grupos solubles nitos
7.5.1 Denicin. Sea G un grupo. De manera recursiva pueden denirse los
grupos conmutadores de orden superior de G. Para n N
0
G
(0)
:= G
G
(1)
:= G
G
(n+1)
:= (G
(n)
)
= [G
(n)
, G
(n)
].
Si G
= G, entonces G se denomina perfecto. Note que se tiene la cadena

G = G
(0)
G
(1)
G
(2)

Denimos
G
()
:=
jN
G
(j)
.
7.5.2 Ejemplos. Grupos perfectos.
(a) Todo grupo no abeliano simple es perfecto.
(b) El grupo Alt(5) es perfecto. Usando, por ejemplo GAP se encuentra
que Alt(5)
= (132), (243), (23)(45) y tiene orden 60.

(c) El grupo lineal especial SL(2, 5) de todas las matrices de tamao 2 2
sobre Z
5
con determinante 1 no es simple y es perfecto. Usando GAP
se verica que [SL(2, 5)[ = 120.
7.5.3 Lema. Sean G y H grupos, U G, N G y n N
0
. Entonces
(a) U
(n)
G
(n)
.
(b) (G/N)
(n)
= G
(n)
N/N.
(c) (G
(n)
) = (G)
(n)
, para todo Hom(G, H). En particular se tiene
que G
(n)
es un subgrupo de G completamente invariante.
(d) (GH)
(n)
= G
(n)
H
(n)
.
DEMOSTRACIN.
(a) Procedemos por induccin sobre n. Si n = 0, entonces la armacin es
inmedita. Supongamos que U
(n)
G
(n)
. Entonces
U
(n+1)
= [U
(n)
, U
(n)
] [G
(n)
, G
(n)
] = G
(n+1)
.
i
i
i
i
i
i
i
i
(b) Procedemos por induccin sobre n. Si n = 0, entonces la armacin es
inmedita. Como hiptesis de induccin, supongamos vlido que
(G/N)
(n)
= G
(n)
N/N.
Del lema 7.2.5 se tiene que (G/N)
= G
N/N. Entonces
(G/N)
(n+1)
= ((G/N)
(n)
)
= (G
(n)
N/N)
= (G
(n)
N)
N/N
(G
(n)
)
N/N
= G
(n+1)
N/N.
Para demostrar la otra inclusin, tenemos
(G/N)
(n+1)
= (G
(n)
N)
N/N = [G
(n)
N, G
(n)
N]N/N.
Del lema 7.2.8 (c) se sigue que
[G
(n)
N, G
(n)
N] = [G
(n)
, G
(n)
][N, G
(n)
][G
(n)
, N][N, N]
[G
(n)
, G
(n)
]NNN
= G
(n+1)
N.
Por lo tanto
(G/N)
(n+1)
G
(n+1)
N/N.
(c) Se sigue inmediatamente del lema 7.2.4 (c).
(d) Nuevamente procedemos por induccin sobre n. Si n = 0, entonces
la armacin es clara. Supongamos, como hiptesis de induccin que
(GH)
(n)
= G
(n)
H
(n)
. Entonces
(GH)
(n+1)
= ((GH)
(n)
)
= (G
(n)
H
(n)
)
= [G
(n)
H
(n)
, G
(n)
H
(n)
]
= [G
(n)
, G
(n)
] [G
(n)
, H
(n)
] [H
(n)
, G
(n)
] [H
(n)
, H
(n)
]
= [G
(n)
, G
(n)
] [H
(n)
, H
(n)
]
= G
(n+1)
H
(n+1)
.
7.5. Grupos solubles nitos
i
i
i
i
i
i
i
i
140 Ismael Gutirrez
7.5.4 Denicin. Un grupo G se denomina soluble, si existe n N tal que
G
(n)
= e. El nmero natural ms pequeo con esta propiedad se denomina
el grado de solubilidad de G.
7.5.5 Ejemplos. Grupos solubles.
(a) Todo grupo abeliano es soluble.
(b) Sym(3) es soluble. En efecto, de 7.2.7 se sigue que Sym(3)
= Alt(3).
Dado que Alt(3) es abeliano, se tiene que Alt(3)
= (1).
(c) Sym(4) es soluble. Nuevamente se tiene que
Sym(4)
= Alt(4)
Alt(4)
= (1), (12)(34), (13)(24), (14)(23) = V

4
.
Dado que V
4
es abeliano, se tine que V
4
= (1).
(d) Para todo n 5 se verica que Sym(n) no es soluble. En efecto, de
7.2.7 se tiene que, para todo n 5 y todo k N se verica que
Sym(n)
(k)
= Alt(n). Por lo tanto Sym(n)
(k)
,= (1), para todo
k N.
7.5.6 Teorema. Sean G un grupo, N, M G y U G.
(a) Si G es soluble, entonces U y G/N tambin lo son
(b) Si N y G/N son solubles, entonces G es soluble
(c) Si N y M son solubles, entonces NM es soluble.
DEMOSTRACIN.
(a) Si G es soluble, entonces existe n N tal que G
(n)
= e. Dado que
U
(j)
G
(j)
, para todo j N, se sigue entonces que U es soluble.
Por otro lado,
(G/N)
(n)
= G
(n)
N/N = N/N = e.
Por lo tanto G/N tambin es soluble.
(b) Supongamos que N
(k)
= e y (G/N)
(m)
= N. Entonces G
(m)
N y se sigue que
G
(m+k)
(G
(m)
)
(k)
N
(k)
= e,
lo cual demuestra que G es soluble.
i
i
i
i
i
i
i
i
(c) Del segundo teorema de isomorfa se tiene que
NM/N

= M/(N M).
Dado que por hiptesis M es soluble, se sigue de (a) que los grupos
N M y M/(N M) son solubles. Por lo tanto NM/N es soluble.
Por hiptesis se tiene que N es soluble. Por lo tanto usando (b) se sigue
que NM es soluble.
Note que la propiedad (b) no se verica para grupos nilpotentes. En efecto, si
G = Sym(3) y N = Alt(3), entonces se tiene que G/N y N son nilpotentes,
pero G no lo es.
7.5.7 Teorema. Sean G y H grupos y N, M G.
(a) Si G y H son solubles, entonces GH tambin lo es.
(b) Si G/N y G/M son solubles, entonces G/(N M) es soluble. En
particular, si N M = e, entonces G es soluble.
DEMOSTRACIN.
(a) Supongamos que G
(n)
= e y H
(m)
= e y sea k := maxm, n.
Entonces
(GH)
(k)
= G
(k)
H
(k)
= e.
(b) En el teorema 7.4.4 se demostr que G/(N M) es isomorfo a un
subgrupo de G/N G/M. Por lo tanto G/(N M) es soluble.
Existe una relacin entre la solubilidad de un grupo y la existencia de cade-
nas con factores abelianos. En efecto, si G es un grupo nito soluble, entonces
existe n N tal que G
(n)
= e y adems existe la cadena
G = G
(0)
G
(1)
G
(n)
= e.
Dado que G/G
es abeliano, se tiene que para la cadena anterior se verica

que cada factor G
(i)
/G
(i+1)
es abeliano.
En el siguiente teorema demostramos que la existencia de una cadena en un
grupo G con factores abelianos garantiza la solubilidad de este.
7.5.8 Teorema. Sea G un grupo nito. Son equivalentes
(a) G es soluble
i
i
i
i
i
i
i
i
142 Ismael Gutirrez
(b) Existe una serie normal de G
e = N
0
N
1
N
n
= G,
con N
j+1
/N
j
abeliano, para todo j 0, . . . , n 1.
(c) Existe una serie subnormal de G
e = N
0
N
1
N
r
= G,
con N
j+1
/N
j
abeliano, para todo j 0, . . . , r 1.
DEMOSTRACIN. (a) (b). Si G es soluble de grado n, entonces la
cadena
G = G
(0)
G
(1)
G
(n)
= e
es una serie normal de G con factores abelianos.
(b) (c) Evidente.
(c) (a) Supongamos que existe una serie subnormal de G
e = N
0
N
1
N
r
= G
con N
j+1
/N
j
abeliano, para todo j 0, . . . , r 1.
Demostramos por induccin sobre j que G
(j)
N
rj
. Si j = 0, entonces
la armacin es inmediata.
Como hiptesis de induccin supongamos que G
(j1)
N
rj+1
. Entonces
G
(j)
= (G
(j1)
)
(N
rj+1
)
N
rj
.
En particular G
(r)
N
0
= e y se tiene que G es soluble.
7.5.9 Lema. Para todo grupo y todo n N
0
se verica que
G
(n)
K
2
n(G).
DEMOSTRACIN. Demostramos la rmacin por induccin sobre n. Si
n = 0, entonces G
(0)
= G = K
1
(G) = K
2
0(G).
Supongamos que para n 1 la armacin est demostrada. Entonces apli-
cando el teorema 7.3.7 tenemos
G
(n)
= [G
(n1)
, G
(n1)
] [K
2
n1(G), K
2
n1(G)] K
2
n(G),
i
i
i
i
i
i
i
i
7.5.10 Corolario. Todo grupo nito nilpotente es soluble.
DEMOSTRACIN. Se sigue inmediatamente del lema anterior.
7.5.11 Corolario. Sean p un nmero primo. Si G es un p-grupo nito, en-
tonces G es soluble.
DEMOSTRACIN. Se sigue inmediatamente del lema anterior.
7.5.12 Corolario. Sean p y q nmeros primos. Si Ges un grupo con [G[ = pq,
entonces G es soluble.
DEMOSTRACIN. Si p = q, entonces el resultado se tiene inmediatamente.
Supongamos entonces, sin perder generalidad que p < q. Del teorema 6.3.3
se sigue que G admite un nico subgrupo N G, con [N[ = q. Por lo tanto
N es cclico y en consecuencia soluble. Dado que [G/N[ = p, con el mismo
argumento se tiene que G/N es soluble. Por lo tanto G es soluble.
En lo que sigue presentamos la relacin que existe entre grupos solubles y
series de composicin.
7.5.13 Lema. Todo renamiento de una serie normal con factores abelianos
de un grupo G es una serie normal con factores abelianos.
DEMOSTRACIN. Sea
(() e = U
0
U
1
U
n
= G
una serie normal con factores abelianos. Es suciente demostrar que en el
renamiento
((
) e = U
0
U
1
U
i
N U
i+1
U
n
= G
los factores N/U
i
y U
i+1
/N son abelianos. Dado que N/U
i
U
i+1
/U
i
se
tiene que N/U
i
es abeliano. Utilizando el tercer teorema de isomorfa se tiene
que
(U
i+1
/U
i
)/(N/U
i
)

= U
i+1
/N,
con lo cual se tiene la otra armacin.
7.5.14 Teorema. Sea G un grupo que admite una serie de composicin. En-
tonces G es soluble, si y solo si los factores de composicin de G tienen orden
un nmero primo.
i
i
i
i
i
i
i
i
144 Ismael Gutirrez
DEMOSTRACIN. Sea G un grupo soluble que admite una serie de com-
posicin. Entonces del teorema 7.5.8 se tiene que G admite tambin una serie
normal con factores abelianos. Del teorema de Schreier se sigue que ambas
cadenas pueden renarse y obtener cadenas normales equivalentes. Del lema
7.5.13 se tiene que estos renamientos equivalentes tienen factores abelianos.
Dado que los renamientos de series de composicin son triviales, se tiene
que la serie de composicin de G tiene factores abelianos. Entonces los fac-
tores de composicin son grupos simples y abelianos. En consecuencia estos
son grupos cclicos y con orden un nmero primo.
Recprocamente, sea Gun grupo que admite una serie de composicin, en la
cual los factores de composicin tienen orden un nmero primo. Entonces G
tiene una serie normal con afactores abelianos y por lo tanto G es soluble.
7.5.15 Corolario. Un grupo soluble G admite una serie de composicin si y
solo si G es nito.
DEMOSTRACIN. Si G es nito, entonces es claro que G admite una serie
de composicin.
Recprocamente, sea G un grupo soluble que admite una serie de composi-
cin, digamos
(() e = U
0
U
1
U
n
= G.
Del teorema anterior se sigue que para todo i 0, . . . , n 1
[U
i+1
[ = [U
i+1
/U
i
[[U
i
[ = p[U
i
[,
para algn nmero primo p. En consecuencia [G[ = p
1
p
n1
, donde cada
p
i
es un nmero primo. Es decir, G es nito.
7.6 Subgrupos normales minimales
En esta seccin consideramos los subgrupos normales minimales de un grupo
soluble G. Estos subgrupos juegan un papel importante en las pruebas de los
teoremas de P. Hall sobre la generalizacin de la teora de Sylow en el contexto
de los grupos solubles.
7.6.1 Denicin. Sea G un grupo y N G. Diremos que N es un subgrupo
normal minimal de G, notado N G, si N ,= e y si e K N con
K G, entonces K = e o K = N.
i
i
i
i
i
i
i
i
(a) Si G es simple entonces G es su nico subgrupo normal minimal.
(b) Si G = Sym(4), entonces N = (1), (12)(34), (13)(24), (14)(23) es
un subgrupo normal minimal de G.
En el ejemplo anterior (b) se tiene que G es un grupo soluble y adems se
tiene que N

= Z
2
Z
2
es un grupo abeliano elemental. Demostraremos en
esta seccin que esto siempre es verdadero para grupos solubles nitos. Fuera
del contexto soluble esta armacin es falsa. Por ejemplo, consideremos el
grupo G = Sym(5). El nico subgrupo normal no trivial de G es Alt(5),
por lo tanto un subgrupo normal minimal. Es claro que Alt(5) no es abeliano
elemental.
7.6.3 Lema. Sea G un grupo. Si N
1
, . . . , N
r
son subgrupos normales mini-
males de G, entonces K := N
1
, . . . , N
r
es el producto directo de algunos de
los N
j
.
DEMOSTRACIN. Denamos el conjunto A de la siguiente manera:
A := N K [ N es producto directo de algunos de los N
j
.
Del teorema 1.2.12 (2) se sigue que A , = . Sea N A con el nmero de
factores N
i
maximal. Sin perder generalidad, supongamos que
N = N
1
N
s
.
Si N = K, entonces se tiene el resultado. Supongamos que existe N
j
con
N
j
_ N. Entonces
N
j
N G y N
j
N < N
j
.
Dado que N
j
G se tiene que N
j
N = e. Por lo tanto
NN
j
= N N
j
= N
1
N
s
N
j
/,
lo cual contradice la escogencia de N. En consecuencia N = K.
7.6.4 Denicin. Un grupo nito se denomina carcterstico simple, si no ad-
mite subgrupos caractersticos no triviales.
7.6.5 Teorema. Si G es un grupo caracterstico simple, entonces G es un
grupo simple o es el producto directo de grupos simples isomorfos.
7.6. Subgrupos normales minimales
i
i
i
i
i
i
i
i
146 Ismael Gutirrez
DEMOSTRACIN. Sea G un grupo caracterstico simple, el cual no es un
grupo simple y sea N G. Entonces para todo Aut(G) se verica que
(N) G. Por otro lado, sea
K := (N) [ Aut(G) G.
Se verica que e , = K char G. Dado que Ges caracterstico simple, se tiene
que G = K. Del lema 7.6.3 se sigue que existen
1
, . . . ,
s
Aut(G), tales
que
G =
1
(N)
s
(N).
Es claro que para todo i, j 1, . . . , s se tiene que
i
(N)

=
j
(N).
Demostramos ahora que cada
j
(N) es simple. Para ello sean M
j
(N),
m M y g = g
1
g
s
G. Dado que para i ,= j se verica que cada
elemento de
i
(N) conmuta con cada elemento de
j
(N), se sigue que
gmg
1
= g
j
mg
1
j
M.
Esto demuestra que M G. Dado que
j
(N) G, se sigue que M = e o
M =
1
(N) y se tiene el resultado.
7.6.6 Teorema. Sea G un grupo nito y N G. Entonces N es un p-grupo
abeliano elemental para algn primo p o N es el producto directo de grupos
simples, no abelianos isomorfos.
DEMOSTRACIN. Si M char N, entonces dado que N G se sigue que
M G. Por lo tanto M = e o M = N. Es decir, N es caracterstico
simple. Del teorema 7.6.5 se sigue que
N = N
1
N
r
,
donde los N
j
son grupos simples isomorfos.
Si N
j
es abeliano, entonces [N
j
[ = p, para algn nmero primo p y se tiene
que N es un grupo abeliano elemental.
7.6.7 Teorema. Sea G un grupo nito soluble. Entonces
(a) Todo subgrupo normal minimal de G es abeliano elemental.
(b) Si M < G, entonces [G : M[ es potencia de algn nmero primo. El
recproco de esta armacin es en general falso.
DEMOSTRACIN.
i
i
i
i
i
i
i
i
(a) Si N G, entonces del teorema anterior es N un p-grupo abeliano
elemental para algn primo p o bien
N = N
1
N
r
,
donde los N
j
son grupos simples no abelianos e isomorfos. Dado que
G es soluble, se tiene que N
1
tambin lo es. Si N
1
fuese simple no
abeliano, entonces e , = N
1
= N
1
, lo cual contradice la solubilidad de
N
1
. Por lo tanto la segunda opcin no se tiene.
(b) Procedemos por induccin sobre [G[. Sean N G y M < G. De
(a) se sigue que [N[ = p
a
, para algn nmero primo p y algn a N.
Diferenciamos dos casos
Caso 1. Si N M, entonces M/N < G/N. Dado que G/N es
soluble, aplicando la hiptesis de induccin se tiene que
[G/N : M/N[
. .
ppotencia
= [G : M[.
Caso 2. Si N _ M, entonces M N < N, por lo tanto M N = e.
Por otro lado, M < MN G, en consecuencia, por la maximalidad de
M se tiene que G = MN. Entonces
[G : M[ = [MN : M[ = [N : N M[ = [N[,
el cual es una p-potencia.
Dado que los factores principales de G son grupos caractersticos y simples,
del teorema 7.6.5 se sigue que G es soluble si y solo si todos los factores
principales de G son productos directos de grupos isomorfos con orden un
nmero primo.
7.6.8 Observaciones. Sea G un grupo nito.
(a) Es posible que todos los subgrupos maximales de G tengan como ndice
potencia de un nmero primo y sin embargo G no sea soluble. El ejem-
plo mas famoso es
G = PSL(2, 7) = SL(2, 7)/Z(SL(2, 7)).
G es un grupo simple, no abeliano con [G[ = 168 y todos sus subgrupos
maximales tienen ndice 7 u 8.
7.6. Subgrupos normales minimales
i
i
i
i
i
i
i
i
148 Ismael Gutirrez
(b) P. Hall demostr que si todos los subgrupos maximales de G tienen
ndice un nmero primo o el cuadrado de un nmero primo, entonces
G es soluble. Una demostracin de este resultado se encuentra en [7] VI
(9.4).
(c) En 1904 W. Burnside demostr que para nmeros primos arbitrarios p y
q y a, b N
0
cualquier grupo con orden p
a
q
b
es soluble. El conjetur
que cualquier grupo de orden impar debera ser soluble.
(d) W. Feit y J. Thompson demostraron en 1963 la conjetura de de Burnside.
Este resultado fue publicado en la revista Pacic Journal of Mathemat-
ics. La prueba de este teorema consta de unas 274 pginas.
(e) J. Thompson demostrar que si 3 [ [G[ o 5 [ [G[, entonces G es soluble.
Por sus mltiples aportes a la teora de grupos nitos recibi en 1970 la
medalla Field.
7.7 Ejercicios
G denotar siempre un grupo.
1. Sean g, h G. Si g conmuta con [g, h]. Demuestre que
[g, h]
n
= [g
n
, h], para todo n N.
2. Sean g
1
, . . . , g
n
G. Demuestre que
[g
1
, [g
2
, . . . , g
n
]
1
] = [g
2
, . . . , g
n
]
1
[g
1
, . . . , g
n
]
1
[g
2
, . . . , g
n
].
3. Sean U
1
, . . . U
n
G. Demuestre que
[U
1
, . . . U
n
] = [U
1
, [U
2
, [ [U
n1
, U
n
] ]
4. Sea n N. Demuestre que
K
n
(G) = [g
1
, . . . , g
n
] [ g
1
, . . . , g
n
G.
5. Sean N G y A, B, C G. Demuestre que si [B, [C, A]] N y
[C, [A, B]] N, entonces [A, [B, C]] N.
6. Demuestre que si G es perfecto, entonces Z(G/Z(G)) es trivial.
i
i
i
i
i
i
i
i
7. Sea Gun grupo nilpotente y e , = NG. Demuestre que NZ(G) ,=
e.
8. Sean G y H grupos y m, n N. Demuestre que
(a) K
m
(K
n
(G)) K
mn
(G)
(b) [K
m
(G), Z
n
(G)] Z
n1
(G), si n m.
7.7. Ejercicios
i
i
i
i
i
i
i
i
150 Ismael Gutirrez
i
i
i
i
i
i
i
i
Captulo 8
Los subgrupos de Fitting y
Frattini
Contenido
8.1 El subgrupo de Fitting . . . . . . . . . . . . . . . . . . . 151
8.2 El subgrupo de Frattini . . . . . . . . . . . . . . . . . . 154
8.1 El subgrupo de Fitting
8.1.1 Teorema. Sean G un grupo, N G con N nilpotente y M < G con
N _ M. Entonces N/(M N) es un factor principal de G.
DEMOSTRACIN. Dado que N , M, se sigue que M < MN y por la
maximalidad de M se tiene que MN = G, adems MN < N. Del teorema
7.4.9 (b) se sigue que M N < N
N
(M N). Entonces N
G
(M N) es
un subgrupo de G que contiene tanto a M como elementos de N M. Por
lo tanto, por la maximalidad de M se sigue que N
G
(M N) = G. Es decir,
M N G.
Si existiese un subgrupo K G con M N < K < N, entonces se tendra
la cadena de subgrupos M < MK < G, lo cual contradice la maximalidad de
M. Por lo tanto N/(M N) es un factor principal de G.
8.1.2 Denicin. Sean Gun grupo nito, y conjuntos de nmeros primos.
(a) G se llama un -grupo, si todo divisor primo de [G[ pertenece a .
151
i
i
i
i
i
i
i
i
152 Ismael Gutirrez
(b) Se dene el subgrupo O
(G) de G de la siguiente manera

O
(G) := N [ N G, N es -grupo.
Se verica que O
(G) char G. Note que si N

1
, N
2
G, entonces
N
1
N
2
G y adems
[N
1
N
2
[ =
[N
1
[[N
2
[
[N
1
N
2
[
.
Por lo tanto O
(G) es el subgrupo normal mas grande de G que es -

grupo.
(c) Se dene el subgrupo O
,
(G) de G como sigue
O
,
(G)/O
(G) = O
(G/O
(G)).
Sin dicultades se demuestra que O
,
(G) char G.
(d) De manera dual se dene el subgrupo caracterstico O
(G) de G as
O
(G) :=
N [ N G, G/N es -grupo.
Es claro que O
(G) es el subgrupo normal ms pequeo de G con la

propiedad que su cociente G/O
(G) es un -grupo.
(e) De manera correspondiente se dene el subgrupo O
,
(G) de G como
sigue
O
,
(G) = O
(O
(G)).
Si es un conjunto de nmeros primos, notaremos con
su complemento
con respecto al conjunto de todos los nmeros primos. En particular, si
consta de un solo elemento, digamos = p, entonces escribiremos p
en
lugar de p
. En el siguiente teorema presentamos una caracterizacin los

subgrupos O
(G) y O
p
(G).
8.1.3 Teorema. Sean G un grupo nito, p un nmero primo y un conjunto
de nmeros primos.
(a) Si N G y N es un -grupo, entonces N O
(G). Por lo tanto

O
(G) := N [ N G, N es -grupo.
(b) O
p
(G) = P [ P Syl
p
(G) = P[P, G], para algn P Syl
p
(G).
Captulo 8. Los subgrupos de Fitting y Frattini
i
i
i
i
i
i
i
i
DEMOSTRACIN.
(a) Sea N N
1
N
r
= G, con N un -grupo. Demostramos por
induccin sobre r que N O
(G). Si r = 1, entonces N G y por

denicin se sigue que N O
(G). Sea r > 1 y supongamos que est

demostrado que N O
(N
r1
).
Dado que O
(N
r1
) char N
r1
y N
r1
G, se tiene que O
(N
r1
)G
y por lo tanto por la denicin O
(N
r1
) O
(G). Entonces N
O
(G).
(b) Denamos N := O
p
(G) y K := P [ P Syl
p
(G). Si P es un
p-subgrupo de Sylow de G, entonces del teorema 6.2.11 (1) se sigue
que PN/N Syl
p
(G/N). Por lo tanto P N y consecuentemente
K N.
Recprocamente, dado que Syl
p
(G) forma una clase de conjugacin, se
sigue que K G. Adems [G : K[ divide a [G : P[, el cual pertenece a
p
. Por lo tanto G/K es un p
-grupo y en consecuencia N K.
Finalmente, del teorema 7.2.8 (b) se sigue que K = P[P, G], para algn
P Syl
p
(G).
8.1.4 Denicin. El subgrupo de Fitting de un grupo nito Gse nota y dene
de la siguiente manera
F(G) := O
p
(G) [ p divide a [G[.
Si [G[ = p
a
1
1
p
an
n
, entonces de la denicin anterior se sigue que
F(G) = O
p
1
(G) O
pn
(G)
y adems O
p
(G) Syl
p
(G). En consecuencia del teorema 7.4.9 se sigue que
F(G) char G y F(G) es nilpotente.
8.1.5 Teorema. Sea G un grupo nito. Entonces
(a) F(G) = N [ N G, N es nilpotente. En particular F(G) es el
subgrupo normal mas grande de G que es nilpotente.
(b) Si N
1
, . . . , N
r
son subgrupos de G subnormales y nilpotentes, entonces
N
1
, . . . , N
r
es tambin un subgrupo subnormal de G y adems nilpo-
tente.
(c) Si N
1
y N
2
son subgrupos normales nilpotentes de G con G = N
1
N
2
,
entonces G es nilpotente.
8.1. El subgrupo de Fitting
i
i
i
i
i
i
i
i
154 Ismael Gutirrez
DEMOSTRACIN.
(a) Sea N un subgrupo subnormal nilpotente de G. Entonces O
p
(N)G
y del teorema 8.1.3 (1) se sigue que O
p
(N) O
p
(G). Del teorema
7.4.9 se sigue que O
p
(N) Syl
p
(N). Por lo tanto del teorema 6.2.11
(3) se tiene que
N O
p
(G) [ p divide a [G[ = F(G).
(b) De la parte (a) se sigue que N
1
, . . . , N
r
F(G). Dado que F(G) es
nilpotente, del teorema 7.4.4 se tiene que N
1
, . . . , N
r
es nilpotente. De
la implicacin 1. 8. en el teorema 7.4.9 se tiene que N
1
, . . . , N
r

F(G). Por lo tanto tambin subnormal en G.
(c) Este es un caso especial de (b).
8.2 El subgrupo de Frattini
Captulo 8. Los subgrupos de Fitting y Frattini
i
i
i
i
i
i
i
i
Alfabeto griego
A alpha
B beta
gamma
delta
E epsilon
Z zeta
E eta
theta
I iota
K kappa
lambda
M my
N ny
xi
O o omicron
pi
P rho
sigma
T tau
upsilon
phi
X ji
psi
omega
155
i
i
i
i
i
i
i
i
.
i
i
i
i
i
i
i
i
Bibliografa & Referencias
[1] CAICEDO J., Teoria de Grupos, Universidad Nacional de Colombia, 2004.
[2] DIXON J., Problems in Group Theory, Dover USA.
[3] DOERK K. - HAWKES T., Finite soluble groups, Berln; New York : Wal-
ter de Gruyter, 1992.
[4] GORENSTEIN D., Finite groups, New York : Chelsea, 1980.
[5] HERSTEIN I., lgebra moderna, Bogot Limusa 1967.
[6] HUNGERFORD H., Algebra, GTM 73, Springer - Verlag 2003.
[7] HUPPERT B., Endliche Gruppen I, Springer - Verlag 1969.
[8] KURZWEIL H. - STELLMACHER, B., The theory of nite groups: an in-
troduction, Springer - Verlag, 2004.
[9] ROTMAN JOSEPH, An introduction to the Treory of Groups, Fourth Edi-
tion, GTM 148, Springer - Verlag, New York, 1999.
[10] ROBINSON, DEREK. A Course in the Theory of Groups, 2nd Edition,
GTM 80, Springer - Verlag, 1996.
[11] SUZUKI MICHIO, Group Theory I, Springer - Verlag .
[12] SMITH G. - TABACHNIKOVA O., Topics in group theory, Springer - Ver-
lag, Londres, N. York, 2000.
157

Gruppentheorie 2011

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Gruppentheorie 2011

Uploaded by

Copyright:

Available Formats

i

x = x, para todo x G. Entonces

e = e. De (a) se sigue que e

es e l elemento neutro de U, entonces e

U, lo cual trae como consecuencia que

V y con esto se sigue que s = s

y se tiene que TS es un transversal izquierdo de V en G y

v tV . Esto demuestra que UV

N tal que gng

es un epimorsmo cuyo ncleo es

, ) denida por exp(x) := e

, ) es un homomorsmo de grupos, en-

una transposicin cualquiera,

) = sig() sig() sig(

cualquier transposicin y la permutacin denida en (3.2). En-

es un subgrupo de G y adems stos son todos los subgrupos de G.

4.3 Clasicacin de los grupos cclicos

Usando el teorema 4.3.2 (a) se tiene que k = 1 o k = 1. Es decir,

acta trivialmente sobre V . En

sobre V estn dadas por

tiene tantas clases laterales izquierdas distintas en G

6.2.4 Denicin. Sean G un grupo nito, p un nmero primo y [G[ = p

w. Por lo tanto que u

1 mod p. Las soluciones a esta congruencia son j = 1 o j = p 1.

son equivalentes o iso-

, que es una cadena

, con lo cual se tiene

admiten renamientos equivalentes.

admiten renamientos equivalentes. Dado que (

y se denomina el grupo conmu-

est contenido en cualquier subgrupo normal N de G

[ [G : N[, para todo

N G, entonces [G, N] [G, G] = G

[ [G : N[, con lo cual se completa la prueba.

Alt(n), se sigue que Alt(n)

(G) se dene por

7.4.3 Ejemplos. Sea G un grupo y p un nmero primo.

= G, entonces G se denomina perfecto. Note que se tiene la cadena

= (132), (243), (23)(45) y tiene orden 60.

= (1), (12)(34), (13)(24), (14)(23) = V

es abeliano, se tiene que para la cadena anterior se verica

(G) de G de la siguiente manera

(G) char G. Note que si N

(G) es el subgrupo normal mas grande de G que es -

(G) es el subgrupo normal ms pequeo de G con la

. En el siguiente teorema presentamos una caracterizacin los

(G). Por lo tanto

(G). Si r = 1, entonces N G y por

(G). Sea r > 1 y supongamos que est

. Por lo tanto G/K es un p

You might also like