\'Etale extensions of polynomial rings are faithfully flat
Commutative Algebra
2024-03-01 v2 Algebraic Geometry
Abstract
We apply Ohi's criterion for faithfully flatness of extensions of commutative rings to prove that any \'etale extension of polynomial rings (each in indeterminates) over a commutative ring is faithfully flat. In particular, if is an algebraically closed field then any \'etale polynomial map is surjective.
Keywords
Cite
@article{arxiv.2205.01032,
title = {\'Etale extensions of polynomial rings are faithfully flat},
author = {Lázaro O. Rodríguez Díaz},
journal= {arXiv preprint arXiv:2205.01032},
year = {2024}
}
Comments
There is a gap in the last step of the proof of Theorem 1.1. The author would like to thank R. van Dobben de Bruyn and Sean Cotner for bringing this point to the author's attention