La suite descendante de sous-groupes définie par γ_1(G) = G et γ_{n+1}(G) = [G, γ_n(G)], chaque terme étant le sous-groupe engendré par les commutateurs du groupe entier avec le terme précédent ; elle mesure la nilpotence en imposant progressivement que des couches successives de commutateurs disparaissent.

Principe

En prenant itérativement les commutateurs avec tout le groupe, on impose des conditions de centralité successives : si γ_c(G) = {1} pour un certain c, le groupe est nilpotent de classe < c, ainsi la suite encode la profondeur des interactions non centrales.

Démonstration

Pour le groupe des matrices unitriangulaires n×n sur un corps, la suite centrale inférieure atteint le sous-groupe trivial en au plus n−1 étapes ; pour un groupe abélien γ_2(G) = {1} immédiatement. Le calcul de γ_2, γ_3 fournit des mesures explicites de la profondeur des commutateurs.

Mauvaise application

Confondre la série centrale inférieure avec la série dérivée et supposer qu'elles se terminent de la même manière est incorrect. Employer la construction de la centrale inférieure dans des catégories dépourvues de commutateurs de groupe bien comportés (par exemple certains systèmes non associatifs) donne des résultats dépourvus de sens.

Conséquence

Utilisée correctement, la suite centrale inférieure donne la classe de nilpotence, contrôle les constructions d'algèbres de Lie graduées associées (en formant Gr(G) = ⊕ γ_n/γ_{n+1}), et renseigne sur des invariants de déformation et homologiques liés aux séries centrales.

Inversion

L'inversion consiste à considérer des constructions ascendantes (série centrale ascendante) qui construisent le groupe en ajoutant successivement des sous-groupes centraux plutôt que d'éplucher des couches de commutateurs.

Limite

S'applique aux groupes et aux contextes de type Lie où les commutateurs avec toute la structure forment des sous-groupes normaux ; elle ne s'applique pas directement à des structures algébriques arbitraires dépourvues d'une notion compatible de clôture normale par commutateurs.

Tension sémantique

Il existe une tension entre la série centrale inférieure et la série dérivée : toutes deux sondent la non-commutativité mais avec des focales différentes — nilpotence versus résolubilité — et peuvent fournir des stratifications et des temps d'arrêt distincts.

Synthèse

La série centrale inférieure γ_1 ≥ γ_2 ≥ ... avec γ_{n+1} = [G, γ_n] est la filtration descendante qui mesure combien de couches imbriquées de commutateurs sont nécessaires avant la trivialité, classifiant ainsi la nilpotence et produisant des structures graduées associées.