The Stacks project

Proof. Let $M$ be a finitely presented $R$-module. We first show that $M$ is a summand of a direct sum of modules of the form $R/fR$ and at the end we argue the direct sum can be taken to be finite. Let

be a short exact sequence of $R$-modules such that $fA = A \cap fB$ for all $f \in R$. By Lemma 15.124.1 we have to show that $\mathop{\mathrm{Hom}}\nolimits _ R(M, B) \to \mathop{\mathrm{Hom}}\nolimits _ R(M, C)$ is surjective. It suffices to prove this after localization at maximal ideals $\mathfrak m$, see Algebra, Lemma 10.23.1. Note that the localized sequences $0 \to A_\mathfrak m \to B_\mathfrak m \to C_\mathfrak m \to 0$ satisfy the condition that $fA_\mathfrak m = A_\mathfrak m \cap fB_\mathfrak m$ for all $f \in R_\mathfrak m$ (because we can write $f = uf'$ with $u \in R_\mathfrak m$ a unit and $f' \in R$ and because localization is exact). Since $M$ is finitely presented, we see that

by Algebra, Lemma 10.10.2. The module $M_\mathfrak m$ is a finitely presented $R_\mathfrak m$-module. By Lemma 15.124.3 we see that $M_\mathfrak m$ is a direct sum of modules of the form $R_\mathfrak m/fR_\mathfrak m$. Thus we conclude by Lemma 15.124.1 that the map on localizations is surjective.

At this point we know that $M$ is a summand of $\bigoplus _{i \in I} R/f_ i R$. Consider the map $M \to \bigoplus _{i \in I} R/f_ i R$. Since $M$ is a finite $R$-module, the image is contained in $\bigoplus _{i \in I'} R/f_ i R$ for some finite subset $I' \subset I$. This finishes the proof. $\square$