Koszul Complex

A canonical finite free chain complex built from a finite sequence of elements of a commutative ring that encodes relations given by contraction with those elements; it detects regular sequences and computes Tor and certain homology groups relative to that sequence.