The small finitistic dimensions of commutative rings

From MaRDI portal



Abstract: 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 this paper, we characterize a ring R with fPD(R)leqn using finitely generated semi-regular ideals, tilting modules, cotilting modules of cofinite type or vaguely associated prime ideals. As an application, we obtain that if R is a Noetherian ring, then fPD(R)=supgrade(m,R)|minMax(R) where grade(m,R) is the grade of m on R . We also show that a ring R satisfies fPD(R)leq1 if and only if R is a DW ring. As applications, we show that the small finitistic dimensions of strong Prufer rings and LPVDs are at most one. Moreover, for any given ninmathbbN, we obtain examples of total rings of quotients R with fPD(R)=n.


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.











This page was built for publication: The small finitistic dimensions of commutative rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6170627)