Associative enveloping algebra