Inflation map in group cohomology (source code)

= Inflation map in group cohomology

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