Domain (Ring theory)
From AoPSWiki
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.
