On some classes of irreducible polynomials

DOI10.1016/J.JSC.2019.08.005MaRDI QIDQ1994883zbMATH OpenOpenAlexFDO

Authors Jorge Jiménez Urroz, Jaime Gutierrez

Publication date 18 February 2021

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.08441, http://hdl.handle.net/2117/335780

zbMATH Keywords

absolutely irreducible polynomials Eisenstein criterion hereditarily irreducible polynomials irreducible polynomials

Mathematics Subject Classification ID

Polynomials (irreducibility, etc.) (11R09) Special polynomials in general fields (12E10)

Abstract: The aim of the paper is to produce new families of irreducible polynomials, generalizing previous results in the area. One example of our general result is that for a near-separated polynomial, i.e., polynomials of the form

F (x, y) = f_{1} (x) f_{2} (y) - f_{2} (x) f_{1} (y)

, then

F (x, y) + r

is always irreducible for any constant

r

different from zero. We also provide the biggest known family of HIP polynomials in several variables. These are polynomials

p (x_{1}, l d o t s, x_{n}) i n K [x_{1}, l d o t s, x_{n}]

over a zero characteristic field

K

such that

p (h_{1} (x_{1}), l d o t s, h_{n} (x_{n}))

is irreducible over

K

for every

n

-tuple

h_{1} (x_{1}), l d o t s, h_{n} (x_{n})

of non constant one variable polynomials over

K

. The results can also be applied to fields of positive characteristic, with some modifications.

Review text

The authors study irreducibility of multivariate polynomials with coefficients in a field \(K\). They point out a large class of polynomials \(p(x_1,\ldots,x_n)\) (\(n\ge 2\)) with the property that \(p(h_1(x_1),\ldots,h_n(x_n))\) is irreducible in the polynomial ring \(K[x_1,\ldots,x_n]\) for every non-constant univariate polynomials \(h_i\). In Theorem 10, for instance, this property is established for bivariate polynomials of the type \(p(x,y)=a(x)\sum_{i=0}^dc_i(x)y^i+b(x)\) assuming that \(K\) has characteristic zero, \(\gcd(a(x),c_d(x)b(x))=1\), and \(a(x)\) has at least two simple zeros. This result can be extended to more than 2 variables but fails in positive characteristic. In a different vein, it is shown that if \(f,g\in K[x]\setminus K\) are distinct and \(r\in K\) is non-zero then \(f(x)g(y)-f(y)g(x)+r\) is absolutely irreducible provided that char\(\, K=0\) or char\(\, K=p>0\) and \(p\) does not divide \(\deg f -\deg g\). The proofs are based on Eisenstein criterion for irreducibility.

Recommendations

Cites work

Cited in

(26)

This page was built for publication: On some classes of irreducible polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1994883)