R-completions over domains with one-dimensional quotient field (Q908976)

Let R be a commutative domain and M an R-module with the R-topology (the submodules sM with \(s\in R\setminus 0\) form a subbase of neighbourhoods of 0). Let \(\tilde M\) be the completion of M and Q be the quotient field of R. Supposing that \(p.d._ RQ=1\), the authors develop work of Matlis on torsion-free modules [see \textit{L. Fuchs} and \textit{L. Salce}, ``Modules over valuation domains'' (1985; Zbl 0578.13004)] and of \textit{R. Göbel} and \textit{W. May} [Arch. Math. 48, 476-490 (1987; Zbl 0624.13011)]. The main result is that the topology on \(\tilde M\) inherited from \(\prod M/sM \) is equivalent to its R-topology, and \(\tilde M\) is R-complete. Other results include that if M is torsion then \(\tilde M\cong N/N^ 1\), where \(N=Ext^ 1_ R(Q/R,M)\) and \(N^ 1=\cap_{s\neq 0}sN \), and the factors \(N^{\sigma}/N^{\sigma +1}\) are complete where the \(\sigma\)-th Ulm submodule \(N^{\sigma}\) is defined inductively.