Is H commutative?
Is K commutative?
Is HxK commutative?
Is G commutative?
Two groups are isomorphic if they are the same `up to labelling'. They are essentially the same, just every element has a different name. For example, you can think of the integers as under addition, or you can think of them as under multiplication. They are still the same group!
Basically, if and are isomorphic then let be the isomorphism. As for all we must have that in . Aka, . As is onto, you are done.
(Note that )