Let be a non-zero element of , and let h be the highest common factor of . Show that there is an isomorphism taking to (1, 0, 0,..., 0) if and only if h = 1.
Deduce that .
The first part isn't a problem. But the deduction is something I'm having trouble with... help?