[proofplan] We show that every finite abelian extension of $\mathbb{Q}_p$ is contained in $\mathbb{Q}_p(\zeta_m)$ for some $m \geq 1$. By the [Existence Theorem (Local)](/theorems/???), it suffices to show that every open finite-index subgroup $H \leq \mathbb{Q}_p^\times$ contains the norm group $N(\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p)$ for some $m$. We decompose $\mathbb{Q}_p^\times \cong p^{\mathbb{Z}} \times \mu_{p-1} \times (1 + p\mathbb{Z}_p)$ and observe that any open finite-index subgroup contains $p^r\mathbb{Z} \times U$ for some $r \geq 1$ and some open subgroup $U$ of $\mathcal{O}_{\mathbb{Q}_p}^\times$. We then compute the norm groups of cyclotomic extensions explicitly: $N(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p)$ accounts for the higher unit filtration $(1 + p^a\mathbb{Z}_p)$, and unramified extensions of degree $r$ account for the $p^r\mathbb{Z}$ factor. By choosing $m$ appropriately, the norm group of $\mathbb{Q}_p(\zeta_m)$ is contained in $H$. [/proofplan] [step:Decompose $\mathbb{Q}_p^\times$ and identify the structure of open finite-index subgroups] The multiplicative group of $\mathbb{Q}_p$ admits the decomposition \begin{align*} \mathbb{Q}_p^\times \cong p^{\mathbb{Z}} \times \mathcal{O}_{\mathbb{Q}_p}^\times, \end{align*} where the first factor is generated by the uniformiser $p$ and the second is the group of $p$-adic units. The unit group further decomposes as \begin{align*} \mathcal{O}_{\mathbb{Q}_p}^\times \cong \mu_{p-1} \times (1 + p\mathbb{Z}_p), \end{align*} where $\mu_{p-1}$ is the group of $(p-1)$-th roots of unity (the Teichmuller representatives) and $1 + p\mathbb{Z}_p$ is the group of principal units. For $p \neq 2$, the logarithm map gives an isomorphism $1 + p\mathbb{Z}_p \cong \mathbb{Z}_p$ of topological groups. (For $p = 2$, $\mathcal{O}_{\mathbb{Q}_2}^\times \cong \{\pm 1\} \times (1 + 4\mathbb{Z}_2) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}_2$; the argument adapts with minor modifications.) Let $H \leq \mathbb{Q}_p^\times$ be an open finite-index subgroup. The openness of $H$ means $H \supseteq 1 + p^s \mathbb{Z}_p$ for some $s \geq 1$ (since the subgroups $1 + p^s \mathbb{Z}_p$ form a basis of open neighbourhoods of $1$ in $\mathcal{O}_{\mathbb{Q}_p}^\times$). The finite-index condition on the $p^{\mathbb{Z}}$ factor means $H \cap p^{\mathbb{Z}} = p^{r\mathbb{Z}}$ for some $r \geq 1$. Therefore \begin{align*} H \supseteq p^{r\mathbb{Z}} \times V \times (1 + p^s \mathbb{Z}_p) \end{align*} for some $r, s \geq 1$ and some subgroup $V \leq \mu_{p-1}$. [/step] [step:Compute the norm group of the totally ramified cyclotomic extension $\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p$] The extension $\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p$ is totally ramified of degree $\varphi(p^a) = p^{a-1}(p-1)$. Its Galois group is $\operatorname{Gal}(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p) \cong (\mathbb{Z}/p^a\mathbb{Z})^\times$. By [Local Artin Reciprocity](/theorems/???), the Artin map $\operatorname{Art}_{\mathbb{Q}_p}|_{\mathbb{Q}_p(\zeta_{p^a})}$ induces \begin{align*} \frac{\mathbb{Q}_p^\times}{N(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p)} \cong (\mathbb{Z}/p^a\mathbb{Z})^\times. \end{align*} The norm group is determined by the Artin map: $\operatorname{Art}_{\mathbb{Q}_p}(p)|_{\mathbb{Q}_p(\zeta_{p^a})}$ is the identity (since $p$ is a norm from $\mathbb{Q}_p(\zeta_{p^a})$: the minimal polynomial of $\zeta_{p^a}$ over $\mathbb{Q}_p$ is the $p^a$-th cyclotomic polynomial, and its constant term is $p$ up to a unit), and $\operatorname{Art}_{\mathbb{Q}_p}(u)$ for $u \in \mathcal{O}_{\mathbb{Q}_p}^\times$ acts by $\zeta_{p^a} \mapsto \zeta_{p^a}^u$ (where $u$ is identified with its image in $(\mathbb{Z}/p^a\mathbb{Z})^\times$). Therefore \begin{align*} N(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p) = \ker(\operatorname{Art}_{\mathbb{Q}_p}|_{\mathbb{Q}_p(\zeta_{p^a})}) = p^{\mathbb{Z}} \times (1 + p^a \mathbb{Z}_p). \end{align*} More precisely, $u \in \mathcal{O}_{\mathbb{Q}_p}^\times$ is a norm if and only if $u \equiv 1 \pmod{p^a}$, and every power of $p$ is a norm. [guided] The norm group computation is the arithmetic heart of the Local Kronecker-Weber theorem. Let us explain why $N(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p) = p^{\mathbb{Z}} \times (1 + p^a\mathbb{Z}_p)$. The Artin map for $\mathbb{Q}_p$ satisfies $\operatorname{Art}_{\mathbb{Q}_p}(p) = \operatorname{Frob}_p$ on $\mathbb{Q}_p^{\mathrm{ur}}$. For the totally ramified extension $\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p$, the Frobenius acts directly (since unramified and totally ramified extensions are "orthogonal"), so $\operatorname{Art}_{\mathbb{Q}_p}(p)|_{\mathbb{Q}_p(\zeta_{p^a})} = \operatorname{id}$. This means $p \in N(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p)$. For units $u \in \mathcal{O}_{\mathbb{Q}_p}^\times$: the Artin map sends $u$ to the automorphism $\sigma_u$ defined by $\sigma_u(\zeta_{p^a}) = \zeta_{p^a}^u$. This automorphism is routine if and only if $\zeta_{p^a}^u = \zeta_{p^a}$, i.e., $u \equiv 1 \pmod{p^a}$. So $u$ is a norm if and only if $u \in 1 + p^a\mathbb{Z}_p$. The group $p^{\mathbb{Z}} \times (1 + p^a\mathbb{Z}_p)$ has index $|(\mathbb{Z}/p^a\mathbb{Z})^\times| = p^{a-1}(p-1) = [\mathbb{Q}_p(\zeta_{p^a}) : \mathbb{Q}_p]$ in $\mathbb{Q}_p^\times$, confirming consistency with the degree of the extension. [/guided] [/step] [step:Compute the norm group of the unramified extension of degree $r$] The unique unramified extension of $\mathbb{Q}_p$ of degree $r$ is $\mathbb{Q}_p(\zeta_{p^r - 1})$, the extension obtained by adjoining a primitive $(p^r - 1)$-th root of unity. Its Galois group is cyclic of order $r$, generated by the Frobenius $\operatorname{Frob}_p$. The norm group is \begin{align*} N(\mathbb{Q}_p(\zeta_{p^r - 1})/\mathbb{Q}_p) = \{x \in \mathbb{Q}_p^\times : v_p(x) \in r\mathbb{Z}\} = p^{r\mathbb{Z}} \times \mathcal{O}_{\mathbb{Q}_p}^\times. \end{align*} This follows from the Artin map: $\operatorname{Art}_{\mathbb{Q}_p}(x)|_{\mathbb{Q}_p(\zeta_{p^r-1})} = \operatorname{Frob}_p^{v_p(x)}$ (units act directly on unramified extensions, and $p$ maps to $\operatorname{Frob}_p$), so $x$ is a norm if and only if $\operatorname{Frob}_p^{v_p(x)} = \operatorname{id}$, i.e., $r \mid v_p(x)$. [/step] [step:Choose $m$ so that $N(\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p) \subseteq H$] Given the open finite-index subgroup $H \supseteq p^{r\mathbb{Z}} \times V \times (1 + p^s\mathbb{Z}_p)$ (from the first step), we choose $m$ to make the norm group of $\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p$ small enough to fit inside $H$. Write $m = p^a \cdot n$ where $(n, p) = 1$. The extension $\mathbb{Q}_p(\zeta_m) = \mathbb{Q}_p(\zeta_{p^a}, \zeta_n)$ decomposes: $\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p$ is totally ramified, and $\mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p$ is unramified (since $n$ is coprime to $p$, the $n$-th roots of unity reduce to distinct elements of $\overline{\mathbb{F}_p}$). By the lattice identity from the [Existence Theorem (Local)](/theorems/???): \begin{align*} N(\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p) = N(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p) \cap N(\mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p). \end{align*} From the previous two steps: \begin{align*} N(\mathbb{Q}_p(\zeta_{p^a})/\mathbb{Q}_p) &= p^{\mathbb{Z}} \times (1 + p^a\mathbb{Z}_p), \\ N(\mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p) &= p^{d\mathbb{Z}} \times \mathcal{O}_{\mathbb{Q}_p}^\times, \end{align*} where $d = [\mathbb{Q}_p(\zeta_n) : \mathbb{Q}_p]$ is the order of $p$ modulo $n$ (the degree of the unramified extension generated by $\zeta_n$). The intersection is \begin{align*} N(\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p) = p^{d\mathbb{Z}} \times (1 + p^a\mathbb{Z}_p). \end{align*} Now choose: - $a = s$, so that $1 + p^a\mathbb{Z}_p = 1 + p^s\mathbb{Z}_p \subseteq H$. - $n$ such that $d = \operatorname{ord}_n(p) \geq r$ and such that $\mu_{p-1} / V$ is killed by the quotient map $\mathcal{O}_{\mathbb{Q}_p}^\times \to \mathcal{O}_{\mathbb{Q}_p}^\times / (1 + p^s\mathbb{Z}_p) \cong (\mathbb{Z}/p^s\mathbb{Z})^\times$ restricted to the image of $N(\mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p)$. Concretely, choose $n$ divisible by enough primes $\ell \neq p$ so that $\operatorname{ord}_n(p)$ is a multiple of $r$, and so that the subgroup $V \leq \mu_{p-1}$ contains the image of $N(\mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p) \cap \mu_{p-1}$. Since $\mu_{p-1}$ is cyclic of order $p - 1$ and the norm $N(\mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p) \cap \mu_{p-1}$ is determined by the residue degree, we can achieve this by choosing $n$ appropriately. With $m = p^s \cdot n$: \begin{align*} N(\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p) = p^{d\mathbb{Z}} \times (1 + p^s\mathbb{Z}_p) \subseteq p^{r\mathbb{Z}} \times V \times (1 + p^s\mathbb{Z}_p) \subseteq H. \end{align*} [guided] The key idea is that cyclotomic extensions give us complete control over the "two directions" in $\mathbb{Q}_p^\times$: the totally ramified direction (the principal units $1 + p^s\mathbb{Z}_p$, captured by $\zeta_{p^a}$) and the unramified direction (the valuation lattice $p^{r\mathbb{Z}}$, captured by $\zeta_n$ with $(n, p) = 1$). Any open finite-index subgroup $H$ imposes constraints in both directions: it contains $1 + p^s\mathbb{Z}_p$ for some $s$ (openness) and $p^{r\mathbb{Z}}$ for some $r$ (finite index in the valuation component). By choosing $a = s$ and $d \geq r$, the norm group $N(\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p)$ is contained in $H$. The existence of $n$ with $\operatorname{ord}_n(p) \geq r$ is guaranteed: for instance, $n = p^r - 1$ gives $\operatorname{ord}_n(p) = r$ since $p^r \equiv 1 \pmod{p^r - 1}$ and $r$ is the minimal such exponent. This argument shows that cyclotomic norm groups are "cofinal" among all open finite-index subgroups of $\mathbb{Q}_p^\times$: every such subgroup contains a cyclotomic norm group. By the Existence Theorem, this means every finite abelian extension of $\mathbb{Q}_p$ is contained in a cyclotomic extension. [/guided] [/step] [step:Conclude via the Existence Theorem] By the [Existence Theorem (Local)](/theorems/???), the inclusion-reversing bijection gives: $N(\mathbb{Q}_p(\zeta_m)/\mathbb{Q}_p) \subseteq N(L/K) = H$ implies $L \subseteq \mathbb{Q}_p(\zeta_m)$ (the extension corresponding to a larger norm group is contained in the extension corresponding to a smaller one, by the inclusion-reversing property). Since $L/\mathbb{Q}_p$ was an arbitrary finite abelian extension, and we have found $m$ with $L \subseteq \mathbb{Q}_p(\zeta_m)$, every finite abelian extension of $\mathbb{Q}_p$ is contained in a cyclotomic extension. This completes the proof. [/step]