In abstract algebra, an integral domain is a commutative ring that has no zero divisors, and which is not the trivial ring {0}. It is usually assumed that commutative rings and integral domains have a multiplicative identity even though this is not always included in the definition of a ring. Integral domains are generalizations of the integers and provide a natural setting for studying divisibility. An integral domain is a commutative domain with identity.
The above is how "integral domain" is almost universally defined, but there is some variation. In particular, noncommutative integral domains are sometimes admitted. However, this article follows the much more usual convention of reserving the term integral domain for the commutative case and using domain for the noncommutative case; curiously, the adjective "integral" implies "commutative" in this context. Some sources, notably Lang, use the term entire ring for integral domain.
Some specific kinds of integral domains are given with the following chain of class inclusions:
- Commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields
The absence of zero divisors means that in an integral domain the cancellation property holds for multiplication by any nonzero element a: an equality ab = ac implies b = c.
| Algebraic structures |
|---|
|
Group-like structures
Semigroup and Monoid Quasigroup and Loop Abelian group |
|
Ring-like structures
Semiring Near-ring Ring Commutative ring Integral domain Field |
|
Lattice-like structures
Semilattice Lattice Map of lattices |
|
Module-like structures
Group with operators Module Vector space |
|
Algebra-like structures
Algebra Associative algebra Non-associative algebra Graded algebra Bialgebra |
Read more about Integral Domain: Definitions, Examples, Divisibility, Prime Elements, and Irreducible Elements, Properties, Field of Fractions, Algebraic Geometry, Characteristic and Homomorphisms
Famous quotes containing the words integral and/or domain:
“An island always pleases my imagination, even the smallest, as a small continent and integral portion of the globe. I have a fancy for building my hut on one. Even a bare, grassy isle, which I can see entirely over at a glance, has some undefined and mysterious charm for me.”
—Henry David Thoreau (1817–1862)
“The vice named surrealism is the immoderate and impassioned use of the stupefacient image or rather of the uncontrolled provocation of the image for its own sake and for the element of unpredictable perturbation and of metamorphosis which it introduces into the domain of representation; for each image on each occasion forces you to revise the entire Universe.”
—Louis Aragon (1897–1982)