Existencia de Módulo No Inyectivo Generado Finitamente
Definición
La situación en la que existen módulos finitamente generados que no son inyectivos; la generación finita no fuerza la inyectividad, por lo que dichos módulos no cumplen las propiedades de elevación de extensiones que caracterizan a los objetos inyectivos.