domain (ring theory)

Definition

A non-trivial ring $R$ is a domain if it has no non-zero zero divisors. That is, there are no non-zero $x\in R$ such that $xy=0$ for $y\in R\backslash 0$

If $R$ is commutative, then it is called an integral domain.