For any group G, let Δ(G) = {g ∈ G: [G : CG(g)] < ∞}, and Δ+(G) = {g ∈ Δ(G) : g has finite order}. Show that Δ(G)/Δ+(G) is torsion-free abelian.
Let a ∈Δ(G)be such that a' has finite order in the quotient group Q = Δ(G)/Δ+(G). Then an ∈Δ+(G) for some n ≥ 1, and hence (an)m= 1 for some m ≥ 1. But then a ∈Δ+(G), and so a' = 1. This showsthat Q is torsion-free. Since Δ(G) is an f.c. group, so is Q.But then, Q must be abelian.