4
$\begingroup$

If $K_1$ and $K_2$ are subfields of a pre-chosen $\overline{\mathbb{Q}_p}$, and if they're both unramified at $p$, and $[K_1:\mathbb{Q}_p]=[K_2:\mathbb{Q}_p]$, does that imply that $K_1=K_2$?

My intuition says that this is true because all that's happening is that we're extending the residue field, and there's only one way to do that if we fix the degree of the extension. But that's not a proof...

  • 1
    Dear Nicole, As Zarrax has indicated, the answer is "yes" (let's assume the degree is finite, just to avoid irrelevant annoyances), and this is a fundamental fact about unramified extensions. As you indicate in your question, the key point is that all the extension is coming just from extending the residue field (and this extension is in turn determined by its degree). One way to "constructively" see the uniqueness is in terms of Witt vectors: if the residue field of the unramified extension $K$ is equal to $k$, then the ring of integers of $K$ can be described explicitly in terms of $k$ ...2010-12-22
  • 1
    ... it is the ring of Witt vectors of $k$. (Typically denoted $W(k)$.) Serre's *Local fields* will give you the construction. The field $K$ itself is then determined as the fraction field of $W(k)$.2010-12-22

1 Answers 1

3

This is slightly outside my domain.. but Proposition 5.4.11 of Gouvea's (excellent) book on p-adics says "For each $f$ there is exactly one unramified extension of degree $f$. It can be obtained by adjoining to ${\mathbb Q}_p$ a primitive $p^f - 1$-st root of unity". So in your case $K_1$ and $K_2$ would both have to be extensions of ${\mathbb Q}_p$ by a primitive $p^f - 1$-st root of unity. Since any two such extensions contained within the same $\bar{{\mathbb Q}_p}$ must be the same, $K_1$ must be $K_2$.

  • 0
    Good enough for me. Thanks!2010-12-21
  • 0
    This answers the question for finite extensions, but the OP doesn't seem to have made that restriction.2010-12-21
  • 0
    Well, all infinite extensions are just unions of finite ones. This would imply the infinite case, unless I'm mistaken.2010-12-21
  • 0
    Right, but any two infinite unramified extensions of $\mathbb{Q}_p$ have the same degree: $\aleph_0$. So the result is not true for infinite extensions.2010-12-21
  • 0
    Right you are. I guess the right definition of degree here should be profinite size.2010-12-22