Définition
Une méthode qui étudie un groupe ou une algèbre de Lie via sa série centrale inférieure γ_1 = G (ou g), γ_{n+1} = [G, γ_n] (ou [g, γ_n]) — la suite décroissante des sous-groupes ou idéaux de commutateurs — afin de mesurer et exploiter la structure nilpotente, calculer la classe de nilpotence et construire les algèbres de Lie graduées associées.
Principe
Principe
La commutation répétée élimine couche par couche les phénomènes non abéliens : la série centrale inférieure organise l'écart d'un groupe à l'abélianité en une hiérarchie. La vitesse à laquelle la série se stabilise (devient triviale) quantifie la nilpotence et fournit des invariants d'algèbre de Lie graduée via les quotients successifs.
Démonstration
Démonstration
Pour le groupe d'Heisenberg H, la série centrale inférieure vérifie γ_1 = H, γ_2 = Z(H) (le centre) et γ_3 = {e}, montrant que H est nilpotent de classe 2. Le passage à l'algèbre de Lie graduée associée donne une algèbre de Lie graduée nilpotente en deux pas reflétant la structure des commutateurs du groupe.
Mauvaise application
Mauvaise application
Confondre la série centrale inférieure avec la série dérivée (qui mesure la résolubilité) conduit à de mauvaises conclusions structurelles. Appliquer la méthode à des objets dépourvus de crochet de commutateur signifiant, ou ignorer que les quotients successifs peuvent contenir de la torsion ou ne pas être libres, sont d'autres usages incorrects.
Conséquence
Conséquence
Une application correcte fournit la classe de nilpotence, l'algèbre de Lie graduée associée à la filtration par commutateurs, des obstructions à la liberté des quotients de la série centrale inférieure, et aide à construire des extensions centrales et à étudier la cohomologie de groupes liée à la structure des commutateurs.
Inversion
Inversion
La réciproque se confronte à la série centrale ascendante (série centrale supérieure) qui construit le centre par étapes ascendantes ; étudier la série supérieure plutôt que l'inférieure met l'accent sur la croissance du centre et fournit des informations complémentaires sur les extensions et la structure centrale.
Limite
Limite
S'applique aux groupes et aux algèbres de Lie (ou à tout système algébrique muni d'un crochet de Lie) ; ce n'est pas l'invariant adapté pour détecter la résolubilité (utiliser la série dérivée) et la méthode peut peu renseigner pour des groupes dont la série centrale inférieure décroît lentement ou produit des quotients compliqués. En contextes profinis ou topologiques, les complétions et questions de fermeture interviennent.
Tension sémantique
Tension sémantique
Il existe une tension entre l'approche par série centrale inférieure et les techniques fondées sur la série dérivée/la résolubilité : elles mesurent des comportements non abéliens différents (nilpotence vs résolubilité). Une notion voisine est la filtration de Johnson ou d'Andreadakis dans les groupes d'automorphismes et de mapping class, qui raffinent ou analoguent les idées centrales inférieures dans des contextes spécifiques.
Synthèse
Synthèse
La méthode de la série centrale inférieure analyse la non-abélianité par commutateurs successifs, produisant une filtration décroissante dont les quotients successifs et la trivialisation finale quantifient la nilpotence ; elle fournit des invariants gradués de Lie et des données d'extensions centrales, complétant d'autres invariants basés sur des séries tout en exigeant attention à la torsion, la topologie et au contexte algébrique précis.