Reductions of ideals in Prüfer rings (Q6170620)

Let \(R\) be a commutative ring and \(J\subseteq I\) ideals of \(R\). Then \(J\) is a reduction of \(I\) if \(JI^{n}=I^{n+1}\) for some positive integer \(n\), and \(I\) is basic if it has no proper reduction. Two well-known results, due to Hays, assert that an integral domain is Prüfer if and only if every finitely generated ideal is basic, and it is one-dimensional Prüfer if and only if every ideal is basic. The paper under review investigates reductions of ideals in the family of Prüfer rings (with zero-divisors), with the aim to recover and generalize Hays' results. Two satisfactory results are obtained. The first result asserts that \(w. \dim(R)\leq 1\) if and only if R has the finite basic ideal property; and \(R\) is Prüfer if and only if \(R\) has the finite basic regular ideal property. The second result states that \(w. \dim(R)\leq 1\) and \(\dim(R) \leq 1\) if and only if R has the basic ideal property and if \(R\) is Prüfer with \(\dim(R) \leq 1\), then \(R\) has the basic regular ideal property. The converse is not true in general.