Projective module

In the context of algebra, particularly in the study of module theory over rings, a projective module is a type of module that generalizes the concept of free modules.