Z_Module_Associated_with_Abelian_Group_is_Unitary_Z_Module_v2

Let $\struct {G, *}$ be an abelian group with identity $e$. Let $\struct {G, *, \circ}_\Z$ be the $Z$-module associated with $G$. Then $\struct {G, *, \circ}_\Z$ is a unitary $Z$-module.