Dimension of non-summand submodules
scientific article; zbMATH DE number 7875533