One of the fundamental tasks of Symbolic Computation is the factorization of polynomials into irreducible factors. 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,\dots ,x_n)\in \mathbb{K}[x_1,\dots ,x_n]$ over a zero characteristic field $\mathbb{K}$ such that $p(h_1(x_1),\dots ,h_n(x_n))$ is irreducible over $\mathbb{K}$ for every n-tuple $h_1(x_1),\dots ,h_n(x_n)$ of non constant one variable polynomials over $\mathbb{K}$. The results can also be applied to fields of positive characteristic, with some modifications.

符号计算的基本任务之一是将多项式分解为不可约因子。本文的目的是产生新的不可约多项式族，以概括该领域以前的结果。我们的一般结果的一个示例是对于近似分离的多项式，即形式为$F（X，ÿ）=F_{\mathrm{1个}}（X）F_2（ÿ）-F_2（X）F_{\mathrm{1个}}（ÿ）$， 然后 $F（X，ÿ）+\mathrm{[R}$对于任何不为零的常数r总是不可约的。我们还在几个变量中提供了最大的HIP多项式族。这些是多项式$p（X_{\mathrm{1个}}，\dots ，X_{ñ}）\in \mathbb{ķ}[X_{\mathrm{1个}}，\dots ，X_{ñ}]$ 在零特征场上 $\mathbb{ķ}$ 这样 $p（H_{\mathrm{1个}}（X_{\mathrm{1个}}），\dots ，H_{ñ}（X_{ñ}））$ 是不可约的 $\mathbb{ķ}$每n个元组$H_{\mathrm{1个}}（X_{\mathrm{1个}}），\dots ，H_{ñ}（X_{ñ}）$ 上的非常数一变量多项式 $\mathbb{ķ}$。经过一些修改，结果也可以应用于具有正特性的领域。