Bourbaki

Exercise 35, § 6

Algebra, I, 156

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)(x, y) \mapsto (x, y) induces a mapping

ϕ:(G/C)×(G/C)→D \phi : (G/C) \times (G/C) \to D
such that, writing these groups additively:
ϕ(α+β,γ)=ϕ(α,γ)+ϕ(β,γ)ϕ(α,β)=−ϕ(β,α)ϕ(α,β+γ)=ϕ(α,β)+ϕ(α,γ)ϕ(α,α)=0 \begin{align*} \phi(\alpha + \beta, \gamma) &= \phi(\alpha, \gamma) + \phi(\beta, \gamma) & \phi(\alpha, \beta) &= -\phi(\beta, \alpha) \\ \phi(\alpha, \beta + \gamma) &= \phi(\alpha, \beta) + \phi(\alpha, \gamma) & \phi(\alpha, \alpha) &= 0 \end{align*}
for all α,β,γ∈G/C\alpha, \beta, \gamma \in G/C.

(b) Show that, for every integer n,

(yx)n=ynxn(x,y)n(n−1)/2 (yx)^n = y^n x^n (x, y)^{n(n-1)/2}
for x,y∈Gx, y \in G. Deduce that if n is odd and dn=1d^n = 1 for all d∈Dd \in D, the mapping x↦xnx \mapsto x^n induces a homomorphism θ:G/D→C\theta : G/D \to C.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.