Definition 29.52.1. Let $X$ be a scheme such that every quasi-compact open has finitely many irreducible components. We define the *normalization* of $X$ as the morphism

\[ \nu : X^\nu \longrightarrow X \]

which is the normalization of $X$ in the morphism $f : Y \to X$ (29.52.0.1) constructed above.

## Comments (0)