A generalized Harish-Chandra isomorphism
For any complex reductive Lie algebra g and any locally finite g-module V, we extend to the tensor product of U(g) with V the Harish-Chandra description of g-invariants in the universal enveloping algebra U(g).