Zassenhaus algebra

Definition
To be inserted, see the definition of simple Witt algebra for now.