Los módulos proyectivos son sumandos directos de módulos libres y comparten muchas de sus propiedades deseables.