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

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

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

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

## Comments (0)