Generalizations of Prüfer rings and Bézout rings (Q6566487)

For a commutative ring \(R\), we denote by \(Z(R)\) the set of its zero divisors and by \(T(R)\) its total ring of quotients. It is well known that Prufer domains and Bézout domains play an important role in the theory of commutative rings. Many generalizations of these two notions are always done. In the paper under review, the authors try new generalizations. They start by a commutative ring \(R\) having a prime ideal \(P\) contained in \(Z(R)\). Let \(\phi_P: T(R)\longrightarrow R_P\), the homomorphism defined by \(\phi_P(a/b)=a/b\) for each \(a\in R\) and \(b\in R\setminus Z(R)\). Its restriction is also a homomorphism \(R\longrightarrow R_P\), defined by \(\phi_P(x)=x/1\) for each \(x\in R\). An ideal of \(R\) containing \(P\) is said a \(P\)-ideal and \(P\)-ideal \(I\) is said \(\phi_P\)-invertible if \(\phi_P(I)\) is invertible in \(\phi_P(R)\). Now, we introduce two new classes of rings. We say that \(R\) is a \(\phi_P\)-Prufer ring if every finitely generated \(P\)-ideal of \(R\) is \(\phi_P\)-invertible. We say that \(R\) is a \(\phi_P\)-Bézout ring if for every finitely generated \(P\)-ideal \(I\) of \(R\), the ideal \(\phi_P(I)\) is principal in the ring \(\phi_P(R)\). In this paper, the authors study the similarities between the old and the new notions.