Why $ \mathbb{Z}[x]$ is not Principal Ideal Domain

3.7k Views Asked by At

$ \mathbf{Z}[x]$ is not PID.

we know $\mathbb Z$ is a Unique Factorization Domain, so $\mathbb Z[x]$ is UFD, but why isn't it PID (since I think $\mathbb Z$ is PID)?

1

There are 1 best solutions below

5
On

If it were a PID, then every nonzero prime ideal would be maximal. But $\mathbb Z[X]/p \mathbb Z[X] = \mathbb (Z/p\mathbb Z)[X]$ is an integral domain which is not a field.