Step algebras of semi-simple subalgebras of Lie algebras

For each pair (G,K) where G is a complex finite-dimensional Lie algebra and K a semi-simple subalgebra of G, we construct an associative algebra (step algebra) $\text{Y}$ (G,K) and a homomorphism i_*: $\text{Y}$ (G,K)→E(G) is the enveloping algebra of G. $\text{Y}$ (G,K) has the following properties: (1) If V is any G-module and x ? V a K-maximal vector, then sx = i_* (s)x is K-maximal for any s ? $\text{Y}$ (G,K); (2) If V is irreducible and a certain simple criteria is fulfilled, then any K-maximal vector can be written in the form sx_m, s ? $\text{Y}$ (G,K), where x_m is some fixed K-maximal vector. Because of these properties $\text{Y}$ (G,K) has great practical value when constructing irreducible representations of Lie algebras in a form which makes the reduction with respect to a semi-simple subalgebra explicit.