Bourbaki

Exercise 7, § 6

Algebra, X, p. 190

Let GG be a cyclic group of order nn, MM a Z(G)\mathbf Z^{(G)}-module, σ\sigma a generator of GG. We denote by NN the multiplication in MM by the element ∑g∈Geg\displaystyle\sum_{g\in G}e_g of Z(G)\mathbf Z^{(G)}. Now prove that the Z\mathbf Z-module H0(G,M)H^0(G,M) (resp. H0(G,M)H_0(G,M)) is isomorphic to Ker⁡(1−σM)\operatorname{Ker}(1-\sigma_M) (resp. Coker⁡(1−σM)\operatorname{Coker}(1-\sigma_M)); for odd qq, the groups Hq(G,M)H^q(G,M) and Hq+1(G,M)H_{q+1}(G,M) are isomorphic to Ker⁡N/Im⁡(1−σM)\operatorname{Ker}N/\operatorname{Im}(1-\sigma_M); for even q≥2q\geq 2, Hq(G,M)H^q(G,M) and Hq−1(G,M)H_{q-1}(G,M) are isomorphic to Ker⁡(1−σM)/Im⁡N\operatorname{Ker}(1-\sigma_M)/\operatorname{Im}N. (Use exercise 1, p. 178.)

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.