Definition (delta). Let c∈CG. Then b∈B such that ψ(b)=c. Then

ψ(σb−b)=σc−c=0∀⁡σ∈G

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).