Definition:Forgetful Functor from Modules to Abelian Groups

Definition
Let $R$ be a ring.

Let $\mathbf C$ be the category of left modules or category of left modules over $R$.

Let $\mathbf{Ab}$ be the category of abelian groups.

The forgetful functor $\mathbf C \to \mathbf{Ab}$ is the covariant functor with

Also see

 * Definition:Forgetful Functor from Modules to Abelian Groups is Functor