Seminormability of certain ring topologies on Dedekind domains (Q1069997)

Let D be a Dedekind domain that is not a field. For a maximal ideal p of D and a fixed positive integer n the symbol \(T'_{p^ n}\) denotes the topology on D generated by the seminorm \(N'_{p^ n}\) defined by \(N'_{p^ n}(x)=0\) if \(x\in p^ n\) and \(N'_{p^ n}(x)=1\) otherwise; \(T_ p\) denotes the p-adic topology. The main result of the paper says that every ideal topology T on D, for which there exists a non-zero topological nilpotent element, has the form \(T=(\sup_{p\in P}T_ p,\sup_{q\in Q}T'_{q^{n_ q}}),\) where P and Q are finite sets of maximal ideals of D and \(n_ q\) are positive integers. For Hausdorff ideal topologies, this result is contained in the cited paper of \textit{J. D. Cohen} [Can. J. Math. 33, 571-584 (1981; Zbl 0442.12001)]. [Reviewer's remark: The result mentioned above follows easily from the ideal theory of Dedekind domains and the other statements of the paper are immediate consequences of it.]