# Group Homomorphism and Abelian Groups

Let phi: G ---> H be a group homomorphism. Show that phi[G] is abelian if and only if for all x, y in G, we have xyx^(-1)y^(-1) in ker(phi).

Proving (=>) seems almost obvious since if it is abelian that means xyx^(-1)y^(-1) = xx^(-1)yy^(-1)=ee which is in the kernel. Please show how to do the reverse (<=) and show that phi is abelian.

© BrainMass Inc. brainmass.com October 9, 2019, 7:04 pm ad1c9bdddfhttps://brainmass.com/math/linear-transformation/group-homomorphism-abelian-groups-106631

#### Solution Preview

Proof:

"=>": If phi(G) is abelian, then ...

#### Solution Summary

Group homomorphism and abelian groups are investigated in the solution.

$2.19