5
$\begingroup$

I would like to show that an algebraic extension of a perfect field is a perfect field, using the following result:

Given a field $F$ and some family of perfect subfields $\{F_i\}_{i \in I}$ such that $F=\cup _{i\in I} F_i$, we have that $F$ is a perfect field.

EDIT: A perfect field is defined as follows: Any field of characteristic $0$ is perfect, and a field of characteristic $p$ is said to be perfect if any element in $F$ is a $p^{th}$ power of some element in $F$.

I've tried taking some element in the extended field and using the fact that it is algebraic over $F$ in order to construct a perfect subfield that contains the aforementioned element, however couldn't advance much.

Could anyone give me some direction toward the solution?

  • 0
    @Pete - You're right, I'll edit it.2011-04-11

1 Answers 1

1

Here's something I think works:

Let $K/F$ be an algebraic extension. We know that $K=\bigcup_{a\in K}F(a)$, so that it suffices to prove each $F(a)$ is perfect. For any algebraic extension $L/F(a)$, we have that $L/F$ is also algebraic, and hence separable because $F$ is perfect. Thus, for any $b\in L$, the polynomial $\text{Irr}(b,F)$ is separable (i.e. has no repeated roots). But the polynomial $\text{Irr}(b,F(a))$ is a factor of $\text{Irr}(b,F)$ (by the defining property of minimal polynomials), hence must also have no repeated roots, i.e. be separable. Thus any $b\in L$ is separable over $F(a)$, hence any algebraic $L/F(a)$ is separable, hence $F(a)$ is perfect.

To be honest, I feel like I should use somewhere that $[F(a):F]$ is finite, but at the moment the above argument seems ok.

  • 0
    Thank you! I've been trying to work with the direct definition, and it seems that considering separability is a much better choice.2011-04-10