A generalization of Eisenstein-Schönemann irreducibility criterion (Q617840)

In [``On a generalization of Eisenstein's irreducibility criterion'', Mathematika 44, No. 1, 37--41 (1997; Zbl 0874.12001)], \textit{K. S. Khanduja} and \textit{J. Saha} presented a generalization of Eisenstein's irreducibility criterion. Their result was extended by \textit{R. Brown} [``Roots of generalized Schönemann polynomials in Henselian extension fields, Indian J. Pure Appl. Math. 39, No. 5, 403--410 (2008; Zbl 1245.11035)]. In the paper under review, the authors prove a generalization of Brown's result. Precisely, they establish the following: \textbf{Theorem.} Let \(v\) be a Henselian Krull valuation of a field \(K\) with value group \(\Gamma,\) valuation ring \(R_{v},\) and maximal ideal \(M_{v},\) and let \(v^{x}\) be the Gaussian extension of \(v\) to the field \(K(x)\) of rational functions in an indeterminate \(x\) over \(K,\) i.e., \(v^{x}(\sum_{i\leq n}a_{i}x^{i}) = \min\{v(a_{i}) \mid i \leq n\}.\) Let \(f(x) \in R_{v}[x]\) be a monic polynomial of degree \(m\) such that \(\overline{f}(x),\) the canonical image of \(f(x)\) into \(R_{v}/M_{v}[x],\) is irreducible over \(R_{v}/M_{v},\) and let \(\phi(x) \in R_{v}[x]\) be a monic polynomial having \(f(x)\)-expansion \(\sum_{i=0}^{n}A_{i}(x)f(x)^{i}\) with \(A_{0}(x) \neq 0.\) Assume that there exists \(s \leq n\) such that \((i) \;v^{x}(A_{s}(x)) = 0,\) \((ii) \;\frac{v^{x}(A_{i}(x))}{s-i} \geq \frac{v^{x}(A_{0}(x))}{s} > 0\) for \(0 \leq i \leq s-1,\) and \((iii) \;v^{x}(A_{0}(x)) \notin d \Gamma\) for some number \(d > 1\) dividing \(s.\) Then \(\phi(x)\) has an irreducible factor \(g(x)\) of degree \(sm\) over \(K\) such that \(g(x)\) is a generalized Schönemann polynomial with respect to \(v\) and \(f(x);\) moreover, the \(f(x)\)-expansion of \(g(x) = f(x)^{s} + B_{s-1}(x)f(x)^{s-1} + \cdots + B_{0}(x)\) satisfies \(v^{x}(B_{0}(x))v^{x} = v^{x}(A_{0}(x)).\)