Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 31 / 1

Let $L/K$ be a finite Galois extension of number fields, with Galois group $G$, and let $\mathfrak{p}$ be a nonzero prime ideal of ${\mathcal{O}}_K$. Write its prime ideal factorization asThe Galois group acts transitively on the primes above $\mathfrak{p}$. One proof uses the Chinese remainder theorem. If $\mathfrak{Q}$ were outside the orbit of $\mathfrak{P}$, choose an integral element $a$ which is zero modulo $\mathfrak{Q}$ and one modulo every conjugate of $\mathfrak{P}$. Its field norm ${\prod }_{\sigma \in G}\sigma (a)$ belongs to $\mathfrak{Q}\cap {\mathcal{O}}_K=\mathfrak{p}$, hence to $\mathfrak{P}$. But each factor is one modulo $\mathfrak{P}$, a contradiction. Transitivity also makes all $e_j$ equal to a common ramification index $e$ and all $f_j$ equal to a common residue degree $f$.

Fix $\mathfrak{P}$ above $\mathfrak{p}$. Its decomposition group is the stabilizerThe orbit-stabilizer theorem gives $|D_{\mathfrak{P}}|=|G|/g$. Elements of $D_{\mathfrak{P}}$ act on the residue field $\kappa (\mathfrak{P})$ over $\kappa (\mathfrak{p})$; the group kernel is the inertia groupThus inertia measures the automorphisms invisible after reduction, whereas decomposition measures all automorphisms preserving the chosen prime.

The completion $L_{\mathfrak{P}}/K_{\mathfrak{p}}$ is a Galois extension with group $D_{\mathfrak{P}}$: preservation of $\mathfrak{P}$ lets an automorphism extend continuously to the completion, and the local embeddings of this normal extension arise in this way. The degree of a field extension formula is $[L_{\mathfrak{P}}:K_{\mathfrak{p}}]=ef$. Reduction gives the exact sequenceFor surjectivity, lift a primitive residue-field generator by the Hensel lemma to obtain the maximal unramified subextension of a local field extension of $L_{\mathfrak{P}}/K_{\mathfrak{p}}$. Its automorphisms are the residue-field automorphisms. They extend to $L_{\mathfrak{P}}$ because the latter is normal. Since a finite residue field extension has a cyclic Galois group of order $f$, the exact sequence yieldsThe fixed field of local inertia is the maximal unramified subextension of a local field extension, and the extension above it is totally ramified. Primes in the same global orbit have conjugate decomposition groups and inertia groups, so the orders do not depend on the chosen prime.

If $e=1$, inertia is trivial and $D_{\mathfrak{P}}$ is generated by the unique Frobenius automorphism acting on residues by $z\mapsto z^{N\mathfrak{p}}$. Its order is $f$. In a ramified extension this residue action determines only a coset modulo inertia. A prime splits completely exactly when $e=f=1$, equivalently its decomposition group is trivial. A totally ramified prime has $g=f=1$ and $I_{\mathfrak{P}}=D_{\mathfrak{P}}=G$; an unramified prime has $I_{\mathfrak{P}}=1$. In an abelian extension, conjugation does nothing, so the associated groups and unramified Artin symbol are independent of the prime above $\mathfrak{p}$.

Use arithmetic Frobenius automorphisms: residues are raised to the size of the base residue field. Let $S$ contain the finite primes ramified in the finite abelian extension $L/K$. The Artin map is the group homomorphismwhere $I_K^S$ is the group of fractional ideals supported outside $S$. The Artin symbol ${\mathrm{Frob}}_{\mathfrak{p}}$ is independent of the prime above $\mathfrak{p}$, since the extension is abelian. Commutativity makes the displayed extension from prime ideals well defined. Defining this map does not yet assert the Artin reciprocity law, which describes its congruence group kernel.

For an intermediate field $K\subseteq E\subseteq L$, restriction givesTo prove it, start with an unramified prime $\mathfrak{p}$ and a prime of $L$ above it. Its Frobenius automorphism acts on the residue of every integral element of $E$ by raising it to $N\mathfrak{p}$. Its restriction is therefore the Frobenius automorphism for $E/K$ at the restricted prime. The identity for all allowed fractional ideals follows by the group homomorphism property. On Galois groups, restriction is the quotient by $\mathrm{Gal}(L/E)$, so passing to a subextension quotients the Artin map accordingly.

Now let $E/K$ be any finite extension and put $M=LE$. This is the translated extension: $M/E$ is abelian, and restriction identifies $\mathrm{Gal}(M/E)$ with $\mathrm{Gal}(L/(L\cap E))$. A prime $\mathfrak{q}$ of $E$ above a prime $\mathfrak{p}\notin S$ is unramified in $M/E$, because forming a compositum with $E$ preserves an unramified extension. Put $r=f(\mathfrak{q}/\mathfrak{p})$. The residue-field sizes satisfy $N\mathfrak{q}=(N\mathfrak{p}{)}^r$. Consequently the restriction to $L$ of Frobenius at $\mathfrak{q}$ acts on its integral residues by raising them to $(N\mathfrak{p}{)}^r$, givingBut the ideal norm is $N_{E/K}\mathfrak{q}={\mathfrak{p}}^r$. Multiplying this prime-by-prime identity provesThis is restriction and norm compatibility of the Artin map. The fractional ideal $\mathfrak{a}$ must be supported over primes unramified in $L/K$. No assumption that $E/K$ itself is unramified or Galois is needed. With geometric rather than arithmetic Frobenius, both maps are inverted and the compatibility identities remain unchanged.