FALL 2001 #2, FALL 2000 #3
Since H is cyclic, so is Aut(H). Since H is normal in G, we have NG(H) = G. Thus,
G/CG(H) = NG(H)/CG(H) < Aut(H).
Hence G/CG(H) is abelian.
Now, G/G' is the largest abelian quotient of G in the sense that if G/K is abelian then G' < K.
So G' < CG(H).