A ring is said to be a prime ring if the zero ideal is a prime ideal.
If a prime ring is commutative, then it is a cancellation ring. If in addition has a multiplicative identity , then it is an integral domain.