Derived algebra of a Lie algebra