Finite direct projective modules
scientific article; zbMATH DE number 7956044