Definition:Underlying Group of Module

Definition
Let $R$ be a ring.

Let $\struct {M, +, \times}$ be a left module or right module over $R$.

Its underlying (abelian) group is the abelian group $\struct {M, +}$.

Also see

 * Definition:Forgetful Functor from Modules to Abelian Groups