independence of -adic valuations
We prove the following particular case:
Proposition 1.
Let be distinct prime numbers and let be the corresponding -adic valuations
of . Let and let be arbitrary positive real numbers, then there exists such that for all :
Proof.
Let be an arbitrary prime, and let be an arbitrary positive real number. Notice that injects into , the -adic integers. For any , we also write for its image in , and it can be written as a sequence with . Let be such that (and thus for any other such that we have ).
Now, for the proof of the proposition, let and recall that by the Chinese Remainder Theorem
we have an isomorphism
:
Therefore we can find an element of (and thus a lift of to ) such that for all . Hence:
∎