Lemma 10.127.17. Suppose R \to S is a ring map. Assume that S is of finite presentation over R. 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 .
For each \lambda \leq \mu the map S_\lambda \otimes _{R_\lambda } R_\mu \to S_\mu is an isomorphism.
Comments (0)