On chains of prime submodules
dimension of finitely generated modules over a Dedekind domain
scientific article; zbMATH DE number 1786377