Perfect Lie algebra (source code)

= Perfect Lie algebra

A <Lie algebra> $L$ is perfect when $[L,L]=L$. Every semisimple Lie algebra over a field of <characteristic zero> is perfect.

Perfectness is a property of a <Lie algebra>, defined by equality with its commutator algebra; semisimplicity is a sufficient condition in <characteristic zero>.