Let H be a characteristic subgroup of G. Let o be an automorphism of G. Prove that the function a: G/HG/H, ggo is well-defined. Where do you use the hypothesis that H is characteristic in G?