2
$\begingroup$

Is there any name or alternative characterization for the class of integral domains $D$ such that for any prime ideal $P$, $D_P$ is a principal ideal domain?

$\endgroup$

2 Answers 2

7
$\begingroup$

It's called an "almost Dedekind domain" in the literature on non-Noetherian commutative algebra. Every almost Dedekind domain is a Prüfer domain, or equivalently, locally a valuation domain. However, there exist Prüfer domains that are not almost Dedekind, e.g. any valuation domain that's not a PID. Both classes of domains come up a lot in the literature.

http://www.ams.org/journals/proc/1964-015-05/S0002-9939-1964-0166212-8/S0002-9939-1964-0166212-8.pdf

$\endgroup$
2
  • $\begingroup$ It's not hard to see that the rings mentioned in the question are Prüfer domains, since the image of any ideal (and hence image of every f.g. ideal) is principal, so every f.g. ideal is invertible, hence Prüfer. However, the rings defined in paper by Gilmer are those for which the localisation at every maximal ideal is Dedekind, not principal, and I can't immediately see why these are equivalent, so the class in this answer is potentially more general. Can anyone explain this or offer a counterexample? $\endgroup$ Dec 30, 2013 at 15:23
  • $\begingroup$ A local ring is Dedekind if and only if it is a DVR if and only if it is a PID. $\endgroup$ Dec 30, 2013 at 21:57
1
$\begingroup$

If you add the hypothesis that $D$ is noetherian, then this is one of the characterizations of Dedekind rings.

$\endgroup$
2
  • $\begingroup$ yes this is well known. This is why I am considering the class mentioned above. $\endgroup$
    – Robert M
    Dec 29, 2013 at 10:34
  • 1
    $\begingroup$ I was suspecting that. Then I think all you can say is that your class of rings is a special class of Prüfer rings. $\endgroup$
    – abx
    Dec 29, 2013 at 10:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.