The Stacks project

Proof. Let $0 \to A \to B \to C \to 0$ be an exact sequence as in (2). To prove that (1) implies (2) it suffices to prove that $\mathop{\mathrm{Hom}}\nolimits _ R(R/fR, B) \to \mathop{\mathrm{Hom}}\nolimits _ R(R/fR, C)$ is surjective for every $f \in R$. Let $\psi : R/fR \to C$ be a map. Say $\psi (1)$ is the image of $b \in B$. Then $fb \in A$. Hence there exists an $a \in A$ such that $fa = fb$. Then $f(b - a) = 0$ hence we get a morphism $\varphi : R/fR \to B$ mapping $1$ to $b - a$ which lifts $\psi $.

Conversely, assume that (2) holds. Let $I$ be the set of pairs $(f, \varphi )$ where $f \in R$ and $\varphi : R/fR \to P$. For $i \in I$ denote $(f_ i, \varphi _ i)$ the corresponding pair. Consider the map

which sends the element $r$ in the summand $R/f_ iR$ to $\varphi _ i(r)$ in $P$. Let $A = \mathop{\mathrm{Ker}}(B \to P)$. Then we see that (1) is true if the sequence

is an exact sequence as in (2). To see this suppose $f \in R$ and $a \in A$ maps to $f b$ in $B$. Write $b = (r_ i)_{i \in I}$ with almost all $r_ i = 0$. Then we see that

in $P$. Hence there is an $i_0 \in I$ such that $f_{i_0} = f$ and $\varphi _{i_0}(1) = \sum \varphi _ i(r_ i)$. Let $x_{i_0} \in R/f_{i_0}R$ be the class of $1$. Then we see that

is an element of $A$ and $fa' = a$ as desired. $\square$