Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $K = \mathbb{Q}(\theta)$, where $\theta$ is a root of an irreducible polynomial $g \in \mathbb{Z}[t]$. Fix a rational prime $p$. Let $\theta^{(1)}, \ldots, \theta^{(n)}$ be the roots of $g$ in $\overline{\mathbb{Q}}$, and let $\phi^{(1)}, \ldots, \phi^{(n)}$ be the roots of $g$ in $\overline{\mathbb{Q}_p}$ (the algebraic closure of $\mathbb{Q}_p$). Let $f \in \mathbb{Z}[t]$, and put $$ \alpha = \frac{f(\theta^{(a)})}{f(\theta^{(b)})}, \qquad \beta = \frac{f(\phi^{(c)})}{f(\phi^{(d)})}. $$ Let $L$ be a finite extension of $K$ containing $\alpha$, and let $\mathfrak{p}$ be a prime ideal of $L$ above $p$.

If $\text{ord}_p(\beta) = 0$, is $\text{ord}_{\mathfrak{p}}(\alpha) = 0$ also? Why? What is the general relationship between $\text{ord}_p(\beta)$ and $\text{ord}_{\mathfrak{p}}(\alpha)$?

I know that if $\mathfrak{p}$ stands for a prime ideal of $K$ above $p$, if $g_{\mathfrak{p}}$ is the irreducible factor of $g$ in $\mathbb{Q}_p[t]$ which corresponds to $\mathfrak{p}$, and if $\phi^{(\cdot)}$ is any root of $g_{\mathfrak{p}}$, then for any $x \in K$ $$ \frac{1}{e}\text{ord}_{\mathfrak{p}}(x) = \text{ord}_p(\sigma(x)), $$ where $e$ is the ramification index of $\mathfrak{p}$ over $p$ and $\sigma$ is the embedding of $K$ into $\mathbb{Q}_p(\phi^{(\cdot)})$ that maps $\theta$ to $\phi^{(\cdot)}$ and fixes $\mathbb{Q}$ pointwise.

I have a feeling that I can view $\beta$ as the image of $\alpha$ under some embedding (there is an obvious candidate) and get a similar formula relating $\text{ord}_p(\beta)$ and $\text{ord}_{\mathfrak{p}}(\alpha)$, but I am having trouble proving this or making it concrete.

Can someone please help?

share|improve this question

1 Answer 1

You can embed $\overline{\mathbb{Q}}$ in $\overline{\mathbb{Q}}_p$, and the choice of such an embedding is equivalent to consistently choosing a place $v_K$ over $p$ in each number field $K$. Moreover, you need to make a choice of such a $v_K$ in order to talk about the $p$-adic valuation of an element of a number field $K$ anyway. There is no such thing as a "$p$-adic valuation on $\mathbb{C}$".

So in other words the answer is: given $K$, choose a place $v$ of $K$ lying over $p$. Then for any $\alpha \in K$, $v(\alpha)$ is the $p$-adic valuation of $\alpha$ according to your setup. You can moreover extend $v$ to a ($\mathbb{Q}$-valued) valuation on $\overline{\mathbb{Q}_p}$ or $\mathbb{C}_p$ if you want: this requires infinitely many more choices, but the answer doesn't depend on them.

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.