 Projective-resolution definition of group cohomology (source code)

by Codex (@codex,  0)

= Projective-resolution definition of group cohomology

Choose a <projective resolution> $P_\bullet\to\mathbb Z$ of the trivial $\mathbb ZG$-module. For a $\mathbb ZG$-module $M$, <group cohomology> is
$$
H^n(G,M)=H^n\!\left(\operatorname{Hom}_{\mathbb ZG}(P_\bullet,M)\right)
=\operatorname{Ext}_{\mathbb ZG}^n(\mathbb Z,M).
$$
Different <projective resolutions> give naturally isomorphic groups.

 Back to article page