Engel's Theorem

- Pure Mathematics -
Algebra Dictionary
Definition
A theorem in Lie algebra theory stating that a finite-dimensional Lie algebra over a field for which every adjoint operator ad_x is nilpotent is itself a nilpotent Lie algebra.