Abstract Algebra – Why the Polynomial 2x^2 + 4 is Reducible Over Z

abstract-algebrairreducible-polynomialspolynomialsring-theory

I was going through the book of Gallian, Contemporary Abstract Algebra, and got the following result:

The polynomial $f(x) = 2x^2 + 4$ is irreducible over $\mathbb{Q}$ but reducible over $\mathbb{Z}$, since $2x^2 + 4 = 2(x^2 + 2)$ and neither $2$ nor $x^2 + 2$ is a unit in $\mathbb{Z}[x]$.

I am not getting how the polynomial is reducible over $\mathbb Z$. Can anyone explain this point? Thanks for the help.

Best Answer

The element $2$ is a unit in $\mathbb Q[x]$ (it has inverse $\frac 12$) but not in $\mathbb Z[x]$ (since $\frac 12\notin \mathbb Z[x]$). We can write $$f(x) = 2(x^2+2).$$Since a polynomial $f$ is reducible iff it can be written as the product of two non-units, this means that $f$ is reducible in $\mathbb Z[x]$. However, this factorisation does not show that $f$ is reducible in $\mathbb Q[x]$ since $2$ is a unit. One can show in other ways (e.g. because $f$ has no rational roots) that $f$ is irreducible over $\mathbb Q$.

This condition is not arbitrary: it means that the ideal $(2x^2+4)$ is prime in $\mathbb Q[x]$ (and is equal to the maximal ideal ($x^2+2)$), but it is not prime in $\mathbb Z[x]$, since $2x^2+4\in(2x^2+4)$, but $$2,x^2+2\notin (2x^2+4).$$