Skip to main content
1 of 2
Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 424

First of all, there is not the algebraic/separable closure. Choices have to be made. However, if an algebraic closure $k^{alg}$ of $k$ is fixed, inside it there is a unique separable closure $k^{sep}$ of $k$, namely the subfield consisting of the separable elements over $k$.

Ignoring the failure of uniqueness, you can regard $k^{alg}$ as the biggest algebraic extension of $k$, whereas $k^{sep}$ is the biggest galois extension of $k$. The latter is because $k^{sep}$ is easily seen to be normal. In particular, you can apply Galois theory and relate the group theory of the absolute Galois group $Gal(k^{sep}/k)$ with the field theory of Galois extensions of $k$. The algebraic closure is too big to make Galois theory work.

Obviously $k$ is perfect if and only if $k^{alg} = k^{sep}$. Finite fields and fields of characteristic $0$ (in particular number fields) are perfect. But what is the difference in the other cases? Let $p = char(k) > 0$. Then $k^{alg} / k^{sep}$ is purely inseparable, i.e. for every $a \in k^{alg}$ there is some $n \geq 1$ such that $a^{p^n} \in k^{sep}$. In other words, this field extension is given by adjoining all $p^n$-th roots.

Field theory is much more basic than scheme theory, and is a prerequisite for it. I doubt that there is a nice scheme-theoretic parallel.

Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 424