Ein Satz der Lie‑Algebra‑Theorie, der besagt: Ist eine Lie‑Algebra endlicher Dimension über einem Körper so, dass für jedes x der adjungierte Operator ad_x nilpotent ist, dann ist die Lie‑Algebra selbst nilpotent.

Prinzip

Die lokale Nilpotenz der adjungierten Wirkung (jedes Element wirkt via Kommutatoren nilpotent) setzt sich durch die Lie‑Klammer fort und führt zur globalen Nilpotenz der unteren Zentralreihe; die Nilpotenz der Operatoren beschränkt das Wachstum der Kommutatoren.

Demonstration

Konkretes Beispiel: Die Lie‑Algebra der strikt oberen Dreiecksmatrizen n×n hat für jedes x ad_x nilpotente und ist nilpotent; durch Berechnung sukzessiver Kommutatoren verschwindet die untere Zentralreihe nach endlich vielen Schritten.

Fehlanwendung

Engels Satz auf unendlichdimensionale Lie‑Algebren anwenden oder die Charakteristik des Grundkörpers außer Acht lassen; ohne Prüfung der Endlichkeit der Dimension oder der Charakteristik aus ad‑Nilpotenz Nilpotenz abzuleiten ist unsicher.

Konsequenz

Unter den Voraussetzungen reduziert der Satz Strukturfragen über Lie‑Algebren auf linear‑algebraische Eigenschaften der adjungierten Operatoren, was Klassifikation und Darstellungsergebnisse für nilpotente Algebren erleichtert und Engel‑Ideale ermöglicht.

Umkehrung

Die Umkehrung ‚ist eine Lie‑Algebra nilpotent, so ist jedes ad_x nilpotent‘ ist wahr und direkt; im Vergleich der Richtungen zeigt sich, dass Engel eine Implikation in einem im Wesentlichen äquivalenten Rahmen unter Endlichkeitsannahme liefert.

Abgrenzung

Voraussetzungen sind typischerweise Endlichkeitsdimension und Beachtung der Charakteristik des Grundkörpers (klassische Formulierungen setzen Charakteristik 0 oder behandeln positive Charakteristik mit Vorsicht); der Satz gilt nicht automatisch für beliebig unendlichdimensionale Lie‑Algebren.

Semantische Spannung

Wird oft mit Lies Satz verwechselt (gemeinsame Eigenvektoren für auflösbare Algebren) oder mit schwächeren Aussagen über die Nilpotenz erzeugter Unteralgebren; die Spannung liegt zwischen der operatorischen ad‑Nilpotenzbedingung und Begriffen wie Auflösbarkeit/Triangulierbarkeit.

Synthese

Engels Satz verbindet die operatorische Bedingung, dass alle adjungierten Abbildungen nilpotent sind, mit der algebraischen Folge, dass die untere Zentralreihe verschwindet, und stellt so den Übergang von linearer Wirkung zur globalen nilpotenten Struktur her.