associative enveloping algebra