Commutative Rings
A commutative ring contained in a ring is said to be integrally closed in if is equal to the integral closure of in . That is, for every monic polynomial f with coefficients in, every root of f belonging to S also belongs to . Typically if one refers to a domain being integrally closed without reference to an overring, it is meant that the ring is integrally closed in its field of fractions.
If the ring is not a domain, typically being integrally closed means that every local ring is an integrally closed domain.
Sometimes a domain that is integrally closed is called "normal" if it is integrally closed and being thought of as a variety. In this respect, the normalization of a variety (or scheme) is simply the of the integral closure of all of the rings.
Read more about this topic: Integrally Closed
Famous quotes containing the word rings:
“Ye say they all have passed away,
That noble race and brave;
That their light canoes have vanished
From off the crested wave;
That, mid the forests where they roamed,
There rings no hunters shout;
But their name is on your waters,
Ye may not wash it out.”
—Lydia Huntley Sigourney (17911865)