Koszul complex

This article provides insufficient context for those unfamiliar with the subject. Please help improve the article by providing more context for the reader. (November 2016) (Learn how and when to remove this message)

This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (November 2016) (Learn how and when to remove this message)

In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul (see Lie algebra cohomology). It turned out to be a useful general construction in homological algebra. As a tool, its homology can be used to tell when a set of elements of a (local) ring is an M-regular sequence, and hence it can be used to prove basic facts about the depth of a module or ideal which is an algebraic notion of dimension that is related to but different from the geometric notion of Krull dimension. Moreover, in certain circumstances, the complex is the complex of syzygies, that is, it tells you the relations between generators of a module, the relations between these relations, and so forth.