Lemma 10.168.6. Let A = \mathop{\mathrm{colim}}\nolimits _{i \in I} A_ i be a directed colimit of rings. Let 0 \in I and \varphi _0 : B_0 \to C_0 a map of A_0-algebras. Assume
A \otimes _{A_0} B_0 \to A \otimes _{A_0} C_0 is an isomorphism,
B_0 \to C_0 is of finite presentation.
Then for some i \geq 0 the map A_ i \otimes _{A_0} B_0 \to A_ i \otimes _{A_0} C_0 is an isomorphism.
Proof.
By Lemma 10.168.4 there exists an i such that A_ i \otimes _{A_0} B_0 \to A_ i \otimes _{A_0} C_0 is surjective. Since the map is of finite presentation the kernel is a finitely generated ideal. Let g_1, \ldots , g_ r \in A_ i \otimes _{A_0} B_0 generate the kernel. Then we may pick i' \geq i such that g_ j map to zero in A_{i'} \otimes _{A_0} B_0. Then A_{i'} \otimes _{A_0} B_0 \to A_{i'} \otimes _{A_0} C_0 is an isomorphism.
\square
Comments (0)