Théorème d'Intersection de Krull

Résultat structurel sur la topologie I-adique d'un anneau : sous des hypothèses standards (par exemple R noethérien et I contenu dans le radical jacobsonien, typiquement dans le cas local ou complet noethérien) l'intersection de toutes les puissances d'un idéal propre I, ⋂_{n≥1} I^n, est {0}.