The isomorphism is basically just where . This is an isomorphism as one can easily prove that the are coprime (I'll leave you to do this) and so they `act like' primes. Again, I will leave you to prove that this is an isomorphism.