forgetful functor from RMod to Ab as restriction of scalars
1. Proposition
Let be a ring, the category RMod and Category Ab. then the forgetful functor from RMod to Ab factors through the restriction of scalars
where
is the initial morphism from Initial Object in Ring