Five-term exact sequence in group cohomology (source code)

= Five-term exact sequence in group cohomology

The low-degree edge maps of the <Lyndon–Hochschild–Serre spectral sequence> give
$$
0\to H^1(Q,M^H)\xrightarrow{\mathrm{inf}}H^1(G,M)
\xrightarrow{\mathrm{res}}H^1(H,M)^Q
\xrightarrow{d_2}H^2(Q,M^H)
\xrightarrow{\mathrm{inf}}H^2(G,M).
$$