Koszul complex of a sequence of elements

From Commalg

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 .