Lemma 37.34.2. Let $S$ be a scheme. Let $s \in S$. Let $k/\kappa (s)$ be a finite separable field extension. Then there exists an étale neighbourhood $(U, u) \to (S, s)$ such that the field extension $\kappa (u)/\kappa (s)$ is isomorphic to $k/\kappa (s)$.

Proof. We may assume $S$ is affine. In this case the lemma follows from Algebra, Lemma 10.144.3. $\square$

There are also:

• 3 comment(s) on Section 37.34: Étale neighbourhoods

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).