2

Let $R$ be a Noetherian local domain with unique maximal ideal $M$. Then I want to show that if every $M$-primary ideal is a power of $M$, then $R$ is a Discrete Valuation Ring.

I know I'll be done if I can show that $M$ is principal, or that $M$ is the only prime ideal (since then I can invoke, or that $R$ is integrally closed in its field of fractions, but I'm not sure how to show any of those things. Could I have some hints?

user26857
  • 52,094
Nishant
  • 9,155

1 Answers1

1

There is no ideal (properly) between $M^2$ and $M$ (why?). Let $x\in M-M^2$. (What can you say if $M=M^2$?) Then $M^2+(x)=M$, and from Nakayama Lemma get $M=(x)$.

user26857
  • 52,094
  • Oh, so since any ideal contained between $M$ and $M^2$ has $M$ as its radical, it must then be $M$ or $M^2$? But this ideal between $M$ and $M^2$ doesn't have to be primary? – Nishant Jul 04 '14 at 23:05
  • Okay, I think I got it: by primary decomposition, such an ideal is contained in the intersection of primary ideals, and thus in the intersection of the associated primes. But since the radical of this ideal is $M$, $M$ is the only prime that contains it, so this ideal is just an $M$-primary ideal, and thus just $M$ or $M^2$. – Nishant Jul 04 '14 at 23:42
  • @Nishant In general, an ideal whose radical is a maximal ideal $M$ is necessarily $M$-primary. – user26857 Jul 05 '14 at 06:47