On locally pseudo-valuation domains (Q1098895)

Let R be an integral domain and let Q(R) be its quotient ring. A prime ideal P of R is called ``strongly prime'' if x, y in Q(R) such that \(xy\in P\) then either \(x\in P\) or \(y\in P\). R is called PVD (``pseudo- valuation domain'') if every prime ideal is strongly prime. It is LPVD (``locally pseudo-valuation domain'') if \(R_ P\) is PVD for each prime ideal P. R is called ``i-domain'' if for every prime ideal P of R and every overring T of R at most one prime ideal of T lies over P. Finally, R is ``seminormal'' if for \(x\in Q(R)\), x 2,x \(3\in R\), then \(x\in R\). - The following three theorems are proven: Theorem 1.2. Let R be an integral domain. Then R is an LPVD and \(\bar R\) is a Prüfer domain if and only if R is a seminormal i-domain and every prime ideal in the support of the R-module \(\bar R/R\) is maximal. Theorem 2.2. Let G be a non-trivial abelian group. Then the group ring R[G] is an LPVD if and only if R is a field and G is isomorphic to a subgroup of \({\mathbb{Q}}\), the field of rational numbers. Moreover, in this case, R[G] is a one dimensional Bezout domain. Theorem 2.6. Let S be a non-zero monoid. Then R[S] is an LPVD if and only if R is a field and, to within isomorphism, S is either a subgroup of \({\mathbb{Q}}\) or a normal submonoid of \({\mathbb{Q}}_ 0\), the set of non- negative rational numbers. Moreover, in this case, R[S] is a one- dimensional Bezout domain.