Given a commutative ring and a field , an element is said to be integral over if it satisfies a monic polynomial equation with coefficients in , or equivalently, there exist a finitely-generated nonzero -submodule such that .
A commutative ring is said to be integral over if every element of is integral over . The relation of integrality of overrings is transitive. If is a surjective homomorphism of rings and integral over , then is integral over .
The set of all elements of integral over is a subring of called the integral closure of in . We say that is integrally closed in if it equals its own integral closure in .
An integral domain is integrally closed if it is integrally closed in the quotient field of .
If is an integrally closed Noetherian domain and a finite separable field extension of its quotient field then the integral closure of in is finitely generated over .
If is a principal ideal ring and a finite separable extension of degree of its quotient field , then the integral closure of in is a free rank -module over .
If is integral over a subring then for any multiplicative set , the localization is integral over .
Every unique factorization domain is integrally closed.
In constructive mathematics, integral closure and algebraic closure are not the same if the field is not a discrete field. Integral closure is usually better behaved than algebraic closure in fields which are not discrete fields, because not every polynomial can be shown to have a well-defined degree, but every monic polynomial by definition has a well-defined degree. This is especially the case with the fundamental theorem of algebra for a set of complex numbers, which in constructive mathematics states that the complex numbers are integrally closed, and is true for the modulated Cantor real numbers while not provable for the Dedekind real numbers.
Last revised on December 10, 2022 at 14:25:45. See the history of this page for a list of all contributions to it.