In mathematics, particularly in abstract algebra and homological algebra, the concept of projective module over a ring R is a generalisation of the idea of a free module (that is, a module with basis vectors). Various equivalent characterizations of these modules appear below.