Skip to main content

Yes it's true.

First, in a noetherian ring $A$, every chain of ideals is well-ordered by reverse inclusion. The supremum of ordinal types of such chains is denoted $o(A)$.

A particular case of Theorem 2.12 in [Bass71] is that for $A$ of finite Krull dimension $d$, we have $o(A)\le\omega^d$; hence $o(A)<\omega^\omega$. This holds in particular if $A$ is noetherian local.

Now if $A$ is a ring such that there is some family of ideals $(I_x)$ whose intersection is not achieved by any countable subfamily, then it is quite immediate that there is a descending chain of ordinal type $\omega_1$: indeed, by induction one defines for $\alpha<\omega_1$ $x_{\alpha}$ such that $I_{x_\alpha}$ does not contain $\bigcap_{\beta<\alpha}I_{x_\beta}$, and hence $J_\alpha=\bigcap_{\beta<\alpha}I_{x_\alpha}$ is the desired chain.

But actually Bass' main result (his Theorem 1.1) says that any chain of submodules of a f.g. module over an arbitrary noetherian ring, is countable. This shows that the result holds for arbitrary noetherian rings and not only local ones.

The case of countable Krull dimension (encompassing the case of noetherian local rings) is quite easy to understand using ordinal length, as in Gulliksen [Gull73].

[Bass71] H. Bass. Descending chains and the Krull ordinal of commutative Noetherian rings, Journal of Pure and Applied Algebra Volume 1, Issue 4, December 1971, Pages 347-360 (Sciencedirect link -poor scan)

[Gull73] T. Gulliksen. A theory of length for Noetherian modules. Journal of Pure and Applied Algebra Volume 3, Issue 2, June 1973, Pages 159-170. (Sciencedirect link)

YCor
  • 63.9k
  • 5
  • 187
  • 286