Abstract The problem of finding generators the subalgebra invariants under action a group automorphisms finite-dimensional Lie algebra on its universal enveloping is reduced to homogeneous same acting symmetric tensor algebra. This process applied prove constructive Hilbert–Nagata Theorem (including degree bounds) for in nilpotent relatively free associative endowed with an induced by represent...
