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 long ere we discover how rich we are. Our history, we are sure, is quite tame: we have nothing to write, nothing to infer. But our wiser years still run back to the despised recollections of childhood, and always we are fishing up some wonderful article out of that pond; until, by and by, we begin to suspect that the biography of the one foolish person we know is, in reality, nothing less than the miniature paraphrase of the hundred volumes of the Universal History.”
—Ralph Waldo Emerson (1803–1882)
“Things have their laws, as well as men; and things refuse to be trifled with. Property will be protected.”
—Ralph Waldo Emerson (1803–1882)