Processus d'agrandissement ou de modification d'un idéal par rapport à un ensemble multiplicatif ou une puissance de sorte que les éléments devenant inversibles dans la localisation soient retirés de la description du quotient ; concrètement, la saturation de I par S est {x | ∃ s∈S avec s x ∈ I}.

Principe

Caractériser les éléments qui sont forcés dans l'idéal après inversion d'un ensemble donné : la saturation I : S^∞ = ⋃_n (I : S^n) élimine les composantes parasites lors du passage à l'ouvert défini par l'inversion de S ou aux localisations projectives/affines.

Démonstration

En géométrie algébrique effective, satuer un idéal I par une variable y donne l'idéal du lieu où y ≠ 0 : I : y^∞ = {f | y^n f ∈ I pour un certain n}, ce qui supprime les composantes incorporées contenues dans l'hyperplan y=0 et produit l'ouvert schématique correct.

Mauvaise application

Confondre saturation avec radical, clôture intégrale ou décomposition primaire ; appliquer la saturation sans préciser l'ensemble multiplicatif S ou ignorer que la saturation peut modifier les composantes primaires et les multiplicités.

Conséquence

Une saturation correctement effectuée fournit des idéaux correspondant à des ouverts géométriques, élimine les composantes à l'infini et produit des décompositions primaires plus nettes pour des questions localisées ; elle aligne les calculs algébriques avec la localisation ou la projectivisation souhaitée.

Inversion

La procédure inverse est la contraction : donné un idéal dans une localisation, le contracter redonne un idéal possiblement plus petit et non saturé dans l'anneau d'origine ; contrairement à la saturation, la contraction peut réintroduire des éléments éliminés par l'inversion.

Limite

Dépend de manière critique du choix de l'ensemble multiplicatif ou de l'élément ; la saturation n'est pas une opération libre de catégorie et diffère du radical, de la complétion et de la clôture intégrale. Le comportement varie dans les anneaux non noethériens et avec des opérations non multiplicatives.

Tension sémantique

Saturation vs radical vs localisation vs clôture intégrale : la saturation retire les éléments devenant unités en inversant S, alors que le radical ignore les nilpotents, la localisation change l'anneau ambiant et la clôture intégrale traite la dépendance intégrale—ces notions se recoupent mais restent distinctes.

Synthèse

La saturation d'idéal élimine systématiquement les éléments rendus triviaux après inversion d'un ensemble multiplicatif choisi, produisant un idéal adapté à la localisation et aux ouverts géométriques tout en se distinguant du radical et de la clôture intégrale.