Open Journal of Discrete Mathematics
Vol.09 No.01(2019), Article ID:89182,6 pages
10.4236/ojdm.2019.91001
Infinite Parametric Families of Irreducible Polynomials with a Prescribed Number of Complex Roots
Catalin Nitica1, Viorel Nitica2
1Technical College Dimitrie Leonida, Bucharest, Romania
2Department of Mathematics, West Chester University, West Chester, USA
Copyright © 2019 by authors and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
Received: August 26, 2018; Accepted: December 14, 2018; Published: December 17, 2018
ABSTRACT
In this note, for any pair of natural numbers , , , and , we construct an infinite family of irreducible polynomials of degree n, with integer coefficients, that has exactly complex non-real roots if n is even and has exactly complex non-real roots if n is odd. Our work generalizes a technical result of R. Bauer, presented in the classical monograph “Basic Algebra” of N. Jacobson. It is used there to construct polynomials with Galois groups, the symmetric group. Bauer’s result covers the case and n odd prime.
Keywords:
İrreducible Polynomial, Complex Roots, Real Roots, Galois Theory
1. Introduction
1.1. Here We Recall a Couple of Basic Facts and State Our Main Result
Let ℤ denote the set of integers and let ℤ[X] denote the ring of polynomials with integer coefficients. A polynomial f over a field or a ring is called irreducible if it cannot be factored as a product of two non-constant polynomials with coefficients in that field. A criterion to check irreducibility over the rational numbers is Eisenstein irreducibility criterion [Exercise 2, page 127] [1] , which states that, given f ∊ ℤ[X], if there exists a prime p that divides all coefficients of f except the leading coefficient and if p2 does not divide the free term, then f is irreducible over the rationales. It is also irreducible over the integers, unless all its coefficients have a nontrivial factor in common.
1.2. Our Main Result Is the Following Theorem
Theorem 1. For any pair of natural numbers , , , and , there exists an infinite parametric family of irreducible polynomials in ℤ[X] of degree n, which have exactly complex non-real roots if n is even and exactly complex non-real roots if n is odd.
Remark 1. The case can also be easily covered. If n is even, consider prime, which is irreducible due to Eisenstein criterion and has no real roots. If n is odd, consider prime, which is irreducible due to Eisenstein criterion and has exactly one real root.
Our result generalizes a technical result of the American mathematician R. Bauer which is presented in the classical monograph “Basic Algebra” of N. Jacobson [see the proof of Theorem 8, page 107] [1] . The result of Bauer is used to construct polynomials with prescribed Galois groups, more precisely the symmetric group. Bauer’s result covers the case where and n is an odd prime from Theorem 1.
2. The Basic Construction
Observe that if , the polynomial is irreducible and has exactly two non-real roots. Therefore in what follows we can assume that .
From now on n, k are integers such that . In order to simplify the notation, we introduce the variable if n is even and if n is odd. In both cases m is even.
We define
.
If n is even define
and if n is odd define
.
In both cases define
where is an odd positive integer of size to be determined later.
The polynomial has exactly real roots. It follows from Rolle’s Theorem that has points of local extrema:
,
.
The points of local extrema alternate between local maxima and local minima. On all intervals
(1)
the polynomial is strictly monotonic and the derivative has constant sign. Otherwise, would have other zeroes besides , so overall more then , in contradiction with the fact that it is a polynomial of degree .
If n is odd, the minimum of the absolute value of the polynomial in the points of local extrema is larger then the minimum of the absolute value of in the odd integers in the interval . If n is even, the minimum of the absolute value of the polynomial in the points of local extrema is larger then the minimum of the absolute value of in the odd integers in the interval and in zero. In the first case the minimum is and in the second case the minimum is . If we denote , then
Lemma 1. If has constant sign, strictly positive or strictly negative, on an interval from (1), then for any such that , there exists such that has the same sign with on the interval .
Proof. We first considered the case when a and b are finite numbers and . Let
One has and for the right member of the last equation is greater than 1 for .
Assume now that .
Let , , .
One has . Then for the right member of the last equation is less than −1 when .
If , then . In particular, . Also, , if n is odd and , if n is even. Assume that n is odd. Then is a polynomial of even degree that can be negative only on a finite interval . On one has if . We show that on . Define
One has the estimates:
. Then for the right member of the last equation is greater than 1 when .
Assume now that n is even. Then is an odd degree polynomial which can be positive only on a finite subinterval of , say . So . We show that . Define
One has the estimates . Then for the right member of the last equation is greater than −1 when .
If , then , and if , independent of the parity of n. The polynomial can be negative only on a finite subinterval . If , then if .
We show that . Let
One has the estimates: . Then for the right member of the last equation is greater than 1 when .
We are ready to prove the main result. Consider the polynomial , which has the leading coefficient equal to 1, the free coefficient divisible by 2, but not by 4, and due to Viete’s formulas, all the other coefficients are divisible by 4. It follows that the coefficients of have no nontrivial common factor and it follows from Eisenstein criterion that is irreducible. To finish the proof of the main result it is enough to show that for large enough has exactly real roots.
Due to the continuity of there exists such that for any one has
Because , it follows from above that for one has
(2)
After choosing a smaller , if needed, one can apply Lemma 1 and choose such that the sign of is constant, strictly positive or strictly negative, on each of the following intervals:
For all the intervals above, due to (2) the image of contains the interval . As is continuous it follows that the line intersects the graph of the polynomial over these intervals in exactly points, with in these points different from zero. Due to (2), outside the intervals above cannot be zero. Therefore has real roots, all simple.
3. Conclusions
In this paper we construct infinite parametric families of irreducible polynomials in ℤ[X] with a prescribed number of complex, non-real, roots. Of some interest would be to find good estimates for the smallest good value of the parameter . The proof of Theorem 1 provides some rough estimates of order where n is the degree of the polynomial. Numerical experiments, nevertheless, show that many times is sufficient. The following examples illustrate this observation.
Example 1. Let
for . has 10 complex non-real roots and 9 real roots.
Example 2. Let
for . has 10 complex non-real roots and 9 real roots.
Example 3. Let
for . has 10 complex non-real roots and 8 real roots.
Example 4. Let
for . has 10 complex non-real roots and 8 real roots.
Acknowledgements
The second author is grateful to his colleague, Professor Shiv Gupta from West Chester University of Pennsylvania, for initiating several discussions that leaded to this paper. He is also grateful to the referee of the paper for useful comments.
Conflicts of Interest
The authors declare no conflicts of interest regarding the publication of this paper.
Cite this paper
Nitica, C. and Nitica, V. (2019) Infinite Parametric Families of Irreducible Polynomials with a Prescribed Number of Complex Roots. Open Journal of Discrete Mathematics, 9, 1-6. https://doi.org/10.4236/ojdm.2019.91001
References
- 1. Jacobson, N. (1964) Lectures in Abstract Algebra, III. Theory of Fields and Galois Theory. Springer-Verlag, Berlin. https://doi.org/10.1007/978-1-4612-9872-4