 Graded module

A graded module over a graded ring $R={⨁}_i{R}_i$ is an $R$-module with a direct sum decomposition $M={⨁}_d{M}_d$ satisfying $R_i{M}_d\subseteq M_{i+d}$. A graded homomorphism preserves these degrees. Over a polynomial ring with positive variable degrees, a finitely generated module of this kind is bounded below and has finite-dimensional graded components over the coefficient field.