Any commutative ring lying between a Dedekind domain and its fraction field is Dedekind? Let $R$ be a commutative ring with unity, $D$ be a Dedekind domain, $K$ be its fraction field such that $D \subseteq R \subseteq K$. Then is it true that $R$ is Dedekind ?
 A: Let $p$ be a prime of $R$, and $q$ it's restriction to $D$. We have $D_q\subseteq R_p \subseteq K$ with $D_q$ a DVR. It is immediate to see that there are no proper intermediate rings between a DVR and its fraction field, hence if $p$ is nonzero then $D_q=R_p\neq K$, if $p=(0)$ then $D_q=R_p= K$. Hence all localization at prime ideals coincide with those of $R$, in particular localizations at maximals are DVR. To conclude, it's enough to show that $R$ is noetherian, i.e. it satisfies the ascending chain condition on ideals.
But this is easy: we already know that $D$ is noetherian, and hence it is enough to show that the map sending an ideal $I\subseteq R$ to $I\cap D\subseteq D$ is injective. But this can be checked at level of primes: two ideals are equal if and only if their localizations at every prime are equal, and since $D_q=R_p$ for every prime $p\subseteq R$, we conclude.
A: The answer is positive; this is exactly the statement of Proposition 0.63 from the book Finite Rank Torsion Free Modules Over Dedekind Domains by E. L. Lady. (Here's the direct link to the PDF file of Chapter 0.)
