Locally bounded topologies on F(X) (Q5896576)

The authors generalize a result of \textit{J. A. Cohen} [Pac. J. Math. 70, 125-132 (1977; Zbl 0336.12104)] which says that given a field F, an element x transcendental over F in some field extension, a Hausdorff topology \({\mathcal T}\) on F(x) for which F is bounded, and some topological nilpotent f(x)\(\in F[x]\) then (1) there exists a unique monic polynomial h(x) which divides any topological nilpotent, and is a product of a sequence of distinct irreducible monic polynomials of F[x], (2) F[x] is bounded, (3) \({\mathcal T}\) coincides with the supremum of the valuation topologies that are induced by the primes from (1). Instead of the mere existence of a topological nilpotent f(x)\(\in F[x]\) in the above the authors require that either (a) there exists a topological nilpotent f(x)/g(x)\(\in F(x)\) such that deg g(x)\(\leq \deg f(x)\) or (b) there do exist topological nilpotents in F(x), and for every topological nilpotent deg g(x)\(>\deg f(x)\). In case (a) result (3) is obtained, (1) with h(x) dividing the nominator of any topological nilpotent, and (2) where F[x]\(\setminus \{0\}\) is replaced by the set of those rational functions whose denominator is relative prime to f(x). In case (b) they prove that either (1) fully holds, or \(h(x)=1\), while in (3) \({\mathcal T}\) is induced either by the prime \(x^{-1}\) alone if \(h(x)=1\) or else by \(x^{-1}\) together with some finite set of primes in F[x].