# Ideals of $\mathbb{Z}[X]$

Is it possible to classify all ideals of $\mathbb{Z}[X]$? By this I mean a preferably short enumerable list which contains every ideal exactly once, preferably specified by generators. The prime ideals are well-known, but I'm interested in all the ideals. I couldn't find any literature about this. I don't even know the number of generators we need (Edit: Hurkyl has pointed out that any number appears!).

An ideal of $\mathbb{Z}[X]$ restricts to some ideal of $\mathbb{Z}$, say $n \mathbb{Z}$. For $n>0$ the ideal corresponds to some ideal in $\mathbb{Z}/n [X]$, and by CRT we may assume that $n$ is a prime power, say $n=p^k$. For $k=1$ we have the PID $\mathbb{F}_p[X]$, whose ideal structure is well-understood. What happens for $k=2$? The case $n=0$ seems to be even more complicated.

Since $\mathbb{Z}[X]$ is noetherian, every ideal is an intersection of primary ideals, and we should classify them first? What about other special classes of ideals, for example radical ones?

If the question is too naive in this generality, what about special cases, or slight weakenings? For example, is it possible to classify all (reduced, finite, coprimary, ...) commutative rings which are generated by a single element? This comes down to the classification of the ideals of $\mathbb{Z}[X]$ modulo isomorphic quotient rings.

-
The ideal $(2,x)^n$ requires $n+1$ generators. –  Hurkyl Feb 11 '13 at 12:59
Also, an ideal requiring $2$ generators may still satisfy $I \cap \mathbb{Z} = 0$, such as $I = (x^2, 2x)$ –  Hurkyl Feb 11 '13 at 13:04
To address the radical ideal blurb: If you know the prime ideals you know the radical ideals: they are just all possible intersections of prime ideals. –  rschwieb Feb 11 '13 at 14:59
@rschwieb: Oh, yes! Is it also possible to give generators? I will think about this ... –  Martin Brandenburg Feb 11 '13 at 15:01
@MartinBrandenburg Beyond my ken :) Glad you asked this question so that I can slowly learn commutative algebra too... –  rschwieb Feb 11 '13 at 15:04

First some simple facts:

The ring $\mathbb{Z}[X]$ has dimension $2$ and it is a unique factorization domain with unit group $\{\pm 1\}$. We immediately conclude:

• Every ideal has height $0$, $1$, or $2$.
• The only ideal of height $0$ is $(0)$.
• If the primary decomposition of an ideal contains only height $1$ ideals, then:
• The ideal is principal
• These ideals are in one-to-one correspondence with nonzero polynomials with positive leading coefficient

Now let $I$ be a nonprincipal ideal. Suppose $I \cap \mathbb{Z} = (0)$. Then $I \otimes \mathbb{Q}$ is a proper, nonzero ideal of $\mathbb{Q}[X]$, generated by a primitive polynomial $g(x)$ (i.e. integer coefficients of gcd 1). It follows that $I = g(x) J$ where $J \cap \mathbb{Z} \neq (0)$.

Alternatively, $g(x)$ can be obtained a the gcd of all elements of $I$. (the $g(x)$ so constructed would have content $n$ rather than $1$ if $I$ is divisible by $(n)$). But the above is the method of proof I thought of to show the cofactor contains an integer.

Taking a different tactic, essentially by the Euclidean algorithm any ideal has a basis of the form

$$I = \langle g_i(x) \mid 1 \leq i \leq k \rangle$$

where

• $g_i(x) = c_i x^{n_i} + f_i(x)$
• where $c_i \in \mathbb{Z}$, $c_i > 0$, $\deg f_i(x) < n_i$
• $n_i < n_{i+1}$
• $c_{i+1} | c_i$ and $c_i \neq c_{i+1}$

For example, the ideal

$$\langle 8, 4x + 4, 2x^2 + 2 \rangle$$

In fact, I'm pretty sure this works out to a normal form by the algorithm:

• For each $d$, pick (if any) the smallest polynomial of degree $d$ in $I$
• Throw out any polynomial whose leading term is divisible by a picked polynomial of lesser degree

"Smallest", here, is determined by first comparing the coefficients on $x^d$, and if those are equal comparing the coefficients on $x^{d-1}$, and so forth. Integers are compared by absolute value first, and if equal, $n$ is considered smaller than $-n$.

e.g. the polynomial $4x + 4$ is considered smaller than $8x$ and than $4x-4$.

Unfortunately, not every choice of $g_i$'s is admissible. For example, the ideal

$$\langle 4, 2x+1 \rangle$$

actually has normal form

$$\langle 1 \rangle$$

I conjecture a sequence of reduced $g_i$'s (meaning we reject $\langle 8, 4x-4 \rangle$ because we can reduce $4x-4$ to $4x+4$ by a monomial multiple of $8$) satisfying the above properties is the normal form of an ideal if and only if $c_i \mid f_i(x)$.

Alas, I don't know enough about the theory of Groebner bases over Euclidean rings to say for sure.

-
Thank you. Could you explain a little bit more the paragraph beginning with "Now let $I$ be a height $2$ ..."? I don't really understand your arguments. –  Martin Brandenburg Feb 11 '13 at 15:00
@Martin: If $I$ contains no integers, then we can invert every integer without killing $I$, making it an ideal of $\mathbb{Q}[X]$. –  Hurkyl Feb 11 '13 at 15:52
How do you define $J$, and how do you prove $I=g(x) J$? –  Martin Brandenburg Feb 11 '13 at 16:54
@Martin: If $f \in I$, then there exists $q \in \mathbb{Q}$ and $h \in \mathbb{Q}[X]$ such that $fq = gh$. By adjusting $q$, we may assume $h \in \mathbb{Z}[X]$. If $g$ has content $1$, then $f = gh/q$ implies $g | f$ (and that $h/q \in \mathbb{Z}[X]$). –  Hurkyl Feb 11 '13 at 17:00
Dear Hurkyl, I think a height $1$ ideal is not necessarily principal, e.g. $(6, 2X)$; and a height $2$ ideal contains necessarily a non-zero integer (see my answer). Your example $I=g(X)J$ is height $1$. –  user18119 Feb 11 '13 at 22:35

There are generalizations of Grobner/standard ideal basis algorithms that work over coefficient rings more general than fields, e.g. certain PIDs (which, in particular, apply to $\rm\,\Bbb Z[x]).$ There is, by now, much literature on such topics. Perhaps the easiest way to chase it down is to start with the references listed in Buchberger's survey [1] on the history of the Grobner basis algorithm.

See in particular the work mentioned in section "Generalizations of the CPC approach for polynomial rings", p. 19. If you chase citations of the work mentioned there, it will quickly lead you to the most recent work on said generalizations.

[1] B. Buchberger. History and basic features of the critical pair / completion procedure.
Journal of Symbolic Computation, 3(1/2) (1987) 3-38

-

Say $I$ is an ideal. If $I=0$, we stop. 　　If $I\neq 0$, we look at the set of the elements of $I\setminus 0$ with minimal degrees, in this set we pick an element $f_1$ with minimal positive leading coefficient. If $I=(f_1)$, we stop. 　　If not, consider the set $I\setminus (f_1)$. Similar as above, pick an element $f_2$ with minimal positive leading coefficient in the subset of the elements with minimal degree. If $I=(f_1,f_2)$, we stop. Repeat this process. With finite steps, we can stop at a step $I=(f_1,f_2,\ldots,f_n)$. 　　 　 　　We can see that the degree of $f_{i+1}$ is strictly greater than the degree of $f_i$ for $i=1,2,\ldots, n-1$. 　　Say the leading coefficient of $f_i$ is $a_i$. Then $a_{i+1}| a_i$ and $a_{i}$ is strictly greater than $a_{i+1}$. So we can see the length of the chain can be bounded by $a_1$. For example, if $a_1=1$, then $I=(f_1)$, if $a_1$ is prime, then $I$ is generated by one or two elements. If $a_1=p^2$, $p$ is prime, then $I$ can be generated by 3 elements.

-