6
$\begingroup$

I've come to know that you can't define an order relation over the field of p-adic numbers that is compatible with the addition and multiplication according to the ordered field axioms. I was wondering if there actually was a subset which contains an isomorphic copy of $\mathbb Q$ and can be totally ordered (compatibly with addition and multiplication).

[Edit from comment below] In particular, is there a way to totally order some subring $T$ of the $p$-adics, with $\mathbb Q \subset T$, so that the order respects addition and multiplication, and there is some $\omega \in T$ greater than all the rationals in the order?

  • 1
    Well, there are plenty of subrings of the $p$-adic numbers which are isomorphic to subrings of the reals which contains the rationals. For example, if $d$ is a positive integer which is a square mod $p$, then the ring $\mathbb{Q}[\sqrt{d}]$ is isomorphic to subrings of both $\mathbb{R}$ and $\mathbb{Q}_p$.2011-10-27
  • 0
    Note, this is essentially just trickery. In the same way, you can make the ring of polynomials $\mathbb{Q}[x]$ be totally ordered, by sending $x$ to a real transcendental number (say, $\pi$.) This ordering on $\mathbb{Q}[x]$ is arbitrary, because any different transcendental on would yield a different order. Similarly, for the case of $\sqrt{d}$, it is a choice of which square root to send to the real positive square root.2011-10-27
  • 0
    Thanks. That's an excellent answer, so I'm trying to be more precise. My original aim was to find an ordered subset$A$ so that $\mathbb Z \subset A \subset \mathbb Q_p $ with _"infinities"_ in it. I say $\omega \in A $ is an _infinity_ iff $\forall n \in \mathbb Z$ I get $\omega >n$. With $\mathbb Z$ I mean an isomorphic copy of the well known set of integers and $>$ is the order relation over $A$.2011-10-27
  • 0
    @HenningMakholm you are right. I asked a question yesterday (without logging up) and today I wasn't able to add comments. So I decided to create an account. Do you think I can have access to the reputation I earned yesterday? Or I should just have the other "account" deleted?2011-10-27
  • 0
    [This thread seems related](http://math.stackexchange.com/questions/49990/) to the "I've come to know..." bit.2011-10-27
  • 0
    @Lorenzo: Ah, that sheds some light on what you were trying to achieve in previous question yesterday. I think you may be attempting to rediscover [hyperreal numbers](http://en.wikipedia.org/wiki/Hyperreal_number).2011-10-27
  • 0
    I had read something about the _hyperreals_ and I really liked the idea of formalizing infinite quantities. That's why I tried to look for my own method ... which revealed to be strictly connected with the p-adic numbers. By the way I had already thought about considering -radical thinness- (although this name is far more epic) but I just didn't want to throw away a great amount of sequences just for the sake of laziness (I mean I wanted to use a stronger definition only if necessary). I'm sorry if this is a bit off-topic but I can't write comments on the other questions.2011-10-27
  • 0
    @HenningMakholm Yes, I did.2011-10-27
  • 1
    @Lorenzo: I've merged your accounts.2011-10-27

1 Answers 1

2

In particular, then, you want a total ordering on $\mathbb{Q}[\omega]$ for some $p$-adic $\omega$, with $\omega$ greater than the elements of $\mathbb Q$ in the order.

If $\omega$ is transcendental over $\mathbb Q$ in $\mathbb Q_p$, then $\mathbb Q[\omega] \cong \mathbb Q[x]$, where $x$ is an indeterminate, so you'd want a total order on the ring of polynomials over $\mathbb{Q}$ in which $x>r$ for all rational $r$

But if the total order is compatible with multiplication and addition, we have the following:

$$\forall n\geq 0, r\in \mathbb Q: x^{n+1}>rx^n$$

From this, we can deduce that a polynomial $p(x)$ is greater than zero if it's first coefficient is greater than zero.

That entirely defines the total order on $\mathbb Q[x]$. $p(x)>q(x)$ if the leading coefficient of $p(x)-q(x)$ is positive.

If $\omega$ is not transcendental, then you can show there can be no such ordering, basically by the same argument that $\omega^n$ must be strictly greater than any linear combination of smaller powers of $\omega.$

So what this shows is that the only numbers that you can consider "infinites" are transcendentals, but that any attempt to understand infinite values this way is more a study of $\mathbb{Q}[x]$ rather than the $p$-adics.

  • 0
    I really appreciate your answer. I still don't understand why such $\omega \in \mathbb Q_p $ exists. How can I be sure there is at least one transcendental element (over $\mathbb Q$) in $\mathbb Q_p$? (In my defence I've discovered p-adic numbers yesterday evening)2011-10-27
  • 0
    I think it is probably misguided to look for answers about "infinite" values in $p$-adics. I can understand the urge, because when written out as infinite sums of powers of $p$, they naturally look "infinite," but that appearance is deceptive. The whole point of $p$-adic values is that powers of $p$ are reinterpreted as "small" - that's essentially the reason that they can't be totally ordered in a way that's compatible with $(\mathbb Q,<)$.2011-10-27
  • 0
    The standard argument is to show that $\mathbb Q_p$ is uncountable, and the set of algebraic elements of $\mathbb Q_p$ is countable, so there must exist non-algebraic (aka transcendental) elements of $\mathbb Q_p$.2011-10-27
  • 0
    But more specifically, you are missing the point if you think such a representative $\omega$ says anything about infinity. For example, you can similarly totally order $\mathbb{Q}[\pi]\subset \mathbb R$, but we don't think of $\pi$ as an infinite value. This is still just trickery. For example, if $\omega$ is transcendental, then so is $-\omega$, but my construction allows you to choose arbitrarily which one is "positive" infinity. It's not intrinsic to $\omega$, and we can find total orders on $\mathbb{Q}[\omega]$ where $\omega$ is finite, too.2011-10-27
  • 0
    OK. I'm convinced about the existence of a transcendental number. Then, of course, it's all crystal-clear about how trickery it is. There is nothing like infinity in $\mathbb Q_p$, just things that _behave_ like infinities under some circumstances (but, on the other hand, also the set of real numbers contains such elements, and as you noticed $\mathbb R [x]\cong\mathbb R[\pi]$). So I think you are right when you say that "any attempt to understand infinite values this way is more a study of $\mathbb Q[x]$ rather than the p-adics"2011-10-27
  • 0
    Errata corrige: I meant, of course $\mathbb Q[x] \cong \mathbb Q[\pi] $2011-10-27