Abstract

Using a generalization of the definition of the projective cover of a module, a special type of surjective free resolution, known as the projective cover of a complex, may be defined. The projective cover is shown to be a direct summand of every surjective free resolution and to be the direct sum of the minimal free resolution and an exact complex. Necessary and sufficient conditions for the projective cover and minimal free resolution to be identical are discussed.