derived series

Definition

Let be a Lie algebra, the derived series is

and

Note that

Properties

For the derived series of ideals , then is abelian.

Proof

Note that is the commutator for . Therefore, the quotient is abelian.