Is it possible to classify all ideals of 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 Z[X] restricts to some ideal of Z, say nZ. For n>0 the ideal corresponds to some ideal in Z/n[X], and by CRT we may assume that n is a prime power, say n=pk. For k=1 we have the PID Fp[X], whose ideal structure is well-understood. What happens for k=2? The case n=0 seems to be even more complicated.

Since 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 Z[X] modulo isomorphic quotient rings.

**Answer**

First some simple facts:

The ring Z[X] has dimension 2 and it is a unique factorization domain with unit group {±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∩Z=(0). Then I⊗Q is a proper, nonzero ideal of 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∩Z≠(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=⟨gi(x)∣1≤i≤k⟩

where

- gi(x)=cixni+fi(x)
- where ci∈Z, ci>0, degfi(x)<ni

- ni<ni+1
- ci+1|ci and ci≠ci+1

For example, the ideal

⟨8,4x+4,2x2+2⟩

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 xd, and if those are equal comparing the coefficients on xd−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 gi's is admissible. For example, the ideal

⟨4,2x+1⟩

actually has normal form

⟨1⟩

I conjecture a sequence of reduced gi's (meaning we reject ⟨8,4x−4⟩ 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 ci∣fi(x).

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

**Attribution***Source : Link , Question Author : Martin Brandenburg , Answer Author : Community*