Bourbaki

Exercise 13, § 6

Algebra, X, p. 191

Let GG be a group, HH a subgroup of GG, MM a Z(H)\mathbf{Z}^{(H)}-left module, NN a Z(H)\mathbf{Z}^{(H)}-right module. Equip the group M^=HomZ(H)(Z(G),M)\hat{M} = \mathrm{Hom}_{\mathbf{Z}(H)}(\mathbf{Z}^{(G)}, M) (resp. N~=N⊗Z(H)Z(G)\tilde{N} = N \otimes_{\mathbf{Z}(H)} \mathbf{Z}^{(G)}) with the structure of left Z(G)\mathbf{Z}^{(G)}-module (resp. right) deduced from the structure of right Z(G)\mathbf{Z}^{(G)}-module of Z(G)\mathbf{Z}^{(G)}.

Let m:M^→Mm : \hat{M} \to M and n:N→N~n : N \to \tilde{N} be the Z(H)\mathbf{Z}^{(H)}-homomorphisms such that m(u)=u(1)m(u) = u(1) for u∈M^u \in \hat{M} and

n(x)=x⊗1for x∈N, n(x) = x \otimes 1 \quad \text{for } x \in N,
and let i:H→Gi : H \to G be the canonical injection. Prove that the composed homomorphisms
iq:Hq(G,M^)→iqHq(H,M^)→Hq(H,m)Hq(H,M) i^q : H^q(G, \hat{M}) \xrightarrow{i^q} H^q(H, \hat{M}) \xrightarrow{H^q(H, m)} H^q(H, M)
and
i~q:Hq(H,N)→Hq(H,n)Hq(H,N~)→i~qHq(G,N~) \tilde{i}_q : H_q(H, N) \xrightarrow{H_q(H, n)} H_q(H, \tilde{N}) \xrightarrow{\tilde{i}_q} H_q(G, \tilde{N})
are isomorphisms for all q⩾0q \geqslant 0.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.