| Lección 4. |
Grupos Solubles
|
Teorema 3. Sea
un grupo. Entonces las siguientes condiciones son equivalentes:
1)
posee una cadena subnormal con secciones abelianas.
2) La cadena de conmutantes
del grupo
se estabiliza en 1 después de un número finito de pasos,
donde
3)
posee una cadena normal con secciones abelianas.
Demostración.
supóngase que
es una cadena subnormal de
con secciones abelianas.
Puesto que
y
es abeliano entonces de acuerdo a la Proposición 5,
.
Supóngase inductivamente que
Nuevamente, como
y
es abeliano entonces
pero
Así pues por inducción,
Según la Proposición 3,
para cada
Es
evidente.
Definición 6. Un grupo
se dice que es soluble si satisface una de las condiciones del teorema
anterior.
Ejemplo 6. 1) Todo grupo abeliano es soluble. El concepto de solubilidad tiene entonces interés para los grupos no abelianos.
2)
es soluble:
3)
es soluble:
4)
no es soluble para
:
5)
es soluble.
Corolario 3. 1) Si
es soluble entonces cada subgrupo de
es soluble, cada imagen homomórfica de
es soluble.
2) Sea
un grupo soluble. Se denomina grado de solubilidad de
al menor entero positivo
tal
que
es soluble
es soluble para cada
y el conjunto de los grados de solubilidad de los
es acotado superiormente.
Demostración.
1) Es consecuencia directa de la Proposición 10.
2)
es consecuencia de 1)
Según la condición, existe
donde
es el grado de solubilidad de
Entonces según el Ejercicio 6)
es soluble de grado
.