Weak-projective dimensions (Q2889923)

In the paper under review, the authors introduce and examine weak-projective modules and related homological dimensions over commutative domains.NEWLINENEWLINEIn the literature a module \(M\) over a commutative domain \(R\) is said to be \textit{weak-injective} if \(\mathrm{Ext}^1(N,M) = 0\) for all \(R\)-modules \(N\) having weak dimension at most one. The authors define a module \(M\) to be \textit{weak-projective} if \(\mathrm{Ext}^1(M,N)=0\) for each weak injective module \(N\). Examples of weak-projective modules and some techniques for constructing new weak-projective modules are provided. After establishing several basic properties of weak-projective modules, the authors show that these modules can be used to characterize Prüfer domains. More precisely, Corollary 2.13 states that \(R\) is a Prüfer domain if and only if every \(R\)-module is weak-projective.NEWLINENEWLINEIn the third section of this paper the authors introduce the notions of weak-projective, \(\mathrm{wpd}(M)\), and weak-injective dimensions, \(\mathrm{wid}(M)\), of an \(R\)-module \(M\) in terms of the vanishing of certain Ext-functors. It is shown that over semi-Dedekind domains these invariants have many of the properties one desires in homological dimensions, e.g., they can be computed using resolutions, and they behave nicely with regard to short exact sequences.NEWLINENEWLINEFinally, the authors then define the (global) weak-projective dimension of a domain \(R\) to be \(\mathrm{wpD}(R) = \sup\{\mathrm{wpd}(M) \;| \;M\) is any \(R\)-module\(\}\). They show this dimension can be computed by taking the supremum over nice subsets of \(R\)-modules, e.g.~ the cyclic \(R\)-modules. In view of the above characterization of Prüfer domains, the global weak-projective dimension of a domain \(R\) provides a new means to measure how far \(R\) is from being a Prüfer domain.