Commutative ring with no zero divisors other than zero
Not to be confused with domain of integration.
Algebraic structure → Ring theory Ring theory
Basic concepts
Rings
• Subrings
• Ideal
• Quotient ring
• Fractional ideal
• Total ring of fractions
• Product of rings
• Free product of associative algebras
• Tensor product of algebras
Ring homomorphisms
• Kernel
• Inner automorphism
• Frobenius endomorphism
Algebraic structures
• Module
• Associative algebra
• Graded ring
• Involutive ring
• Category of rings
• Initial ring
• Terminal ring
Related structures
• Field
• Finite field
• Non-associative ring
• Lie ring
• Jordan ring
• Semiring
• Semifield
Commutative algebra
Commutative rings
• Integral domain
• Integrally closed domain
• GCD domain
• Unique factorization domain
• Principal ideal domain
• Euclidean domain
• Field
• Finite field
• Composition ring
• Polynomial ring
• Formal power series ring
Algebraic number theory
• Algebraic number field
• Ring of integers
• Algebraic independence
• Transcendental number theory
• Transcendence degree
p-adic number theory and decimals
• Direct limit/Inverse limit
• Zero ring
• Integers modulo pn
• Prüfer p-ring
• Base-p circle ring
• Base-p integers
• p-adic rationals
• Base-p real numbers
• p-adic integers
• p-adic numbers
• p-adic solenoid
Algebraic geometry
• Affine variety
Noncommutative algebra
Noncommutative rings
• Division ring
• Semiprimitive ring
• Simple ring
• Commutator
Noncommutative algebraic geometry
Free algebra
Clifford algebra
• Geometric algebra
Operator algebra
v
t
e
In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero.[1][2] Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.
"Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity.[3][4] Noncommutative integral domains are sometimes admitted.[5] This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using "domain" for the general case including noncommutative rings.
Some sources, notably Lang, use the term entire ring for integral domain.[6]
Some specific kinds of integral domains are given with the following chain of class inclusions:
mathematics, an integraldomain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integraldomains are generalizations...
In commutative algebra, an integrally closed domain A is an integraldomain whose integral closure in its field of fractions is A itself. Spelled out...
z = f(x, y)) and the plane which contains its domain. If there are more variables, a multiple integral will yield hypervolumes of multidimensional functions...
elements Bézout domain, an integraldomain in which the sum of two principal ideals is again a principal ideal Euclidean domain, an integraldomain which allows...
In mathematics, a principal ideal domain, or PID, is an integraldomain in which every ideal is principal, i.e., can be generated by a single element...
fundamental theorem of arithmetic holds. Specifically, a UFD is an integraldomain (a nontrivial commutative ring in which the product of any two non-zero...
said to be integral over a subring A of B if b is a root of some monic polynomial over A. If A, B are fields, then the notions of "integral over" and of...
their original representations. An integral transform "maps" an equation from its original "domain" into another domain, in which manipulating and solving...
improper integral is an extension of the notion of a definite integral to cases that violate the usual assumptions for that kind of integral. In the context...
more specifically in ring theory, a Euclidean domain (also called a Euclidean ring) is an integraldomain that can be endowed with a Euclidean function...
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integraldomain in which every nonzero proper ideal factors...
(/ləˈplɑːs/), is an integral transform that converts a function of a real variable (usually t {\displaystyle t} , in the time domain) to a function of a...
mathematics, more specifically ring theory, an atomic domain or factorization domain is an integraldomain in which every non-zero non-unit can be written in...
type of the function as well as the domain over which the integration is performed. For example, a line integral is defined for functions of two or more...
In mathematics, a GCD domain is an integraldomain R with the property that any two elements have a greatest common divisor (GCD); i.e., there is a unique...
with coefficients in an integraldomain, and there are two common definitions. Most often, a polynomial over an integraldomain R is said to be irreducible...
context of integraldomains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integraldomain are like...
calculus), a volume integral (∭) is an integral over a 3-dimensional domain; that is, it is a special case of multiple integrals. Volume integrals are especially...
mathematics and physics where the domain of an integral is no longer a region of space, but a space of functions. Functional integrals arise in probability, in...
In abstract algebra, the field of fractions of an integraldomain is the smallest field in which it can be embedded. The construction of the field of...
In algebra, an irreducible element of an integraldomain is a non-zero element that is not invertible (that is, is not a unit), and is not the product...
though only one of them is positive definite. Each element of an integraldomain has no more than 2 square roots. The difference of two squares identity...
Q(B)/Q(A).} The Noether normalization lemma implies that if R is an integraldomain that is a finitely generated algebra over a field k, then the Krull...
Lebesgue integral, named after French mathematician Henri Lebesgue, extends the integral to a larger class of functions. It also extends the domains on which...
follows immediately that, if K is an integraldomain, then so is K[X]. It follows also that, if K is an integraldomain, a polynomial is a unit (that is,...
elements of F that are integral over R form a ring, called the integral closure of R in K. An integraldomain that equals its integral closure in its field...