Ramification degree of field extension of the 5-adic field obtained by adjoining a primitive third root of unity

abstract-algebraalgebraic-number-theoryextension-fieldp-adic-number-theoryramification

Let $K = \mathbb{Q}_5$ and $K' = \mathbb{Q}_5(\xi_3)$ where $\xi_3$ is a primitive third root of unity, i.e. $\xi_3, \xi_3^2 \neq 1$ but $\xi_3^3=1$.
The minimal polynomial of $\xi_3$ over $K$ is $x^2+x+1$, so the degree of $K'/K$ is 2. This means that the ramification index of $K'/K$ is either $1$ or $2$, i.e. it is either unramified or totally ramified.

Question: Which case is true?

Ideas and Thoughts:

  • My thought is that $K'/K$ is going to be unramified. I think this is true because the minimal polynomial of $\xi_3$, namely $x^2+x+1$, is not an Eisenstein polynomial over $\mathbb{Z}_5$. But maybe there might be a weird linear combination $a + b \xi_3$ with $a,b \in \mathbb{Q}_5$ whose minimal polynomial is indeed an Eisenstein polynomial. I don't know if that is possible thuogh.
  • If $K'/K$ was totally ramified, then there must be an $x=a + b \xi_3$ with $a,b \in \mathbb{Q}_5$ such that the valuation is $1/2$, i.e. $v_K'(x) = \frac{1}{2}$.
    We have the general formula $$v_K'(x) = \frac{1}{2}v_5(N_{K'/K}(x)) = \frac{1}{2}v_5(a^2-ab+b^2)$$,
    so we have to check if $a^2-ab +b^2 = 0$ has a solution over $\mathbb{F}_5$. Is there a good way to check quickly (other than try out all possibilities) if it has a solution?
  • I know that there is a unique unramified extension of $K$ of degree 2 which can be obtained by adjoining a primitive $(5^2-1)$-th root of unity, say $\xi_{24}$. So we could check if $\xi_3 \in \mathbb{Q}_5(\xi_{24})$. But this also seem to be really tedious.

Could you explain me what the best way is to approach this problem? Thank you!

Best Answer

I think that the answer-key to this question is the fundamental formula $n=ef$, where $n$ is the degree $[K':K]$ and $e$, $f$, are the ramification index and the residue-field extension degree, respectively.

To get all cube roots of unity into an extension of the residue field $\Bbb F_5$, you have to go to a field $\Bbb F_{5^m}$, whose multiplicative group is of order $5^m-1$, and cyclic, as I’m sure you know. Once $3|(5^m-1)$, you’ve got those cube roots of unity in your field. And of course $m=2$ serves very nicely, since $3|24$.

So by adjoining the cube roots of unity to $\Bbb Q_5$, you need a quadratic extension of the residue field. Thus here, $f=2$, forcing $e=1$. End of story.