Let $f(x) \in \mathbb{Z}[x]$ be a polynomial of degree $\geq 2$. Then choose correct

a) if $f(x)$ is irreducible in $ \mathbb{Z}[x] $ then it is irreducible in $ \mathbb{Q}[x] $.

b) if $f(x)$ is irreducible in $ \mathbb{Q}[x] $ then it is irreducible in $ \mathbb{Z}[x] $.

(1) is definitely true, for (2) $f(x)=2(x^2+2)$ clearly irreducible over $\mathbb{Q}[x]$

But I am confused about whether $f(x)$ is irreducible over $\mathbb{Z}[x]$ or not? According to Gallian, as 2 is non unit in $\mathbb{Z}$, $f(x)$ is reducible over $\mathbb{Z}[x]$, (2) is false.

But definition of irreducible polynomial on Wikipedia says a polynomial is reducible if it can be written as product of non constant polynomials hence $f(x)$ is irreducible over $\mathbb{Z}[x]$ accordingly (2) is true .

  • 2
    $\begingroup$ You may find Gauss' Lemma useful here. $\endgroup$ – SquirtleSquad Jul 1 '16 at 5:33
  • 1
    $\begingroup$ @Merlin I found this'' Irreducibility statement: A non-constant polynomial in Z[X] is irreducible in Z[X] if and only if it is both irreducible in Q[X] and primitive in Z[X].'' SO can i say for primitive polynomial (b) option hold not for $f(x)=2(x^2+2)$ $\endgroup$ – slow but keen learner Jul 1 '16 at 5:50
  • $\begingroup$ If content is one , then i think statement 2 is true. $\endgroup$ – blue boy Nov 13 '18 at 5:13

You are totally correct, (1) is true and (2) is false. The statement you quote from Wikipedia is only true, if the coefficients come from a field.

  • $\begingroup$ Will you please give me precise definition of irreducible polynomial ? Thank you very much for your precious time $\endgroup$ – slow but keen learner Jul 1 '16 at 4:58
  • 2
    $\begingroup$ It is just the definition of an irreducible element: It cannot be decomposed in two non-units. $\endgroup$ – MooS Jul 1 '16 at 4:59

Consider the polynomial $p(x)=3x+3$. Since the coefficients are integer $p(x)$ belongs to $\mathbb{Z}[x] \subset\mathbb{Q}[x] $. We can rewrite it as $3(x+1)$, but now: $3$ is a unit in $\mathbb{Q}$ since it is inveritble, then the polynomial is irreducible, but $3$ is not inveritble in $\mathbb{Z}$, so the factorization above show that the polynomial is reducible as product of irreducible element in $\mathbb{Z}[x]$. So the statement 2 is false.

  • $\begingroup$ As is stated here: mathonline.wikidot.com/… The degree of the factors should be less than that of the original function. I have no idea how that would work for only an x, but why is 3 a factor and in the link I send you its not allowed? $\endgroup$ – user3892683 Jul 14 at 13:58
  • $\begingroup$ The definition applies to fields like $\Bbb Q$. Indeed, viewing $3x+3$ as a polynomial in $\Bbb Q[x]$, $3$ is not a factor but a unite. The picture is different if you work with rings which are not fields, like $\Bbb Z$. In this case, $3$ is not invertibile in $\Bbb Z$, hence it is a factor of your polynomial. $\endgroup$ – InsideOut Jul 14 at 14:04

protected by Community Apr 24 at 9:16

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.