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:
“Without doubt God is the universal moving force, but each being is moved according to the nature that God has given it.... He directs angels, man, animals, brute matter, in sum all created things, but each according to its nature, and man having been created free, he is freely led. This rule is truly the eternal law and in it we must believe.”
—Joseph De Maistre (1753–1821)
“It is better to write of laughter than of tears, for laughter is the property of man.”
—François Rabelais (1494–1553)