The universal enveloping algebra of a Lie algebra is an associative algebra that acts as a bridge between Lie algebras and associative algebras, allowing the representation theory of Lie algebras to be studied using the tools of associative algebras. It is constructed as a quotient of the tensor algebra of the Lie algebra, satisfying the universal property that any Lie algebra homomorphism to an associative algebra factors uniquely through it.