Universal Enveloping Algebra

The associative unital algebra U(g) constructed from a Lie algebra g that is universal for Lie algebra representations into associative algebras; concretely obtained as the quotient of the tensor algebra T(g) by the ideal generated by elements x⊗y − y⊗x − [x,y].