View Single Post
 ok, Z/mZ is a cyclic group (iso to Z mod(m)) with order m, and Z/nZ has order n. Isomorphism preserves orders so ker(g) = mnZ iff m and n are coprime, so that the order of Z/mZ x Z/nZ is mn. Does this complete the proof