Let $R \to S$ be an étale ring map. By definition $R \to S$ is of finite type. For any prime $\mathfrak p \subset R$ the fibre ring $S \otimes _ R \kappa (\mathfrak p)$ is étale over $\kappa (\mathfrak p)$ and hence a finite products of fields finite separable over $\kappa (\mathfrak p)$, in particular finite over $\kappa (\mathfrak p)$. Thus $R \to S$ is quasi-finite by Lemma 10.121.4.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).