Skip to main content
2 of 6
added 3 characters in body

See Kuenneth-formula for group cohomology with nontrivial action on the coefficient

Let $C=C_2$ be the cyclic group of order two, $\def\ZZ{\mathbb Z}\ZZ$ the trivial module over $C$ and $S$ the $C$-module which is $\ZZ$ as an abelian group with with the non-trivial action of $C$. You want to compute $H^\bullet(C\times C,M)$ with $M=\ZZ\otimes S$, and the Künneth formula tells us that there is a short exact sequence $$0\to (H^\bullet(C,\ZZ)\otimes H^\bullet(C,S))^p\to H^p(C\times C,M)\to \bigoplus_{r+s=p-1}Tor^\ZZ(H^r(C,\ZZ),H^s(C,S))\to0$$

You can easily compute $H^\bullet(C,-)$ with coefficients in every $C$-module and the Tor is also easy to compute.