Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
If $R$ is a Dedekind domain then is a submodule of a finitely generated $R$-module also finitely generated over $R$?
Many thanks in advance.
Since a Dedekind ring $R$ is Noetherian, every submodule of a finitely-generated $R$-module is finitely-generated.
Required, but never shown