0
$\begingroup$

I have been reading Class field theory by JS Milne http://www.jmilne.org/math/CourseNotes/CFT.pdf, and im stuck on the chapter about group cohomology and would like some hints, specifically about cup products, on page 79 he has remark 3.5 which goes as follows:

Let G be a finite cyclic group and let $m$ by its size, now let $\gamma \in H^2(G,\mathbb{Z})$, correspond under the isomorphism $ H^2(G,\mathbb{Z}) \cong \operatorname{Hom}(G,\mathbb{Q}/\mathbb{Z})$ to the map sending the generator $\sigma \in G$ to $1/m$. Then the map $H^r(G,M) \rightarrow H^{r+2}(G,M)$ is $x \mapsto x \cup \gamma$. (note these are tate groups not just cohomology groups).

I wanted to prove this, but im not quite sure how, I think I need some clarification on how cup products work.

Thank you

  • 0
    Is this isomorphism in some sense related to the duality theorems? Or is it just a dellusion?2012-12-08

1 Answers 1

2

Serre Local Fields, VIII, Section 4 gives the following hint: 'the period isomorphisms are given by cup product with theta: this follows, for example, from the formulas for the cup product given in Cartan-Eilenberg (Homological Algebra) p. 252." Another place to look is Weiss, Cohomology of Groups.