Original: So every field is an integral domain and every integral domain is a commutative ring .
Simplified: If there are no 0-divisors , then the ring is called an integral domain .