Direct Construction
From this universal property, one can prove that if a Lie algebra has a universal enveloping algebra, then this enveloping algebra is uniquely determined by L (up to a unique algebra isomorphism). By the following construction, which suggests itself on general grounds (for instance, as part of a pair of adjoint functors), we establish that indeed every Lie algebra does have a universal enveloping algebra.
Starting with the tensor algebra T(L) on the vector space underlying L, we take U(L) to be the quotient of T(L) made by imposing the relations
for all a and b in (the image in T(L) of) L, where the bracket on the RHS means the given Lie algebra product, in L.
Formally, we define
where I is the two-sided ideal of T(L) generated by elements of the form
The natural map L → T(L) descends to a map h : L → U(L), and this is the Lie algebra homomorphism used in the universal property given above.
The analogous construction for Lie superalgebras is straightforward.
Read more about this topic: Universal Enveloping Algebra
Famous quotes containing the words direct and/or construction:
“Jamess great gift, of course, was his ability to tell a plot in shimmering detail with such delicacy of treatment and such fine aloofnessthat is, reluctance to engage in any direct grappling with what, in the play or story, had actually taken placeMthat his listeners often did not, in the end, know what had, to put it in another way, gone on.”
—James Thurber (18941961)
“No real vital character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the authors personality, developing by internal necessity as much as by external addition.”
—T.S. (Thomas Stearns)