Existencia de Módulo No Proyectivo Generado Finitamente
Definición
La situación en la que existen módulos finitamente generados que no son proyectivos; la generación finita por sí sola no garantiza proyectividad, de modo que los módulos finitamente generados pueden carecer de las propiedades de elevación o escindido propias de los proyectivos.