 Projective module

A module $P$ is projective when every map from $P$ through the target of a surjection lifts through that surjection.

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.