Skip to main content
2 of 2
added 437 characters in body
François Brunault
  • 20.8k
  • 2
  • 53
  • 102

The ring of integers $\mathcal{O}_{\mathbf{C}_p}$ of $\mathbf{C}_p$ is not noetherian, but its only nontrivial localization is $\mathbf{C}_p$, which is noetherian.

EDIT This doesn't answer the question : the ring $\mathcal{O}$ is local, so its localization at the maximal ideal is $\mathcal{O}$ itself, which isn't noetherian.

The nonzero ideals of $\mathcal{O}$ are of the form $I_{\geq \alpha} = \{x \in \mathcal{O} : v(x) \geq \alpha\}$ with $\alpha \in \mathbf{Q}_{>0}$, and $I_{> \alpha} = \{x \in \mathcal{O} : v(x) > \alpha\}$ with $\alpha \in {\bf R}_{\geq 0}$. Here $v$ is the $p$-adic valuation on $\mathbf{C}_p$. The ring $\mathcal{O}$ is one-dimensional : its only prime ideals are $(0)$ and the maximal ideal $I_{>0}$.

François Brunault
  • 20.8k
  • 2
  • 53
  • 102