Lemma 37.20.3. A smooth morphism is normal.
Proof. Let $f : X \to Y$ be a smooth morphism. As $f$ is locally of finite presentation, see Morphisms, Lemma 29.34.8 the fibres $X_ y$ are locally of finite type over a field, hence locally Noetherian. Moreover, $f$ is flat, see Morphisms, Lemma 29.34.9. Finally, the fibres $X_ y$ are smooth over a field (by Morphisms, Lemma 29.34.5) and hence geometrically normal by Varieties, Lemma 33.25.4. Thus $f$ is normal by Lemma 37.20.2. $\square$
Comments (0)