# local rings with finite type maximal ideal

Let $A$ be a local ring with a maximal ideal $\mathfrak{m}$ finitely generated (not principal). Is there a sufficient condition for $A$ to be noetherian?

For example, we know that the completion $\hat{A}$ will be noetherian(http://stacks.math.columbia.edu/tag/05GH).

How can we "descend"?

• Well, by Cohen's theorem you could just stipulate that the rest of the prime ideals are finitely generated too.. or that $A$ is a 1-dimensional domain. – Neil Epstein Mar 4 '15 at 16:40
• asserting that all prime ideals are finitely generated is almost the definition of noetherian, not very interesting. – prochet Mar 4 '15 at 16:47
• @prochet: would you remind something about whether $A$ is noetherian without further hypotheses? I think I already saw a counterexample on MO but I can't find it. – YCor Mar 4 '15 at 16:59
• Make lots of counterexamples with ordered abelian semi-groups. Here's one: $G=Z⊕Z$ with lexicographic order, $S=\{(i,j)≥(0,0)\},M=\{(i,j)≥(0,1)\},P=∩\{(i,j)>(0,n):n∈Z\},R=k[T^S]$. Then $m=(T^M)$ is a maximal ideal of $R$ with one generator $T^{(0,1)}$, $(T^P)$ is a non-finitely generated prime ideal, and $A=R_m$ is the local ring. – David Lampert Mar 4 '15 at 23:22