A ring that is commutative under multiplication, has a multiplicative identity element, and has no divisors of 0. The integers form an integral domain.

field | ideal | prime ideal | ring