Hello,

1) , so .

Let . Suppose doesn't devide . Then where . We have . But this contradicts our assumption that (because ).

Can you use this to prove the assertion about isomorphism?

2) Let be generated by an element . Let's show that generates . So be . This means for some . Since generates , there is some integer that . We have . Since was arbitrary, generates .