[Math] Counter-examples to Krull’s intersection theorem

ac.commutative-algebraag.algebraic-geometry

The more general form of Krull intersection theorem says:

Let $R$ be local and Noetherian and $I \subset R$ a proper ideal. If $M$ is finitely generated over $R$, and $N=\cap_1^{\infty} I^iM$, then $IN=N$.

What is the simplest counter-examples when one (and only one) condition among: $R$ local, $R$ Noetherian or $M$ finitely generated is dropped? So this is three questions I guess.

Sorry if this is too easy for this site. It has been a while, you know!

LATER: Andrea's answer gave a counter-example to the stronger statement: there is an element $r \in I$ such that $N(1-r)=0$. I believe it is not a counter-example to the form stated above, see David Eisenbud's book on commutative algebra, the Example after Corollary 5.5 and Exercise 5.6.

However, Dustin Cartwright pointed out that one can safely drop the "local" hypothesis. So there are only two questions left.

Best Answer

For $R$ noetherian and $M$ not finitely generated you can take the following example from Kaplansky, Infinite Abelian Groups: The abelian group $G$ with generators $x$ and $y_k$ for $k=1,2,\dots$ and relations $px=0$, $x=py_1=p^2y_2=\dots=p^ky_k=\dots$ ($p$ some fixed prime) satisfies $G_\omega=\bigcap p^kG=\langle x\rangle$, but $pG_\omega=0\ne G_\omega$.

Building upon this example, you also get an example for the case $R$ non-noetherian and $M$ finitely generated: with the same $G$, you can set $R=\mathbb Z\times G$ with $G$ as a square-zero ideal, $M=R$ and $I=pR$. Now, $\bigcap I^n=0\times G_\omega$ again satisfies $I\bigcap I^n\ne\bigcap I^n$.

Related Question