Esto implica toda una serie de buenas propiedades como que todo módulo tiene una cubierta proyectiva, así como que el límite directo de módulos proyectivos es proyectivo.