Dado un ideal I y un elemento o ideal J en un anillo R, la saturación I : J^∞ = { f ∈ R | ∃ n con J^n f ⊆ I } (comúnmente I : f^∞ cuando J = (f)) elimina las componentes de V(I) contenidas en V(J) y produce un ideal cuyo conjunto de ceros es V(I) menos la parte soportada dentro de V(J).

Principio

La saturación prueba la pertenencia hasta multiplicar por potencias de J: algorítmicamente se calculan sucesivos ideales colon I : J^n hasta la estabilización; geométricamente corresponde a borrar componentes soportadas en V(J) y es una herramienta estándar de eliminación y localización.

Demostración

En k[x,y] sea I = (xy). Saturando con respecto a y se obtiene I : y^∞ = { g | y^n g ∈ (xy) para algún n } = (x). Geométricamente esto elimina la componente x=0 de los puntos soportados en y=0, logrando la eliminación de las piezas embebidas buscadas.

Aplicación incorrecta

Usar saturación respecto a un elemento no relevante u olvidar comprobar la estabilización puede dar ideales erróneos; confundir saturación (que elimina componentes soportadas en V(J)) con mera localización o radical puede malinterpretar los efectos a nivel scheme-teórico.

Consecuencia

La saturación se utiliza para realizar eliminación, calcular cocientes de ideales y eliminar componentes embebidas indeseadas; permite restringir esquemas y calcular cierres o complementos dentro de conjuntos algebraicos.

Inversión

Si se invierte la operación—conservar las componentes multiplicadas en lugar de eliminarlas—se mantienen las piezas embebidas y la estructura nilpotente, lo que puede ser necesario para ciertos invariantes scheme-teóricos; la saturación descarta intencionadamente esos datos.

Límite

La saturación está bien definida en anillos noetherianos donde la cadena I : J^n se estabiliza; en contextos no noetherianos puede fallar la estabilización. La saturación modifica la estructura scheme-teórica y se distingue de tomar radicales o cierres integrales.

Tensión semántica

La saturación se ubica entre la localización y la radicalización: como la localización ignora información soportada en V(J), pero a diferencia de la localización produce un ideal en R (no sólo en R_J); a diferencia del radical, la saturación conserva datos no reducidos fuera de V(J).

Síntesis

La saturación I : J^∞ elimina sistemáticamente las componentes de I soportadas en V(J) probando la pertenencia hasta potencias de J; es una técnica de eliminación/localización que devuelve un ideal que codifica el complemento del soporte indeseado y se calcula por iteración de colon-ideales o métodos de Gröbner.