Koszul complex of a sequence of elements

From Commalg
Revision as of 16:24, 12 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Let R be a commutative unital ring and x1,x2,,xnR be a sequence of elements. The Koszul complex of this sequence, denoted K(x1,x2,,xn), is defined as the Koszul complex of the element (x1,x2,,xn) in the free R-module Rn.