ein R-Modul M (wobei R ein graduierter Ring ist), dessen zugrundeliegende Gruppe mit einer Zerlegung in eine direkte Summe \({\displaystyle \oplus }_{n\in {\mathbb{Z}}}\,{M}_{n}\) versehen ist, sodaß für alle n, m ∈ ℤ gilt: \begin{eqnarray}{M}_{n}{M}_{m}\,\subseteq \,{M}_{n+m}.\end{eqnarray}