Un groupe qui admet une chaîne finie de sous-groupes chacun normal dans le suivant (une suite subnormale) dont les quotients successifs sont abéliens.

Principe

Organiser un groupe par réductions normales successives de sorte qu'à chaque étape la structure non commutative soit écrasée en un quotient abélien ; la solvabilité signifie que ce processus aboutit au groupe trivial en nombre fini d'étapes.

Démonstration

Le groupe symétrique S3 possède la chaîne {e} ⊲ A3 ⊲ S3 avec les quotients A3/{e} ≅ C3 et S3/A3 ≅ C2, tous deux abéliens, donc S3 est solvable ; en revanche A5 ne possède pas une telle suite finie de quotients abéliens et n'est pas solvable.

Mauvaise application

Prétendre que tout groupe fini est solvable ou que la solvabilité est équivalente à l'abélianité — les deux sont fausses : de nombreux groupes non abéliens sont solvables et certains groupes simples finis ne sont pas solvables.

Conséquence

Un groupe solvable se laisse analyser étape par étape par des quotients abéliens ; la solvabilité contraint les facteurs de composition possibles et affecte des applications comme la résolubilité des équations polynomiales en théorie de Galois.

Inversion

Un groupe non solvable résiste à la réduction en quotients abéliens par toute suite subnormale finie ; ses sous-quotients normaux minimaux incluent des groupes simples non abéliens.

Limite

S'applique aux groupes munis d'une structure de sous-groupes et de la notion de normalité ; la définition exige généralement une suite subnormale finie pour les groupes finis, alors que pour les groupes infinis il faut préciser la finitude de la longueur ou considérer des séries transfinies — distinction importante entre longueur dérivée finie et autres notions.

Tension sémantique

Souvent confondu avec les groupes nilpotents ou sursolvables ; nilpotent implique solvable mais est plus fort (plus restrictif), tandis que 'simple' est un concept opposé puisque les groupes simples non abéliens constituent les obstructions minimales à la solvabilité.

Synthèse

Un groupe solvable est un groupe que l'on peut dépouiller par des quotients normaux successifs de sorte que chaque couche soit abélienne, fournissant une décomposition progressive et abélianisée de sa structure.