MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Doing class field theory from the point of view of class formations, it is my understanding that to get the artin reciprocity map, one does this by inverting an isomorphism which is given by the Tate-Nakayama lemma, which goes as follows:

Let $G$ be a finite group, and let $C$ be a $G$-module and $u \in H^2(G,C)$. If for every subgroup $H$ of $G$ we have that (1) $H^{1}(H,C)=0$, (2) the size of $H^{2}(H,C)$ is the same as the size of $H$ and is generated by $Res(u)$

Then for any $G$-module $M$ such that $Tor_{1}^{\mathbb{Z}}(M,C)=0$, cup-product with $u$ will give an isomorphism $$\widehat{H}^{i}(G,M) \longrightarrow \widehat{H}^{i+2}(G,M \otimes_{\mathbb{Z}} C), \qquad \text{ for all } i \in \mathbb{Z}$$

If one then applies this to number fields $K,F$ with $K/F$, $G=Gal(K/F)$, $C=C_K$ (idele class group) and $M=\mathbb{Z}$, then the case $i=-2$ gives an isomorphism whose inverse is the artin reciprocity map.

My question is what else do all the other isomorphisms tell us if anything?

Thank you.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.