Algebra

Moderna II.
Grupos Solubles.
Definici
on 1. Un grupo G es soluble si hay una cadena de subgrupos
{e} = H0 H1 . . . Hn = G
tal que, para cada i, el subgrupo Hi es normal en Hi+1 y el grupo cociente
Hi+1 /Hi es abeliano.
Ejemplo 1.
a) Un grupo abeliano G es soluble, la cadena de subgrupos {e} G satisface
la definici
on.
b) Los grupos simetricos S3 y S4 son solubles considerando las cadenas {e}
A3 S3 y {e} H A4 S4 , respectivamente, donde H = {(1), (12)(34), (13)(24), (14)(23)}
c) Cualquier p-grupo es soluble. Si |G| = pn , hay una cadena de subgrupos
{e} N1 N2 . . . Nn = G
donde |Ni | = pi y Ni1 es normal en Ni . As, Ni /Ni1 tiene orden p; de
donde es cclico y por lo tanto abeliano.
Definici
on 2. Sea G un grupo. El conmutador de los elementos x, y G es
[x, y] = xyx1 y 1
0

Definici
on 3. El subgrupo conmutador G de G es el subgrupo generado por
todos los conmutadores.
Lema 1.
0

i) G E G
0

ii) G/G es abeliano.

Prueba.


i) Si a G entonces a [x, y] a1 = axa1 , aya1 .
ii) Sean x, y G entonces

(xG0 )(yG0 ) = xyG0 = xy (y 1 x1 yx G0 ] = (xyy 1 x1 yx)G0 = yxG0 = (yG0 )(xG0 )
.
1

Lema 2. Si H es un subgrupo normal de G, entonces G/H es abeliano si y solo

si G0 H.
Prueba. Si G/H es abeliano, entonces para todo x, y G
xyH = xHyH = yHxH = yxH
de donde x1 y 1 xy H; se sigue que G0 H porque todo generador de G0 cae
en H.
Recprocamente, si G0 H entonces el tercer teorema de isomorfa muestra
que G/H es un grupo cociente del grupo abeliano G/G0 y por lo tanto G/H es
abeliano.
Ejemplo 2. Encontrar el subgrupo conmutador de S3 .
Soluci
on. El subgrupo A3 = {(1), (123), (132)} es normal en S3 y el grupo
0
factor S3 /A3 es cclico de orden 2. De donde por el lema 2 S3 A3 . Pero
0
0
|A3 | = 3 y, por tanto S3 = A3 , o bien S3 = {(1)}. Como S3 es no abeliano,
0
S3 = A3 .
Definici
on 4. Definimos G(i) por recursion:
G(0) = G
0

G(i+1) = (G(i) ) ;
esto es, G(i+1) es el subgrupo conmutador de G(i) .
Lema 3. Un grupo G es soluble si y solo si G(n) = {e} para alg
un n.
Prueba. Si G es soluble, entonces hay una cadena de subgrupos
{e} = Hn Hn1 . . . H0 = G
tal que Hm+1 es normal en Hm y Hm /Hm+1 es abeliano para todo m. Entonces
0
0
G/H1 es abeliano, as que G0 = G(1) H1 por el lema 2. As, (G(1) ) H1 .
0
0
Como H1 /H2 es abeliano, H1 H2 . Por lo tanto, G(2) = (G(1) ) H2 .
Continuando el proceso vemos que G(n) Hn = {e}, as G(n) = {e}.
Supongamos que G(n) = {e} para alg
un n. Entonces la cadena
{e} = G(n) . . . G(1) G(0) = G
muestra que G es soluble.
Teorema 1. Si G es un grupo soluble entonces todo subgrupo y todo grupo
cociente de G son solubles.
Teorema 2. Sea G un grupo y N un subgrupo normal de G. Entonces G es
soluble si y s
olo si N y G/N son solubles.
2

Demostraci
on. ) Sea G = G/N , y sea
{e} = N0 N1 . . . Nn = N
una cadena de subgrupos de N tal que Ni E Ni+1 y Ni+1 /Ni es abeliano,
0 i < n y sea
{e} = G0 G1 . . . Gm = G
una cadena de subgrupos de G tal que Gi E Gi+1 y Gi+1 /Gi es abeliano,
0 i < m. Por el teorema de la correspondencia hay subgrupos Gi de G con
N Gi tal que Gi /N = Gi y Gi E Gi+1 , 0 i < m. Por el tercer teorema de
isomorfa
Gi+1 /Gi = (Gi+1 /N )/(Gi /N )
= Gi+1 /Gi
As
{e} = N0 E N1 E . . . / Nn = N = G0 E G1 E . . . E Gm = G
es una cadena de subgrupos de G tal que los sucesivos cocientes son abelianos.
) Teorema 1.
Lema 4. El grupo alternante An esta generado por los 3-ciclos.
Prueba. Si An , entonces = 1 . . . m , donde cada i es una transposicion
y m es un n
umero par; de donde
= (1 2 )(3 4 ) . . . (m1 m )
Si 2k1 y 2k no son disjuntas, entonces su producto es un 3-ciclo: 2k1 2k =
(ab)(ac) = (acb); si son disjuntos, entonces 2k1 2k = (ab)(cd) = (ab)(bc)(bc)(cd) =
(bca)(cdb). Por lo tanto es un producto de 3-ciclos.
Lema 5. El subgrupo conmutador de Sn es An .
0
Prueba. Ya que Sn /An es abeliano (tiene orden 2), el lema 2 da Sn An .
Ya que An est
a generado por los 3-ciclos, es suficiente probar que todo =
(ijk) es un conmutador. Ya que tiene orden 3, = 4 = ( 2 )2 . Pero
2 = (ikj) = (ij)(ik), as que = 4 = (ij)(ik)(ij)(ik); y es un conmutador
porque (ij) = (ij)1 y (ik) = (ik)1 .
Teorema 3. El grupo alternante An es el u
nico subgrupo de Sn que tiene ndice
2.
Prueba. Si [Sn : H] = 2, entonces H es normal en Sn , por los lemas 2 y 5 ten0
emos que An = Sn H (ya que Sn /H tiene orden 2, por lo tanto es abeliano).
Pero |An | = n!/2 = |H| , y as H = An .
Teorema 4. Sea G un grupo. Si G act
ua en un conjunto X y x X, entonces
|O(x)| = [G : Gx ] = |G| / |Gx |

Corolario 1. Si x G entonces
n
umero de conjugados de x=[G : Gx ]
Lema 6.
i) Hay 20 3-ciclos en S5 y todos ellos son conjugados en S5
ii) Todos los 3-ciclos son conjugados en A5
Prueba.
i) El n
umero de 3-ciclos (abc) es (5 4 3)/3 = 20, y son conjugados entre s
por tener la misma estructura cclica en S5
ii) Sin perdida de generalidad sea = (123) y CS () el centralizador de en
S5 , por el corolario 1, 20 = [S5 : CS ()]; de donde |CS ()| = 6. Pero
podemos exhibir los seis elementos que conmutan con :
(1), , 2 , (45), (45), (45)2
y s
olo los tres primeros son permutaciones pares, as que |CA ()| = 3,
donde CA () es el centralizador de en A5 . Por el corolario 1, el n
umero
de conjugados de en A5 es [A5 : CA ()] = |A5 | / |CA ()| = 60/3 = 20.
As que todos los 3-ciclos son conjugados a = (123) en A5 por i).
Definici
on 5. Un grupo G es simple si |G| > 1 y los u
nicos subgrupos normales
de G son {e} y G.
Teorema 5. A5 es un grupo simple.
Demostraci
on. Si H 6= {e} es un subgrupo normal de A5 y si H, entonces
todo conjugado de en A5 tambien cae en H. En particular, si H contiene
un 3-ciclo, entonces contiene todos los 3-ciclos por el lema 6 ii); pero entonces
H = A5 por el lema 4.
Sea H, 6= {e}. Sin perdida de generalidad podemos asumir que =
(123), = (12)(34)
o = (12345) (son las u
nicas estructuras cclicas de permutaciones (pares) en A5 ).
Si = (123), entonces H = A5 por la observacion anterior.
Si = (12)(34), definimos = (12)(35); entonces
1 = ( 1 2)( 3 4) = (21)(54)
y 1 1 = (354) H.
Finalmente, si = (12345), definamos = (132); entonces
1 1 = (123) = (234)
y 1 1 = (134) H.
En cualquier caso, H debe contener un 3-ciclo. Por lo tanto, A5 no contiene
4

subgrupos normales propios 6= {e} y as es simple.

Lema 7. Si A y B son subgrupos de un grupo finito G, entonces
|AB| =

|A| |B|
|A B|

Corolario 2. Los u
nicos subgrupos normales de S5 son {e}, A5 y S5 .
Prueba. Sea H 6= {e} un subgrupo normal de S5 . El segundo teorema de isomorfa nos dice que H A5 es un subgrupo normal de A5 , como A5 es un grupo
simple (teorema 5)
o H A5 = A5 o H A5 = {e}. En el primer caso, A5 H
y H = A5
o H = S5 . En el segundo caso, hay un h H con h
/ A5 tal que
HA5 = S5 . Como H A5 = {e}, el lema 7 nos dice que |H| = |S5 | / |A5 | = 2. Si
h H, h 6= 1, entonces h = (ab) (los otros elementos de orden 2 tienen la forma
(ab)(cd) y son permutaciones pares). Es facil encontrar un conjugado distinto
de h, y esto contradice la normalidad de H.
Teorema 6. Sn es soluble para n 4, pero no es soluble para n 5.
Demostraci
on. Si m < n, entonces Sm es (isomorfo a) un subgrupo de Sn .
Ya que todo subgrupo de un grupo soluble es as mismo soluble (teorema 1), es
suficiente mostrar que S4 es soluble y S5 no es soluble.
S4 es soluble por el ejemplo 1 b).
Si S5 fuera soluble, entonces su subgrupo A5 sera soluble. Ya que A5 es simple
(teorema 5), la u
nica cadena es {e} A5 , y el u
nico grupo factor es el grupo
no abeliano A5 /{e}
A
.
= 5