Theorem 15.1. Assuming that:

  • we have a short exact sequence of G-modules

    0→A→ϕB→ψC→0.

Then it gives rise to a long exact sequence of abelian groups:
0→AG→ϕBG→ψCG→δH1(G,A)→ϕ∗H1(G,B)→ψ∗H1(G,C).