Existence of Nonprojective Finitely Generated Module
Definition
The situation that there exist modules which are finitely generated but not projective; finite generation alone does not guarantee projectivity, so finitely generated modules may lack lifting or splitting properties characteristic of projective modules.