modulo proiettivo

In matematica, un modulo proiettivo è un modulo con la proprietà di essere addendo diretto di un modulo libero: ovvero P è proiettivo se esiste un modulo libero F e un suo sottomodulo N tale che F è la somma diretta di P ed N. Questo concetto è il duale di quello di modulo iniettivo; è stato introdotto da Henri Cartan e Samuel Eilenberg nel 1956.