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 
).
(where 
and 
are the additive and multiplicative identities, respectively)
such that 
).If is also commutative, than it is an integral domain.
This article is a stub. Help us out by expanding it.
