Quiero grabar un poco menos de la primaria, pero tal vez más conceptual respuesta.
Nota primero que $\langle 2 \rangle$, $\langle x \rangle$ y $\langle x 2, \rangle$, son todos de primer ideales de $\mathbb{Z}[x]$. De hecho, los cocientes por estos ideales son isomorfos, respectivamente, a $(\mathbb{Z}/2\mathbb{Z})[x]$, $\mathbb{Z}$ y $\mathbb{Z}/2\mathbb{Z}$, que son parte integral de los dominios.
Así, en particular, tenemos una inclusión adecuada de cero el primer ideales
$0 \subsetneq \langle x \rangle \subsetneq \langle x, 2 \rangle$
en la que los más pequeños ideal es principal. Ahora vamos a $R$ ser cualquier integrante de dominio y vamos a
$I \subconjunto J$ ser una inclusión adecuada de cero el primer ideales, con $I$ un director ideal. A continuación, $J$ no puede ser director. En efecto, supongamos que $I = \langle x \rangle$, con $x$ un primer elemento. Supongamos también $J = \langle y \rangle$. Entonces $x \in J$, de modo que
existe $a \in I$ con $x = ay$. Dado que $ay = x \in I$ y $I$ es primo, nos
tienen $a \in I$ o $y \in I$. Si $a \in I$, entonces $a = bx$, entonces $x = byx$ o
$x(1) = 0$ en el dominio $R$; dado que $x \neq 0$ concluimos $ = 1$, es decir, $y$
es una unidad y por lo tanto $J = R$ contradicción. Del mismo modo, si $y \in I$,
entonces $y = bx$, entonces $x = abx$ y llegamos a la conclusión de que $a$ es una unidad y por lo tanto $I = J$, contradicción.
Añadido: Una variante del argumento anterior es: si $0 \subsetneq I = \langle \rangle \subsetneq \langle b \rangle = J$ con $I$ y $J$ primo, entonces $a$ y $b$ son ambos elementos irreductibles y $b$ correctamente divide $a$, contradicción. Esto es técnicamente un hecho más fuerte debido a que en un dominio arbitrario de un generador de un director de primer ideal es necesariamente un elemento irreductible, pero a la inversa, generalmente, no se sostiene. Sin embargo, la forma más fácil de demostrar que un elemento $a \in I$ es irreductible, es demostrar que $\langle \rangle$ es primo, o, equivalentemente, que $R/\langle \rangle$ es un dominio. Para mostrar que un nonprime elemento de $x$ es irreductible, es más delicado.
Nota: Si $R$ es conmutativa Noetherian anillo, entonces si $J$ es cualquier valor distinto de cero principales prime ideal, no puede ser cualquier valor distinto de cero el primer ideal de $I$ -- principal o de otro tipo, con $0 \subsetneq I \subsetneq J$. Este es un caso especial de Krull del Director de Ideal Teorema.