A basic notion of geometric invariant theory, see for example Eisenbud: Commutative algebra. Weibel mentions an analogy between homological algebra and stable homotopy theory, where syzygy modules correspond to loop spaces, and projective modules to contractible spaces.
nLab page on Syzygy module