Let G be a group such that the derived group D = D(G) is contained in the centre C of G.
(a) Show that the mapping (x,y)↦(x,y) induces a mapping
ϕ:(G/C)×(G/C)→D such that, writing these groups additively:
ϕ(α+β,γ)ϕ(α,β+γ)=ϕ(α,γ)+ϕ(β,γ)=ϕ(α,β)+ϕ(α,γ)ϕ(α,β)ϕ(α,α)=−ϕ(β,α)=0 for all
α,β,γ∈G/C.
(b) Show that, for every integer n,
(yx)n=ynxn(x,y)n(n−1)/2 for
x,y∈G. Deduce that if n is odd and
dn=1 for all
d∈D, the mapping
x↦xn induces a homomorphism
θ:G/D→C.