A ruled residue theorem for algebraic function fields of curves of prime degree (Q6103355)

Let \(v\) be a valuation of a field \(k\) with residue field \(k_v\) and \(k(X)\) be a simple transcendental extension of \(k\). The well known Ruled Residue Theorem proved by Ohm asserts that if \(w\) is a prolongation of \(v\) to a simple transcendental extension \(k(X)\) of \(k\) such that the residue field \(k_w\) of \(w\) is a transcendental extension of \(k_v\), then \(k_w\) is a ruled extension of \(k_v\), i.e., \(k_w\) is a simple transcendental extension of a finite extension of \(k_v\). This paper shows the failure of Ruled Residue theorem for function fields of curves of prime degree. It deals with function fields of the form \(K=k(X)(\sqrt[p]{aX^p+bX+c})\) where \(aX^p + bX + c\) belonging to \( k[X]\) is a polynomial of degree \(p\) and the prime \(p\) is different from the characteristic of the residue field of \(v\). The author provides necessary conditions for the residue field extension of \(v\) to \(K\) to be non-ruled. This extends a result proved by \textit{P. Gupta} and \textit{K. J. Becher} [J. Pure Appl. Algebra 225, No. 6, Article ID 106638, 13 p. (2021; Zbl 1467.12010)].