Irreducibility criteria for sums of two relatively prime multivariate polynomials (Q2834185)

Let \(K\) be any field, let \(m<n\) and let NEWLINE\[NEWLINEf(X_r)=\sum_{i=0}^m a_iX_r^i,\quad g(X_r)=\sum_{i=0}^n b_iX_r^iNEWLINE\]NEWLINE with \(a_i,b_i\in K[X_1,X_2,\dots,X_{r-1}]\).NEWLINENEWLINE NEWLINEIt is shown that if \(f,g\) are relatively prime over \(K(X_1,X_2,\ldots,X_{r-1})\), \(p(X_1,\ldots,X_{r-1})\in K[X_1,\ldots,X_{r-1}]\) is irreducible over \(K(X_1,X_2,\ldots,X_{r-2})\) and does not divide the leading coefficients of \(f,g\), and \(k\) is a sufficiently large integer prime to \(n-m\), then the polynomial \(f+p^kg\) is irreducible over \(K(X_1,X_2,\ldots,X_{r-1}).\) The proof uses Newton's polygon and an estimation of the resultant of \(g\) and a possible non-trivial factor \(f+p^kg\).