Cohomology of general coinduced representions (Q3989110)

Let \(f: G' \to G\) be a homomorphism of groups and let \(A'\) be a \(G'\)-module. Setting \(P_ f(A')=\Hom_{\mathbb{Z}}({\mathbb{Z}} G, A')\) and regarding the latter as \(G'\)-\(G\)-bimodule the author obtains the spectral sequence \(H^ p (G, H^ q (G', P_ f (A')) \Longrightarrow H^ n (G', A')\). If \(N\) is a normal subgroup of \(G\) and if \(f = \pi : G \to G/N\) is the corresponding projection this specializes to the Hochschild-Serre spectral sequence of a group extension; if \(U\) is a subgroup of \(G\) and if \(f = \iota : U \to G\) is the inclusion one obtains the Shapiro lemma.