Lemma 10.127.6. Suppose that $R = \mathop{\mathrm{colim}}\nolimits _{\lambda \in \Lambda } R_\lambda$ is a directed colimit of rings. Then the category of finitely presented $R$-modules is the colimit of the categories of finitely presented $R_\lambda$-modules. More precisely

1. Given a finitely presented $R$-module $M$ there exists a $\lambda \in \Lambda$ and a finitely presented $R_\lambda$-module $M_\lambda$ such that $M \cong M_\lambda \otimes _{R_\lambda } R$.

2. Given a $\lambda \in \Lambda$, finitely presented $R_\lambda$-modules $M_\lambda , N_\lambda$, and an $R$-module map $\varphi : M_\lambda \otimes _{R_\lambda } R \to N_\lambda \otimes _{R_\lambda } R$, then there exists a $\mu \geq \lambda$ and an $R_\mu$-module map $\varphi _\mu : M_\lambda \otimes _{R_\lambda } R_\mu \to N_\lambda \otimes _{R_\lambda } R_\mu$ such that $\varphi = \varphi _\mu \otimes 1_ R$.

3. Given a $\lambda \in \Lambda$, finitely presented $R_\lambda$-modules $M_\lambda , N_\lambda$, and $R$-module maps $\varphi _\lambda , \psi _\lambda : M_\lambda \to N_\lambda$ such that $\varphi \otimes 1_ R = \psi \otimes 1_ R$, then $\varphi \otimes 1_{R_\mu } = \psi \otimes 1_{R_\mu }$ for some $\mu \geq \lambda$.

Proof. To prove (1) choose a presentation $R^{\oplus m} \to R^{\oplus n} \to M \to 0$. Suppose that the first map is given by the matrix $A = (a_{ij})$. We can choose a $\lambda \in \Lambda$ and a matrix $A_\lambda = (a_{\lambda , ij})$ with coefficients in $R_\lambda$ which maps to $A$ in $R$. Then we simply let $M_\lambda$ be the $R_\lambda$-module with presentation $R_\lambda ^{\oplus m} \to R_\lambda ^{\oplus n} \to M_\lambda \to 0$ where the first arrow is given by $A_\lambda$.

Parts (2) and (3) follow from Lemma 10.127.5. $\square$

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