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).