Derived Lie algebra

Summary