Domain (ring theory)
In ring theory, a ring is a domain if
implies that
or
, for all
. Equivalently,
is a domain if it has no zero divisors. If
is commutative, it is called an integral domain.
This article is a stub. Help us out by expanding it.