Remark: Instead of Dedekind domains one can get away with Prüfer domains. A ring is Dedekind iff it is Prüfer and Noetherian. I'm not including this in the diagram because Dedekind is much more well-known than Prüfer.--Konrad (talk) 13:37, 28 May 2013 (UTC)Reply
