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:
“It is remarkable what a value is still put upon wood even in this age and in this new country, a value more permanent and universal than that of gold. After all our discoveries and inventions no man will go by a pile of wood. It is as precious to us as it was to our Saxon and Norman ancestors. If they made their bows of it, we make our gun-stocks of it.”
—Henry David Thoreau (18171862)
“It is clearly better that property should be private, but the use of it common; and the special business of the legislator is to create in men this benevolent disposition.”
—Aristotle (384322 B.C.)