Prove that map φ : G → G defined as φ(g) = g 2 is a homomorphism if and only if G is commutative. This is a generalization of the fact mentioned in class that if g 2 = 1 for every g ∈ G, then G is commutative.