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

$\displaystyle \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

$\displaystyle \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$.

William Stein 2012-09-24