2
$\begingroup$

If there is an exact sequence of $R$-modules $0 \rightarrow A \stackrel{\alpha}{\longrightarrow} B \stackrel{\beta}{\longrightarrow} C \rightarrow 0$, then $\mathrm{pd}(B) \leq \mathrm{max}\{ \mathrm{pd}(A), \mathrm{pd}(C) \}$.

Here, $\mathrm{pd}(B)$ denotes the projective dimension of $R$-module $B$.

Let $(D,d)$ be a projective resolution of $A$, then there is an exact sequence:

$\cdots \stackrel{d_2}{\longrightarrow} D_1 \stackrel{d_1}{\longrightarrow} D_0 \stackrel{\epsilon}{\longrightarrow} A \longrightarrow 0.$

So, there is also a sequence,

$\cdots \stackrel{d_2}{\longrightarrow} D_1 \stackrel{d_1}{\longrightarrow} D_0 \stackrel{\alpha \epsilon}{\longrightarrow} B \longrightarrow 0.$

In this sequence, $\mathrm{Ker} \alpha \epsilon = \mathrm{Ker} \epsilon = \mathrm{Im}d_1$, because $\alpha$ is injective. But this sequence might not be exact, as $\alpha$ might not be surjective.

Let (D',d') be a projective resolution of $C$, then there is an exact sequence:

\cdots \stackrel{d_2'}{\longrightarrow} D_1' \stackrel{d_1'}{\longrightarrow} D_0' \stackrel{\epsilon'}{\longrightarrow} C \longrightarrow 0.

D_0' is projective, then there exists a module homomorphism \phi: D_0' \rightarrow B, such that \epsilon' = \beta \phi.

So,

\cdots \stackrel{d_2'}{\longrightarrow} D_1' \stackrel{d_1'}{\longrightarrow} D_0' \stackrel{\phi}{\longrightarrow} B \longrightarrow 0.

Here, $\mathrm{Ker} \phi$ might be contained properly in \mathrm{Ker} \epsilon'. Meanwhile, $\phi$ is not necessarily surjective.

Then, how can I piece together all the facts to get a projective resolution of $B$ in order to prove the conclusion?

Many thanks.

1 Answers 1

3

This is an immediate consequence of the Horseshoe lemma.

Note that you haven't used the assumption on the dimensions of $A$ and $C$ which tells you that you can find projective resolutions P_{\bullet}' \to A and P_{\bullet}'' \to C of lengths $\leq l = \max{\{\operatorname{pd}{A},\operatorname{pd}{C}\}}$ of $A$, and $C$, respectively. The horseshoe lemma then tells you that there is a projective resolution $P_{\bullet} \to B$ with P_{n} = P_{n}' \oplus P_{n}''. As a consequence, $P_{n} = 0$ for $n \gt l$, hence $\operatorname{pd}{B} \leq l$.

The map $P_{0} \to B$ is obtained by lifting the map P_{0}'' \to C over $B \to C$ using projectivity of P_{0}'' and composing P_{0}' \to A \to B. Use the five lemma to see that the map $P_{0} \to B$ thus obtained is actually surjective. Replace $A,B,C$ by the kernels of the maps P_{0}' \to A, $P_0 \to B$ and P_0'' \to C, note that these sit in a short exact sequence by the nine lemma and proceed by induction.