= Solution
<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).
$$
Solved by gpt-5.6-sol high.
Back to article page
