Re: Combining p-adic metrics

Ok, I had another thought about this. Given any integer, we can write it as for some nonnegative integer and an integer not divisible by . Then, the map along with the maps allows us to take the inverse limit, which yields . There is a natural injection .

Next, define by

It is easy to see that this is a metric. Since is dense in , it seems like this completion gives a copy of for each nonzero power of (or am I mistaken?) and again, there seems to be a natural injection (again, unless I am mistaken, and the completion of the rationals with respect to that metric produces something different).

So, this seems like the analytic completion of the rationals and the algebraic completion of the integers with respect to two primes simultaneously that I was hoping for (at least, in some form). Am I correct? It is entirely possible that this does not work as I hope.

Re: Combining p-adic metrics

I think this still doesn't quite work, but I hope I am getting closer to something that will.

How about this:

Let . Then, I can define

by

Then, I can complete each with respect to the q-adic metric. That might be more what I was looking for.

Perhaps I should explain a little more. I just want to be able to complete the rationals with respect to the -adic metric (algebraically or analytically), but I want every element to have a defined -adic norm.

Re: Combining p-adic metrics

Maybe my attempt is doomed. I tried seeing how addition might work, and with the algebraic attempt, I'm not sure if addition works the way I want (I want normal integer addition and addition in my inverse limit to commute).

Re: Combining p-adic metrics

I think I figured it out. Let be primes with a primitive root modulo for all positive integers . Let and . Now, is the set of all integers that are units of for all , and is the set of all integers such that for all , .

The idea is, for each positive integer and each , there exists such that and , and moreover, . So, I am hoping to build a function that will essentially be the p-adic norm on q-adic units. I am still not quite sure how to develop it further, but this looks to be a promising start.

Re: Combining p-adic metrics

Ok, I had more on paper, and now I realize why. I need a function that takes integers not divisible by p to ones that are divisible by p, but not q. So, for each , define a function by . Then , so divides , but won't divide . That's what I was missing. So, for what values of will be divisible by p? I need , so I think I need to be a primitive root modulo (it doesn't need to be one for higher powers, though).

Re: Combining p-adic metrics

I now understand that I can define a $q$-adic valuation for $p$-adic numbers that would agree on all of $\Bbb{Q}$, but I likely cannot construct such a valuation. If I consider the algebraic closures of $\Bbb{Q}_p, \Bbb{Q}_q$, their closures are both isomorphic to $\Bbb{C}$.

Hence, if I choose particular embeddings $\Bbb{Q}_p \hookrightarrow \overline{\Bbb{Q}_p} \cong \Bbb{C}$ and $\Bbb{Q}_q \hookrightarrow \overline{\Bbb{Q}_q}\cong \Bbb{C}$, then I can define a $q$-adic valuation on $p$-adic numbers. This valuation will not be unique. It will depend entirely on my choice of embeddings for the p-adics and q-adics into $\Bbb{C}$.

What I was attempting may have yielded a constructive method for generating a $q$-adic valuation on $\Bbb{Q}_p$, but it is simply not worth it, since any such valuation would not be unique.