define by it's obvious that is a homomorphism and you only need to prove that is basically well-defined:

if then for some integer thus: hence is well-defined. this proves theexistenceof such homomorphism.

now suppose is another homomorphism with then for all hence which proves theuniqueness.