Bourbaki

Exercise 6, § 6

Algebra, X, p. 189

Let GG un groupe fini d’ordre nn, MM un Z(G)\mathbf{Z}^{(G)}-module. Now prove that for all q⩾1q \geqslant 1, the Z\mathbf{Z}-modules Hq(G,M)H^q(G, M) and Hq(G,M)H_q(G, M) are annihilated by nn (consider the homotopy hh of C(G,M)C(G, M) into itself defined by

hf(g1,...,gq)=(−1)q∑g∈Gf(g1,...,gq,g) hf(g_1, ..., g_q) = (-1)^q \sum_{g \in G} f(g_1, ..., g_q, g)
for f∈Cq+1(G,M)f \in C^{q+1}(G, M) and g,g1,...,gq∈Gg, g_1, ..., g_q \in G. If MM is a finitely generated Z\mathbf{Z}-module, the groups Hq(G,M)H^q(G, M) and Hq(G,M)H_q(G, M) are finite for q⩾1q \geqslant 1.

Solution

No solution has been written yet.

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