Question 1.226: Suppose R is a Noetherian integral domain. We assume further......

Suppose R is a Noetherian integral domain. We assume further that R is a local ring of Krull dimension 1. Prove that if M is the unique maximal ideal of R and if every ideal is a power of M, then R is a DVR.

Step-by-Step
The 'Blue Check Mark' means that this solution was answered by an expert.
Learn more on how do we answer questions.

Let x_{1}, \ldots, x_{n} \in M be a minimal list of generators for M. Without loss of generality we assume that x_{1} \notin M^{2}. The principal ideal I generated by x_{1} is a power of M by hypothesis: I=M^{k} for some k \geq 1. Since x_{1} \notin M^{2}, in particular, x_{1} \notin M^{k} for any k>1. Therefore, I=M. In particular, M / M^{2} is spanned by x_{1}. Therefore, \operatorname{dim}_{R / M} M / M^{2}=1, hence by Problem 225 the problem is finished.

Related Answered Questions