# Domain

In algebra, a domain is a commutative ring R with identity $1 \neq 0$ without zero divisors: that is, for every $a, b \in R$, if ab = 0, then a = 0 or b = 0.