
Lemma 32.25.6. Let $k$ be a field. If $X$ is smooth over $\mathop{\mathrm{Spec}}(k)$ then the set

$\{ x \in X\text{ closed such that }k \subset \kappa (x) \text{ is finite separable}\}$

is dense in $X$.

Proof. It suffices to show that given a nonempty smooth $X$ over $k$ there exists at least one closed point whose residue field is finite separable over $k$. To see this, choose a diagram

$\xymatrix{ X & U \ar[l] \ar[r]^-\pi & \mathbf{A}^ d_ k }$

with $\pi$ étale, see Morphisms, Lemma 28.34.20. The morphism $\pi : U \to \mathbf{A}^ d_ k$ is open, see Morphisms, Lemma 28.34.13. By Lemma 32.25.5 we may choose a closed point $w \in \pi (U)$ whose residue field is finite separable over $k$. Pick any $x \in U$ with $\pi (x) = w$. By Morphisms, Lemma 28.34.7 the field extension $\kappa (w) \subset \kappa (x)$ is finite separable. Hence $k \subset \kappa (x)$ is finite separable. The point $x$ is a closed point of $X$ by Morphisms, Lemma 28.19.2. $\square$

Comment #1393 by Stulemeijer Thierry on

A very small typo : replace $\pi (V)$ with $\pi (U)$, and $Pick any x\in V$ with $Pick any x\in U$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).