Integral domain

This article defines a property of commutative unital rings; a property that can be evaluated for a commutative unital ring
View all properties of commutative unital rings
VIEW RELATED: Commutative unital ring property implications | Commutative unital ring property non-implications |Commutative unital ring metaproperty satisfactions | Commutative unital ring metaproperty dissatisfactions | Commutative unital ring property satisfactions | Commutative unital ring property dissatisfactions

The property of being an ideal for which the quotient ring has this property is: prime ideal

Definition

Symbol-free definition

A commutative unital ring is termed an integral domain if it satisfies the following equivalent conditions:

• It is cancellative
• The zero ideal is a prime ideal
• The product of nonzero elements in nonzero

Definition with symbols

A commutative unital ring $R$ is termed an integral domain if $R$ satisfies the following equivalent conditions:

• Whenever $ab=ac$ and $a$ is not zero, $b=c$
• The ideal $0$ is a prime ideal
• Whenever $ab=0$, either $a=0$ or $b=0$

Relation with other properties

Stronger properties

• Field

Particular kinds of integral domains

Refer Category: Properties of integral domains

Weaker properties

• Reduced ring