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:
“Perhaps it is a universal truth that the loss of liberty at home is to be charged to provisions against danger, real or pretended, from abroad.”
—James Madison (1751–1836)
“Only the old are innocent. That is what the Victorians understood, and the Christians. Original sin is a property of the young. The old grow beyond corruption very quickly.”
—Malcolm Bradbury (b. 1932)