Definition 37.18.1. Let $f : X \to Y$ be a morphism of schemes. Assume that all the fibres $X_ y$ are locally Noetherian schemes.

Let $x \in X$, and $y = f(x)$. We say that $f$ is

*normal at $x$*if $f$ is flat at $x$, and the scheme $X_ y$ is geometrically normal at $x$ over $\kappa (y)$ (see Varieties, Definition 33.10.1).We say $f$ is a

*normal morphism*if $f$ is normal at every point of $X$.

## Comments (0)