abelian groups are z modules?
Any abelian group is a Z-module, where the action of Z is defined by na := a + ··· + a (n-fold sum). Any homomorphism of abelian groups is automatically a Z-module homomorphism. The category of Z-modules is formally distinct from the category of abelian groups, but the difference is in terminology only.