Étale extensions of polynomial rings are faithfully flat

Lázaro O. Rodríguez Díaz

We apply Ohi's criterion for faithfully flatness of extensions of commutative rings to prove that any étale extension $k[Y_1,\dots ,Y_n]\subseteq k[X_1,\dots ,X_n]$ of polynomi…