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

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

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

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

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

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

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

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

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.