Computing the homology of Koszul complexes

Bernhard Köck

Let R be a commutative ring and I an ideal in R which is locally generated by a regular sequence of length d. Then, each projective R/I-module V has an R-projective resolution P. o…