Lemma 3.12 . [01F1]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Lemma 3.12.
Assume that
a Cartesian square of Noetherian schemes such that the vertical arrows are proper and surjective and the horizontal morphisms are regular. If , are are irreducible, and are normal and then is normal and irreducible.