Restriction map in group cohomology (source code)

= Restriction map in group cohomology

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.