Algebra, X, p. 189
Let G un groupe fini d’ordre n, M un Z(G)-module. Now prove that for all q⩾1, the Z-modules Hq(G,M) and Hq(G,M) are annihilated by n (consider the homotopy h of C(G,M) into itself defined by
hf(g1,...,gq)=(−1)qg∈G∑f(g1,...,gq,g) for
f∈Cq+1(G,M) and
g,g1,...,gq∈G. If
M is a finitely generated
Z-module, the groups
Hq(G,M) and
Hq(G,M) are finite for
q⩾1.