Is the Quotient Ring of an Integral Domain still an Integral Domain?
Let $R$ be an integral domain and let $I$ be an ideal of $R$.
Is the quotient ring $R/I$ an integral domain?
Definition (Integral Domain).
Let $R$ be a commutative ring.
An element $a$ in $R$ is called a zero divisor if there exists $b\neq 0$ in $R$ such that $ab=0$.
If $R$ contain no nonzero zero divisors, then $R$ is called an integral domain.
The quotient ring $R/I$ of an integral domain is not necessarily an integral domain.
Consider, for example, the ring of integers $\Z$ and ideal $I=4Z$.
Note that $\Z$ is an integral domain.
We claim that the quotient ring $\Z/4\Z$ is not an integral domain.
In fact, the element $2+4\Z$ is a nonzero element in $\Z/4\Z$.
However, the product
\[(2+4\Z)(2+4\Z)=4+\Z=0+\Z\] is zero in $\Z/4\Z$.
This implies that $2+4\Z$ is a zero divisor, and thus $\Z/4\Z$ is not an integral domain.
Note that in general, the quotient $R/I$ is an integral domain if and only if $I$ is a prime ideal of $R$.
In our above example, the ideal $I=4\Z$ is not a prime ideal of $\Z$.
Add to solve later