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.