The Heisenberg envelope for the Hochschild algebra of a finite-dimensional Lie algebra (Q376155)

Let \(L\) be a finite dimensional Lie algebra over a field \(k\). Denote by \(R(L)\) the union of all finite dimensional \(U(L)\)-submodules in the dual commutative algebra \(U^*(L)\). It is shown that \(R(L)\) is a subalgebra in \(U^*(L)\) and it is equipped with the structure of a Hopf algebra. Using this fact it is shown that \(L\) can be embedded into a Lie algebra of special derivations which are linear combinations of partial derivations with rational coefficients in quasipolynomials. These derivations act on power series.