The ring of coefficients of the universal enveloping algebra U.
The Lie algebra corresponding to the universal enveloping algebra U.