Projectivité

Un module P sur un anneau R est projectif s'il est un facteur direct d'un module libre ; équivalemment P possède la propriété de relèvement : pour toute surjection M → N et tout morphisme P → N, il existe un relèvement P → M. Homologiquement, cela équivaut à Ext1_R(P,−) = 0.