Lemma 31.25.2. Let $X$ be a scheme. Assume $X$ is reduced and any quasi-compact open $U \subset X$ has a finite number of irreducible components. Then the normalization morphism $\nu : X^\nu \to X$ is the morphism

where $\mathcal{O}' \subset \mathcal{K}_ X$ is the integral closure of $\mathcal{O}_ X$ in the sheaf of meromorphic functions.

## Comments (0)