Let π€ be a π-Graded Lie algebra over π with πβ€π+ a submonoid
and π be a gradedmodule* overπ€.
Then π is also a graded module over π€βππ where π acts as the Degree operator on π,
i.e. πβ π£=πΌπ£ for π£βππΌ. lie