Un grupo que admite una cadena finita de subgrupos cada uno normal en el siguiente (una serie subnormal) cuyos cocientes sucesivos son abelianos.

Principio

Organizar un grupo mediante reducciones normales sucesivas de modo que en cada paso la estructura no conmutativa se colapse a un cociente abeliano; ser soluble significa que este proceso termina en el grupo trivial en un número finito de pasos.

Demostración

El grupo simétrico S3 tiene la cadena {e} ⊲ A3 ⊲ S3 con cocientes A3/{e} ≅ C3 y S3/A3 ≅ C2, ambos abelianos, por lo que S3 es soluble; en cambio A5 no admite tal serie finita de cocientes abelianos y no es soluble.

Aplicación incorrecta

Afirmar que todo grupo finito es soluble o que la solubilidad equivale a ser abeliano — ambas son falsas: muchos grupos no abelianos son solubles y algunos grupos simples finitos no son solubles.

Consecuencia

Si un grupo es soluble, su estructura puede analizarse por etapas mediante cocientes abelianos; la solubilidad restringe los factores de composición posibles e influye en aplicaciones como la resolubilidad de ecuaciones polinómicas en teoría de Galois.

Inversión

Un grupo no soluble resiste la reducción a cocientes abelianos por cualquier serie subnormal finita; sus subcocientes normales mínimos incluyen grupos simples no abelianos.

Límite

Se aplica a grupos con estructura de subgrupos y la noción de normalidad; la definición suele exigir una serie subnormal finita para grupos finitos, mientras que para grupos infinitos hay que precisar la finitud de la longitud o considerar series transfinitas — hay que distinguir entre longitud derivada finita y otras variantes.

Tensión semántica

A menudo se confunde con grupos nilpotentes o supersolubles; nilpotente implica soluble pero es una condición más fuerte, mientras que 'simple' es un concepto opuesto porque los grupos simples no abelianos son las obstrucciones mínimas a la solubilidad.

Síntesis

Un grupo soluble es aquel que puede pelarse mediante cocientes normales sucesivos hasta que cada capa sea abeliana, proporcionando una descomposición por etapas que abelianiza la estructura del grupo.