## [Fallo de la Intersección de Krull](/es/node/64035) Definición Fenómeno en el que la intersección de Krull ⋂_{n≥1} I^n de las potencias de un ideal I en un anillo R no coincide con el subconjunto esperado (por ejemplo es no nula cuando ciertos teoremas predicen cero), indicando fallo de separación en la topología I-ádica o incumplimiento de las hipótesis de los teoremas de intersección. ## Principio Principio Los teoremas de intersección de Krull afirman que, bajo hipótesis de finitud o completitud (Noetheriano, módulos de tipo finito o topologías adicas separadas), la intersección de todas las potencias de un ideal se contrae al submódulo previsto (a menudo cero); el fallo aparece cuando esas hipótesis no se cumplen. ## Demostración Demostración En anillos no noetherianos, anillos de valoración o anillos de polinomios en infinitas variables pueden construirse ideales I tales que ⋂_{n≥1} I^n contiene elementos no nulos — las construcciones explotan cadenas ascendentes infinitas o ideales no finitamente generados, de modo que la filtración I-ádica no es Hausdorff. ## Aplicación incorrecta Aplicación incorrecta Usar conclusiones de la intersección de Krull sin verificar noetherianidad, finitud de generación o separabilidad conduce a afirmaciones erróneas sobre desarrollos únicos, continuidad analítica en esquemas formales o deducir nilpotencia a partir de la anulación de imágenes en todos los cocientes. ## Consecuencia Consecuencia Cuando la intersección de Krull funciona como se espera, la topología I-ádica es de Hausdorff y los completados formales reflejan fielmente el módulo original; cuando falla, los completados pierden información y los argumentos de series formales sobre unicidad o separación se desmoronan. ## Inversión Inversión La perspectiva inversa enfatiza los anillos donde la intersección es grande (no nula): esos anillos muestran no separabilidad I-ádica y admiten elementos no triviales anulados por potencias arbitrariamente altas de I, en contraste con el caso noetheriano separado. ## Límite Límite Se aplica a ideales en anillos y módulos y al comportamiento de filtraciones adicas; excluye análogos geométricos o analíticos salvo que se traduzcan explícitamente a lenguaje I-ádico y se comprueben las hipótesis. ## Tensión semántica Tensión semántica Hay tensión entre la intersección de Krull como propiedad de separación topológica y como afirmación algebraica de anulación: una topología adica no Hausdorff se manifiesta algebraicamente como una intersección de Krull no trivial, por lo que ambas perspectivas pueden sugerir remedios distintos. ## Síntesis Síntesis El fallo de la intersección de Krull indica que la filtración I-ádica no separa: fallan las hipótesis de finitud o completitud y, en consecuencia, los completados y argumentos formales basados en la nulidad de ⋂I^n no son aplicables sin comprobaciones adicionales.