If a noetherian integral domain R has all its localizations by maximal ideals being PIDs, does it imply that R itself is a PID?
Thank you for your help.
If a noetherian integral domain R has all its localizations by maximal ideals being PIDs, does it imply that R itself is a PID?
Thank you for your help.
Copyright © 2021 JogjaFile Inc.
Short Version: No, an example would be the ring $R=\mathbb{Z}[\sqrt{5}i]$. I'll explain in the long version, why this example was chosen and why it does not satisfy your criteria.
Motivation: The idea is to first give a name to a Noetherian domain $A$ of Krull dimension one (if localization at every maximal is a PID, then the dimension is necessarily one), such that localization at every prime (not just maximal) ideal is a PID. This, as we will see, is a Dedekind domain. It is also known that if a Dedekind domain is a UFD, this it is a PID. So I have translated (a stronger version of) your question into:
Long Version: If you consult Atiyah & MacDonald, chapter 9 (Valuation Rings), you will see the following statements:
In particular, if a Noetherian local domain of dimension one $A$ is a PID then $A$ is a DVR (by $3\to 1$) and conversely, if $A$ is a DVR then $A$ is a PID (by $1\to 6$).
Now we define a Dedekind domain:
A very famous example of Dedekind domains are the following group (for a proof see here, proposition 13.5)
This is how the example in the short version is made. I'll leave it to you to show $\mathbb{Z}[\sqrt{5}i]$ is not a UFD.