Home Classification and irreducibility of a class of integer polynomials
Article Open Access

Classification and irreducibility of a class of integer polynomials

  • Yizhi Chen , Xiangui Zhao EMAIL logo and Xuan Zhou
Published/Copyright: June 9, 2025

Abstract

We find all integer polynomials of degree d that take the values ± 1 at exactly d integer arguments, and determine the irreducibility of these polynomials by means of an elementary approach.

MSC 2010: 11R09; 11C08

1 Introduction

In this article, all polynomials are integer polynomials (i.e., belonging to Z [ x ] ), and factorization and irreducibility are in Z [ x ] . There have been lots of results on the irreducibility of certain classes of integer polynomials (see, e.g., [1] for a review of some classic irreducibility criteria for integer polynomials). Some more recent results in this direction can be found in [25] for instance.

Suppose P = P ( x ) Z [ x ] has degree d ( P ) = d . Denote

S ( P ) ( , P ( 1 ) , P ( 0 ) , P ( 1 ) , ) ,

the infinite sequence of values of P at integers. Then, the primes and units in S ( P ) determine the irreducibility of P in some sense. For example, Murty [6] proved that if P ( m ) is a prime for a “large” number m , then P is irreducible[1]; Brown and Graham [7] proved that if p + 2 u d > 4 , then P is irreducible, where p and u are, respectively, the number of primes and units (i.e., ± 1 ) in S ( P ) . However, it is not always easy to find a prime represented by a polynomial. For example ([8, pp. 42, 172]), P ( x ) = x 6 + 1091 is not prime for x = 1 , 2 , , 3905 .

In this article, we characterize all fit polynomials (Definition 2.2), i.e., polynomials with u = d , and determine the irreducibility of fit polynomials by means of an elementary approach. We note that Dorwart and Ore [9] also studied fit polynomials (without using the term “fit”), and our results give a more detailed characterization.

We say P is equivalent to Q Z [ x ] , denoted by P Q , if P = ± Q ( ± x + b ) for some b Z . Now, we can present our main results, which give a complete classification of fit polynomials up to the equivalence relation .

Theorem 1.1

Each fit polynomial of degree d 1 is equivalent to one of the following polynomials, where 0 c Z .

  1. c x ( x c 1 ) ( x c 2 ) ( x c d 1 ) + 1 , where 0 < c , 0 < c 1 < c 2 < c d 1 , and moreover, c 3 if d = 1 , ( c , c 1 ) ( 1 , 3 ) or ( 2 , 2 ) if d = 2 , ( c , c 1 , c 2 ) ( 1 , 1 , 3 ) if d = 3 ;

  2. c x ( x c 1 ) ( x c 2 ) ( x c d 1 ) 1 , where 0 < c , d is even, 0 < c 1 < c 2 < c d 1 , and ( c , c 1 ) ( 1 , 1 ) if d = 2 ;

  3. c x 4 + ( 1 + 2 c ) x 3 + ( 2 c ) x 2 ( 2 c + 1 ) x 1 ;

  4. c x 4 2 c x 3 ( c + 1 ) x 2 + ( 2 c + 1 ) x + 1 ;

  5. c x 3 x 2 ( 1 + c ) x + 1 , c 1 ;

  6. c x 3 + 2 x 2 c x 1 , c 2 ;

  7. c x 3 + ( 1 + c ) x 2 + ( 1 2 c ) x 1 , c 1 ;

  8. c x 2 x c , c 2 ;

  9. c x 2 ( c + 2 ) x + 1 , c 3 .

Conversely, each polynomial equivalent to one in the aforementioned list is fit. Furthermore, if P and Q are both in the aforementioned list, then P Q if and only if P = Q .

The following theorem gives an irreducibility testing criterion for fit polynomials.

Theorem 1.2

Suppose P is a fit polynomial of degree d > 1 . Then, the following statements are equivalent:

  1. P is reducible.

  2. P = ± Q 2 for some Q Z [ x ] .

  3. P = ± Q 2 for some Q x 2 + x 1 , 2 x 1 , or x .

  4. P x 4 + 2 x 3 x 2 2 x + 1 , 4 x 2 4 x + 1 , or x 2 .

The rest of this article is organized as follows. In Section 2, we introduce basic notions and facts on fit polynomials. Then, we study fit polynomials in Section 3 for d > 3 , in Section 4 for d = 3 , and in Section 5 for d < 3 . We prove Theorems 1.1 and 1.2 in Section 6. Finally, we give an example in Section 7.

2 Preliminaries

We always employ P , Q , R , M , and N to denote integer polynomials of positive degree and use a , b , and c to represent integers.

Let u ( P ) , u + ( P ) , u ( P ) , and p ( P ) , respectively, be the number of units (i.e., ± 1 ), the number of 1, the number of 1 , and the number of primes in S ( P ) . Note that u < since P ( x ) ± 1 cannot have infinitely many roots, and that it is possible p = , e.g., p ( P ) = for P ( x ) = a + b x with ( a , b ) = 1 by Dirichlet’s theorem about primes in arithmetic progressions.

If u + = u + ( P ) 1 , then there exist integers a 1 < a 2 < < a u + such that P ( a 1 ) = P ( a 2 ) = = P ( a u + ) = 1 . Similarly, if u = u ( P ) 1 , then there exist integers b 1 < b 2 < < b u such that P ( b 1 ) = P ( b 2 ) = = P ( b u ) = 1 .

Definition 2.1

Denote A + ( P ) ( a 1 , a 2 , , a u + ) and A ( P ) ( b 1 , b 2 , , b u ) .

Motivated by the definition of fat polynomials in [7], we have the following definition.

Definition 2.2

  1. The difference f ( P ) u ( P ) d ( P ) is called the fatness of P .

  2. We call P fat, fit, or thin, respectively, if f ( P ) > 0 , f ( P ) = 0 , or f ( P ) < 0 .

It follows from the definition that nontrivial factors (if exist) of a fit polynomial are fat.

Denote

I ( P ) { P ( ± x + b ) : b Z } , J ( P ) { ± P ( ± x + b ) : b Z } .

It is clear that J ( P ) = I ( P ) I ( P ) is the equivalence class consisting of all Q P .

Lemma 2.3

Suppose Q I ( P ) , u = u ( P ) , u + = u + ( P ) , and u = u ( P ) . Then, the following statements hold:

  1. u + ( Q ) = u + , u ( Q ) = u , and u ( Q ) = u .

  2. The leading coefficient of Q equals either that of P or that of P .

  3. If A + ( P ) = ( a 1 , , a u + ) and A + ( Q ) = ( b 1 , , b u + ) , then

    a i a j = b i b j , for a l l 1 i < j u + .

  4. If A ( P ) = ( a 1 , , a u ) and A ( Q ) = ( b 1 , , b u ) , then

    a i a j = b i b j , for a l l 1 i < j u .

  5. There exists a unique R I ( P ) such that A + ( R ) = ( 0 , c 2 , , c u + ) .

Proof

The statements are clear since Q and R can be obtained from P by shifting x and/or reflecting about x -axis.□

Similarly, we also have the following:

Lemma 2.4

Suppose Q J ( P ) . Then, the following statements hold:

  1. P is irreducible (or fit, respectively) if and only if so is Q.

  2. u ( Q ) = u ( P ) , d ( Q ) = d ( P ) , and thus, f ( Q ) = f ( P ) .

  3. The leading coefficient of Q equals either that of P or that of P .

  4. If Q I ( P ) , then u + ( Q ) = u ( P ) and u ( Q ) = u + ( P ) .

Lemma 2.5

Suppose u + ( P ) 1 and u ( P ) 1 . Then, u ( P ) 4 .

Proof

See the proof of [7, Theorem 1].□

The following lemma is a direct corollary of [7, Theorem 1], which fully characterizes the family of fat polynomials.

Lemma 2.6

  1. Let P be a fat polynomial. Then, u ( P ) 4 , d ( P ) 3 , f ( P ) 2 , and P belongs to one of the classes in Table 1.

  2. All fat polynomials are irreducible.

Table 1

Fat polynomials

u + u u d f
I ( x ) 1 1 2 1 1
I ( 2 x 1 ) 1 1 2 1 1
I ( 2 x 2 1 ) 2 1 3 2 1
I ( 2 x 2 + 1 ) 1 2 3 2 1
J ( x 2 + x 1 ) 2 2 4 2 2
I ( x 3 + 2 x 2 x 1 ) 3 1 4 3 1
I ( x 3 2 x 2 + x + 1 ) 1 3 4 3 1

Proof

(i) Note that J ( x ) = I ( x ) and J ( 2 x 1 ) = I ( 2 x 1 ) . Then, the statement follows from [7, Theorem 1].

(ii) It is easy to see.□

Lemma 2.7

[7, Theorem 2 and Corollary 2] Let p = p ( P ) , u = u ( P ) , and d = d ( P ) .

  1. If p + 2 u > d 2 , then either P is irreducible or P = Q R with f ( Q ) + f ( R ) p + 2 u d .

  2. If p + 2 u d > 4 , then P is irreducible.

The following lemma characterizes the reducibility of fit polynomials.

Lemma 2.8

Suppose P is fit and reducible, d = d ( P ) and u = u ( P ) . Assume P = Q R with f ( Q ) f ( R ) . Then, u = d 4 . Furthermore,

  1. if u = d = 2 , then f ( Q ) = f ( R ) = 1 ;

  2. if u = d = 3 , then f ( Q ) = 2 and f ( R ) = 1 ;

  3. if u = d = 4 , then f ( Q ) = f ( R ) = 2 , d ( Q ) = d ( R ) = 2 and Q R x 2 + x 1 .

Proof

Suppose u = d > 4 . Since p + 2 u = p + 2 d > d > 4 , by Lemma 2.7 (i), f ( Q ) + f ( R ) p + 2 u d > p + 4 4 . By Lemma 2.6 (i), fatness of a polynomial is at most 2, and thus, f ( Q ) + f ( R ) 4 , which is a contradiction. Hence, u = d 4 .

(i) Suppose u = d = 2 . Then, d ( Q ) = d ( R ) = 1 . By Lemma 2.6 (i), f ( Q ) = f ( R ) = 1 .

(ii) Suppose u = d = 3 . By Lemmas 2.7 (i) and 2.6 (i), we have that p + 3 f ( Q ) + f ( R ) 4 . Thus, either f ( Q ) = 2 and f ( R ) = 1 , or f ( Q ) = f ( R ) = 2 . If f ( Q ) = f ( R ) = 2 , then d ( Q ) = d ( R ) = 2 and d ( P ) = d ( Q ) + d ( R ) = 4 , which is a contradiction. Therefore, f ( Q ) = 2 and f ( R ) = 1 .

(iii) Similar to (ii), we have f ( Q ) + f ( R ) = 4 , and thus, f ( Q ) = f ( R ) = 2 . By Lemma 2.6 (i), we obtain that d ( Q ) = d ( R ) = 2 and Q R x 2 + x 1 .□

3 Fit polynomials with d > 3

In this section, we consider fit polynomials of degree d > 3 .

3.1 Case d > 4

Lemma 3.1

Suppose P is a fit polynomial with u = d > 4 . Then, P is irreducible and equivalent to one of the following polynomials:

(1) c x ( x c 1 ) ( x c 2 ) ( x c d 1 ) + 1 , c > 0 ,

(2) c x ( x c 1 ) ( x c 2 ) ( x c d 1 ) 1 , c > 0 , d is e v e n ,

where 0 < c 1 < c 2 < c d 1 . Moreover, each polynomial in (1) or (2) is fit.

Proof

By Lemma 2.8, we obtain that P is irreducible. It follows from Lemma 2.5 that either u + = u = d or u = u = d . Thus, by Lemma 2.3,

P ( x ) Q ( x ) c x ( x c 1 ) ( x c 2 ) ( x c d 1 ) + 1

or

P ( x ) R ( x ) c x ( x c 1 ) ( x c 2 ) ( x c d 1 ) 1 ,

where c 0 , and c i s are distinct nonzero integers. If c < 0 and d is odd, then

P ( x ) Q ( x ) = ( c ) x ( x + c 1 ) ( x + c 2 ) ( x + c d 1 ) + 1 ,

which has the form (1), or

P ( x ) R ( x ) = ( c ) x ( x c 1 ) ( x c 2 ) ( x c d 1 ) + 1 ,

which has the form (1). If c < 0 and d is even, then

P ( x ) Q ( x ) = ( c ) x ( x c 1 ) ( x c 2 ) ( x c d 1 ) 1 ,

which has the form (2), or

P ( x ) R ( x ) = ( c ) x ( x c 1 ) ( x c 2 ) ( x c d 1 ) + 1 ,

which has the form (1). Hence, P is equivalent to a polynomial in (1) or (2).

Conversely, it is clear that each polynomial in (1) or (2) is fit.□

3.2 Case d = 4

Now, we consider the case d = 4 and u + = 0 or 4.

Lemma 3.2

Suppose P is a fit polynomial with d = u = 4 .

  1. Suppose u + = 0 or 4. Then, P is equivalent to

    (3) c x ( x c 1 ) ( x c 2 ) ( x c 3 ) ± 1 , 0 < c , 0 < c 1 < c 2 < c 3 .

    Conversely, each polynomial in (3)is fit.

  2. Suppose u + = 4 . Then, P is reducible if and only if P = Q 2 for some Q x 2 + x 1 .

  3. Suppose u + = 0 . Then, P is reducible if and only if P = Q 2 for some Q x 2 + x 1 .

Proof

(i) It is similar to the proof of Lemma 3.1.

(ii) Suppose u + = 4 and A + ( P ) = ( a 1 , a 2 , a 3 , a 4 ) . Then, P ( x ) = c ( x a 1 ) ( x a 2 ) ( x a 3 ) ( x a 4 ) + 1 for some c 0 . Assume P is reducible and P = Q R . By Lemma 2.8 (iii), Q R x 2 + x 1 . Since Q ( a i ) R ( a i ) = P ( a i ) = 1 for i = 1, 2, 3, 4, and all factors on the left-hand sides of the aforementioned equations are integers, we have that, for i = 1, 2, 3, 4, either Q ( a i ) = R ( a i ) = 1 or Q ( a i ) = R ( a i ) = 1 . Hence, the polynomial equation Q ( x ) R ( x ) = 0 has four solutions. But d ( Q ( x ) R ( x ) ) < 4 . It follows that Q ( x ) = R ( x ) . Thus, P = Q 2 for Q x 2 + x 1 .

(iii) If u + = 0 , then P P satisfies the conditions in (ii), and thus the statement follows from (ii).□

The following lemma deals with the case d = 4 and u + = 1 or 3.

Lemma 3.3

Suppose P is a fit polynomial with d = 4 and u + = 1 or 3. Then, the following statements hold:

  1. P is irreducible.

  2. P is equivalent to

    c x 4 + ( 1 + 2 c ) x 3 + ( 2 c ) x 2 ( 2 c + 1 ) x 1 , c 0 .

  3. Each polynomial in (ii) is fit.

Proof

Suppose u + = 3 (if u + = 1 , consider P = P ), A + = ( a 1 , a 2 , a 3 ) , and A = ( a 4 ) . Then,

P ( x ) = M ( x ) ( x a 1 ) ( x a 2 ) ( x a 3 ) + 1 = N ( x ) ( x a 4 ) 1 ,

for M ( x ) , N ( x ) Z [ x ] such that M ( x ) does not have integer roots other than a 1 , a 2 , a 3 , and N ( x ) does not have integer roots other than a 4 .

(i) Assume P is reducible and P = Q R . Then, Q ( a i ) R ( a i ) = P ( a i ) = 1 for i = 1, 2, 3. Similar to the proof of Lemma 3.2, we have that P = Q 2 , which contradicts the assumption that P ( a 4 ) = 1 . The contradiction implies that P is irreducible.

(ii) First, note that

(4) M ( a 4 ) ( a 4 a 1 ) ( a 4 a 2 ) ( a 4 a 3 ) = 2 .

Note that the conditions a 1 < a 2 < a 3 imply that

a 4 a 3 < a 4 a 2 < a 4 a 1 .

Thus, it follows from equation (4) that we have the following two cases to consider.

  1. a 4 a 1 = 2 , a 4 a 2 = 1 , a 4 a 3 = 1 , M ( a 4 ) = 1 ,

  2. a 4 a 1 = 1 , a 4 a 2 = 1 , a 4 a 3 = 2 , M ( a 4 ) = 1 .

For case (2a), by Lemma 2.3, we may assume a 1 = 0 . From this, we can immediately deduce a 4 = 2 , which further leads to a 2 = 1 and a 3 = 3 . Thus, M ( x ) = c ( x 2 ) + 1 for c 0 . Now,

P ( x ) = ( c ( x 2 ) + 1 ) x ( x 1 ) ( x 3 ) + 1 = c x 4 + ( 1 6 c ) x 3 + ( 11 c 4 ) x 2 + ( 3 6 c ) x + 1 = c ( x 2 ) 4 + ( 1 + 2 c ) ( x 2 ) 3 + ( 2 c ) ( x 2 ) 2 ( 2 c + 1 ) ( x 2 ) 1 c x 4 + ( 1 + 2 c ) x 3 + ( 2 c ) x 2 ( 2 c + 1 ) x 1 .

Similarly, we obtain for case (2b) that

P I ( c x 4 ( 6 c + 1 ) x 3 + ( 11 c + 5 ) x 2 ( 6 c + 6 ) x + 1 ) = I ( c x 4 ( 1 + 2 c ) x 3 + ( 2 c ) x 2 + ( 2 c + 1 ) x 1 ) = I ( c x 4 + ( 1 + 2 c ) x 3 + ( 2 c ) x 2 ( 2 c + 1 ) x 1 ) ,

where the last = is obtained by replacing x by x .

(iii) Let P = c x 4 + ( 1 + 2 c ) x 3 + ( 2 c ) x 2 ( 2 c + 1 ) x 1 , c 0 . Then P ( 0 ) = P ( 1 ) = P ( 3 ) = 1 and P ( 2 ) = 1 . Thus, u ( P ) 4 . By Lemma 2.5, u ( P ) = 4 = d ( P ) . Therefore, P is fit.□

Now, let us consider the case d = 4 and u + = 2 .

Lemma 3.4

Suppose P is a fit polynomial with d = 4 and u + = 2 . Then, the following statements hold:

  1. P ( x ) is irreducible.

  2. P is equivalent to

    (5) P c ( x ) c x 4 2 c x 3 ( c + 1 ) x 2 + ( 2 c + 1 ) x + 1 , c 0 .

  3. Each P c with c 0 is fit.

Proof

Suppose A + ( P ) = ( a 1 , a 2 ) and A ( P ) = ( a 3 , a 4 ) . Then,

(6) P ( x ) = M ( x ) ( x a 1 ) ( x a 2 ) + 1 = N ( x ) ( x a 3 ) ( x a 4 ) 1 ,

where M ( x ) does not have integer roots other than a 1 and a 2 , and N ( x ) does not have integer roots other than a 3 and a 4 .

(i) Assume P is reducible and P = Q R . By Lemma 2.8 (iii), Q , R J ( x 2 + x 1 ) and u + ( Q ) = u + ( R ) = u ( Q ) = u ( R ) = 2 . Note that

(7) Q ( a i ) R ( a i ) = P ( a i ) = 1 , i = 1 , 2 ;

(8) Q ( a i ) R ( a i ) = P ( a i ) = 1 , i = 3 , 4 .

We claim that Q ( a 1 ) Q ( a 2 ) and Q ( a 3 ) Q ( a 4 ) . Otherwise, if Q ( a 1 ) = Q ( a 2 ) = ± 1 , then it follows from u + ( Q ) = u ( Q ) = 2 that Q ( a 3 ) = Q ( a 4 ) = 1 . Now, equations (7) and (8) imply R ( a 1 ) = R ( a 2 ) = R ( a 3 ) = R ( a 4 ) = ± 1 , and thus, u + ( R ) = 4 or u ( R ) = 4 , which is a contradiction. Hence, Q ( a 1 ) Q ( a 2 ) , and similarly Q ( a 3 ) Q ( a 4 ) .

By the aforementioned claim, equation (7) implies either Q ( a 1 ) = R ( a 1 ) = 1 and Q ( a 2 ) = R ( a 2 ) = 1 or Q ( a 1 ) = R ( a 1 ) = 1 and Q ( a 2 ) = R ( a 2 ) = 1 , and equation (8) implies either Q ( a 3 ) = R ( a 3 ) = 1 and Q ( a 4 ) = R ( a 4 ) = 1 or Q ( a 3 ) = R ( a 3 ) = 1 and Q ( a 4 ) = R ( a 4 ) = 1 . We consider one of the four possibilities to get a contradiction and the other cases are similar. Suppose Q ( a 1 ) = R ( a 1 ) = 1 , Q ( a 2 ) = R ( a 2 ) = 1 , Q ( a 3 ) = R ( a 3 ) = 1 , and Q ( a 4 ) = R ( a 4 ) = 1 (Table 2). Note that Q J ( R ) = I ( R ) I ( R ) . Suppose Q I ( R ) . By Lemma 2.3, a 4 a 2 = a 3 a 2 and thus, a 3 = a 4 , which is impossible. Similarly, we can obtain a contradiction for the case Q I ( R ) . Therefore, P is irreducible.

(ii) It follows from equation (6) that

M ( a i ) ( a i a 1 ) ( a i a 2 ) = 2 , i = 3 , 4 , N ( a i ) ( a i a 3 ) ( a i a 4 ) = 2 , i = 1 , 2 .

Note that the conditions a 1 < a 2 and a 3 < a 4 imply that

a 3 a 2 < a 3 a 1 < a 4 a 1 , a 3 a 2 < a 4 a 2 < a 4 a 1 .

As a result, a 3 a 1 ± 2 , a 3 a 2 1 , 2 , a 4 a 1 2 , 1 , and a 4 a 2 ± 2 . Also, we note that ( a 3 a 1 ) ( a 3 a 2 ) = ( a 4 a 1 ) ( a 4 a 2 ) . Considering all restrictions mentioned earlier, we have the following two cases to consider.

  1. a 3 a 1 = 1 , a 3 a 2 = 2 , a 4 a 1 = 2 , a 4 a 2 = 1 ,

  2. a 3 a 1 = 1 , a 3 a 2 = 2 , a 4 a 1 = 2 , a 4 a 2 = 1 .

For case (2a), by Lemma 2.3, we may assume a 1 = 0 , which implies that a 3 = 1 , a 4 = 2 , a 2 = 1 , and M ( a 3 ) = M ( a 4 ) = N ( a 1 ) = N ( a 2 ) = 1 . Then, we have

M ( x ) = c ( x + 1 ) ( x 2 ) 1 = c x 2 c x 2 c 1 , c 0 .

Now,

P ( x ) = ( c x 2 c x 2 c 1 ) x ( x 1 ) + 1 = c x 4 2 c x 3 ( c + 1 ) x 2 + ( 2 c + 1 ) x + 1 = P c ( x ) .

Hence, P P c , c 0 .

Similarly, we obtain for case (2b) that, for some integer c 0 ,

P ( x ) = c x 4 6 c x 3 + ( 11 c + 1 ) x 2 ( 6 c + 3 ) x + 1 P ( x + 1 ) = c x 4 + 2 c x 3 + ( c 1 ) x 2 + ( 1 2 c ) x + 1 c x 4 2 c x 3 ( c + 1 ) x 2 + ( 2 c + 1 ) x + 1 = P c ( x ) ,

where the last is obtained by replacing c by c .

(iii) Note that P c ( 0 ) = P c ( 1 ) = 1 and P c ( 1 ) = P c ( 2 ) = 1 . It follows from Lemma 2.5 that u = 4 . Hence, P c is fit.□

Table 2

Values of Q and R at a i

i 1 2 3 4
Q ( a i ) 1 1 1 1
R ( a i ) 1 1 1 1

4 Fit polynomials with d = 3

In this section, we study fit polynomials of degree d = 3 .

Lemma 4.1

Suppose P is a fit polynomial with d = 3 . Then, the following statements hold:

  1. P is irreducible.

  2. If u + = 0 or 3, then

    P ( x ) Q ( x ) c x ( x c 1 ) ( x c 2 ) + 1 , 0 < c , 0 < c 1 < c 2 , ( c , c 1 , c 2 ) ( 1 , 1 , 3 ) .

    Conversely, each Q in the aforementioned family is fit.

  3. If u + = 1 or 2, then P is equivalent to one of the following polynomials:

    c x 3 x 2 ( 1 + c ) x + 1 , c 0 , 1 ; c x 3 + 2 x 2 c x 1 , c 2 ; c x 3 + ( 1 + c ) x 2 + ( 1 2 c ) x 1 , c 0 , 1 .

    Conversely, each polynomial that belongs to the aforementioned three families is irreducible and fit with u + = 1 or 2.

Proof

(i) Suppose P is reducible and P = M N with f ( M ) f ( N ) . Then, by Lemmas 2.8 (ii) and 2.6 (i), f ( M ) = d ( M ) = 2 . Since u = 3 , there exist distinct a i Z , 1 i 3 , such that

M ( a i ) N ( a i ) = P ( a i ) = ± 1 , for i = 1 , 2 , 3 .

Thus, N ( x ) takes value ± 1 at three different arguments x = a 1 , a 2 , a 3 . This is impossible since d ( N ) = d ( P ) d ( M ) = 3 2 = 1 . Therefore, P is irreducible.

(ii) Similar to the proof of Lemma 3.1, we obtain that P Q . Note that Q (with c > 0 and 0 < c 1 < c 2 ) is fit if and only if u ( Q ) = 0 , i.e., if and only if c x ( x c 1 ) ( x c 2 ) = 2 has no integer roots, i.e., if and only if ( c , c 1 , c 2 ) ( 1 , 1 , 3 ) .

(iii) Suppose u + = 2 (if u + = 1 then consider P ). Assume A + ( P ) = ( a 1 , a 2 ) and A ( P ) = ( a 3 ) . Then,

P ( x ) = M ( x ) ( x a 1 ) ( x a 2 ) + 1 = N ( x ) ( x a 3 ) 1 ,

such that M ( x ) does not have integer roots other than a 1 , a 2 , and N ( x ) does not have integer roots other than a 3 . Hence, we have

M ( a 3 ) ( a 3 a 1 ) ( a 3 a 2 ) = 2 .

Thus, we have the following five cases to consider:

  1. a 3 a 1 = 2 , a 3 a 2 = 1 , M ( a 3 ) = 1 ;

  2. a 3 a 1 = 1 , a 3 a 2 = 2 , M ( a 3 ) = 1 ;

  3. a 3 a 1 = 1 , a 3 a 2 = 1 , M ( a 3 ) = 2 ;

  4. a 3 a 1 = 2 , a 3 a 2 = 1 , M ( a 3 ) = 1 ;

  5. a 3 a 1 = 1 , a 3 a 2 = 2 , M ( a 3 ) = 1 .

For case (3a), by Lemma 2.3, we may assume a 1 = 0 , which implies a 3 = 2 , a 2 = 1 . Since M ( a 3 ) = M ( 2 ) = 1 , we may suppose M ( x ) = c ( x 2 ) 1 for some c 0 . By our assumption, M ( x ) does not have integer roots other than 0 and 1 and N ( x ) does not have integer roots other than 2. Thus, c 1 . Now,

P ( x ) = ( c ( x 2 ) 1 ) x ( x 1 ) + 1 = c x 3 ( 3 c + 1 ) x 2 + ( 2 c + 1 ) x + 1 = c ( x 1 ) 3 ( x 1 ) 2 ( 1 + c ) ( x 1 ) + 1 c x 3 x 2 ( 1 + c ) x + 1 , c 0 , 1 .

Similar to case (3a), we obtain that

(3b) : P ( x ) = c x 3 x 2 + ( 1 c ) x + 1 c x 3 x 2 ( 1 c ) x + 1 , c 0 , 1 , = c x 3 x 2 ( 1 + c ) x + 1 , c 0 , 1 ,

where the second = is obtained by replacing c by c .

(3c) : P ( x ) = c x 3 + ( 2 3 c ) x 2 + ( 2 c 4 ) x + 1 = c ( x 1 ) 3 + 2 ( x 1 ) 2 c ( x 1 ) 1 c x 3 + 2 x 2 c x 1 , c 0 , ± 1 .

For c < 0 ,

P ( x ) P ( x ) = ( c ) x 3 + 2 x 2 ( c ) x 1 = c x 3 + 2 x 2 c x 1 , c c 2 . (3d) : P ( x ) = c x 3 + ( 1 5 c ) x 2 + ( 6 c 3 ) x + 1 = c ( x 2 ) 3 + ( 1 + c ) ( x 2 ) 2 + ( 1 2 c ) ( x 2 ) 1 c x 3 + ( 1 + c ) x 2 + ( 1 2 c ) x 1 , c 0 , 1 . (3e) : P ( x ) = c x 3 + ( 1 4 c ) x 2 + ( 3 c 3 ) x + 1 c x 3 + ( 1 4 c ) x 2 ( 3 c 3 ) x + 1 , c 0 , 1 , c x 3 + ( 1 + 4 c ) x 2 + ( 3 c + 3 ) x + 1 , c 0 , 1 , c ( x 1 ) 3 + ( 1 + 4 c ) ( x 1 ) 2 + ( 3 c + 3 ) ( x 1 ) + 1 = c x 3 + ( 1 + c ) x 2 + ( 1 2 c ) x 1 , c 0 , 1 .

We list all the five cases in Table 3, where

Q 1 ( x ) = ( c + 1 ) x 1 , Q 2 ( x ) = ( 1 + c ) x + 2 , Q 3 ( x ) = ( 2 2 c ) x 2 , Q 4 ( x ) = ( 1 3 c ) x 1 , Q 5 ( x ) = ( 1 3 c ) x 2 , P 1 ( x ) = x 2 ( 1 + c ) x + 1 , P 2 ( x ) = 2 x 2 c x 1 , P 3 ( x ) = ( 1 + c ) x 2 + ( 1 2 c ) x 1 .

The converse direction is easy to check.□

Table 3

Fit polynomials with d = 3 and u + = 2

(3a) (3b) (3c) (3d) (3e)
a 3 a 1 2 1 1 2 1
a 3 a 2 1 2 1 1 2
M ( a 3 ) 1 1 2 1 1
a 1 , a 2 , a 3 0, 1, 2 0,1 1 0, 2, 1 0, 3, 2 0, 3, 1
M ( x ) c x 2 c 1 c x + c 1 c x c + 2 c x 2 c + 1 c x c + 1
N ( x ) c x 2 + Q 1 c x 2 + Q 2 c x 2 + Q 3 c x 2 + Q 4 c x 2 + Q 5
P ( x ) c x 3 + P 1 c x 3 + P 2 c x 3 + P 3
c c 0,1 c 2 c 0,1

5 Fit polynomials with d < 3

In this section, we study fit polynomials of degree d < 3 . First, we consider the case d = 2 .

Lemma 5.1

Suppose P is a fit polynomial with d = 2 .

  1. Suppose u + = 0 or 2. Then, P is equivalent to one of the following polynomials:

    c x ( x c 1 ) + 1 , c > 0 , c 1 > 0 , ( c , c 1 ) ( 1 , 3 ) or ( 2 , 2 ) ; c x ( x c 1 ) 1 , c > 0 , c 1 > 0 , ( c , c 1 ) ( 1 , 1 ) .

    Conversely, each polynomial in the aforementioned list is fit.

  2. Suppose u + = 0 or 2. Then, P is reducible if and only if P = ± Q 2 , Q J ( 2 x 1 ) J ( x ) .

  3. If u + = 1 , then P is irreducible and equivalent to one of the following polynomials:

    c x 2 x c , c 2 , c x 2 ( c + 2 ) x + 1 , c 3 .

    Conversely, each polynomial in the aforementioned two families is irreducible and fit.

Proof

(i)–(ii) It is similar to Lemmas 3.2 and 4.1.

(iii) Suppose P is reducible and P = Q R . Assume that

(9) P ( x ) = M ( x ) ( x a 1 ) + 1 = N ( x ) ( x a 2 ) 1 ,

where a 1 < a 2 , M ( x ) does not have integer roots other than a 1 , and N ( x ) does not have integer roots other than a 2 . Then, Q ( a 1 ) R ( a 1 ) = P ( a 1 ) = 1 and Q ( a 2 ) R ( a 2 ) = P ( a 2 ) = 1 . Similar to the proof of Lemma 4.1, we have the following four cases:

  1. a 2 a 1 = 2 , M ( a 2 ) = 1 , N ( a 1 ) = 1 ;

  2. a 2 a 1 = 2 , M ( a 2 ) = 1 , N ( a 1 ) = 1 ;

  3. a 2 a 1 = 1 , M ( a 2 ) = 2 , N ( a 1 ) = 2 ;

  4. a 2 a 1 = 1 , M ( a 2 ) = 2 , N ( a 1 ) = 2 .

In a similar way to the proof of Lemma 4.1, we can deal with the aforementioned cases and the results are listed in Table 4, where the last row (the restriction on c ) follows from the assumption on the roots of M and N in equation (9). The converse direction is easy to check.□

Table 4

Fit polynomials with d = 2 and u + = 1

(3a) (3b) (3c) (3d)
a 2 a 1 2 2 1 1
M ( a 2 ) 1 1 2 2
N ( a 1 ) 1 1 2 2
a 1 , a 2 0 , 2 0 , 2 0 , 1 0 , 1
M ( x ) c x 2 c 1 c x + 2 c + 1 c x c 2 c x + c + 2
N ( x ) c x 1 c x + 1 c x 2 c x + 2
P ( x ) c x 2 x c c x 2 ( c + 2 ) x + 1
c c 2 c 3

Similar to Lemma 4.1, we have the following lemma for fit polynomials of degree 1.

Lemma 5.2

Suppose P is a fit polynomial with d = 1 . then P ( x ) c x + 1 for some integer c 3 . Conversely, c x + 1 with c 3 is fit.

6 Proofs of theorems

Now we are ready to prove Theorems 1.1 and 1.2.

Proof of Theorem 1.1

Suppose P is a fit polynomial of degree d . We gather the nine items (i)–(ix) into five groups:

(G1): (i)–(ii). It follows from Lemmas 3.1, 3.2, 4.1, and 5.1 that P is equivalent to a polynomial in (i)–(ii) if u + = d or u = d .

(G2): (iii). If u + = 3 and u = 1 , or u + = 1 and u = 3 , then, by Lemma 3.3, P is equivalent to a polynomial in (iii).

(G3): (iv). If u + = u = 2 , by Lemma 3.4, P is equivalent to a polynomial in (iv).

(G4): (v)–(vii). If u + = 2 and u = 1 , or u + = 1 and u = 2 , by Lemma 4.1, P is equivalent to a polynomial in (v)–(vii).

(G5): (viii)–(ix). If u + = u = 1 , by Lemma 5.1, P is equivalent to a polynomial in (viii)–(ix).

Conversely, it follows from Lemmas 3.1, 3.2, 3.3, 3.4, 4.1, 5.1, and 2.4 (i) that each polynomial that is equivalent to one listed in (i)–(ix) is fit.

Now suppose P and Q are both in (i)–(ix) and P Q . Then, it follows from Lemma 2.4 that d ( P ) = d ( Q ) , either u + ( P ) = u + ( Q ) or u + ( P ) = u ( Q ) , and either P and Q or P and Q have the same leading coefficient. Thus, P Q if they are in different groups. It remains to consider the case where P and Q are in the same group.

Suppose P and Q are both in (G1). Note that P Q if and only if either P I ( Q ) or P I ( Q ) . Since all polynomials in (G1) have positive leading coefficients, P I ( Q ) . Thus, P I ( Q ) . By Lemma 2.3 (iv), we have that P = Q .

Suppose P and Q are both in (G2). Assume P ( x ) = P c ( x ) c x 4 + ( 1 + 2 c ) x 3 + ( 2 c ) x 2 ( 2 c + 1 ) x 1 for some c 0 . If P Q , then Q ( x ) = P c ( x ) . Now we have that P c P c . Since d ( P ) = 4 is even, we have that P c = P c ( ± x + b ) , for some b Z . It is easy to check that P c P c ( ± x + b ) for all c Z \ { 0 } and b Z . This contradiction shows that P = Q .

In a similar way, one can prove that if P and Q are both in (G3) (resp. (G4), (G5)), then P = Q .□

Proof of Theorem 1.2

It follows from Lemmas 3.2, 3.3, 3.4, 4.1, and 5.1 that a fit polynomial P is irreducible if and only if P = ± Q 2 for some Q Z [ x ] . Furthermore, if it is the case, then Q x 2 + x 1 , 2 x 1 , or x . That means (i) (ii) (iii). It is obvious that (iii) (iv).□

7 Example

Example 7.1

Let us investigate the irreducibility of

P ( x ) = 3 x 4 6 x 3 2 x 2 + 5 x 1 .

First, by solving P ( x ) = 1 and P ( x ) = 1 , we obtain that u + = u = 2 , and thus, P is fit. Since the leading coefficient of P is 3, we have that P ± Q 2 for all Q Z [ x ] , and thus P is irreducible by Theorem 1.2. It is worth mentioning that P ( x ) = P 3 ( x ) , where P c ( x ) is defined in equation (5).

Note that Eisenstein’s criterion and Perron’s criterion cannot be applied directly to P here. Brown-Graham’s criterion [7] works for P , while the computation is not obvious. Table 5 gives the values of P ( x ) with x 5 , where the only prime is P ( 5 ) = 2,549 . Hence, we obtain p 1 , u 4 , and thus, p + 2 u d > 4 . Therefore, P is irreducible by Lemma 2.7. We also note that Murty’s criterion [6] is also applicable to P in the example.

Table 5

Values of P ( x ) at arguments around 0

x 0 1 1 2 2 3 3 4 4 5 5
P ( x ) 1 1 1 1 77 77 371 371 1099 1099 2549

Acknowledgments

The authors would like to thank the anonymous referees for their careful reading and valuable suggestions. The authors wish to thank Juwei Huang, Yu Li, Siyan Li, and Wenchao Zhang for valuable discussions.

  1. Funding information: This work was supported in part by Guangdong Basic and Applied Basic Research Foundation (2023A1515011690, 2022A1515110634), the Characteristic Innovation Project of Guangdong Provincial Department of Education (2023KTSCX145, 2022WTSCX111), and Guangdong Provincial Educational Science Planning Project (2024GXJK352).

  2. Author contributions: All authors have accepted responsibility for the entire content of this manuscript and consented to its submission to the journal, reviewed all the results, and approved the final version of the manuscript. YC, XZ, and XZ contributed equally to this work.

  3. Conflict of interest: The authors state no conflict of interest.

  4. Data availability statement: All data generated or analyzed during this study are included in this published article.

References

[1] S. Kumar and J. Singh, A study of some recent irreducibility criteria for polynomials having integer coefficients, 2023, arXiv: https://doi.org/10.48550/arXiv.2310.02860.Search in Google Scholar

[2] J. Singh and S. Kumar, A new class of irreducible polynomials, Comm. Algebra 49 (2021), no. 6, 2722–2727, DOI: https://doi.org/10.1080/00927872.2021.1881789. 10.1080/00927872.2021.1881789Search in Google Scholar

[3] W. Zhang and P. Yuan, On two conjectures of irreducible polynomials, Comm. Algebra 51 (2023), no. 11, 4879–4884, DOI: https://doi.org/10.1080/00927872.2023.2222406. 10.1080/00927872.2023.2222406Search in Google Scholar

[4] N. C. Bonciocat, R. Garg, and J. Singh, Some factorization results for bivariate polynomials, Comm. Algebra 53 (2024), no. 1, 328–341, DOI: https://doi.org/10.1080/00927872.2024.2377390. 10.1080/00927872.2024.2377390Search in Google Scholar

[5] J. Singh and R. Garg, Some factorization results on polynomials having integer coefficients, Comm. Algebra 52 (2024), no. 6, 2467–2474, DOI: https://doi.org/10.1080/00927872.2023.2301530. 10.1080/00927872.2023.2301530Search in Google Scholar

[6] M. R. Murty, Prime numbers and irreducible polynomials, Amer. Math. Monthly 109 (2002), no. 5, 452–458, DOI: https://doi.org/10.1080/00029890.2002.11919872. 10.1080/00029890.2002.11919872Search in Google Scholar

[7] W. S. Brown and R. L. Graham, An irreducibility criterion for polynomials over the integers, Amer. Math. Monthly 76 (1969), no. 7, 795–797, DOI: https://doi.org/10.1080/00029890.1969.12000326. 10.1080/00029890.1969.12000326Search in Google Scholar

[8] R. Hazrat, Mathematica: A problem-centered approach, Springer Undergraduate Mathematics Series, vol. 53, Springer, New York, 2010. 10.1007/978-1-84996-251-3Search in Google Scholar

[9] H. L. Dorwart and O. Ore, Criteria for the irreducibility of polynomials, Ann. of Math. 34 (1933), no. 1, 81–94, DOI: https://doi.org/10.2307/1968341. 10.2307/1968341Search in Google Scholar

Received: 2024-10-15
Revised: 2025-04-19
Accepted: 2025-05-05
Published Online: 2025-06-09

© 2025 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Special Issue on Contemporary Developments in Graphs Defined on Algebraic Structures
  2. Forbidden subgraphs of TI-power graphs of finite groups
  3. Finite group with some c#-normal and S-quasinormally embedded subgroups
  4. Classifying cubic symmetric graphs of order 88p and 88p 2
  5. Simplicial complexes defined on groups
  6. Two-sided zero-divisor graphs of orientation-preserving and order-decreasing transformation semigroups
  7. Further results on permanents of Laplacian matrices of trees
  8. Special Issue on Convex Analysis and Applications - Part II
  9. A generalized fixed-point theorem for set-valued mappings in b-metric spaces
  10. Research Articles
  11. Dynamics of particulate emissions in the presence of autonomous vehicles
  12. The regularity of solutions to the Lp Gauss image problem
  13. Exploring homotopy with hyperspherical tracking to find complex roots with application to electrical circuits
  14. The ill-posedness of the (non-)periodic traveling wave solution for the deformed continuous Heisenberg spin equation
  15. Some results on value distribution concerning Hayman's alternative
  16. 𝕮-inverse of graphs and mixed graphs
  17. A note on the global existence and boundedness of an N-dimensional parabolic-elliptic predator-prey system with indirect pursuit-evasion interaction
  18. On a question of permutation groups acting on the power set
  19. Chebyshev polynomials of the first kind and the univariate Lommel function: Integral representations
  20. Blow-up of solutions for Euler-Bernoulli equation with nonlinear time delay
  21. Spectrum boundary domination of semiregularities in Banach algebras
  22. Statistical inference and data analysis of the record-based transmuted Burr X model
  23. A modified predictor–corrector scheme with graded mesh for numerical solutions of nonlinear Ψ-caputo fractional-order systems
  24. Dynamical properties of two-diffusion SIR epidemic model with Markovian switching
  25. Classes of modules closed under projective covers
  26. On the dimension of the algebraic sum of subspaces
  27. Periodic or homoclinic orbit bifurcated from a heteroclinic loop for high-dimensional systems
  28. On tangent bundles of Walker four-manifolds
  29. Regularity of weak solutions to the 3D stationary tropical climate model
  30. A new result for entire functions and their shifts with two shared values
  31. Freely quasiconformal and locally weakly quasisymmetric mappings in metric spaces
  32. On the spectral radius and energy of the degree distance matrix of a connected graph
  33. Solving the quartic by conics
  34. A topology related to implication and upsets on a bounded BCK-algebra
  35. On a subclass of multivalent functions defined by generalized multiplier transformation
  36. Local minimizers for the NLS equation with localized nonlinearity on noncompact metric graphs
  37. Approximate multi-Cauchy mappings on certain groupoids
  38. Multiple solutions for a class of fourth-order elliptic equations with critical growth
  39. A note on weighted measure-theoretic pressure
  40. Majorization-type inequalities for (m, M, ψ)-convex functions with applications
  41. Recurrence for probabilistic extension of Dowling polynomials
  42. Unraveling chaos: A topological analysis of simplicial homology groups and their foldings
  43. Global existence and blow-up of solutions to pseudo-parabolic equation for Baouendi-Grushin operator
  44. A characterization of the translational hull of a weakly type B semigroup with E-properties
  45. Some new bounds on resolvent energy of a graph
  46. Carmichael numbers composed of Piatetski-Shapiro primes in Beatty sequences
  47. The number of rational points of some classes of algebraic varieties over finite fields
  48. Singular direction of meromorphic functions with finite logarithmic order
  49. Pullback attractors for a class of second-order delay evolution equations with dispersive and dissipative terms on unbounded domain
  50. Eigenfunctions on an infinite Schrödinger network
  51. Boundedness of fractional sublinear operators on weighted grand Herz-Morrey spaces with variable exponents
  52. On SI2-convergence in T0-spaces
  53. Bubbles clustered inside for almost-critical problems
  54. Classification and irreducibility of a class of integer polynomials
  55. Existence and multiplicity of positive solutions for multiparameter periodic systems
  56. Averaging method in optimal control problems for integro-differential equations
  57. On superstability of derivations in Banach algebras
  58. Investigating the modified UO-iteration process in Banach spaces by a digraph
  59. The evaluation of a definite integral by the method of brackets illustrating its flexibility
  60. Existence of positive periodic solutions for evolution equations with delay in ordered Banach spaces
  61. Tilings, sub-tilings, and spectral sets on p-adic space
  62. The higher mapping cone axiom
  63. Continuity and essential norm of operators defined by infinite tridiagonal matrices in weighted Orlicz and l spaces
  64. A family of commuting contraction semigroups on l 1 ( N ) and l ( N )
  65. Pullback attractor of the 2D non-autonomous magneto-micropolar fluid equations
  66. Maximal function and generalized fractional integral operators on the weighted Orlicz-Lorentz-Morrey spaces
  67. On a nonlinear boundary value problems with impulse action
  68. Normalized ground-states for the Sobolev critical Kirchhoff equation with at least mass critical growth
  69. Decompositions of the extended Selberg class functions
  70. Subharmonic functions and associated measures in ℝn
  71. Some new Fejér type inequalities for (h, g; α - m)-convex functions
  72. The robust isolated calmness of spectral norm regularized convex matrix optimization problems
  73. Multiple positive solutions to a p-Kirchhoff equation with logarithmic terms and concave terms
  74. Joint approximation of analytic functions by the shifts of Hurwitz zeta-functions in short intervals
  75. Green's graphs of a semigroup
  76. Some new Hermite-Hadamard type inequalities for product of strongly h-convex functions on ellipsoids and balls
  77. Infinitely many solutions for a class of Kirchhoff-type equations
  78. On an uncertainty principle for small index subgroups of finite fields
Downloaded on 5.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2025-0162/html?lang=en
Scroll to top button