How to show that the property of being algebraically closed is reflected by elementary extensions?

Question

May I ask how to show that the property of being algebraically closed is reflected by elementary extensions?

The reason that I want to show that is to prove the following:

Prove:

If $p(x)=x^{n+1}+a_nx^n+\cdots+a_1x+a_0$ is a polynomial such that $\{a_0,\cdots,a_n\}\subset\mathbb{Q}$, then $p(x)=0$ has a solution in $F$.

Sincere thanks for any help!

Sorry, I missed out info abt F: Assume that the structure $(F,0,1,+,\cdot)$ is a countable elementary submodel of the complex field $(\mathbb{C},0,1,+,\cdot)$.

Answer 1

What the field $F$ is has not been described. But the following should take care of your problem: any elementary extension $F$ of an algebraically closed field $K$ is algebraically closed.

For any fixed $n$, let $\phi_n$ be the formula $$\forall w_0\forall w_1\cdots\forall w_n \exists x\left(x^{n+1}+w_nx^n+\cdots+w_0=0\right).$$ (We are being a bit sloppy: $x^k$ is an abbreviation.)

Since $\phi_n$ is true in $K$, it is true in $F$.

Answer 2

Andre Nicolas's answer is quite correct, but it proves something stronger than the actual statement of your problem (which amounts to proving that $F$ contains the algebraic closure of $\mathbb{Q}$) and I think that misled you at first.

To prove the weaker statement, you don't need to quantify over the coefficients. You can fix the polynomial $p(x)$ for the course of your proof. You need to represent the equation $p(x) = 0$ in the language, $\cal L$, say, defined by the signature you are using for the fields, namely $(0, 1, +, \cdot)$. To do this multiply through by the least common multiple of the coefficients to get a polynomial with integer coefficients. Now (as you have not included negation in the signature), move terms with negative coefficients to the right-hand side of the equation. You now have an equation $q(x) = r(x)$ say, equivalent to $p(x) = 0$ in which $q(x)$ and $r(x)$ are polynomials with positive integer coefficients. Now you can write $q(x)$ and $r(x)$ in $\cal L$, by expressing the positive integer constants in the form $1 + 1 + 1 + \ldots +1$. With $q$ and $r$ expressed in this form, $\exists x(q(x) = r(x))$ is a sentence in $\cal L$ and, as $F$ is an elementary submodel of $\mathbb{C}$, it is valid in $F$ iff it is valid in $\mathbb{C}$ (which, of course, it will be, as your original $p(x)$ is monic of degree greater than $0$).