2
$\begingroup$

Suppose $K/F$ is a non-trivial finite degree purely inseparable extension. Prove that there is a purely inseparable degree $p$ extension of $K$.

I know, or can prove, that $[K:F]$ is a power of $p$ as well as the standard equivalences that usually come when defining purely inseparable extensions. However, this problem is stumping me. Can someone help me see why this purely inseparable extension being non-trivial and finite degree means $K$ is not algebraically closed? And furthermore why there is an extension of $K$ of degree $p$?

  • 3
    This is a nice problem: the statement is a bit weird and the solution , while not too hard, checks the understanding of and ability to use basic results on fields of characteristic $p$.2012-10-06

1 Answers 1