Series de Grupos

Sebastian Zapata Rendon

September 14, 2017

1 Series de subgrupos
Dado un grupo G, una serie de subgrupos de G es una sucesion de la forma:
{e} = A0 A1 A2 ... An = G
donde cada Ai es subgrupo de G y e es la identidad de G.

Definicion: Dada una serie de subgrupos A0 A1 A2 ... An de un grupo G, decimos que es una serie
subnormal si se verifica que Ai C Ai+1 para todo i {1, 2, ..., n 1}; el grupo cociente Ai /Ai+1 se denomina
un grupo factor de la serie y en caso de que para todo i, Ai C G, decimos que la serie es normal.
La longitud de una serie es el numero de contenencias estrictas en dicha serie, en caso de que la serie sea
normal, la longitud de ella sera el numero de grupos factores no triviales.

Nota: De ahora en adelante supondremos que e es la identidad de G, y solo trabajaremos con contenencias
estrictas a menos que se indique explcitamente lo contrario.

1.1 Series ascendentes y descendentes

Cuando se trabaja con series de grupos, estas se pueden presentar de forma ascendente o descendente:

(1) {e} = A0 A1 A2 ... An = G

(2) G = B0 B1 B2 ... Bn = {e}

En caso de la que serie sea finita, (1) y (2) son equivalentes, pero en caso de que la serie sea infinita, se nos
puede presentar algo como:

(3) {e} = A0 A1 A2 ... G

Que es una serie ascendente, pero notemos que no se garantiza la existencia de un ultimo subgrupo propio de
G, de forma analoga si la serie fuera descendente, no tendramos un primer termino en la sucesion distinto del
trivial. La presencia de series infinitas es comun a la hora de trabajar con grupos muy grandes, por lo tanto se
estudian con principal interes aquellos en los cuales toda serie definida sobre el, tiene elemento inicial o final
distinto del trivial, mas formalmente, los grupos que cumplen con la condicion de la cadena ascendente
estacionaria, o la condicion de la cadena descendente estacionaria.

1.1.1 Condicion de la cadena ascendente estacionaria (ACCE)

Dado un grupo G, se dice que cumple a condicion de la cadena ascendente estacionaria si ninguna cadena
ascendente de subgrupos se puede prolongar indefinidamente de forma no trivial, equivalentemente, dada una
serie de la forma: {e} = A0 A1 A2 ... G existe un entero positivo k tal que AK = AK+1 = AK+2 = ...

1.1.2 Condicion de la cadena descendente estacionaria (DCCE)

Decimos que un grupo G cumple la condicion de la cadena descendente estacionaria, si para toda cadena
descendente de subgrupos de G = B0 B1 ... {e} se verifica que Bk = Bk+1 = Bk+2 = ... para algun
entero positivo k.

Nota: Un grupo que satisface la ACCE es llamado un grupo Noetheriano y aquel que verifique la DCCE se
denomina grupo Artiniano. Cabe notar que todo grupo finito es Noetheriano y Artiniano.

Ejemplo 1: Si G es un grupo simple, la unica serie normal que se puede definir sobre G es {e} / G pues {e}
es el unico subgrupo normal de G.

1
Ejemplo 2: En el grupo simetrico Sn sabemos que An es subgrupo normal, y ademas An es simple para
n 5, luego la serie {e} / An / Sn es una serie subnormal para todo entero positivo n; pero por ejemplo con
n = 4, tenemos la serie subnormal {e} / V / A4 / S4 donde V = {{e}, (12)(34), (13)(24), (14)(23)} el subgrupo
normal de A4 isomorfo al grupo 4 de Klein.

Definicion: Decimos que una serie subnormal de un grupo G es una serie de composicion, si cada grupo
factor es simple, es decir, si es isomorfo a un grupo cclico de orden primo, o a un grupo no abeliano simple.

Proposicion: Todo grupo finito tiene una serie de composicion.

Demostracion: Razonando por el absurdo, supongamos que existen grupos finitos que no tienen serie de
composicion. Sea G el de menor orden, si G es simple, {e} / G es una serie de composicion y estamos listos.
Supongamos que G no es simple, i.e., G tiene al menos un subgrupo propio normal no trivial; sea H el
maximo de estos (o uno de ellos), por el teorema de correspondencia de isomorfismos, G/H es simple , pero
como |H| < |G|, por hipotesis H tiene una serie de composicion {e} / H2 / H1 / H0 = H, con lo cual, la serie
{e} / H2 / H1 / H0 / G es una serie de composicion de G, lo cual es una contradiccion.

Ya al haber introducido el concepto de serie de composicion, se nos es posible definir lo que es un grupo
soluble, uno de los conceptos mas importantes dentro de la teora de grupos, pues sirve de herramienta
fundamental en el estudio de la teora de Galois, mas particularmente, dentro del problema de la solucion por
radicales de un polinomio con coeficientes en algun campo F.

2 Grupos solubles
Definicion: Decimos que un grupo G es soluble (o resoluble), si existe una serie de composicion
{e} = A0 A1 A2 ... An = G definida sobre G, tal que cada factor Ai /Ai+1 es abeliano. En caso de
que exista, a dicha serie se le denomina torre.

Teorema: Todo subgrupo de un grupo soluble G es soluble.

Demostracion: Sea G un grupo soluble y H G, veamos que H es soluble. En efecto, como G es soluble,
existe una torre {e} = G0 / G1 / G2 / ... / Gn = G. Consideremos la serie sobre H
{e} = H0 (H G1 ) ... (H Gn ) = H. Como Gi / Gi+1 entonces por el segundo teorema de
isomorfismos H Gi = (H Gi+1 ) Gi / H Gi+1 y ademas:
(H Gi+1 )/(H Gi )
= Gi (H Gi+1 )/Gi Gi+1 /Gi
Luego, la serie definida sobre H es de composicion y como Gi+1 /Gi es abeliano, tenemos que los factores de
dicha serie tambien son abelianos, luego H tiene una torre, y por lo tanto es soluble. 

Teorema: Si H / G y ambos H y G/H son solubles, entonces G es soluble.

Demostracion: Sea {e} = A0 / A1 / ... / An = G/H una torre de G/H. Por el teorema de correspondencia en
isomorfismos, existen B0 , B1 , B2 , ..., Bn con H Bi y Bi /H
= Ai tales que:

H = B0 / B2 / ... / Bn = G

Y como se preserva la normalidad, Bi / Bi+1 y ademas Bi+1 /Bi es abeliano( pues es isomorfo a Ai+1 /Ai .
Uniendo la serie anterior con la torre de H, tenemos una torre de G. Luego G es soluble. 

Corolario: Todo P-grupo finito es soluble.

Demostracion: Razonando por induccion sobre el cardinal del grupo, si |G| = 2 trivialmente se cumple, asi que
supongamos que se cumple para todo p-grupo con |G| < n. Sea G un p-grupo de orden n, sabemos que Z(G)
no es trivial, luego G/Z(G) es un p-grupo de orden menor que n, y por hipotesis de induccion es soluble.
Notemos que Z(G) es finito, con lo cual tiene serie de composicion, pero como ademas es abeliano, los grupos
factores tambien lo son, luego Z(G) es soluble, y aplicando el teorema anterior concluimos que G tambien lo
es. 

Al ser tan importante el estudio de los grupos solubles, el estudio de las series de un grupo se profundiza
notablemente. Resultados tan valiosos en la teora de Galois como el que todo polinomio con coeficientes en
un campo F de caracterstica 0 es soluble por radicales si y solo si su grupo de galois sobre F es soluble, no
podran obtenerse sin un estudio mas preciso de las series, y es por esto que se deben introducir nociones como
equivalencia, refinamiento y serie derivada.

2
Lema (lema de Zassenhaus): Dados 4 subgrupos A, A , B, B de un grupo G tales que A / A y B / B
se cumple que A(A B) / A(A B ), B(B A) / B(B A ) y ademas:

A(A B ) B(B A )
=
A(A B) B(B A)

El lemma de Zassenhaus tambien es conocido como el lema de la mariposa, ya que el diagrama de Hasse que
representa la relacion entre los grupos involucrados tiene cierta similitud con la forma de una mariposa; este
diagrama es util en la demostracion pues permite ver de forma simple, la simetra envuelta en el razonamiento,
y el por que de la forma en la que se procede.

Figure 1: Diagrama de Hasse

Demostracion: Por la simetra vista en el diagrama de Hasse, basta ver la relacion entre el lado izquierdo y el
centro de dicho diagrama, la relacion entre el lado derecho y el centro es completamente analoga y a partir de
estas se concluye facilmente la conexion entre los extremos(lo que se desea demostrar). Primero veamos que
(A B )) / (A B ), sea c A B y x A B , tenemos que ver que xcx1 A B .
En efecto, xcx1 A ya que c A, x A y A / A , de la misma forma xcx1 B pues c, x B luego
(A B )) / (A B ), analogamente (A B)) / (A B ). Por lo anterior el conjuntoD = (A B)(A B )
es un subgrupo normal, pues es el generado por dos subgrupos normales. Por la simetra mencionada
anteriormente, resta mostrar que:
A(A B ) A B
=
A(A B) D
En efecto, definimos la funcion : A(A B ) (A B )/D tal que (ax) = xD. esta bien definida y
ademas es un homomorfismo sobreyectivo como se puede verificar facilmente, y como Ker() = A(A B)por
el primer teorema de isomorfismos, se tiene la relacion buscada. 

Definicion: Dos series de un grupo G son equivalentes si existe una biyeccion entre el conjunto de los grupos
factores no triviales tal que los factores correspondientes sean isomorfos.

Definicion: Un refinamiento de una serie normal es otra serie normal que tiene la original como una subserie.

Nota: La definicion dada de un refinamiento otorga una nocion de orden parcial en las series de un grupo.

Teorema de refinamiento de Schreier: Dos series subnormales

(1) {e} = G0 / G1 / ... / Gn = G
(2) {e} = H0 / H1 / ... / Hk = G

de un grupo G tienen refinamientos equivalentes.

Demostracion: Para realizar la prueba de este teorema, comenzaremos por insertar entre cada par de terminos
adyacentes de la serie (1), una copia de la serie (2), es decir, para cada i 0 definimos Gij = Gi (Gi+1 Hj ).
Notemos que Gik = Gi+1 (Gi Hk ) = Gi Gi+1 = Gi+1 y que Gi0 = Gi (Gi+1 H0 ) = Gi . Tenemos entonces que
las series de Gij es una subserie de las series de Gi .

Similarmente hacemos este procedimiento sobre la serie (2), definiendo:Hpq = Hp (Hp+1 Gq ).

Las dos series que acabamos de construir tienen el mismo numero de terminos, as, que para cada i,j aplicamos
el lema de Zassenhaus con Gi / Gi+1 y Hj / Hj+1 obteniendo as que:

3
 Gi (Gi+1 Hj+1 ) Hj (Hj+1 Gi+1 )
=
Gi (Gi+1 Hj ) Hj (Hj+1 Gi )

Esto es Gi,j+1 /Gi,j

= Hj,i+1 /Hj,i . Con lo cual, tenemos que ambos refinamientos son equivalentes. 

Teorema de Jordan-Holder: Dos series de composicion de un grupo G son equivalentes.

Demostracion: Notemos que dada una serie de composicion, cada factor es simple, con lo cual no hay
subgrupos normales no triviales entre los dos con los cuales se formo dicho factor, luego el refinamiento de una
serie de composicion es la serie en si misma, y aplicando el teorema anterior, se concluye que los refinamientos,
y por tanto las series originales, son equivalentes. 

Finalmente,en general dado un grupo G, no es sencillo encontrar una serie de composicion en el, sin embargo la
forma mas optima de encontrarla es por medio de la serie derivada, un concepto que se basa en el conmutador
del grupo, y que como veremos mas adelante, tiene una profunda relacion con la solubilidad del mismo.

Definicion: Dados x, y G llamamos:

i) Conmutador de x e y al elemento [x, y] = xyx1 y 1

ii) Subgrupo derivado de G a G =< [x, y]|x, y G >

Proposicion: Dado un grupo G, se tiene:

i)G es normal en G.
ii) G/H es abeliano si y solo si G H.
iii) G = {H / G|G/H es abeliano}

Definicion: Dado un grupo G definimos la serie derivada de G por G = G(0) G(1) ... G(i) donde
G(i) = (G(i1) )
Proposicion: G es soluble si y solo si la serie derivada acaba en {e}
Demostracion: Sea G un grupo soluble, esto es, existe una torre G = G0 / G1 / ... / Gn = {e}. Veamos por
induccion sobre k que G(k) Gk . En efecto G(0) = G G0 , supongamos que se cumple para k, veamos para
k+1:
En efecto, notemos que G(k+1) = (Gk ) (Gk ) Gk+1 esto por la proposicion anterior, y gracias al hecho de
que Gk /Gk+1 es abeliano, luego, trivialmente la serie derivada acaba en {e}.
Reciprocamente, trivialmente sabemos que la serie derivada es normal, y aparte de eso,
G(k) /G(k+1) = G(k) /(G(K) ) , de donde los factores son abelianos, es decir, existe una torre de G que es
justamente la serie derivada. 

Refencias
Joseph J. Rotman (2002). Advanced modern algebra. primera edicion.
Joseph J. Rotman (1995). An introduction to the theory of groups. Cuarta edicion.
Keith Conrad. Subgroup Series I
Wikipedia. Subgroup series.
Wikipedia. Zassenhaus Lemma.