Definition:Graded Module

Definition
Let $R$ be a graded commutative ring with unity.

Let $M$ be an $R$-module

We say $M$ is $\N$-graded if it has a decomposition as a direct sum of abelian groups


 * $\displaystyle R = \oplus_{n \in \N} R_n $

such that for all $m,n \in \N$ we have $R_nM_m \subseteq M_{n+m}$.

Similarly, we say $M$ is $\Z$-graded if it has a decomposition as a direct sum of abelian groups


 * $\displaystyle R = \oplus_{n \in \Z} R_n $

such that for all $m,n \in \Z$ we have $R_nM_m \subseteq M_{n+m}$.