La suite de sous-groupes (ou sous-structures) définie récursivement par G^{(0)} = G et G^{(n+1)} = [G^{(n)}, G^{(n)}], chaque terme étant le sous-groupe engendré par tous les commutateurs du terme précédent ; elle mesure la résolubilité en éliminant itérativement le contenu de commutateurs.

Principe

Prendre de manière répétée les sous-structures engendrées par des commutateurs élimine les parties non abéliennes ; si la suite atteint le sous-groupe trivial en un nombre fini d'étapes, la structure initiale est résoluble, fournissant une classification par obstructions finies.

Démonstration

Pour un groupe fini résoluble comme le groupe des matrices triangulaires supérieures inversibles sur un corps fini, la suite dérivée descend finalement vers le groupe trivial : G > G' > G'' > ... = {1}. Pour un groupe abélien, G' = {1} dès le premier sous-groupe dérivé.

Mauvaise application

Confondre la suite dérivée avec la suite centrale inférieure ou appliquer des critères de suite dérivée en dehors du contexte des groupes sans adapter la notion de commutateur constitue une mauvaise utilisation. Supposer aussi la finitude de la longueur sans vérification conduit à des conclusions erronées pour des groupes infinis.

Conséquence

Calculée correctement, la suite dérivée fournit un certificat fini de résolubilité, oriente des preuves par induction (en passant à des quotients abéliens) et identifie des approximations successives du plus grand sous-groupe normal résoluble.

Inversion

Le renversement contraste avec la construction ascendante via les centres (série centrale ascendante) : plutôt que d'enlever les commutateurs pour descendre, on peut monter en ajoutant des couches centrales pour construire la structure à partir de pièces centrales.

Limite

Définie dans des contextes munis d'un commutateur bien défini et de la possibilité de prendre des sous-structures engendrées par des commutateurs (groupes, algèbres de Lie, algèbres associatives munies d'un crochet). Sans notion de crochet ou si les fermetures par commutateurs ne produisent pas des sous-structures dans la catégorie concernée, la définition perd son sens.

Tension sémantique

Une tension existe entre la suite dérivée et la suite centrale inférieure : les deux mesurent le comportement non abélien mais de façons différentes (la dérivée mesure la résolubilité via fermetures par commutateurs, la centrale inférieure se concentre sur la centralité et la nilpotence), et elles peuvent aboutir à des terminaisons différentes.

Synthèse

La suite dérivée est la filtration itérative par commutateurs G ≥ G' ≥ G'' ≥ ... qui élimine successivement les parties engendrées par des commutateurs ; sa terminaison finie caractérise la résolubilité et fournit une décomposition hiérarchique en quotients abéliens.