# Group cohomology of the cyclic group

It is well known how to compute cohomology of a finite cyclic group $C_m=\langle \sigma \rangle$, just using the periodic resolution,

$\require{AMScd}$

\begin{CD} \cdots @>N>> \mathbb Z C_m @> \sigma -1>> \mathbb Z C_m @>N>> \mathbb Z C_m @> \sigma -1>> \mathbb Z C_m @> >> \mathbb Z \end{CD}

Using this resolution, it easy to see that \begin{align} H^n(C_m; A)= \begin{cases}\{a\in A: Na=0\}/(\sigma-1)A, \qquad &\text{if } n=1, 3, 5, \ldots \\ A^{C_m}/NA, \quad &\text{ if } n = 2, 4, 6, \ldots, \end{cases} \end{align} where $N= 1+ \sigma + \sigma^2 +\cdots +\sigma ^{m-1}$. Now, for some applications of group cohomology is important to work with standard cocycles, that is cocycles respect to the standard (also called Bar) resolutions. A construction of quasi-isomorphism from the periodic resolution to the standard resolution can be done as follows: take a section of $\pi$ in the exact sequence \begin{CD} 0 @>>> \mathbb Z @> m >> \mathbb Z @>\pi>> C_m @>>> 0, \end{CD}so we get a $\gamma\in Z^2(C_m,\mathbb{Z})$. For $Z^1(C_m,A)$ and $Z^2(C_m,A)$ the map can be defined by hand easily. In general we can construct the map $:Z^1(C_m,A)\to Z^{2n+1}(C_m,A)$ just using the cup product $\alpha\mapsto \gamma^{\cup n}\cup \alpha$ and analogously for $:Z^2(C_m,A)\to Z^{2n}(C_m,A)$. Thus, at the end you find the map from the "periodic" cocycles to the standard cocycles.

My question is: How to define in general the quasi-isomorphisms from the standard cocycles to the "periodic" cocycles?

When $m=2$ this periodic resolution is precisely the normalized bar resolution (Exercise I.2.2), so your desired quasi-isomorphism should be the quotient map from the bar resolution to the normalized one.