is the kernel of the homomorphism ; hence the quotient ring is isomorphic to . Since is an integral domain, so is , i.e. is a prime ideal.

Note that is an ideal of such that . Hence is not maximal in .

Thus while every maximal ideal is prime, this example shows that the converse is not true in general. (It’s true in a principal-ideal domain, but here is not a PID.)