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