Krull intersection theorem


Given a Noetherian ringMathworldPlanetmath A, an A-module M, and an ideal I inside the radicalPlanetmathPlanetmathPlanetmath of A, we have that M is separated with respect to the I-adic topology.

Furthermore, if A is also an integral domainMathworldPlanetmath and JA is a proper idealMathworldPlanetmath, we have

n>0Jn=(0)
Title Krull intersection theorem
Canonical name KrullIntersectionTheorem
Date of creation 2013-03-22 14:36:12
Last modified on 2013-03-22 14:36:12
Owner mathcam (2727)
Last modified by mathcam (2727)
Numerical id 7
Author mathcam (2727)
Entry type Theorem
Classification msc 13E05