We introduce the abelian category R-gr of groupoid graded modules and give an answer to the following general question: If U: R-gr → R-mod denotes the functor which associates to any graded left R-module M the underlying ungraded structure U(M), when does either of the following two implications hold: (I) M has property X ⇒ U(M) has property X; (II) U(M) has property X ⇒ M has property X? We treat the cases when X is one of the properties: direct summand, free, finitely generated, finitely presented,...

Let $G$ be a finite abelian group with identity element $1_G$ and $L={⨁}_{g\in G}{L}^g$ be an infinite dimensional $G$-homogeneous vector space over a field of characteristic $0$. Let $E=E\left(L\right)$ be the Grassmann algebra generated by $L$. It follows that $E$ is a $G$-graded algebra. Let $\left|G\right|$ be odd, then we prove that in order to describe any ideal of $G$-graded identities of $E$ it is sufficient to deal with $G^{\text{'}}$-grading, where $|G^{\text{'}}|\le |G|$, ${dim}_F{L}^{1_{G^{\text{'}}}}=\infty$ and ${dim}_F{L}^{g^{\text{'}}}<\infty$ if $g^{\text{'}}\ne 1_{G^{\text{'}}}$. In the same spirit of the case $\left|G\right|$ odd, if $\left|G\right|$ is even it is sufficient to study only those $G$-gradings such that...