Definition (delta). Let c∈CG. Then b∈B such that ψ(b)=c. Then
so σb−b=ϕ(aσ) for some aσ∈A.
Can check (aσ)σ∈G∈Z1(G,A).
Then δ(c)= class of (aσ)σ∈G in H1(G,A).