The small finitistic dimensions of commutative rings (Q6170627): Difference between revisions

Let \(R\) be a commutative ring with identity. The small finitistic dimension \(fPD(R)\) of \(R\) is defined to be the supremum of projective dimensions of \(R\)-modules with finite projective resolutions. In the paper under review, the authors characterized rings \(R\) with \(fPD(R)\leq n\) using finitely generated semiregular ideals, tilting modules, cotilting modules of cofinite type and vaguely associated prime ideals. The main result states that for a commutative ring \(R\) and \(n\geq 0\), the following conditions are equivalent: 1. \(fPD(R)\leq n\); 2. Any tilting module is \(n\)-tilting; 3. Any cotilting module of cofinite type is \(n\)-cotilting; 4. Any finitely generated ideal \(I\) that satisfies \(\mathrm{Ext}^{i}_{R}(R/I, R) = 0\) for each \(i = 0,\dots, n\) is \(R\); and 5. Any finitely generated ideal \(I\) that satisfies \(V\mathrm{Ass}(\Omega^{-i}(R))\cap V(I) =\emptyset\) for each \(i = 0,\dots, n\) is \(R\). As an application, they obtained that if \(R\) is a Noetherian ring, then \(fPD(R) = \sup\{\mathrm{grade}(m, R)| m\in \mathrm{Max}(R)\}\) where \(\mathrm{grade}(m, R)\) is the grade of \(m\) on \(R\). They also showed that a ring \(R\) satisfies \(fPD(R)\leq 1\) if and only if \(R\) is a \(DW\)-ring. As applications, the small finitistic dimensions of strong Prüfer rings and LPVDs are at most one.