15
$\begingroup$

Can someone point me towards a resource that proves that the spectrum of $\mathbb{Z}[x]$ consists of ideals $(p,f)$ where $p$ prime or zero and $f$ irred mod $p$? In particular I remember this can be proved simply using localizations, but can't quite remember how to do it! I definitely don't want a link to a long involved argument about polynomials, I can find quite enough of those!

Many thanks in advance.

  • 0
    @Edward: IMO the most difficult part of the argument is that if $I$ is a non-zero prime ideal in $\mathbb{Q}[x]$, then it contains a generator $g$ such that $(g)$ is a prime ideal of $\mathbb{Z}[x]$. This requires some non-trivial facts about polynomial rings: e.g. the fact that $\mathbb{Z}[x]$ is a unique factorization domain, and what the primes elements are.2012-10-25
  • 2
    @Hurkyl: It is Gauss' Lemma.2012-10-26
  • 3
    There's a wonderful picture by Mumford on this: http://www.neverendingbooks.org/index.php/mumfords-treasure-map.html2012-10-27
  • 0
    Related: https://math.stackexchange.com/questions/199990/prime-ideals-in-mathbbzx2017-01-07

5 Answers 5

18

Here is a geometric (schemes!) way to think about it.

The inclusion $\Bbb Z\to\Bbb Z[x]$ defines a morphism $\operatorname{Spec}(\Bbb Z[x])\to\operatorname{Spec}(\Bbb Z).$ Thus to figure out the primes of $\operatorname{Spec}(\Bbb Z[x]),$ we can simply determine all the fibres of this map. How do we compute the fibres of this map?

For $\langle p\rangle\subseteq\Bbb Z$ a prime ideal, we pull back the morphism given above over the map $\operatorname{Spec}(\kappa(p))\to\operatorname{Spec}(\Bbb Z)$ induced by $\Bbb Z\to\Bbb Z_p/\frak{m_p}$ $=\kappa(p)$, where $\kappa(p)$ is the residue field of $p.$ The residue field $\kappa(0)=\Bbb Q$ and for all other primes $p$ we have $\kappa(p)=\Bbb F_p.$

The fibre over $\langle 0\rangle$ is thus $\operatorname{Spec}(\Bbb Q\otimes_{\Bbb Z}\Bbb Z[x])=\operatorname{Spec}(\Bbb Q[x])$ which is all irreducible polynomials over $\Bbb Q$ and the zero ideal. Similarly, the fibre over $\langle p\rangle$ is $\operatorname{Spec}(\Bbb F_p[x]),$ which is just the irreducible polynomials over $\Bbb F_p$ along with its zero ideal. (The zero ideals correspond to those in $\Bbb Z.$)

11

The prime ideals of $\mathbb Z[x]$ are of three kinds depending on their heights

  1. (height $0$): $\{ 0\}$;

  2. (height $1$): $F(x)\mathbb Z[x]$ with $F(x)$ an irreducible element in $\mathbb Z[x]$. Equivalently: $F(x)$ is a prime number $p$ or is primitive and irreducible in $\mathbb Q[x]$.

  3. (height $2$, maximal ideals): the $(p, f(x))$ as you describe.

3

The intersection of a prime ideal with $\mathbb Z$ is again prime, thus we obtain a prime $p$ (or 0). By localizing at $p$, we make all non-multiples of $p$ invertible and are left with an ideal in the principle ideal ring $\mathbb Z_p[X]$, i.e. $(f)$ with $f\in\mathbb Z_p[X]$. If we had a nontrivial factorization $f\equiv gh\pmod p$, this could be lifted to a factorization in $\mathbb Z_p[X]$, which is impossible. Hence $f$ is irreducible $\bmod p$. This also holds if we replace $f$ with an approximation in $\mathbb Z[X]$. We also see that any $g$ in the ideal becomes a multiple of $f$ in $\mathbb Z_p[X]$, hence can be written as a multiple of $p$ plus a multiple of $f$ in $\mathbb Z[X]$.

  • 0
    I can't quite see the argument for when the prime ideal is (0). Could you possibly clarify it? Many thanks!2012-10-25
  • 0
    How is $\mathbb Z_p[X]$ a principal ideal domain? How about the ideal $(p,X)$? I don't think this ideal is principal, since if $f(X)$ divides both $p$ and $X$, dividing $p$ implies having degree $0$ and dividing $X$ while being of degree $0$ means being a unit.2014-01-09
  • 0
    Any polynomial ring F[x] over a field is a PID2014-01-09
2

There is a sketch here but I didn't proofread it. I am gambling that it is useful, so I apologize (and will delete this) if it turns out to be useless.

  • 0
    It was useful for me. Thanks!2014-01-08
  • 0
    Although after thinking about it I think it is wrong ; Z[x] is not an Euclidean domain, the Euclidean algorithm doesn't work. How could you compute the gcd of $x^2 - 1$ and $2x$?2014-01-09
  • 0
    Did you post this under the wrong thread or something? Z[x] is definitely not Euclidean because it's not a PID2014-01-09
  • 0
    It mentions the Euclidean algorithm in your link. I think I'm confused as to how they do it. What they say seems to work though (with my example of $x^2 - 1$ and $2x$, you can extract the constant term $2 = 2(x^2 - 1) - x(2x)$). No, not the wrong thread.2014-01-10
  • 1
    @PatrickDaSilva You can perform the extended Euclidean algorithm first in $\Bbb Q[x]$, and then multiply through by the gcd of any fractions that appear. If the two polynomials were coprime in $\Bbb Q[x]$, then they'll have linear combination in $\Bbb Z[x]$ that's an integer.2014-01-10
  • 0
    True, I completely forgot about that! The proof in there is quite vague, but I think the arguments necessary are all kind of there2014-01-10
-1

There are two cases: if a prime ideal $P$ of $Z[x]$ does not contain any constant then considering the ideal generated by $P$ in $Q[x]$, it is a proper ideal of $Q[x]$; so that it is a principal ideal generated by a single polynomial $f(x)\in Q[x]$. But then an irreducible element $g(x)\in P\subset Z[x]$ can be written as $g(x)=f(x)h(x)$ with $h(x)\in Q[x]$. By considering the common denominators, $f(x)=f_1(x)/b$ and $h(x)=h_1(x)/c$ where $f_1(x), h_1(x) \in Z[x]$. Now $bcg(x)=f_1(x)h_1(x)$. Looking at the content of polynomials we can conclude that $P=(f_1(x))$ is a principle ideal of $Z[x]$.

The case where $P$ contains a constant is easy to solve by passing to the quotient ring.