Skip to main content
2 of 2
Reword title to ask the question asked below in a concise manner; explain HCF in body of text.

If $K=\langle$HCF of $\mathbb{Q}_{p}$, $\mathbb{Q}^\mathrm{cycl}\rangle$, does $K$ also contain all roots of elements of $\mathcal{O}_{K}^{\times}$?

Suppose $K$ is an extension of $\mathbb{Q}_{2}$ (I could ask this for any $p$, but I'm especially interested in $p = 2$) which contains the Hilbert Class Field (i.e., maximal unramified extension) of $\mathbb{Q}_{2}$ and also contains all roots of unity (including $2$-power ones!) Then does $K$ contain all roots of all elements of $\mathcal{O}_{K}^{\times}$?

This seems to boil down to knowing the ramification behavior of extensions obtained by adjoining roots of units in $\mathcal{O}_{K}^{\times}$. I feel like this should be hidden somewhere in the main results of class field theory, but I'm not sure.

Jeff Yelton
  • 1.3k
  • 6
  • 12