Lemma 36.36.6. Let $f : X \to S$ be a morphism of schemes. Let $s \in S$. Assume that

$f$ is locally of finite type,

$f$ is separated, and

$X_ s$ has at most finitely many isolated points.

Then there exists an elementary étale neighbourhood $(U, u) \to (S, s)$ and a decomposition

into open and closed subschemes such that the morphism $V \to U$ is finite, and the fibre $W_ u$ of the morphism $W \to U$ contains no isolated points. In particular, if $f^{-1}(s)$ is a finite set, then $W_ u = \emptyset $.

## Comments (0)

There are also: