Definition
A non-trivial ring is a domain if it has no non-zero zero divisors.
That is, there are no non-zero such that for
If is commutative, then it is called an integral domain.
Properties
A non-zero principal ideal is prime if and only if it generated by a prime element.