Grupos Solubles


 Lección 4.  
   Grupos Solubles

Teorema 3. Sea $G$ un grupo. Entonces las siguientes condiciones son equivalentes:

1) $G$ posee una cadena subnormal con secciones abelianas.

2) La cadena de conmutantes

MATH

del grupo $G$ se estabiliza en 1 después de un número finito de pasos,

donde MATH $k\geq1$

$G^{(0)}=G$

3) $G$ posee una cadena normal con secciones abelianas.

Demostración. MATH supóngase que

MATH

es una cadena subnormal de $G$ con secciones abelianas.

Puesto que MATH y $G/H_{n-1}$ es abeliano entonces de acuerdo a la Proposición 5, MATH.

Supóngase inductivamente que MATH $1\leq k\leq n.$

Nuevamente, como MATH y $H_{n-k}/H_{n-k-1}$ es abeliano entonces MATH pero

MATH


Así pues por inducción, MATH MATH

MATH Según la Proposición 3, MATH para cada $1\leq k\leq n.$

MATH Es evidente.$\Box$

Definición 6. Un grupo $G$ 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) $S_{3}$ es soluble:

MATH $[A_{3},A_{3}]=1.$

3) $S_{4}$ es soluble:

MATH $[A_{4},A_{4}]=V,$ $\ \ \ [V,V]=1.$

4) $S_{n}$ no es soluble para $\ n\geq5$:

MATH MATH

5) MATH MATH es soluble.

Corolario 3. 1) Si $G$ es soluble entonces cada subgrupo de $G$ es soluble, cada imagen homomórfica de $\ G$ es soluble.

2) Sea $G$ un grupo soluble. Se denomina grado de solubilidad de $G$ al menor entero positivo $n$ $\ \ $tal que $G^{(n)}=1.$

MATH es soluble MATH $G_{i}$ es soluble para cada $i\in I$ y el conjunto de los grados de solubilidad de los $G_{i}$ es acotado superiormente.

Demostración.

1) Es consecuencia directa de la Proposición 10.

2) $\Longrightarrow)$ es consecuencia de 1)

$\Longleftarrow)$ Según la condición, existe MATH $\ \ $donde $\ .k_{i}$ es el grado de solubilidad de $G_{i}.$ Entonces según el Ejercicio 6) MATH es soluble de grado $k$.$\Box$

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright