Integral domain
This article is about a basic definition in commutative algebra. View a complete list of basic definitions in commutative algebra
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 (sometimes just domain) if it satisfies the following equivalent conditions:
- It is a nonzero ring, and is cancellative
- The zero ideal is a prime ideal
- It is a nonzero ring, and the product of nonzero elements in nonzero
- It is a nonzero ring, and the product of nonzero ideals is nonzero
- It is a nonzero ring, and the set of nonzero elements is a saturated subset
Definition with symbols
A commutative unital ring is termed an integral domain if
satisfies the following equivalent conditions:
- Whenever
and
is not zero,
- The ideal
is a prime ideal
- Whenever
, either
or
Relation with other properties
Stronger properties
Particular kinds of integral domains
Refer Category: Properties of integral domains
Weaker properties
Metaproperties
Closure under taking the polynomial ring
This property of commutative unital rings is polynomial-closed: it is closed under the operation of taking the polynomial ring. In other words, ifis a commutative unital ring satisfying the property, so is
![]()
View other polynomial-closed properties of commutative unital rings
The polynomial ring over an integral domain is again an integral domain.
Closure under taking subrings
Any subring of a commutative unital ring with this property, also has this property
View other subring-closed properties of commutative unital rings
Any subring of an integral domain is an integral domain. In fact, a commutative unital ring is an integral domain iff it occursas as a subring of a field.
Closure under taking quotients
This property of commutative unital rings is not quotient-closed: in other words, a quotient of a commutative unital ring with this property, need not have this property
A quotient of an integral domain by an ideal need not be an integral domain; to see this, note that the quotient by an ideal is an integral domain iff the ideal is a prime ideal. Thus, the quotient of by the non-prime ideal
is not an integral domain.
Closure under taking localizations
This property of commutative unital rings is closed under taking localizations: the localization at a multiplicatively closed subset of a commutative unital ring with this property, also has this property. In particular, the localization at a prime ideal, and the localization at a maximal ideal, have the property.
View other localization-closed properties of commutative unital rings
The localization of an integral domain at any prime ideal is still an integral domain. More generally, the localization at any multiplicatively closed subset not containing zero, continues to be an integral domain. However, the converse is not true. If a commutative unital ring has the property that its localizations at all primes are integral domains, we can only conclude that it is a direct product of integral domains, and cannot deduce that it is itself an integral domain.
Effect of property operators
The quotient-closure
Applying the quotient-closure to this property gives: commutative unital ring
Any commutative unital ring can be expressed as a quotient of an integral domain by an ideal. In fact, any commutative unital ring can be expressed as a quotient of a polynomial ring over integers (a free commutative unital ring) by a suitable ideal.
References
- Book:Eisenbud, Page 12
External links
Search for "integral+domain" on the World Wide Web:
Scholarly articles: Google Scholar, JSTOR
Books: Google Books, Amazon
This wiki: Internal search, Google site search
Encyclopaedias: Wikipedia (or using Google), Citizendium
Math resource pages:Mathworld, Planetmath, Springer Online Reference Works
Math wikis: Topospaces, Diffgeom, Commalg, Noncommutative
Discussion fora: Mathlinks, Google Groups
The web: Google, Yahoo