If G is any group, define $:G->G by $(g) = g^-1. Show that G is abelian if an only if $ is a homomorphism.
If G is abelian, then for any x,y in G, we have xy=yx. ...
This is a proof regarding homomorphisms and Abelian groups.