Classification of radical ideals of $\mathbb{Z}[X]$

Asked Aug 19 '13 at 01:56

Active Aug 19 '13 at 08:15

Viewed 125 times

The prime ideals of $\mathbb{Z}[X]$ are

$0$
$(p)$ for prime integer $p$
$(f)$ for irreducible polynomial $f$
$(p, f)$ for prime integer $p$ and irreducible polynomial $f$ that remains irreducible mod $p$.

The radical ideals are intersections of prime ideals. It is easy to compute the intersection when finitely many prime integers are involved using Chinese remainder theorem: they are of the form $(\prod^{n}_{i=1} p_i, f)$ where $f$ is zero or square-free mod $p_i$ for distinct prime integers $p_i$.

However, I could not compute the intersection when infinitely many prime integers are involved.

Related question: if there is no simple form for all the radical ideals, is there a simple description of the Zariski-closed sets of the prime spectrum (which correspond to radical ideals)?

edited Aug 19 '13 at 08:15

Seirios

33,157

asked Aug 19 '13 at 01:56

Tim

3

What would an element of an infinite intersection look like? – Lubin Aug 19 '13 at 02:08
Special case of http://math.stackexchange.com/questions/300170 – Martin Brandenburg Aug 19 '13 at 07:45
1

I should remark that the question how the radical ideals look like has NOT been answered yet in the other thread. Instead I just wanted to suggest to continue this discussion there. – Martin Brandenburg Aug 19 '13 at 12:54
Following Lubin's hint, I believe any infinite intersection of prime ideals can be written as a finite intersection of prime ideals. – Tim Aug 21 '13 at 02:18

Classification of radical ideals of $\mathbb{Z}[X]$

0 Answers0