- #1

- 1,456

- 44

## Main Question or Discussion Point

I am trying to prove that if two groups are isomorphic then one is abelian iff the other is abelian. This is a simple task, but I am a little confused about how to write it up.

Suppose that ##\phi : G \to H## is an isomorphism. Let ##a,b \in G##. Then ##ab = ba \implies \phi (a) \phi (b) = \phi (b) \phi (a)##. Here is where my question lies. To show that ##H## is abelian, I need to show that any two arbitrary elements commute. Why does ##\phi (a) \phi (b) = \phi (b) \phi (a)## tell me that any two arbitrary elements of ##H## commute? Does it have something to with ##\phi## being a bijection?

Suppose that ##\phi : G \to H## is an isomorphism. Let ##a,b \in G##. Then ##ab = ba \implies \phi (a) \phi (b) = \phi (b) \phi (a)##. Here is where my question lies. To show that ##H## is abelian, I need to show that any two arbitrary elements commute. Why does ##\phi (a) \phi (b) = \phi (b) \phi (a)## tell me that any two arbitrary elements of ##H## commute? Does it have something to with ##\phi## being a bijection?