A non-Noetherian local ring with finitely generated…

Some time ago I found the following interesting lemma on the stacksproject:

Theorem. (Tag 05GH) Let $I$ be a finitely generated ideal in a ring $R$ . Then the $I$ -adic completion $R$ is Noetherian if $R / I$ is.

Corollary. Let $R$ be a complete local ring with a finitely generated maximal ideal $m$ . Then $R$ is Noetherian.

This corollary turns out to be actually quite useful in some examples.

The natural question is whether this corollary holds without the completeness assumption. A positive answer in this direction is given by the following theorem:

Theorem (Cohen). Let $R$ be a ring such that any prime ideal $p \subset R$ is finitely generated. Then $R$ is a Noetherian ring.

Proof. See Matsumura's Commutative Ring Theory, Theorem 3.4.

However, it turns out that the answer is negative if one only assumes that all maximal ideals are finitely generated.

Theorem (Proposition). There is a non-Noetherian local ring $R$ with a finitely generated maximal ideal $m$ .

I don't know if there is an easy way to construct such a ring (see the update at the end of the post for some other examples). I'll explain a construction that uses the notion of ultraproducts.

Before we start the construction, we choose an arbitrary non-trivial ultrafilter (any ultrafilter that contains a filter of cofinite sets) on the set of natural numbers $N$ . We note that such an ultrafilter exists by Zorn's lemma (ultrafilters are exactly maximal filters). In what follows, we will just say "ultraproduct" instead of "ultraproduct with respect to the chosen nontrivial ultrafilter".

Now we pick any local principal ideal ring $A$ with a non-nilpotent maximal ideal $m$ (for example, the ring $Z_{p}$ works). We define $R := A_{*}$ to be the ultraproduct of the countable number of copies of $A$ (relative to the chosen ultrafilter).

We remind the reader that $A_{*}$ is defined as the quotient of the countable product $\prod_{i = 1}^{\infty} A$ by the relation $(a_{i}) = (b_{i})$ if the set of indices where $a_{i} = b_{i}$ lies in the chosen ultrafilter (we say that $a_{i} = b_{i}$ almost everywhere).

We have the natural surjective map

i \in N \prod A \to A_{*}

Lemma (1). Let $A$ be a field. Then the ultraproduct $A_{*}$ is a field.

Proof. Consider any nonzero element $[(a)] \in A_{*}$ and any of its representatives $a \in \prod_{i \in N} A$ . Since $[(a)]$ is nonzero, the set of indices where $a_{i} = 0$ does not lie in the ultrafilter. This implies that the set of indices where $a_{i} \neq = 0$ lies in the ultrafilter. Therefore, the class $[(a)]$ is equal to the class $[(a^{'})]$ defined as $(a^{'})_{i} = a_{i}$ if $a_{i} \neq = 0$ and $a_{i}^{'} = 1$ otherwise. Then $a^{'} \in (\prod_{i \in N} A)^{\times}$ and the class $[(a^{'})^{- 1}]$ is the inverse of $[(a^{'})] = [(a)]$ . So the element $[(a)]$ is invertible.

Lemma (2). Let $A$ be a local ring with the maximal ideal $m$ . Then the ultraproduct $A_{*}$ is a local ring with the maximal ideal $m_{*}$ (ultraproduct of the ideals $m$ with respect to the ultrafilter chosen above) and the residue field $(A / m)_{*}$ .

Proof. There is the natural map $m_{*} \to A_{*}$ . This map is obviously injective. The image is an ideal in $A_{*}$ since it consists exactly of the classes that have a representative $(a)$ , where all coordinates $a_{i}$ lie in the maximal ideal $m$ .

Step 1. The ideal $m_{*}$ is maximal. We note that to check that this ideal is maximal, it suffices to check that $A_{*} / m_{*} = (A / m)_{*}$ because Lemma 1 guarantees that the right side of the equality is a field.

There is a natural map $A_{*} \to (A / m)_{*}$ and $(m)_{*}$ lies in the kernel of this map. This induces a natural map $A_{*} / m_{*} \to (A / m)_{*}$ that we need to check is an isomorphism. Since surjectivity is clear, it remains to check injectivity.

Indeed, suppose the class $[(a)]$ is zero in $(A / m)_{*}$ . This means that for almost all indices $i$ , we have $a_{i} \in m$ . Let us now define the element $(a^{'})$ as $a_{i}^{'} = a_{i}$ if $a_{i} \in m$ , and $a_{i}^{'} = 0$ otherwise. So $[(a)] = [(a^{'})]$ but now the class $[(a^{'})]$ clearly lies in $m_{*}$ . Thus, $[(a)] \in m_{*}$ .

Step 2. The ring $A_{*}$ is local. It is enough to show that any element $[(a)]$ that does not lie in the maximal ideal $m_{*}$ is invertible.

Choose any element $[(a)] \in / m_{*}$ . Then the set of indices $i$ such that $a_{i} \in m$ does not lie in our ultrafilter. Therefore, the set of indices $i$ such that $a_{i} \in / m$ lies in the ultrafilter. Let's do the standard trick with replacing the sequence $(a)$ with the sequence $(a^{'})$ defined by the rule $a_{i}^{'} = a_{i}$ if $a_{i} \in / m$ , and $a_{i}^{'} = 1$ otherwise. Then $[(a)] = [(a^{'})]$ and $[(a^{'})]$ is clearly invertible with the inverse $[((a^{'})^{- 1})]$ .

Now let's return to our case when $A$ is a local principal ideal domain with maximal ideal $m = (x)$ . Then Lemma 2 tells us that $R = A_{*}$ is a local ring with maximal ideal $m_{*}$ . It follows from the definition that $m_{*}$ is principal and is generated by the element $[(x, x, x, x, x, x, x, \dots)]$ . Therefore, $R$ is a local ring with a principal maximal ideal. It remains to prove that $R$ is not Noetherian.

Recall that Krull's Intersection Theorem says that if $(A, m)$ is a Noetherian ring, the intersection $⋂_{n = 1}^{\infty} m^{n} = (0)$ . We will show that this is not the case for $(R = A_{*}, m_{*})$ .

Consider the element $t_{1} := [(x, x^{2}, x^{3}, x^{4}, \dots)]$ in $A_{*}$ . Obviously, $t_{1}$ lies in the maximal ideal $m_{*}$ . Now we note that $t_{1} = t_{2} := [(x^{2}, x^{2}, x^{3}, x^{4}, \dots)]$ since the ultrafilter contains all cofinite subsets of $N$ and so changing any finite number of elements does not change the class in the ultraproduct. But now $t_{1} = t_{2}$ lies in $(m_{*})^{2}$ . Similarly, the element $t_{1} = t_{3} := [(x^{3}, x^{3}, x^{3}, x^{4}, x^{5}, \dots)]$ lies in $(m_{*})^{3}$ . Keep going to get that $t_{1} = t_{N} := [(x^{N}, \dots N times, x^{N}, x^{N + 1}, x^{N + 2}, \dots)] \in (m_{*})^{N}$ . Thus,

t_{1} \in i = 1 ⋂ \infty (m_{*})^{i} .

The last thing left to check is that the constructed element $t_{1}$ is not zero. This is exactly the place where we need to use that $m$ is not nilpotent. Indeed, let us assume that $t_{1} = 0$ . This means that the set of indices $i$ such that $x^{i} = 0$ lies in our ultrafilter. An empty set does not lie in an ultrafilter from the definition of an ultrafilter. Therefore, there is some $M$ such that $x^{M} = 0$ . But then this contradicts the fact that $m = (x)$ is not nilpotent. So $t_{1} \neq = 0$ .

Thus, we have verified that $A_{*}$ is a local ring with finitely generated (even principal!) maximal ideal, but is not Noetherian!

Note

Note. Update. Gleb Terentiuk explained in the comments that there is an easier construction. Also, look here for some other examples.

A non-Noetherian local ring with finitely generated maximal ideal