Lyndon–Hochschild–Serre spectral sequence

For a normal subgroup $H◃G$, quotient $Q=G/H$, and a $G$-module $M$, the Lyndon–Hochschild–Serre spectral sequence has

If $N$ has a finite resolution by finitely generated projective modules, restriction of the semidirect-product group ring gives a direct sum of copies of $\mathbb{Z}N$, indexed by the integers. On its kernel cohomology the cyclic generator shifts those copies, possibly twisting each copy by an automorphism. Invariants are zero because elements have finite support; coinvariants identify with a single copy. The two-column Lyndon–Hochschild–Serre spectral sequence therefore gives the displayed isomorphism of abelian groups. A group with such a finite resolution and cohomological dimension $d$ has $H^d(N;\mathbb{Z}N)\ne 0$, so the cyclic extension has dimension $d+1$.

The low-degree edge maps of the Lyndon–Hochschild–Serre spectral sequence give

For a normal subgroup $N$ of $G$ and a $G$-module $M$, the low-degree exact sequence begins $0\to H^1(G/N,M^N)\to H^1(G,M)\to H^1(N,M{)}^{G/N}\to H^2(G/N,M^N)$. The first map inflates cocycles along $G\to G/N$; the second restricts them. If the restriction is trivial, subtract a coboundary to make the cocycle vanish on $N$ and descend to the quotient. Thus for a finite Galois extension, the kernel of restriction on Galois cohomology with finite coefficients is finite.

Inflation composes a cocycle on the quotient $Q=G/H$ with the quotient map $G\to Q$ and regards its values in the invariant submodule $M^H$ as values in $M$.

Restriction sends a cocycle on $G$ to its restriction to a subgroup $H$. If $H$ is normal, its image in $H^1(H,M)$ is fixed by the induced $G/H$-action.

The transgression $d_2:H^1(H,M{)}^Q\to H^2(Q,M^H)$ is the first differential crossing from the vertical to the horizontal edge of the Lyndon–Hochschild–Serre spectral sequence. If a representative on $H$ is extended to a cochain on $G$, its coboundary descends to the representing two-cocycle on $Q$.

For the dihedral group $D_{10}=C_5⋊C_2$,The Lyndon–Hochschild–Serre spectral sequence proves this from the inversion action of $C_2$ on $H^2(C_5,\mathbb{Z})$.