Proyectividad

Un módulo P sobre un anillo R es proyectivo si es un sumando directo de un módulo libre; equivalently P tiene la propiedad de levantamiento: dada una sobreyección M → N y un morfismo P → N, existe un levantamiento P → M. Homológicamente equivale a Ext1_R(P,−) = 0.