Lemma 10.127.15. Suppose $R \to S$ is a ring map. Assume that $S$ is integral over $R$. Then there exists a directed set $(\Lambda , \leq )$, and a system of ring maps $R_\lambda \to S_\lambda$ such that

1. The colimit of the system $R_\lambda \to S_\lambda$ is equal to $R \to S$.

2. Each $R_\lambda$ is of finite type over $\mathbf{Z}$.

3. Each $S_\lambda$ is of finite over $R_\lambda$.

Proof. Consider the set $\Lambda$ of pairs $(E, F)$ where $E \subset R$ is a finite subset, $F \subset S$ is a finite subset, and every element $f \in F$ is the root of a monic $P(X) \in R[X]$ whose coefficients are in $E$. Say $(E, F) \leq (E', F')$ if $E \subset E'$ and $F \subset F'$. Given $\lambda = (E, F) \in \Lambda$ set $R_\lambda \subset R$ equal to the $\mathbf{Z}$-subalgebra of $R$ generated by $E$ and $S_\lambda \subset S$ equal to the $\mathbf{Z}$-subalgebra generated by $F$ and the image of $E$ in $S$. It is clear that $R = \mathop{\mathrm{colim}}\nolimits R_\lambda$. We have $S = \mathop{\mathrm{colim}}\nolimits S_\lambda$ as every element of $S$ is integral over $S$. The ring maps $R_\lambda \to S_\lambda$ are finite by Lemma 10.36.5 and the fact that $S_\lambda$ is generated over $R_\lambda$ by the elements of $F$ which are integral over $R_\lambda$ by our condition on the pairs $(E, F)$. The lemma follows. $\square$

Comment #3269 by Dennis Keeler on

Part (3) is missing the word "type" in "finite type."

Comment #3270 by Dario Weißmann on

No, $R_{\lambda}$ and $S_{\lambda}$ are constructed sucht that $R_{\lambda}\to S_{\lambda}$ is finite and not just of finite type. (We take the algebra generated by finitely many integral elements)

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).