Build. Blocks
Comb. Appl.
HCA Proving
Arrangements
Branches
Classify
Coding
Deformations
Equidim Part
Existence
Finite Groups
Flatness
Genus
Hilbert Series
Membership
Nonnormal Locus
Normalization
Primdec
Puiseux
Plane Curves
Saturation
Solving
Space Curves
Spectrum
Saturation
For two ideals I1 and I2 in a Noetherian ring R, we have:

chain of ideal quotients

This chain stabilizes at some exponent, say s. The saturation of I1 with respect to I2 is defined as

definition of saturation

and s is called the saturation exponent.

Geometrically: if the ground field is algebraically closed, then

V(saturation) = closure of
complement


A SINGULAR example.

Sao Carlos, 08/02 http://www.singular.uni-kl.de