Some properties of divisorial prime ideals in Prüfer domains (Q1066198)

A prime ideal P in a Prüfer domain R is called divisorial if \((P^{- 1})^{-1}=P\). In this paper the authors give a characterization for non- maximal prime ideals of a Prüfer domain to be divisorial. They show that P is divisorial if and only if either \(P^{-1}\neq T(P)=\cup^{\infty}_{n=1}(R_ K:P^ n)\quad or\) \((R_ K:T(P))=P\). They construct an example of a Prüfer domain with a non-idempotent divisorial prime ideal P with \(P^{-1}=T(P)\). A Prüfer domain R is said to be ({\#})-domain if given any two distinct subsets \(\Delta_ 1\), \(\Delta_ 2\) of the set of all maximal ideals then \(\cap_{M\in \Delta_ 1}R_ M\neq \cap_{M\in \Delta_ 2}R_ M,\) and R is called ({\#}{\#})-domain if every overring of R is ({\#}). In a ({\#}{\#})- domain the product of finitely many divisorial primes is again divisorial and it has the separation property, namely for each pair \(P\subsetneqq Q\) of prime ideals, there exists a finitely generated ideal I such that \(P\subsetneqq I\subseteq Q.\) The converse of the above two results are, however, false.