Hello,
My question is about the non-standard models of the integers. If we add to the Peano's axioms $P$ of arithmetic the following axioms for a fixed constant $c$:
$c \neq 0$, $c \neq 1$, $c \neq 1+1$, $c \neq 1+1+1$, etc…
and $c=ab \implies a=1~~ou~~b=1$. We obtain a system of axioms $S$.
$S$ is consistent, by compacity. If $S$ is not consistent, a finite number of axioms in $S$ (a subset $S'$ of $S$) are not consistent, say axioms of $P$ and $c \neq 0, c \neq 1, c \neq 1+1, …,c \neq \underbrace{1+1+1+…+1+1}_{k ~~\times}$. So we can consider a prime $p$ greater than $k$. We consider the standard model of $\mathbb{N}$ and we put $c=p$, to obtain a model of $S'$. Hence, $S'$ is consistent. Contradiction. So, $S$ is consistent.
$c$ is prime in a model $M$ of $S$, and $c$ is a non-standard integer. We can consider the field $F=\{x \in M | x< c\}$ obtained by setting
$a~+_F~ b=(a~+_M~b)\mod c$,
$a~\times_F~ b=(a~\times_M~b)\mod c$. We have an inverse for $a$ if $a\mod c \neq 0$.
$F$ is an infinite field. Which field is it isomorphic to ? Is $F$ algebraic over $\mathbb{Q}$ ($\mathbb{Q}$ is included in the field $F$ ) ?
Thanks in advance.
Best Answer
First, you haven't actually specified a particular field, since the field $F$ that you have will depend on your choice of $c$ and of $M$. For example, different nonstandard models can seriously affect even the cardinality of the field $F$ that you produce, so they are not all the same. (A Lowenheim-Skolem argument shows that $F$ can be found as you describe of any desired infinite cardinality.)
But to answer your question, none of these fields is algebraic over $\mathbb{Q}$. To see this, let $a$ be any nonstandard integer in $M$ whose finite powers are bounded below $c$ in $M$ (see below). It follows that any polynomial over $\mathbb{N}$ evaluated at $a$ is still less than $c$ in $M$. So the $\mod c$ part of the field operations of $F$ never arise when evaluating a polynomial over $\mathbb{N}$ at $a$. Thus, the problem reduces to showing that if $p$ is a nontrivial polynomial over $\mathbb{Z}$, then $p(a)\neq 0$ for nonstandard $a$ in $M$, and this follows because the basic eventually-unbounded asymptotic behavior of such polynomials is provable in your theory. Thus, $a$ is transcendental over $\mathbb{Q}$ in your field $F$.
Edit. Finally, here is a quick-and-dirty way to see that there is such a nonstandard element $a$, whose finite powers are bounded by $c$ in $M$. Let $a$ be the nearest nonstandard integer to $c^{1/N}$, where $N=\sqrt{\log c}$ as interpreted discretely in $M$. Since $N$ is nonstandard, it follows that the finite powers of $a$ are below $c$, and since $\log a\equiv\frac 1N\log c$, it follows by the choice of $N$ that $a$ is nonstandard. But I expect that there is an easier method.