Some results about proper overrings of pseudo-valuation domains (Q2801844)

Let \(R \subset S\) be an extension of (commutative) rings. The ring \(R\) is called a maximal non-quasi-local (respectively, maximal non-PVD) subring of \( S\) if \(R\) is not quasi-local (respectively, non-PVD) and each subring of \(S\) properly containing \(R\) is quasi-local (respectively, PVD). The aim of this paper is to study these two kinds of ring extensions and to investigate the structure of the intermediate rings between \(R\) and \(S\).NEWLINENEWLINEIn particular, after proving that, if \(R\) is a maximal non-quasi-local subring of \(S\), then \((R, S)\) is a normal pair (in particular, \(R\) and \(S\) have the same total quotient rings) and \(R\) has exactly two maximal ideals, they determine necessary and sufficient conditions in order that \(R\) is a maximal non-quasi-local subring of \(S\).NEWLINENEWLINEFor investigating the case of maximal non-PVD subrings, the authors observe that, if each subring of \(S\) properly containing \(R\) is a PVD, then \(R\) and \(S\) have the same quotient field.NEWLINENEWLINEIn case \(R\) is integrally closed, they show that maximal non-PVD subrings of their quotient fields are exactly maximal non-quasi-local subrings of their quotient fields.NEWLINENEWLINEIn case \(R\) is not integrally closed, they claim that \(R\) is a maximal non-PVD subring of its quotient field if and only if \(R\) is not a PVD and \( R \) has a (unique) minimal overring \(T\) which is a PVD with associated valuation overring coinciding with \(R'\), where \(R'\) is the integral closure of \(R\).