Algebra Moderna II. Grupos Solubles. Denici 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 denici on. b) Los grupos sim etricos 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 c clico y por lo tanto abeliano. Denici on 2. Sea G un grupo. El conmutador de los elementos x, y G es [x, y ] = xyx1 y 1 Denici on 3. El subgrupo conmutador G de G es el subgrupo generado por todos los conmutadores. Lema 1. i) G G

ii) G/G es abeliano. Prueba. i) Si a G entonces a [x, y ] a1 = axa1 , aya1 . ii) Sean x, y G entonces (xG )(yG ) = xyG = xy (y 1 x1 yx G ] = (xyy 1 x1 yx)G = yxG = (yG )(xG ) . 1

Lema 2. Si H es un subgrupo normal de G, entonces G/H es abeliano si y s olo si G 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 G H porque todo generador de G cae en H . Rec procamente, si G H entonces el tercer teorema de isomorf a muestra que G/H es un grupo cociente del grupo abeliano G/G 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 factor S3 /A3 es c clico de orden 2. De donde por el lema 2 S3 A3 . Pero |A3 | = 3 y, por tanto S3 = A3 , o bien S3 = {(1)}. Como S3 es no abeliano, S3 = A3 . Denici on 4. Denimos G(i) por recursi on: G(0) = G 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 s olo 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 G/H1 es abeliano, as que G = G(1) H1 por el lema 2. As , (G(1) ) H1 . 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 Ni+1 y Ni+1 /Ni es abeliano, 0 i < n y sea {e} = G 0 G1 . . . Gm = G
una cadena de subgrupos de G tal que G G i i+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 = G Gi+1 , 0 i < m. Por el tercer teorema de i y Gi isomorf a G i+1 /Gi = (Gi+1 /N )/(Gi /N ) = Gi+1 /Gi

As {e} = N0 N1 . . . Nn = N = G0 G1 ... Gm = G es una cadena de subgrupos de G tal que los sucesivos cocientes son abelianos. ) Teorema 1. Lema 4. El grupo alternante An est a generado por los 3-ciclos. Prueba. Si An , entonces = 1 . . . m , donde cada i es una transposici on 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 . 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 suciente 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 1 porque (ij ) = (ij ) 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 tenemos 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 c clica en S5 ii) Sin p erdida 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). Denici 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 = {e} es un subgrupo normal de A5 y si H , entonces todo conjugado de en A5 tambi en 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 , = {e}. Sin p erdida de generalidad podemos asumir que = (123), = (12)(34) o = (12345) (son las u nicas estructuras c clicas de permutaciones (pares) en A5 ). Si = (123), entonces H = A5 por la observaci on anterior. Si = (12)(34), denimos = (12)(35); entonces 1 = ( 1 2)( 3 4) = (21)(54) y 1 1 = (354) H . Finalmente, si = (12345), denamos = (132); entonces 1 1 = ( 1 2 3) = (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 = {e} y as es simple. Lema 7. Si A y B son subgrupos de un grupo nito G, entonces |AB | = |A| |B | |A B |

Corolario 2. Los u nicos subgrupos normales de S5 son {e}, A5 y S5 . Prueba. Sea H = {e} un subgrupo normal de S5 . El segundo teorema de isomorf a 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 = 1, entonces h = (ab) (los otros elementos de orden 2 tienen la forma (ab)(cd) y son permutaciones pares). Es f acil 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 suciente 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 ser a 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