Lemma 10.168.4. 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 surjective,
$C_0$ is of finite type over $B_0$.
Then for some $i \geq 0$ the map $A_ i \otimes _{A_0} B_0 \to A_ i \otimes _{A_0} C_0$ is surjective.
Comments (2)
Comment #8253 by DatPham on
Comment #8895 by Stacks project on