Let be a group. Show that the map given by is a homomorphism if and only if is abelian.
Suppose is abelian. Then , so that is a homomorphism.
Suppose is a homomorphism. Then we have , so that $abab = aabb$. Left multiplying by and right multiplying by , we see that . Thus is abelian.