Engel theorem (source code)

= Engel theorem
{c}
{wiki=Engel's_theorem}

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.