Integral closure of p-adic integers in maximal unramified extension

Question

Let $\mathbb Q_p$ be the field of p-adic numbers, and let $\mathbb Q_p^{\text{unr}}$ be maximal unramified extension in some algebraic closure of $\mathbb Q_p$. My understanding is that $\mathbb Q_p^{\text{unr}}$ has a fairly explicit description: $$ \mathbb Q_p^{\text{unr}} = \mathbb Q_p \left(\bigcup_{(n,p)=1} \mu_n \right)$$ where $\mu_n$ is a primitive $n$th root of unity, i.e. we adjoin all $n$th roots of unity with $n$ relatively prime to $p$.

My question is: Does the integral closure of $\mathbb Z_p$ in $\mathbb Q_p^{\text{unr}}$ have a similarly explicit description? For example, does it equal: $$ \mathbb Z_p \left[\bigcup_{(n,p)=1} \mu_n \right] $$ perhaps?

Answer 1

Yes, this is true. Since the integral closure of a directed union is the union of the integral closures, it suffices to establish this at every finite level: that is, for $n$ prime to $p$, the ring of integers in $\mathbb{Q}_p(\zeta_n)$ is $\mathbb{Z}_p[\zeta_n]$.

Here are two methods of proof:

First Proof (Local): This follows from the structure theory of unramified extensions of local fields. For instance, you can apply Proposition 4 of these notes on local fields to $\overline{f}$, the minimal polynomial over $\mathbb{F}_p$ of a primitive $n$th root of unity.

Second Proof (Global): Show that the discriminant of the order $\mathcal{O} = \mathbb{Z}[\zeta_n]$ -- or, in plainer terms, of $(1,\zeta_n,\ldots,\zeta_n^{\varphi(n)-1})$ -- is prime to $p$. Therefore the localized order $\mathcal{O} \otimes \mathbb{Z}_p$ is maximal.