Derived algebra

Summary