[Expose X, Proposition 1.2, p. 262, SGA1].

Lemma 58.15.1. Let $f : X \to S$ be a proper morphism of schemes. Let $X \to S' \to S$ be the Stein factorization of $f$, see More on Morphisms, Theorem 37.53.5. If $f$ is of finite presentation, flat, with geometrically reduced fibres, then $S' \to S$ is finite étale.

Proof. This follows from Derived Categories of Schemes, Lemma 36.32.8 and the information contained in More on Morphisms, Theorem 37.53.5. $\square$

There are also:

• 2 comment(s) on Section 58.15: Homotopy exact sequence

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