Lemma 67.48.6. Let $S$ be a scheme. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of algebraic spaces over $S$. Let $X' \to X$ be the normalization of $X$ in $Y$. If $Y$ is reduced, so is $X'$.
Proof. This follows from the fact that a subring of a reduced ring is reduced. Some details omitted. $\square$
Comments (0)
There are also: