Lemma 67.48.8. Let S be a scheme. Let f : Y \to X be a quasi-compact and quasi-separated morphism of algebraic spaces over S. Suppose that Y = Y_1 \amalg Y_2 is a disjoint union of two algebraic spaces. Write f_ i = f|_{Y_ i}. Let X_ i' be the normalization of X in Y_ i. Then X_1' \amalg X_2' is the normalization of X in Y.
Proof. Omitted. \square
Comments (0)
There are also: