Teorema de Intersección de Krull

Resultado estructural sobre la topología I-ádica en anillos: bajo hipótesis estándar (por ejemplo R noetheriano e I contenido en el radical jacobsoniano, típicamente en el caso local o completo noetheriano) la intersección de todas las potencias de un ideal propio I, ⋂_{n≥1} I^n, es {0}.