I am trying to prove that the ideal $J=<x+1>$ is prime in the ring $\mathbb{Z}[x]$. I know that if the generator is prime, then the ring modulo the generator is an integral domain. I can show that this is true in this case after a bit of work. However, I was wondering if there was a quicker way to do this. Any thoughts?
Thanks