MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $u \in \mathbb{Z}^{\times}_{p}$ a unit, is it true that the field $\mathbb{Q}_{p}(\zeta_{p^{n}}, \sqrt[p^{n}]{u})$ ` is abelian over $\mathbb{Q}_{p}$?

share|cite|improve this question
First try the case $n=1$. Try to find a criterion for a degree-$p$ cyclic extension $L$ of $K={\mathbf Q}_p(\zeta_p)$ to be galoisian (resp. abelian) over $F={\mathbf Q}_p$, or extract such a criterion from Section 4 of – Chandan Singh Dalawat Nov 4 '12 at 11:50
Any subextension of an abelian extension is Galois. Now try to find a non-Galois subextension in your case (with $u$ not being a $p^n$th power). – René Nov 4 '12 at 12:03
It is simpler in your situation to consult Section 2 of – Chandan Singh Dalawat Nov 4 '12 at 12:18
References to the literature seem like overkill. This question needs nothing but Galois theory and basic properties of $p$-adic fields. – René Nov 4 '12 at 12:24

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.