All valuations on K(X) (Q804641)

In this paper which may be considered as continuation of the paper [ibid. 207-225 (1990; cf. the preceding review)] the authors attempt to describe all the valuations of the rational function field K(X) in one variable X over the field K. The valuations of K(X) which are trivial on K are well known. The extension w to K(X) of a nontrivial valuation v of K are classified as residual transcendental extensions (which is the case when the residue class field \(k_ w\) is transcendental over \(k_ v)\), residual algebraic torsion extensions (when \(k_ w\) is algebraic over \(k_ v\) and the quotient group \(G_ w/G_ v\) is a torsion group, \(G_ v\) denoting the value group of the valuation v) and residual algebraic torsion free extensions (the case when \(k_ w\) is algebraic over \(k_ v\) and \(G_ w/G_ v\) is torsion free). For studying residual algebraic extensions, the notion of ordered system of valuations and the limit valuation of such a system introduced by MacLane is invoked. In section 6 the existence of a function field K(X) with a valuation w which is a residual algebraic torsion extension of (K,v) with \(k_ w\) countably generated over \(k_ v\) and \(G_ w=G_ v\), is established. In theorem 7.1, the authors assert the existence of a residual algebraic torsion extension with the same residue class field but with value group G such that the quotient group \(G/G_ v\) is infinite but countable.