Locally pseudo-valuation domains (Q788058)

This article treats two global counterparts to the notion of pseudo- valuation domain (PVD), a type of quasi-local divided domain introduced by \textit{J. R. Hedstrom} and \textit{E. G. Houston} [Pac. J. Math. 75, 137--147 (1978; Zbl 0368.13002)]. The larger of these counterparts is the class of LPVD's (the domains of the title, having each localization at a prime a PVD) and is situated between the Prüfer domains and the seminormal locally divided domains. The smaller counterpart consists of the globalized pseudo-valuation domains (GPVD), each of whose members \(R\) is an LPVD with a canonically associated unibranched Prüfer overring which, i.a., induces the pullback descriptions of the localizations of \(R\). For a quasi-local domain, the notions of LPVD, GPVD and PVD coincide. Numerous examples of LPVD'd and GPVD's are given, and both classes are shown to be stable under various domain-theoretic constructions. Each overring of a domain R is an LPVD if and only if \(R\) is a LPVD whose integral closure is a Prüfer domain. If \(R\) is a PVD with associated valuation overring \(V\) and if \(R^*\) (resp., \(V^*)\) is the integral closure of \(R\) (resp. \(V\)) in a given field containing \(R\), then \(R^*\) is a GPVD with associated Prüfer domain \(V^*\). An example of an LPVD which is not a GPVD, but has integral closure a Prüfer domain, is given with the aid of some results on locally finite intersections which may be viewed as PVD-theoretic analogues of the theorems 107 and 111--113 of \textit{I. Kaplansky} in his book ``Commutative rings'' (2nd ed., Chicago-London 1974; Zbl 0296.13001). \{A number-theoretic Noetherian GPVD obtained as a certain nonmaximal order of quadratic integers was studied subsequently by the authors [in: Commutative Algebra, Proc. Conf., Trento/Italy 1981, Lect. Notes Pure Appl. Math. 84, 65--77 (1983; Zbl 0501.13006)].\}