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:
“Commercial jazz, soap opera, pulp fiction, comic strips, the movies set the images, mannerisms, standards, and aims of the urban masses. In one way or another, everyone is equal before these cultural machines; like technology itself, the mass media are nearly universal in their incidence and appeal. They are a kind of common denominator, a kind of scheme for pre-scheduled, mass emotions.”
—C. Wright Mills (191662)
“A lawyers dream of Heaven: Every man reclaimed his own property at the resurrection, and each tried to recover it from all his forefathers.”
—Samuel Butler (18351902)