Attempt 1: Define
g : Z --> Z/mZ x Z/nZ, z |---> (z (mod m), z (mod(n))
Since domain and range are abelian g is a homomorphism as
g(ab) = (a+b mod(m), a+b mod(n)) = (a mod(m), a mod(n)) + (b mod(m), b mod(n)) = g(a) + g(b)
ker (g) = mnZ ,as n(m.z mod(m)) = n.0 = 0
g is onto.
I think this is...