Group homomorphism/Z to Z/Example
Let be fixed. The mapping
is a group homomorphism. This follows immediately from the distributive law. For , this mapping is injective, and the image is the subgroup . For , we have the zero mapping. For , the mapping is the identity. For , the mapping is not surjective.