Enveloping algebra of a representation