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