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.

Articles by others on the same topic (0)

There are currently no matching articles.