Torsion-free modules over valuation domains whose balanced-projective dimension is at most one (Q1271012): Difference between revisions

In this paper, the two authors study the class of torsion-free \(R\)-modules \(B\) whose balanced-projective dimension is at most one. For this, they have to construct balanced-projective resolutions and to control the homology. They introduce the technical concept of pseudo-balanced submodules and pseudo-balanced chains of submodules. In theorem~5.1, they prove the equivalence of the followings: (i) \(B\) has balanced-projective dimension at most one; (ii) \(B\) has a pseudo-balanced chain; (iii) there is a balanced exact sequence \(0 \rightarrow S \rightarrow C \rightarrow B \rightarrow 0\) with \(S\) free and \(C\) completely decomposable. This leads to the amazing fact: \(\operatorname {proj.dim}(B) \leq 1\Rightarrow \operatorname {bal.pd}(B) \leq 1\).