## [Saturación del Ideal](/es/node/63824) Definición Proceso de agrandar o modificar un ideal respecto a un conjunto multiplicativo o potencia de modo que los elementos que se vuelven invertibles en la localización sean eliminados de la descripción del cociente; concretamente, la saturación de I respecto a S es {x | ∃ s∈S con s x ∈ I}. ## Principio Principio Caracterizar los elementos que se ven forzados a entrar en el ideal al invertir un conjunto especificado: la saturación I : S^∞ = ⋃_n (I : S^n) elimina componentes extrañas al pasar al abierto definido por la inversión de S o a las localizaciones proyectivas/afines. ## Demostración Demostración En geometría algebraica computacional, saturar un ideal I por una variable y da el ideal del lugar donde y ≠ 0: I : y^∞ = {f | y^n f ∈ I para algún n}, lo que elimina componentes embebidas contenidas en el hiperplano y=0 y produce el abierto esquema‑teórico correcto. ## Aplicación incorrecta Aplicación incorrecta Confundir saturación con radical, cierre integral o descomposición primaria; aplicar la saturación sin especificar el conjunto multiplicativo S o ignorar que la saturación puede cambiar componentes primarias y multiplicidades. ## Consecuencia Consecuencia Una saturación adecuada produce ideales que corresponden a subconjuntos abiertos geométricos, elimina componentes en el infinito y ofrece descomposiciones primarias más limpias para cuestiones localizadas; alinea cálculos algebraicos con la localización o proyectivización pretendida. ## Inversión Inversión El procedimiento inverso es la contracción: dada un ideal en una localización, contraerlo devuelve un ideal posiblemente más pequeño y no saturado en el anillo original; a diferencia de la saturación, la contracción puede reintroducir elementos eliminados por la inversión. ## Límite Límite Depende de manera crítica de la elección del conjunto multiplicativo o elemento; la saturación no es una operación independiente de la categoría y difiere del radical, la completación y el cierre integral. El comportamiento cambia en anillos no noetherianos y con operaciones no multiplicativas. ## Tensión semántica Tensión semántica Saturación vs radical vs localización vs cierre integral: la saturación elimina elementos que se vuelven unidades al invertir S, mientras que el radical ignora nilpotentes, la localización cambia el anillo ambiente y el cierre integral trata dependencia integral—estas nociones se solapan pero son distintas. ## Síntesis Síntesis La saturación de un ideal elimina sistemáticamente los elementos que se vuelven triviales tras invertir un conjunto multiplicativo elegido, produciendo un ideal apropiado para localizaciones y abiertos geométricos y distinguiéndolo del radical y del cierre integral.