Let G and A be two groups, A being commutative. Let τ be a homomorphism of G into the automorphism group Aut(A) of A; if g∈G,a∈A, we write ga=τ(g)(a). A crossed homomorphism of G into A is any mapping ϕ:G→A such that
ϕ(gg′)=ϕ(g)+gϕ(g′),
the group A being written additively. The crossed homomorphisms of G into A form a group under addition denoted by Z(G,A).
(a) If a∈A, the mapping g↦ga−a is denoted by θa. Show that a↦θa is a homomorphism θ of A into Z(G,A). The kernel of θ is the subgroup of A consisting of the elements invariant under G. The image of θ is denoted by B(G,A).
(b) Let X=A×τG be the semi-direct product of G by A. If ϕ is a mapping of G into A, show that g↦(ϕ(g),g) is a section of X if and only if ϕ belongs to Z(G,A). For the sections corresponding to ϕ1,ϕ2∈Z(G,A) to be conjugate by an element of A, it is necessary and sufficient that ϕ1≡ϕ2modB(G,A).
(c) Let FiEpG be an extension of G by a group F whose centre is equal to A. Suppose that, if y∈E and x=p(y), then
i(xf)=y.i(f).y−1
for all f∈A. If ϕ∈Z(G,A), let uϕ be the mapping of E into E given by the formula uϕ(y)=i(ϕ(p(y))).y. Show that ϕ↦uϕ is an isomorphism of Z(G,A) onto the automorphism group Aut(E) of the extension E. This isomorphism maps B(G,A) to the group of automorphisms IntE(x), where x runs through A.