Do maximal proper subfields of the real numbers exist?

Such a field $F$ does not exist.

Assume contrariwise that $F$ is a field with the properties $\sqrt2\notin F$, $F(\sqrt2)=\mathbb{R}$. In that case there exists a non-trivial $F$-automorphism $\sigma$ of $F(\sqrt2)$ with the property $\sigma(z)=z$ for all $z\in F$ and $\sigma(\sqrt2)=-\sqrt2$.

This contradicts the known fact that the field $\mathbb{R}$ has no non-trivial automorphisms. I outline the steps in the argument in case you have not seen them before. Below $\tau$ is an arbitrary automorphism of $\mathbb{R}$.

  1. We have $\tau(q)=q$ for all the rational numbers $q$.
  2. The automorphism $\tau$ maps any square in the field $\mathbb{R}$ to (possibly another) a square.
  3. A real number is a square, iff it is non-negative, so by Step 2 $\tau$ maps any positive real number to a positive real number.
  4. In the field $\mathbb{R}$ we have $x\le y\Leftrightarrow y-x\ge0$. Therefore Step 3 implies that the automorphism $\tau$ is strictly increasing as a real function.
  5. Step 4 implies that $\tau$ is continuous on all of $\mathbb{R}$. Therefore its fixed points form a closed set.
  6. The (topological) closure of $\mathbb{Q}$ is all of $\mathbb{R}$, so combining Steps 1 and 5 shows that $\tau(x)=x$ for all real numbers $x$.

There is a theorem that if $[\bar{F} : F]$ is finite (where $\bar{F}$ is the algebraic closure of $F$), then $\bar{F} = F(\mathbf{i})$. e.g. this means $[\bar{F} : F] \in \{1, 2, \infty\}$.

If there were a field $F$ such that $F(\sqrt{2}) = \mathbb{R}$, then

$$ [\bar{F} : F] = [\mathbf{C} : F] = [\mathbf{C}:\mathbf{R}][\mathbf{R}:F] = 2 [\mathbf{R}:F] $$

All of the above information implies that $[\mathbf{R}:F]=1$, and so $F = \mathbb{R}$.


Not only is your construction not philosophically satisfactory, I'm sorry to say it is also just wrong. Though $z_0=\sqrt 2$ is $\Bbb Q$-linearly independent of the other $z_i$, it will actually be in the field $F$, in other words it is a quotient of polynomial expressions in the other $z_i$.

In fact there are no fields such that $\Bbb R$ is a finite degree (other than$~1$) algebraic extension of it. As Jyrki Lahtonen explained the existence of such a field would imply that $\Bbb R$ as a field has non-trivial automorphisms, but it hasn't. This is quite easy to prove directly: since the real numbers that are a square (of a real number) are precisely the non-negative ones, and field automorphism must stabilise the set of positive numbers, hence be an automorphism of ordered fields, and since the rational numbers are (point-wise) fixed under any automorphism, the identity automorphism of $\Bbb R$ is the only possibility.

I think there is an even more sweeping statement (but since I have no idea about its proof I hope that somebody will either correct me or provide a reference) which says:

If any algebraically closed field is a finite degree extension of any other field, then that degree is either $1$ or $2$.

Or equivalently (I guess), the automorphism group of an algebraically closed field can have elements of finite order $1$ or $2$ only. By the way this does not say that complex conjugation is the only automorphism of $\Bbb C$ of order$~2$, there are many of them (giving rise to "strange copies" of $\Bbb R$ inside $\Bbb C$). However any two such elements generate an infinite subgroup of $\operatorname{Aut}(\Bbb C)$.

Since the degree of $\Bbb C$ over your hypothetic field $F$ would be twice the degree of $\Bbb R$ over $F$, it should be clear that the above statement rules out the existence of such$~F\subsetneq\Bbb R$.