Flat normalization is an isomorphism

ID: flat-normalization-is-an-isomorphism

If the normalization of an integral scheme is flat, then it is an isomorphism. On an affine chart, let be the integral closure. Integrality gives surjectivity on spectra, so flatness makes faithfully flat. For with and , faithful flatness gives . Thus for some , and . Consequently . This proof does not need finiteness of the normalization.

New to topics? Read the docs here!