Definition:Underlying Group of Module

Definition
Let $R$ be a ring.

Let $(M, +, \times)$ be a left module or right module over $R$.

Its underlying (abelian) group is the abelian group $(M, +)$.

Also see

 * Definition:Forgetful Functor from Modules to Abelian Groups