Domain (ring theory)
|
|
In abstract algebra, a domain is a ring with 0 ≠ 1 such that ab = 0 implies that either a = 0 or b = 0. That is, it is a nontrivial ring without left or right zero divisors.
A commutative domain is called an integral domain.