Past exam of the algebra, analysis and differential equations II course of the University of Oxford / 2008 / 3 / a / Solution

An integral domain is a commutative ring with identity $1\ne 0$ and no zero divisors: $ab=0$ implies $a=0$ or $b=0$. Equivalently nonzero elements admit cancellation in multiplication.