Universal Property
Let X be any Lie algebra over K. Given a unital associative K-algebra U and a Lie algebra homomorphism: h: X → UL, (notation as above) we say that U is the universal enveloping algebra of X if it satisfies the following universal property: for any unital associative K-algebra A and Lie algebra homomorphism f: X → AL there exists a unique unital algebra homomorphism g: U → A such that: f(-) = gL (h(-)).
This is the universal property expressing that the functor sending X to its universal enveloping algebra is left adjoint to the functor sending a unital associative algebra A to its Lie algebra AL.
Read more about this topic: Universal Enveloping Algebra
Famous quotes containing the words universal and/or property:
“This universal exhibition in Canada of the tools and sinews of war reminded me of the keeper of a menagerie showing his animals’ claws. It was the English leopard showing his claws.”
—Henry David Thoreau (1817–1862)
“Never let the estate decrease in your hands. It is only by such resolutions as that that English noblemen and English gentlemen can preserve their country. I cannot bear to see property changing hands.”
—Anthony Trollope (1815–1882)