Engel's theorem (source code)

= Engel's theorem
{c}
{wiki}

= Engel theorem
{c}
{synonym}

A finite-dimensional Lie algebra is nilpotent if and only if every adjoint map $\operatorname{ad}_x$ is nilpotent. A Lie algebra of nilpotent endomorphisms can be simultaneously represented by strictly upper triangular matrices.