take and . Then . But f is an isomorphism (in particular an automorphism), so it has an inverse which is also an isomorphism from G to G.
If a function f, defined f(g)=g^-1 maps a group G to G, is isomorphic, then G is abelian.
How do I go about proving this one?
Edit: Sorry, wrong section, delete please.