3

Let $\alpha\in\Bbb C$ be algebraic over $\Bbb Q$. Consider $K=\Bbb Q(\alpha)$. Let $p$ be a prime number of $\Bbb Z$ and $P$ a prime of $K$ lying above $p$.
Q: does it make sense to say $K_P=\Bbb Q_p(\alpha)$, i.e. does 'adjoining elements' commute with completion?

I think the answer to this is no, because there might be several primes in $K$ lying over $p$ with different inertia/ramification degrees. Thus the degrees $[K_P:\Bbb Q]$ could be different. However the degree $[\Bbb Q_p(\alpha):\Bbb Q]$ does not depend on the prime $P$ chosen.

On the other hand we have $\Bbb Q\subset \Bbb Q_p(\alpha)$ and thus $K\subset \Bbb Q_p(\alpha)$. As $\Bbb Q_p(\alpha)$ is complete this should imply $K_P\subseteq \Bbb Q_p(\alpha)$ in a somewhat canonical way, right? (I think here lies the/a problem, $\Bbb Q_p(\alpha)$ is complete with the unique extension of the absolute value of $\Bbb Q_p$, but there can be different extensions of the $p$-adic absolute value on $\Bbb Q$ to $K$.) What would be a way to solve this, e.g. if we have only one prime in $K$ lying over $p$, would we then get the equality $K_P=\Bbb Q_p(\alpha)$?

  • 1
    Further to my answer below: one way of seeing where this all goes wrong is to consider the "infinite" prime. Consider $K=\mathbb Q(\zeta_3\sqrt[3]2)$. Choosing a root of $X^3-2$ is exactly the same thing as choosing an embedding $K\hookrightarrow\mathbb C$. But if I now let $v\colon K\hookrightarrow \mathbb R$ be the unique real embedding, why should I expect that $K_v = \mathbb R(\zeta\sqrt[3]2)$? The problem is that in fixing $\alpha$, you have already chosen an embedding, so you can't then choose another embedding and expect everything to match up. – Mathmo123 Aug 24 '21 at 11:37
  • 1
    @Mathmo123 there is no need to focus on the infinite prime. An example with a finite prime is $\mathbf Q_5(\sqrt[3]{2})$. This is not a well-defined expression since $x^3 - 2$ is irreducible over $\mathbf Q_5$: it factors as a linear times a quadratic irreducible. So the notation $\mathbf Q_5(\sqrt[3]{2})$ is as ambiguous as $\mathbf Q(\alpha)$ when $\alpha$ is a root of $x^3 +x = x(x^2+1)$. – KCd Aug 24 '21 at 14:28
  • 3
    What is true about the notation $\mathbf Q_p(\alpha)$ is that as $\alpha$ runs over all the roots of an irreducible $f(x)$ in $\mathbf Q[x]$, we get the same fields as $K_P$ where $P$ runs over all the prime ideals lying over $p$ in $\mathcal O_K$. In other words, for an irreducible $f(x)$ in $\mathbf Q[x]$ and abstract field $K = \mathbf Q(\gamma)$ where $f(\gamma) = 0$, each completion $K_P$ where $P \mid p$ is $\mathbf Q_p(\gamma')$ for some root $\gamma'$ of $f(x)$ in $\overline{\mathbf Q_p}$, but typically $\gamma'$ will depend on $P$. – KCd Aug 24 '21 at 14:31
  • @KCd Could you provide a proof/reference for the last assertion you made? Namely, each completion $K_P$ is isomorphic to $Q_p(\gamma')$ for some $\gamma$. In fact, this $\gamma$ should correspond to $P$ via Hensel's lemma and Dedekind-Kummer theorem, I guess. – Sardines Feb 28 '25 at 07:12

1 Answers1

6

I think the root of all your problems comes from the fact that $\mathbb Q_p(\alpha)$ doesn't actually make any sense. In general if $L/K$ is an extension of fields (e.g. if $L = \overline K$), then if $\alpha\in L$, we define $K(\alpha)$ to be the subfield of $L$ generated by $K$ and $\alpha$. In your case, by definition, $\alpha$ is an element of $\mathbb C$ (or really $\overline{\mathbb Q}$). But there is no canonical embedding of $\overline{\mathbb Q}$ into $\overline{\mathbb Q}_p$. In other words, $\alpha$ is not automatically an element of any extension of $\mathbb Q_p$, so the notation $\mathbb Q_p(\alpha)$ doesn't make sense.

In order to make sense of $\mathbb Q_p(\alpha)$, you are forced to implicitly fix an embedding $\overline{\mathbb Q}\to\overline{\mathbb Q}_p$ (or at least $K\to \overline{\mathbb Q}_p$). The set of such embeddings is naturally isomorphic to the set of primes $\mathfrak p$ over $\overline{\mathbb Z}$ above $p$ (resp. the set of primes of $K$ above $p$).

Hence, to define $\mathbb Q_p(\alpha)$, you have implicitly chosen a prime of $K$ above $p$ already. Thus, when you then choose another prime $P$ of $K$ above $p$, unless this prime was the prime you already implicitly chose (for example, if there was only one possible prime to choose), there's no reason that $K_P$ should be isomorphic to $\mathbb Q_p(\alpha)$. Indeed, it's not even true that $[K_P:\mathbb Q_p] = [\mathbb Q_p(\alpha) : \mathbb Q_p]$: just consider the case that $p$ splits as a product of a residue degree $1$ prime and a residue degree $2$ prime (e.g. $5$ in $\mathbb Q(\sqrt[3]2)$).

Here's what does make sense: $\alpha$ is the root of a polynomial $f\in\mathbb Q[X]$, and there is a unique embedding $\mathbb Q\hookrightarrow\mathbb Q_p$, so we can view $f$ as being in $\mathbb Q_p[X]$. You can then consider the ring $\mathbb Q_p[X]/(f)$. In general, $f$ is not irreducible over $\mathbb Q_p$, and there is a natural isomorphism $$K\otimes_\mathbb Q\mathbb Q_p\cong\mathbb Q_p[X]/(f)\cong \prod_{\mathfrak p\mid p}K_\mathfrak p.$$ Fixing an embedding $\colon K\hookrightarrow\overline{\mathbb Q}_p$ is the same as fixing a prime $\mathfrak p$ above $p$. If $K= \mathbb Q(\alpha)$, then what's true is that $K_\mathfrak p = \mathbb Q_p(\alpha)$ for the prime $\mathfrak p$ defined by that specific choice of embedding.

Mathmo123
  • 23,718