Universal Enveloping Algebra - Universal Property

Universal Property

Let X be any Lie algebra over K. Given a unital associative K-algebra U and a Lie algebra homomorphism: h: XUL, (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: XAL there exists a unique unital algebra homomorphism g: UA 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:

    The God whom science recognizes must be a God of universal laws exclusively, a God who does a wholesale, not a retail business.
    William James (1842–1910)

    We do not deride the fears of prospering white America. A nation of violence and private property has every reason to dread the violated and the deprived.
    June Jordan (b. 1939)