Let $n > 0$ be some integer and let $G$ be a splitting field of the set of all polynomials of degree at most $n$ over a field $F$. I need to prove that $G$ is not an algebraic closure of $F$ in the following two cases:
- $F = \mathbb{Q}$
- $F = \mathbb{Z}_{p}$ for prime $p$ (NOT the $p$-adic numbers! I'm talking here about $\mathbb{Z}/p\mathbb{Z}$, the integers modulo $p$.)
However, I have no idea how to get started with either of them. In fact, the idea that $G$ wouldn't be the algebraic closure of $F$ doesn't make much sense to me, since by definition an algebraic closure is an algebraically closed algebraic extension, and in both cases, $G$ seems to be exactly that.
Could someone please explain to me why it makes sense that $G$ would not be the algebraic closure of these fields, as well as some hints on how to show it? Thank you for your time and patience.
Please see the comment thread immediately following this question. Some hints have been given to me, but I am having difficulty seeing how to implement them. For example, say I exhibit a polynomial $f$ of degree $p > n$ such that $f$ is irreducible over, say, $F = \mathbb{Q}$. How do I know that $G$ is not a splitting field for $f$ even though $f$ is of greater degree that what $G$ is designed to take care of? Being a splitting field is necessary (although certainly not sufficient) for something to be algebraically closed, right?
Observe $G=F(X)$, where $X$ is the set of all elements of degree $\le n$ in $\overline{F}$ and $F(X)$ is field of all elements expressible as rational expressions in the elements of $X$. This is because these polynomials all split in $F(X)$, and conversely if all these polynomials split in some extension then it contains $F(X)$, thus making it minimal,
Now, suppose $q>n$ is prime. Can $f(x_1,\cdots,x_m)\in F(X)$ have degree $q$ over $F$? Consider the tower of extensions $F(x_1,\cdots,x_m)/\cdots/F(x_1,x_2)/F(x_1)/F$ and think about degrees.