Integral Domain
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A nonzero commutative ring with unity that has no nonzero zero divisors; equivalently, a commutative ring R with 1 ≠ 0 such that ab = 0 implies a = 0 or b = 0.
Integral Domain
- Pure Mathematics -
Algebra Dictionary
Definition
A commutative ring with unity that has no nonzero zero divisors; equivalently, cancellation holds for nonzero factors.