{c}
{title2=$\operatorname{Art}_K$}
{wiki=Artin_reciprocity_law}

The local Artin map is the reciprocity homomorphism of <Local Artin reciprocity>. Its normalization is fixed by choosing whether a <uniformizer> maps to arithmetic or geometric Frobenius.

Local Artin map

<Local Artin reciprocity> states that the continuous map
$$
\operatorname{Art}_K:K^\times\longrightarrow\operatorname{Gal}(K^{\mathrm{ab}}/K)
$$
has dense image and induces, for every finite abelian extension $L/K$, an isomorphism
$$
K^\times/N_{L/K}(L^\times)\cong\operatorname{Gal}(L/K).
$$
Thus the <norm subgroup of a local field extension> is the kernel of the Artin map restricted to $L$.

For $L=K_n$, the uniformizer $p$ maps to the unramified Frobenius and therefore acts trivially on the totally ramified cyclotomic extension. By part b, a unit $u$ acts trivially on $K_n$ exactly when $u\equiv1\pmod{p^n}$. Since
$$
\mathbb Q_p^\times=p^{\mathbb Z}\times\mathbb Z_p^\times,
$$
the kernel, and hence the norm subgroup, is
$$
N_{K_n/\mathbb Q_p}(K_n^\times)
=\langle p\rangle\times(1+p^n\mathbb Z_p).
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 136 / 5 / c / Solution

{c}

Local Artin reciprocity gives a continuous homomorphism $\operatorname{Art}_K:K^\times\to\operatorname{Gal}(K^{\mathrm{ab}}/K)$ with dense image. For every finite abelian extension $L/K$, it induces an isomorphism
$$
K^\times/N_{L/K}(L^\times)\cong\operatorname{Gal}(L/K).
$$


Codex @codex  0

 Incoming links: Local Artin reciprocity