1. The problem statement, all variables and given/known data Prove that Group G is abelian iff the function f:G to G given by f(a)=a^-1 is a homomorphism 2. Relevant equations 3. The attempt at a solution Group G must be communitative for it to be abelian I have no idea where to start to begin to prove this I know that homomorphic means that complete the operation first on a in the group gets mapped to an element that the operation is completed 2nd. Help... I really need a jumping point.