Total valuation rings of Ore extensions. (Q1411454)

Let \(K\) be a skew field with an endomorphism \(\alpha\) and an \(\alpha\)-derivation \(\delta\). The authors consider the skew polynomial ring \(K[X;\alpha,\delta]\) and its skew field of fractions \(K(X;\alpha,\delta)\) [see \textit{K. R. Goodearl} and \textit{R. B. Warfield}, jun., An introduction to noncommutative Noetherian rings (Lond. Math. Soc. Student Texts 16, Cambridge University Press, Cambridge) (1989; Zbl 0679.16001), Prop. 1.10], and examine valuation rings in this skew field. Recall that a total subring of \(K\) is a subring \(V\) of \(K\) which for each \(a\in K^\times\) contains \(a\) or \(a^{-1}\) (called `total valuation ring' by the authors). Given a total subring \(V\) of \(K\), they show that there exists a total subring \(R\) of \(K(X;\alpha,\delta)\) satisfying \(R\cap K=V\), \(X\in R\) such that \(\overline X\in R/J(R)\) is transcendental over \(V/J(V)\) if and only if both \(V\) and its radical \(J(V)\) admit \(\alpha\) and \(\delta\). Next, they consider the case of a valuation ring \(V\) (i.e. total and invariant) so that it defines a valuation on \(K\). They prove that for a skew field \(K\) with a total subring \(V\) there exists a valuation ring \(R\) of \(K(X;\alpha,\delta)\) such that \(R\cap K=V\), \(X\in R\) such that \(\overline X\in R/J(R)\) is transcendental over \(V/J(V)\) if and only if \(V\) is a valuation ring such that \(a^\alpha V\subseteq aV\), \(a^\delta\in aV\) for all \(a\in K\), if and only if \(V\) is a valuation ring defining a valuation \(v\) on \(K\) and this defines a Gaussian extension to \(K(X;\alpha,\delta)\). Examples are given where these conditions fail and the ring \(R\) is merely total and not invariant.