Domain (Ring theory)
A ring, , is an domain if:
- (where and are the additive and multiplicative identities, respectively)
- and it contains no zero divisors (i.e. there are no nonzero such that ).
If is also commutative, than it is an integral domain.
This article is a stub. Help us out by expanding it.