<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OJDM</journal-id><journal-title-group><journal-title>Open Journal of Discrete Mathematics</journal-title></journal-title-group><issn pub-type="epub">2161-7635</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ojdm.2019.92006</article-id><article-id pub-id-type="publisher-id">OJDM-91574</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Irreducible Polynomials in &amp;#918;[x] That Are Reducible Modulo All Primes
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Shiv</surname><given-names>Gupta</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Department of Mathematics, West Chester University, West Chester, USA</addr-line></aff><pub-date pub-type="epub"><day>07</day><month>03</month><year>2019</year></pub-date><volume>09</volume><issue>02</issue><fpage>52</fpage><lpage>61</lpage><history><date date-type="received"><day>20,</day>	<month>December</month>	<year>2018</year></date><date date-type="rev-recd"><day>30,</day>	<month>March</month>	<year>2019</year>	</date><date date-type="accepted"><day>2,</day>	<month>April</month>	<year>2019</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The polynomial x
  <sup>4</sup>+1 
  is irreducible in &amp;#918;[x]
  
   but is locally reducible, that is, it factors modulo p for all primes p. In this paper we investigate this phenomenon and prove that
   
  for any composite natural number N there are monic irreducible polynomials in &amp;#918;[x]
  
   which are reducible modulo every prime.
 
</p></abstract><kwd-group><kwd>Irreducible Polynomial</kwd><kwd> Reducible Polynomial</kwd><kwd> Galois Theory</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The polynomials of the title of this article have been discussed by Brandl [<xref ref-type="bibr" rid="scirp.91574-ref1">1</xref>] , and Guralnick et al. [<xref ref-type="bibr" rid="scirp.91574-ref2">2</xref>] . Brandl’s paper excludes those N which are such that ( N , φ ( N ) ) = 1 . These are precisely the composite integers N for which there is only one abstract group of order N. The paper by Guralnick et al. does show the existence of such polynomials for all composite N’s. Our proof of the same is different, more elementary, and in some cases even constructive.</p><p>We shall first enumerate the known results which we shall use in this article. Several of these results are true more generally but we shall state them as needed in this article.</p><p>1) Let f ( x ) ∈ ℚ [ x ] be a non-constant polynomial. Then the Galois group of f(x) over ℚ acts transitively on its roots if and only if f(x) is a power of an irreducible polynomial over ℚ .</p><p>2) Let K 1 / ℚ , K 2 / ℚ be finite normal extensions that is, splitting fields of some polynomial. Let K 1 K 2 denote the compositum of the fields K 1 , K 2 , that is, the smallest subfield of containing K 1 , K 2 . Then K is a normal extension of ℚ and if [ K 1 : ℚ ] and [ K 2 : ℚ ] are coprime. Then</p><p>A u t ( K / ℚ ) = A u t ( K 1 / ℚ ) &#215; A u t ( K 2 / ℚ )</p><p>3) Every finite solvable group can be realized as a Galois group of some polynomials over ℚ . Same is true of the symmetric groups S n and alternating groups A n . We shall only need this result for cyclic groups, Frobenius groups and for the groups S n and A n [<xref ref-type="bibr" rid="scirp.91574-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.91574-ref4">4</xref>] and [<xref ref-type="bibr" rid="scirp.91574-ref5">5</xref>] .</p><p>4) Let f ( x ) ∈ ℚ [ x ] be an irreducible polynomials of degree n. Let α 1 , α 2 , ⋯ , α n be its roots. Let r be an integer, 1 &lt; r &lt; n − 1 and C n r = m . Let f r ( x ) denote the polynomial whose roots are all sums of r different α 1 . Then f r ( x ) ∈ ℚ [ x ] and f ( x ) and f r ( x ) have the same splitting field [<xref ref-type="bibr" rid="scirp.91574-ref6">6</xref>] .</p><p>5) Let f ( x ) ∈ ℤ [ x ] be a monic irreducible polynomial of degree n and p a prime which does not divide the discriminant of f(x). Let G = G a l ( f ) be the Galois group of f ( x ) over ℚ . Suppose that modulo p the polynomial f ( x ) factors into irreducible polynomials of degrees n 1 , n 2 , ⋯ , n t so n 1 + n 2 + ⋯ + n t = n . Then there is σ ∈ G such that as a permutation on the n roots of f ( x ) , σ = σ 1 σ 2 ⋯ σ t , where σ i is acyclic permutation of length n i for 1 ≤ i ≤ n . See [<xref ref-type="bibr" rid="scirp.91574-ref7">7</xref>] .</p><p>6) Let N be any composite natural number and f ( x ) ∈ ℤ [ x ] be a monic irreducible polynomial of degree N whose Galois group over ℚ does not have any element of order N. Then f ( x ) is reducible modulo every prime. This is an immediate consequence of (5) above.</p></sec><sec id="s2"><title>2. Theorem and Proof</title><p>Theorem: For every composite natural number N there is a monic irreducible polynomial f ( x ) ∈ ℤ [ x ] of degree N which is reducible modulo every prime.</p><p>Case I N is not square-free</p><p>We write N = p t m where t &gt; 1 and p is a prime which does not divide m. Let G 1 be any non-cyclic group of order p t and G 2 a cyclic group of order m. Let f 1 ( x ) ∈ ℤ [ x ] be an irreducible polynomial of degree p t with Galois group isomorphic to G 1 and f 2 ( x ) ∈ ℤ [ x ] be an irreducible polynomial of degree m with Galois group isomorphic to G 2 . Let K 1 and K 2 be splitting fields of f 1 ( x ) and f 2 ( x ) respectively. Let K = K 1 K 2 be the compositum of the fields K 1 and K 2 . Then K is of degree N over ℚ and G = A u t ( K / ℚ ) is isomorphic to G 1 &#215; G 2 and so it does not have any element of order N. Let α be any algebraic integer such that K = ℚ ( \ α ) . Let f ( x ) be the minimum polynomial of α. Then f ( x ) ∈ ℤ [ x ] is a monic irreducible polynomial of degree N and its Galois group does not have any element of order N and therefore f ( x ) has the desired property.</p><p>Case II N is square-free and gcd(N, φ(N)) &gt; 1</p><p>In this case we can write N = p q m where p, q are primes, p divides q − 1 and gcd ( p q , m ) = 1 . Let G 1 be a non-abelian group of order pq and G 2 a cyclic group of order m. Just as in the previous case we get a monic irreducible polynomial in ℤ [ x ] of degree N whose Galois group does not contain an elementof order N.</p><p>Case III, N is square-free and gcd(N, φ(N)) = 1</p><p>In this case N is necessarily odd. First we assume that N is a product of just two primes. So let N = p q , where p and q are distinct primes, p &lt; q and p does not divide q − 1 . Let t be the order of p modulo q. So t &gt; 1 is the smallest integer such that p t ≡ 1 ( mod q ) . Let G 1 be an elementary Abelian p-group of order p t and G 2 be a group of order q. We note that A u t ( G 1 ) is isomorphic to G L ( t , p ) and so its order is divisible by q. Let G = G 1 &#215; G 2 be the semi-direct product of G 1 by G 2 . Evidently G is not a direct product of G 1 and G 2 . Therefore G 2 is not a normal subgroup of G. We claim that G 2 is its own normalizer in G. For otherwisethe index of the normalizer of G 2 in G would be p r , for some r, 1 ≤ r &lt; t which would contradict the fact that t is the smallest integer satisfying p t ≡ 1 ( mod q ) . Since G 2 has prime order q it is disjoint from its conjugates. Therefore G is a Frobenius group of order p t , q and every non-identity element of G 2 induces a fixed-point-free automorphism of G 1 .</p><p>Let K be a normal extension of ℚ with Galois group isomorphic to G. Then [ K : ℚ ] = p t q . Let H be a subgroup of G of order p t − 1 and let F ⊆ K be its fixed subfield.</p><p>Then by FTGT ({Fundamental Theorem of Galois Theory}) the field F is of degree pq over ℚ . We also note that as H is not a normal subgroup of G, F is not a normal extension of ℚ . Let α be an algebraic integer such that F = ℚ ( α ) and let f ( x ) be its minimal polynomial over ℚ . Then f ( x ) ∈ ℤ [ x ] is irreducible of degree pq.</p><p>We claim that K is the splitting field of f ( x ) (i.e. it is the normal closure of the field F ) and G is its Galois group over ℚ .</p><p>If the normal closure of F were a proper subfield of K then it would imply that G has a proper normal subgroup of order p r where r &lt; t , but this is not possible, as G is a Frobenius group. So f ( x ) ∈ ℤ [ x ] is a monic irreducible polynomials of degree N = p q and its Galois group over ℚ does not have any element of order N = p q .</p><p>Finally assume that N and φ ( N ) are coprime and N is a product of more than two primes. We write N = p q m , where p, q are primes and gcd ( p q , m ) = 1 . Let t = order of p modulo q. As discussed in the previous case let f 1 ( x ) ∈ ℤ [ x ] be a monic irreducible polynomial of degree pq whose Galois group is the semi-direct product of an elementary group of order p t by a cyclic group of order q and is a Frobenius group.</p><p>Let G 1 denote this Frobenius group of order p t q and K 1 denote the splitting field of f 1 ( x ) . Let G 2 be a cyclic group of order m and f 2 ( x ) ∈ ℤ [ x ] be a monic irreducible polynomialof degree m whose splitting field is K 2 and Galois group over ℚ is G 2 .</p><p>Let K = K 1 K 2 be the compositum of the fields K 1 and K 2 . Let p q = n and</p><p>f 1 ( x ) = ∏ ​ i = 1 n ( x − α i )</p><p>f 2 ( x ) = ∏ ​ j = 1 m ( x − β j )</p><p>f ( x ) = ∏ ​ j = 1 m ∏ ​ i = 1 n ( x − α i β j )</p><p>We note the following:</p><p>1) [ K 1 : ℚ ] = p t q , [ K 2 : ℚ ] = m , [ K : ℚ ] = p t q m ;</p><p>2) K 1 = ℚ ( α 1 , α 2 , ⋯ , α n ) ;</p><p>3) K 2 = ℚ ( β 1 , β 2 , ⋯ , β m ) ;</p><p>4) K = ℚ ( α 1 , α 2 , ⋯ , α n , β 1 , β 2 , ⋯ , β m ) ;</p><p>5) G = A u t ( K / ℚ ) is a group of order p t q m isomorphic to the direct product of aFrobenius group of order p t q and a cyclic group of order . Therefore it does not have an element of order N = p q m . Note that this Frobenius groupdoes not have any subgroup of order pq.</p><p>6) The group G transitively permutes the nm algebraic numbers α i β j , 1 ≤ i ≤ n , 1 ≤ j ≤ m . So f ( x ) ∈ ℤ [ x ] is an irreducible polynomial of degree N = p q m , whose Galois group does not have any element of order N. This completes the proof of our theorem.</p></sec><sec id="s3"><title>3. Alternate Methods</title><p>As we noticed the construction of irreducible polynomials in ℤ [ x ] of odd composite degree N where gcd ( N , φ ( N ) ) = 1 , and whose Galois group does not contain an element of order N is not so straight forward. In some case such as N = 15 or N = 35 there is another interesting method of construction of such polynomials. In fact it works for most N’s (with very few exceptions) which are such that C n r = N for some n and r such that 1 &lt; r &lt; n − 1 . The method we are about to describe fails in cases where C n r = N but the symmetric group S n does have an element of order N, as it happens when n = 15 , r = 2 and N = 105 .</p><p>As the symmetric group on 15 letters does have an element of order 105 = C 15 2 , namely a permutation which is a product of 3, 5 and a 7-cycle. Let f ( x ) ∈ ℤ [ x ] be a monic irreducible polynomial of degree n &gt; 4 whose Galois group is isomorphic to either A n or S n . Let r be such that 1 &lt; r &lt; n − 1 and C n r = N . Further assume that S n does not have any element order N. We know that S n is n-transitive and A n is ( n − 2 ) -transitive on n letters. Let f r ( x ) denote a polynomial of degree N = C n r whose roots are sum of all r different roots of f ( x ) . Let the roots of f r ( x ) be β i , where 1 ≤ i ≤ N. The polynomials f ( x ) and let f r ( x ) have the same splitting field. Since both S n . and A n transitively permute the N, roots of Let f r ( x ) this polynomial is irreducible. So the polynomial let f r ( x ) is the required polynomial of degree N, whose Galois group does not have any element of order N.</p></sec><sec id="s4"><title>4. Examples</title><p>1) The first interesting case is for N = 15 . Let f ( x ) ∈ ℤ [ x ] be an irreduciblemonic polynomial of degree six whose Galois group over ℚ is isomorphic to symmetric oralternating group on five or six letters. Then f 2 ( x ) ∈ ℤ [ x ] is an irreducible monic polynomial whose Galois group is the same as that of f ( x ) and so does not have any element of order 15. Therefore f 2 ( x ) is reducible modulo every prime. For instance let f ( x ) = x 6 + 24 x − 20 whose discriminant is 2 16 ⋅ 3 6 ⋅ 5 6 . We note that</p><p>f ( x ) ≡ ( x + 3 ) ( x 5 + 4 x 4 + 2 x 3 + x 2 + 4 x + 5 ) ( mod 7 )</p><p>f ( x ) ≡ ( x + 7 ) ( x + 12 ) ( x + 21 ) ( x 3 + 6 x 2 + 13 x + 16 ) ( mod 23 )</p><p>f ( x ) ≡ ( x 2 + 26 x + 10 ) ( x 4 + 3 x 3 + 28 x 2 + 25 x + 27 ) ( mod 29 )</p><p>It follows that f ( x ) is irreducible over <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x205.png" xlink:type="simple"/></inline-formula> and its Galois group G over <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x206.png" xlink:type="simple"/></inline-formula> is 2-transitive on its roots and has a 3-cycle. Therefore G is isomorphic to <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x207.png" xlink:type="simple"/></inline-formula> the alternating group on six letters [<xref ref-type="bibr" rid="scirp.91574-ref8">8</xref>] . We know that <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x208.png" xlink:type="simple"/></inline-formula> is 4-transitive on six letters. Let <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x209.png" xlink:type="simple"/></inline-formula> represent the polynomial of degree 15 whose <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x210.png" xlink:type="simple"/></inline-formula> roots are the sumsof the roots of <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x211.png" xlink:type="simple"/></inline-formula> taken two at a time. This polynomial turns out to be</p><disp-formula id="scirp.91574-formula1"><graphic  xlink:href="//html.scirp.org/file/2-1200373x212.png"  xlink:type="simple"/></disp-formula><p>The Galois group of this polynomial is the same as that of <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x213.png" xlink:type="simple"/></inline-formula> and so is isomorphic to<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x214.png" xlink:type="simple"/></inline-formula>. As <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x215.png" xlink:type="simple"/></inline-formula> has no element of order 15 this polynomial is reducible modulo every prime.</p><p>2) The second example is for<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x216.png" xlink:type="simple"/></inline-formula>. As<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x217.png" xlink:type="simple"/></inline-formula>, we start with a some monic polynomial <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x218.png" xlink:type="simple"/></inline-formula> of degree 7 with Galois group isomorphic to <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x219.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x220.png" xlink:type="simple"/></inline-formula>. The polynomial of degree 35 whose roots are the sums of three different roots of <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x221.png" xlink:type="simple"/></inline-formula> is the required polynomial whose Galois group (being isomorphic to <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x222.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x223.png" xlink:type="simple"/></inline-formula>) does not have any element of order 35. To illustrate this we begin with the polynomial <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x224.png" xlink:type="simple"/></inline-formula> of degree 7. We observe that the discriminant of the polynomial is <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x225.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/2-1200373x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x226.png" xlink:type="simple"/></inline-formula> is irreducible modulo 5. Also</p><disp-formula id="scirp.91574-formula2"><graphic  xlink:href="//html.scirp.org/file/2-1200373x227.png"  xlink:type="simple"/></disp-formula><p>So <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x228.png" xlink:type="simple"/></inline-formula> is an irreducible polynomial of degree 7 whose discriminant is a square and Galois group G has a 3-cycle. So G is isomorphic to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x229.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.91574-ref8">8</xref>] .</p><p>Suppose that the roots of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x230.png" xlink:type="simple"/></inline-formula> are<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x231.png" xlink:type="simple"/></inline-formula>. The polynomial <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x232.png" xlink:type="simple"/></inline-formula> of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x233.png" xlink:type="simple"/></inline-formula> whose roots are<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x234.png" xlink:type="simple"/></inline-formula>, is</p><disp-formula id="scirp.91574-formula3"><graphic  xlink:href="//html.scirp.org/file/2-1200373x235.png"  xlink:type="simple"/></disp-formula><p>This polynomial is irreducible over<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x236.png" xlink:type="simple"/></inline-formula>. As its Galois group is isomorphic to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x237.png" xlink:type="simple"/></inline-formula> which does not have any element of order 21 this polynomial is reducible modulo every prime.</p><p>The polynomial <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x238.png" xlink:type="simple"/></inline-formula> of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x239.png" xlink:type="simple"/></inline-formula> whose roots are <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x240.png" xlink:type="simple"/></inline-formula>, is</p><disp-formula id="scirp.91574-formula4"><graphic  xlink:href="//html.scirp.org/file/2-1200373x241.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.91574-formula5"><graphic  xlink:href="//html.scirp.org/file/2-1200373x242.png"  xlink:type="simple"/></disp-formula><p>This polynomial is irreducible over <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x243.png" xlink:type="simple"/></inline-formula> and its Galois group is isomorphic to<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x244.png" xlink:type="simple"/></inline-formula>. As <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x245.png" xlink:type="simple"/></inline-formula> does not have any element of order 35 this polynomial is reducible modulo every prime. Its discriminant is the following 311-digit number</p><disp-formula id="scirp.91574-formula6"><graphic  xlink:href="//html.scirp.org/file/2-1200373x246.png"  xlink:type="simple"/></disp-formula><p>Note: The composite natural numbers N below 100 which are such that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x247.png" xlink:type="simple"/></inline-formula> are</p><disp-formula id="scirp.91574-formula7"><graphic  xlink:href="//html.scirp.org/file/2-1200373x248.png"  xlink:type="simple"/></disp-formula><p>Among these numbers the method described above works for N = 15, 35 and 91. This is so because<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x249.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x250.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x251.png" xlink:type="simple"/></inline-formula>. As starting with a polynomial of degree 7 with Galois group isomorphic to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x252.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x253.png" xlink:type="simple"/></inline-formula>, we constructed an irreducible polynomial of degree 35 which is reducible modulo every prime, likewise starting with a polynomial of degree14 with Galois group isomorphic to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x254.png" xlink:type="simple"/></inline-formula> or <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x255.png" xlink:type="simple"/></inline-formula> we can construct an irreducible polynomial of degree 91 which is reducible modulo every prime.</p><p>3) The method discussed in the previous examples above does not work for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula>. For this we proceed as in the proof of our theorem. As the order of 11 modulo 3 is 2 we construct a Frobenius group G of order <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula> which is a semi-direct product of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula> by a group of order 3. More specifically we extend the group <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula> by the group <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula> of order three where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x261.png" xlink:type="simple"/></inline-formula> is the automorphism of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x262.png" xlink:type="simple"/></inline-formula> given by<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x263.png" xlink:type="simple"/></inline-formula>. It is easily seen that this automorphism has order three and is fixed-point-free.The resulting group, the semi-direct product of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x264.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x265.png" xlink:type="simple"/></inline-formula> is a Frobenius group of order 363 having the subgroup <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x266.png" xlink:type="simple"/></inline-formula> as its kernel and the group <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x267.png" xlink:type="simple"/></inline-formula> as its complement.</p><p>This Frobenius group of order 363 does not have any subgroup of order 33. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x268.png" xlink:type="simple"/></inline-formula> be a normal extension whose Galois group is isomorphic to G.</p><p>Let H be a subgroup of G of order 11 and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x269.png" xlink:type="simple"/></inline-formula> be its fixed subfield. By FTGT (Fundamental Theorem of Galois Theory) the field <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x270.png" xlink:type="simple"/></inline-formula> has degree 33 over<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x271.png" xlink:type="simple"/></inline-formula>. Let α be an algebraic integer such that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x272.png" xlink:type="simple"/></inline-formula> and let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x273.png" xlink:type="simple"/></inline-formula> be its minimum polynomial. As proved in the theorem this polynomial has degree 33 and its Galois group is a Frobenius group of order <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x273.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x274.png" xlink:type="simple"/></inline-formula> which does not have any subgroup of order 33 andtherefore the irreducible polynomials <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x273.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x274.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x275.png" xlink:type="simple"/></inline-formula> is reducible modulo every prime.</p></sec><sec id="s5"><title>5. Construction of the Polynomials <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x276.png" xlink:type="simple"/></inline-formula></title><p>It remains to be seen that given a degree n polynomial <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x277.png" xlink:type="simple"/></inline-formula> how we can compute the polynomial<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x278.png" xlink:type="simple"/></inline-formula>, for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x279.png" xlink:type="simple"/></inline-formula>. This can be done with thehelp of the concept of the resultant of two polynomials. Let</p><disp-formula id="scirp.91574-formula8"><graphic  xlink:href="//html.scirp.org/file/2-1200373x280.png"  xlink:type="simple"/></disp-formula><p>be polynomials of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula> respectively (so<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula>) with coefficients in a field<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x284.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x285.png" xlink:type="simple"/></inline-formula> be the zeros of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x286.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x287.png" xlink:type="simple"/></inline-formula> in some extension of<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x288.png" xlink:type="simple"/></inline-formula>. Writing <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x289.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x290.png" xlink:type="simple"/></inline-formula> as simply f and g, and resultant simply as Res we have</p><disp-formula id="scirp.91574-formula9"><graphic  xlink:href="//html.scirp.org/file/2-1200373x291.png"  xlink:type="simple"/></disp-formula><p>As this resultant is equal to the following determinant of order<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x292.png" xlink:type="simple"/></inline-formula>, its value can be computed with the help of any symbolic computation package such as MATHEMATICA.</p><disp-formula id="scirp.91574-formula10"><graphic  xlink:href="//html.scirp.org/file/2-1200373x293.png"  xlink:type="simple"/></disp-formula><p>In this determinant all the missing entries are zeros. The entries in the first m rows are the coefficients of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula> and those in the last n rows are the coefficients of<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula>. If f and g are polynomials in two variables x and y then we can determine their resultant with respect to any of the variable. For the discussion of the calculation of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x296.png" xlink:type="simple"/></inline-formula> for a given polynomial <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x297.png" xlink:type="simple"/></inline-formula> it will be convenient to deal with monic polynomials. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x298.png" xlink:type="simple"/></inline-formula> be a polynomial of degree n with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x298.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x299.png" xlink:type="simple"/></inline-formula>. The polynomial <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x298.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x300.png" xlink:type="simple"/></inline-formula> can be regarded as a monic polynomial of degree n in y with coefficientsin the polynomial ring<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x298.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x301.png" xlink:type="simple"/></inline-formula>. As a polynomial in y its n zeros are<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x294.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x298.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x302.png" xlink:type="simple"/></inline-formula>. We note that</p><disp-formula id="scirp.91574-formula11"><graphic  xlink:href="//html.scirp.org/file/2-1200373x303.png"  xlink:type="simple"/></disp-formula><p>This observation and (and similar ones) will be used repeatedly in what follows. As before we let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x304.png" xlink:type="simple"/></inline-formula> denote the monic polynomial of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x305.png" xlink:type="simple"/></inline-formula> with zeros <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x306.png" xlink:type="simple"/></inline-formula>where<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x307.png" xlink:type="simple"/></inline-formula>.</p><p>We shall show how to find <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x308.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x309.png" xlink:type="simple"/></inline-formula>. The method discussed can be easily generalized to larger values of r.</p><sec id="s5_1"><title>5.1. Computation of f<sub>2</sub>(x)</title><p>Let</p><disp-formula id="scirp.91574-formula12"><graphic  xlink:href="//html.scirp.org/file/2-1200373x310.png"  xlink:type="simple"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x311.png" xlink:type="simple"/></inline-formula> is a polynomial of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x312.png" xlink:type="simple"/></inline-formula> with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x312.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x313.png" xlink:type="simple"/></inline-formula>. So the <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x312.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x313.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x314.png" xlink:type="simple"/></inline-formula> zeros of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x312.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x313.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x315.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x312.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x313.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x316.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x312.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x313.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x317.png" xlink:type="simple"/></inline-formula>, each appearing twice. Let</p><disp-formula id="scirp.91574-formula13"><graphic  xlink:href="//html.scirp.org/file/2-1200373x318.png"  xlink:type="simple"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x319.png" xlink:type="simple"/></inline-formula> is a monic polynomial of degree n with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x319.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x320.png" xlink:type="simple"/></inline-formula>. Therefore, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x319.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x320.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x321.png" xlink:type="simple"/></inline-formula>is a polynomial of degree<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x319.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x320.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x321.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x322.png" xlink:type="simple"/></inline-formula>, with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x319.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x320.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x321.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x322.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x323.png" xlink:type="simple"/></inline-formula>, each zeroappearing twice. Therefore,</p><disp-formula id="scirp.91574-formula14"><graphic  xlink:href="//html.scirp.org/file/2-1200373x324.png"  xlink:type="simple"/></disp-formula><p>is a polynomial of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x325.png" xlink:type="simple"/></inline-formula> with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x325.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x326.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s5_2"><title>5.2. Computation of f<sub>3</sub>(x)</title><p>We first note that, as a polynomial in y, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x327.png" xlink:type="simple"/></inline-formula>has degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x328.png" xlink:type="simple"/></inline-formula> and has roots <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x329.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x330.png" xlink:type="simple"/></inline-formula>. In other words we can write</p><disp-formula id="scirp.91574-formula15"><graphic  xlink:href="//html.scirp.org/file/2-1200373x331.png"  xlink:type="simple"/></disp-formula><p>Let</p><disp-formula id="scirp.91574-formula16"><graphic  xlink:href="//html.scirp.org/file/2-1200373x332.png"  xlink:type="simple"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x333.png" xlink:type="simple"/></inline-formula> is a polynomial of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x333.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x334.png" xlink:type="simple"/></inline-formula> whose zeros are of following types.</p><p><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x335.png" xlink:type="simple"/></inline-formula>, each appearing three times.</p><disp-formula id="scirp.91574-formula17"><graphic  xlink:href="//html.scirp.org/file/2-1200373x336.png"  xlink:type="simple"/></disp-formula><p>We check that the total number adds up to the right degree, namely</p><disp-formula id="scirp.91574-formula18"><graphic  xlink:href="//html.scirp.org/file/2-1200373x337.png"  xlink:type="simple"/></disp-formula><p>We shall now find a polynomial with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x338.png" xlink:type="simple"/></inline-formula>. Let</p><disp-formula id="scirp.91574-formula19"><graphic  xlink:href="//html.scirp.org/file/2-1200373x339.png"  xlink:type="simple"/></disp-formula><p>Here as before we have multiplied by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x340.png" xlink:type="simple"/></inline-formula> to ensure that the first polynomial in the argument of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x341.png" xlink:type="simple"/></inline-formula> is monic. We note that as a polynomial in y the roots of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x342.png" xlink:type="simple"/></inline-formula> are<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x343.png" xlink:type="simple"/></inline-formula>, for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x343.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x344.png" xlink:type="simple"/></inline-formula>. Also <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x343.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x344.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x345.png" xlink:type="simple"/></inline-formula> is a polynomial of degree<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x343.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x344.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x345.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x346.png" xlink:type="simple"/></inline-formula>. In fact</p><disp-formula id="scirp.91574-formula20"><graphic  xlink:href="//html.scirp.org/file/2-1200373x347.png"  xlink:type="simple"/></disp-formula><p>So the zeros of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x348.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x348.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x349.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x348.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x349.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x350.png" xlink:type="simple"/></inline-formula>. Let</p><disp-formula id="scirp.91574-formula21"><graphic  xlink:href="//html.scirp.org/file/2-1200373x351.png"  xlink:type="simple"/></disp-formula><p>So <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x352.png" xlink:type="simple"/></inline-formula> is a monic polynomial with zeros <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x353.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x354.png" xlink:type="simple"/></inline-formula> is a monic polynomial of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x355.png" xlink:type="simple"/></inline-formula> with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x356.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x357.png" xlink:type="simple"/></inline-formula>. We also note that</p><disp-formula id="scirp.91574-formula22"><graphic  xlink:href="//html.scirp.org/file/2-1200373x358.png"  xlink:type="simple"/></disp-formula><p>is a polynomial of degree <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x359.png" xlink:type="simple"/></inline-formula> with zeros<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x360.png" xlink:type="simple"/></inline-formula>, each repeated three times. Therefore</p><disp-formula id="scirp.91574-formula23"><graphic  xlink:href="//html.scirp.org/file/2-1200373x361.png"  xlink:type="simple"/></disp-formula><p>is the required polynomial of degree<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x362.png" xlink:type="simple"/></inline-formula>.</p></sec></sec><sec id="s6"><title>6. Addendum</title><p>Bernard Dominique [<xref ref-type="bibr" rid="scirp.91574-ref9">9</xref>] sent us a list of following eighteen irreducible polynomials of degree 33 and informed us that these are reducible for all primes<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x363.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.91574-formula24"><graphic  xlink:href="//html.scirp.org/file/2-1200373x364.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.91574-formula25"><graphic  xlink:href="//html.scirp.org/file/2-1200373x365.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.91574-formula26"><graphic  xlink:href="//html.scirp.org/file/2-1200373x366.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.91574-formula27"><graphic  xlink:href="//html.scirp.org/file/2-1200373x367.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.91574-formula28"><graphic  xlink:href="//html.scirp.org/file/2-1200373x368.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.91574-formula29"><graphic  xlink:href="//html.scirp.org/file/2-1200373x369.png"  xlink:type="simple"/></disp-formula><p>If the Galois group of any of these polynomials regarded as a permutation on its 33 roots had a 33-cycle then according to Cebotarev Density Theorem the density of primes p for which any of these polynomials is irreducible should be <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x370.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.91574-ref10">10</xref>] . As there is no such prime <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x370.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x371.png" xlink:type="simple"/></inline-formula> we believe that these polynomials are reducible for all primes. However, in the absence of any information about their Galois group we do not have a proof that any of these polynomials is locally reducible for all primes.</p></sec><sec id="s7"><title>7. Conclusion</title><p>In this paper we have shown that for any composite natural number N there are polynomials of degree N with integer coefficients which are irreducible in <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/2-1200373x372.png" xlink:type="simple"/></inline-formula> but which are reducible modulo p for every prime p and we have given method of construction of such polynomials for various values of N.</p></sec><sec id="s8"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s9"><title>Cite this paper</title><p>Gupta, S. (2019) Irreducible Polynomials in ℤ[x] That Are Reducible Modulo All Primes. Open Journal of Discrete Mathematics, 9, 52-61. https://doi.org/10.4236/ojdm.2019.92006</p></sec></body><back><ref-list><title>References</title><ref id="scirp.91574-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Brandl, R. (1986) Integer Polynomials That Are Reducible Modulo All Primes. American Mathematical Monthly, 93, 286-288. https://doi.org/10.1080/00029890.1986.11971807</mixed-citation></ref><ref id="scirp.91574-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Guralnick, R., Schacher, M.M. and Sonn, J. (2005) Irreducible Polynomials Which Are Locally Reducible Everywhere. Proceedings of the American Mathematical Society, 133, 3171-3177. https://doi.org/10.1090/S0002-9939-05-07855-X</mixed-citation></ref><ref id="scirp.91574-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Safarevic, I.R. (1956) Construction of Fields of Algebraic Numbers with a Given Soluble Galois Group. Isv. Nauk. SSSR, 18, 274.</mixed-citation></ref><ref id="scirp.91574-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Schur, I. (1930) Gleichungen ohne Affeckt. Gesammelte Abhandlungen, Band III, No. 67, 191-197.</mixed-citation></ref><ref id="scirp.91574-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Serre, J.-P. (2008) Topics in Galois Theory. A K Peters, Ltd.</mixed-citation></ref><ref id="scirp.91574-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Erbach, D.W., Fisher, J. and McKay, J. (1979) Polynomials with PSL (2,7) as Galois Group. Journal of Number Theory, 11, 69-75. https://doi.org/10.1016/0022-314X(79)90020-9</mixed-citation></ref><ref id="scirp.91574-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Lang, S. (1993) Algebra. 3rd Edition, Addison Wesley, Boston.</mixed-citation></ref><ref id="scirp.91574-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Wielandt, H. (1964) Finite Permutation Groups. Academic Press, New York.</mixed-citation></ref><ref id="scirp.91574-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Bernard Dominique, Email Communication.</mixed-citation></ref><ref id="scirp.91574-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Stevenhagen, P. and Lenstra, H.W. (1996) Chebotarev and His Density Theorem. The Mathematical Intelligencer, 18, 26-37. https://doi.org/10.1007/BF03027290</mixed-citation></ref></ref-list></back></article>