Saturation D'Idéaux

Étant donné un idéal I et un élément ou un idéal J dans un anneau R, la saturation I : J^∞ = { f ∈ R | ∃ n tel que J^n f ⊆ I } (souvent I : f^∞ lorsque J = (f)) supprime les composantes de V(I) contenues dans V(J) et produit un idéal dont l'ensemble des zéros est V(I) privé de la partie supportée dans V(J).