4
$\begingroup$

There is a passage on the crazy project saying $x^3+12x^2+18x+6$ is irreducible over $\mathbb{Z}[i]$.

I'm trying to use Eisenstien's Criterion to figure it out. I know that 3 is irreducible in $\mathbb{Z}[i]$, so since this polynomial is 3-Eisenstein, that would mean it's irreducible over $\mathbb{Q}[i]$, right? Then why is it also irreducible over $\mathbb{Z}[i]$?

Source.

  • 0
    You could also use the Rational Root Test, since $\mathbb{Z}[i]$ is a UFD. You would need to check the divisors of $6 = 3(1+i)(1-i)$, multiplied by units ($\pm 1$, $\pm i$).2011-10-14

1 Answers 1

5

Primitive + irreducible over $\mathbb{Q}(i)$ implies irreducible over $\mathbb{Z}[i]$ by Gauss's Lemma, because $\mathbb{Z}[i]$ is a UFD with $\mathbb{Q}(i)$ as its field of fractions.

In fact, take a look at the general statement of Eisenstein's Criterion.

  • 0
    We could make a similar argument for any primitive polynomial $f\in R[x]$, where $R$ is UFD: if there is a prime ideal $P\subset R$ such that $f$ is $P$-Eisenstein, then $f$ is irreducible in $F[x]$, hence in $R[x]$ by Gauss's Lemma. So it works for $R=\mathbb{Z}$, $R=\mathbb{Z}[i]$, and even $R=\mathbb{Z}[y]$ where $y$ is another variable.2011-10-14