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:
“So having said, a while he stood, expecting
Their universal shout and high applause
To fill his ear; when contrary, he hears,
On all sides, from innumerable tongues
A dismal universal hiss, the sound
Of public scorn.”
—John Milton (1608–1674)
“Things have their laws, as well as men; and things refuse to be trifled with. Property will be protected.”
—Ralph Waldo Emerson (1803–1882)