Koszul complex of a sequence of elements
Definition
Let be a commutative unital ring and be a sequence of elements. The Koszul complex of this sequence, denoted , is defined as the Koszul complex of the element in the free -module .
Let be a commutative unital ring and
be a sequence of elements. The Koszul complex of this sequence, denoted
, is defined as the Koszul complex of the element
in the free
-module
.