An important part of homological algebra deals with modules possessing projective resolutions of finite length. This goes back to Hilbert's famous theorem on syzygies through, in the earlier theory, free modules with finite bases were used rather than projective modules. The introduction of a wider class of resolutions led to a theory rich in results, but in the process certain special properties of finite free resolutions were overlooked. D. A. Buchsbaum...