8
$\begingroup$

Given a Noetherian ring $R$ and a proper ideal $I$ of it.

Is it true that $$\bigcap_{n\ge 1} I^n=0$$ as $n$ varies over all natural numbers?

If not, is it true if $I$ is a maximal ideal? If not, is it true if $I$ is the maximal ideal of a local ring $R$? If not, is it true under additional assumptions on $R$ (like $R$ is regular)?

  • 1
    Dear Dev, it is true if $I$ is the maximal ideal of a noetherian local ring $R$. This is the Krull intersection theorem, and follows quickly from a combination of the Artin-Rees lemma and Nakayama's lemma.2011-01-25
  • 0
    @Akhil: Thanks a lot. That helps. Do you know if it's true in the regular case if $R$ is not local.2011-01-25
  • 1
    A ring of the form $k \times k$ is certainly regular.2011-01-25

2 Answers 2

12

It is not true in general: the ideal may well be idempotent!

For an example, consider a direct product of two fields: there are two ideals, both maximal and both idempotent.

8

See the Section on the Krull Intersection Theorem (currently Section 8.7) in these notes.

A version of the theorem valid for any ideal $I$ in a Noetherian ring $R$ is as follows: if there exists $x \in \bigcap_{n=1}^{\infty} I^n$, then $x \in xI$. From this one easily deduces that $\bigcap_{n=1}^{\infty} I^n = \{0\}$ under either of the following additional hypotheses:

$\bullet$ $R$ is a domain and $I$ is a proper ideal, or
$\bullet$ $I$ is contained in the Jacobson radical $J(R)$ of $R$ (i.e., the intersection of all maximal ideals).

In particular the second condition holds for any proper ideal in a Noetherian local ring.

As Mariano remarks, some hypothesis beyond Noetherianity is needed in order to guarantee $\bigcap_n I^n = \{0\}$. I should probably add his counterexample to my notes!

  • 0
    you should `hyperref` your notes!2011-01-25
  • 0
    @Mariano: I am too embarrassed to admit that I don't even know what that means, but perhaps someone will explain anyway.2011-01-25
  • 0
    it is impossible to be sure without seeing your latex file, but if you say `\usepackage{hyperref}` late in the prologue of your file (say, after all other packages have been loaded), there are great chances that the resulting PDF file will have all its internal cross references turned into working hyperlinks.2011-01-25
  • 0
    @Mariano: I tried what you said, and I did not get any hyperlinks in my pdf file. But I appreciate the suggestion, and when I get the chance I'll ask around and find out how to make it work.2011-01-25
  • 0
    if you point me to the source file, I can take a look; email, *e.g.*2011-01-25
  • 0
    A proof of Krull Intersection Theorem without using Artin-Rees Lemma see Milne's _A Primer of Commutative Algebra_. Theorem 3.16 on page 13.2018-11-10