Es decir, un módulo P es proyectivo cuando hay un módulo Q tal que la suma directa de los dos es un módulo libre F.