Definition:Graded Module

This article needs to be linked to other articles. In particular: decomposition You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.

Definition

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

Let $M$ be an $R$-module.

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

$\ds R = \bigoplus_{n \mathop \in \N} R_n $

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

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

$\ds R = \bigoplus_{n \mathop \in \Z} R_n $

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