Frobenius Elements

Suppose that $K/\mathbf{Q}$ is a finite Galois extension with group $G$ and $p$ is a prime such that $e=1$ (i.e., an unramified prime). Then $I=I_\mathfrak{p}=1$ for any $\mathfrak{p}\mid p$, so the map $\varphi$ of Theorem 9.3.5 is a canonical isomorphism $D_\mathfrak{p}\cong \Gal ( k_{\mathfrak{p}}/\mathbf{F}_p)$. By Section 9.3.1, the group $\Gal (k_{\mathfrak{p}}/\mathbf{F}_p)$ is cyclic with canonical generator $\Frob _p$. The Frobenius element corresponding to $\mathfrak{p}$ is $\Frob _\mathfrak{p}\in D_\mathfrak{p}$. It is the unique element of $G$ such that for all $a\in\O_K$ we have

$$\Frob _\mathfrak{p}(a)\equiv a^p\pmod{\mathfrak{p}}.$$

(To see this argue as in the proof of Proposition 9.3.8.) Just as the primes $\mathfrak{p}$ and decomposition groups $D_\mathfrak{p}$ are all conjugate, the Frobenius elements corresponding to primes $\mathfrak{p}\mid p$ are all conjugate as elements of $G$.

Proposition 9.4.1   For each $\sigma\in G$, we have

$$\Frob _{\sigma\mathfrak{p}} = \sigma\Frob _\mathfrak{p}\sigma^{-1}.$$

In particular, the Frobenius elements lying over a given prime are all conjugate.

Proof. Fix $\sigma\in G$. For any $a\in\O_K$ we have $\Frob _\mathfrak{p}(\sigma^{-1}(a)) - \sigma^{-1}(a)^p \in \mathfrak{p}$. Applying $\sigma$ to both sides, we see that $\sigma\Frob _\mathfrak{p}(\sigma^{-1}(a)) - a^p \in \sigma\mathfrak{p}$, so $\sigma\Frob _\mathfrak{p}\sigma^{-1} = \Frob _{\sigma \mathfrak{p}}$. $\qedsymbol$

Thus the conjugacy class of $\Frob _\mathfrak{p}$ in $G$ is a well-defined function of $p$. For example, if $G$ is abelian, then $\Frob _\mathfrak{p}$ does not depend on the choice of $\mathfrak{p}$ lying over $p$ and we obtain a well defined symbol $\left(\frac{K/\mathbf{Q}}{p}\right) =\Frob _\mathfrak{p}\in G$ called the Artin symbol. It extends to a homomorphism from the free abelian group on unramified primes $p$ to $G$. Class field theory (for  $\mathbf {Q}$) sets up a natural bijection between abelian Galois extensions of $\mathbf {Q}$ and certain maps from certain subgroups of the group of fractional ideals for  $\mathbf {Z}$. We have just described one direction of this bijection, which associates to an abelian extension the Artin symbol (which is a homomorphism). The Kronecker-Weber theorem asserts that the abelian extensions of $\mathbf {Q}$ are exactly the subfields of the fields $\mathbf{Q}(\zeta_n)$, as $n$ varies over all positive integers. By Galois theory there is a correspondence between the subfields of the field $\mathbf{Q}(\zeta_n)$, which has Galois group $(\mathbf{Z}/n\mathbf{Z})^*$, and the subgroups of $(\mathbf{Z}/n\mathbf{Z})^*$, so giving an abelian extension $K$ of  $\mathbf {Q}$ is exactly the same as giving an integer $n$ and a subgroup of $H\subset (\mathbf{Z}/n\mathbf{Z})^*$. The Artin reciprocity map $p\mapsto \left(\frac{K/\mathbf{Q}}{p}\right)$ is then $p\mapsto [p]\in (\mathbf{Z}/n\mathbf{Z})^*/H$.