# Artin reciprocity theorem for Hilbert class field

In Cox's book "Primes of the form $x^2 + ny^2$..." gives the following statement of Artin reciprocity theorem, for the Hilbert class field (i.e. maximal unramified Abelian extension)

Artin's reciprocity theorem: If $L$ is the Hilbert class field of a number field $K$, then the Artin map

$$\left ( \frac { L/K}{ \cdot} \right) : J_K \to \text{Gal}(L/K)$$ is surjective, and its kernel is the subgroup $P_K$ of principal fractional ideals. Thus, the Artin map induces an isomorphism:

$$Cl_K = J_K / P_K \cong \text{Gal}(L/K)$$

Question: Why this theorem is called reciprocity ? To be more precisy, my question is what this theorem actually says, and why is this a reciprocity law i.e how is this connected to the classical quadratic reciprocity law that we know from elementary number theory, and why Artin's law is a generalization of this.

Thank you in advance.

• For background, see the Wikipedia page on Artin reciprocity for an introduction (it generalizes classical reciprocity laws). For historical motivation the the article cited there by G. Frei. For a simpler introduction see this Monthly exposition: B. F. Wyman, What is a reciprocity law? – Bill Dubuque May 3 '15 at 14:52
• Thank you for your reply. The second link for Monthly's exposition is the same as the first on one, for wiki page. – passenger May 3 '15 at 14:54
• @passenger Try again (link was already fixed). – Bill Dubuque May 3 '15 at 14:55
• @passenger You should state that more clearly in your question. Also it would be helpful to know what your level of knowedge is. – Bill Dubuque May 3 '15 at 15:00
• math.stackexchange.com/questions/265392/… – Álvaro Lozano-Robledo May 3 '15 at 18:30

The statement which you refer to as Artin Reciprocity, is actually a consequence of Artin Reciprocity. The actual Artin Reciprocity Theorem is the one found on Theorem 8.2 of Cox's book. Using this result, Cox proves the classical quadratic reciprocity in Theorem 8.12. Then in Theorem 8.14 he states strong reciprocity, and this is the statement which shows the power of the Artin Reciprocity map and why the theorem bears the name reciprocity. Cox gives a short excerpt on cubic reciprocity after 8.12 and you can get $n$-th reciprocity through local computations of the Hilbert Symbol.