Suppose that , prove that
For this problem, I really don't have much clue, I feel I'm not too comfortable with the whole direct product thingy.
Now create and similarly .
For , i.e. for some and . Define .
Show that is a mapping from into . Now show it is one-to-one and onto. Finally conclude by showing it is a homomorphism between these groups. It is a straightforward computation.