Théorème en théorie des algèbres de Lie qui affirme qu'une algèbre de Lie de dimension finie sur un corps, telle que pour tout x l'opérateur adjoint ad_x soit nilpotent, est elle‑même une algèbre de Lie nilpotente.

Principe

La nilpotence locale de l'action adjointe (chaque élément agit nilpotemment par commutateurs) se propage via le crochet de Lie pour produire une nilpotence globale de la suite centrale inférieure ; la nilpotence des opérateurs contraint la croissance des commutateurs.

Démonstration

Exemple concret : l'algèbre de Lie des matrices strictement triangulaires supérieures n×n a tous les ad_x nilpotents et est nilpotente ; le calcul des commutateurs successifs montre que la suite centrale atteint zéro en un nombre fini d'étapes.

Mauvaise application

Appliquer le théorème d'Engel à des algèbres de Lie de dimension infinie ou ignorer les problèmes de caractéristique du corps de base ; conclure à la nilpotence à partir de l'ad‑nilpotence sans vérifier la finitude de dimension ou les contraintes de caractéristique est dangereux.

Conséquence

Quand il s'applique, le théorème ramène les questions de structure d'algèbres de Lie à des propriétés linéaires des opérateurs adjoints, facilitant la classification et les résultats de représentation pour les algèbres nilpotentes et la construction d'idéaux d'Engel.

Inversion

L'assertion réciproque « si une algèbre de Lie est nilpotente alors chaque ad_x est nilpotent » est vraie et immédiate ; comparer les deux directions montre qu'Engel donne une implication dans ce cadre équivalent sous l'hypothèse de finitude.

Limite

Les hypothèses requièrent typiquement une dimension finie et il faut prêter attention à la caractéristique du corps de base (les formulations classiques supposent caractéristique zéro ou traitent la caractéristique positive avec précautions) ; le théorème ne s'étend pas automatiquement aux algèbres de dimension infinie.

Tension sémantique

Souvent confondu avec le théorème de Lie (qui porte sur les vecteurs propres communs pour les algèbres résolubles) ou avec des formes plus faibles affirmant la nilpotence de sous‑algèbres engendrées ; la tension vient de la différence entre la condition opératorielle ad‑nilpotente et les notions de résolubilité ou triangulabilité.

Synthèse

Le théorème d'Engel relie la condition opératorielle que toutes les applications adjointes sont nilpotentes à la conclusion algébrique que la suite centrale inférieure s'annule, établissant un pont entre l'action linéaire et la structure nilpotente globale.