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: