On Močkor's question (Q1305045)

The authors study the completion \(\widehat A^{\mathcal T}\) of certain classes of Prüfer domains \(A\) with respect to the supremum topology \({\mathcal T}=\sup \{{\mathcal T}_w: w\in\Omega\}\), where \(\Omega\) is the family of valuations on the quotient field of \(A\) which are nonnegative on \(A\) and \({\mathcal T}_w\) is the topology induced by \(w\in\Omega\). The reviewer [\textit{J. Mǒckǒr}, Proc. Am. Math. Soc. 67, 1-10 (1977; Zbl 0379.13012)] asked if there exists a Prüfer domain \(A\) such that \(\widehat A^{\mathcal T}\) is not a \(\widehat {\mathcal T}\)-Prüfer ring or such that \(\widehat A^{\mathcal T}\) is a Prüfer ring but not a \(\widehat{\mathcal T}\)-Prüfer ring. In the present paper the authors construct examples which answer these questions. Namely, they show that (1) the completion \(\widehat A^{\mathcal T}\) of \(h\)-local Prüfer domain is a \(\widehat{\mathcal T}\)-Prüfer ring iff \(|\text{Max}(A)|<\infty\), (2) the completion \(\widehat E^{\mathcal T}\) of the ring \(E\) of entire functions is not a \({\mathcal T}\)-Prüfer ring, (3) the completion \(\widehat D^{\mathcal T}\) of a Dedekind domain is a \({\mathcal T}\)-Prüfer ring iff \(|\text{Spec}(D)|<\infty\), and (4) the completion \(\widehat A^{\mathcal T}\) of some SFT Prüfer domain (i.e. a Prüfer domain such that for any ideal \(I\) of \(A\) there exists a finitely generated ideal \(J\subseteq I\) and a positive integer such that \(a^k\in J\) for each \(a\in I)\) is a \(\widehat{\mathcal T}\)-Prüfer ring iff there exist only finitely many independent valuation overrings of \(A\). Moreover, the authors study also some other properties of the above rings.