Valuation rings in Ore extensions (Q5925848)

By a valued skew field the authors understand a pair \((K,V)\) consisting of a skew field \(K\) and a total subring \(V\) of \(K\), i.e. a subring such that \(a\not\in K\setminus V\) implies \(a^{-1}\in V\) (this is called a valuation ring by the authors but it seems better to reserve that term for total subrings admitting all inner automorphisms). Given a valued skew field \((K,V)\) and an automorphism \(\sigma\) of \(K\), they show that on the skew field of fractions \(F=K(x,\sigma)\) of the skew polynomial ring \(K[x,\sigma]\) there are two valued skew field structures extending \(V\), whose total subrings contain (for all \(a\in K\)) \(ax\) and \(ax^{-1}\) respectively as non-units. They also show that this holds for an endomorphism \(\sigma\) if and only if \(\sigma\) maps each of \(V\) and its complement into itself (i.e., \(\sigma\) is ``compatible''). Examples are given of such extensions as well as a case where no extension exists. Further, they prove that for each \(a\in K^\times\) an extension exists for which \(a^{-1}x\) is a unit if and only if \(\sigma\) is compatible and \(V\) is a valuation ring.