Abstract:
An isomorphism between formal power series algebra and dual space to universal enveloping algebra is presented. The image of maximal locally finite dimensional submodule under it lies in preimage of rational functions algebra under Borel transform.
Key words:derivation, divided power series algebra, universal enveloping algebra, maximal locally finite dimensional submodule, Lie algebra, Borel transform.