Let R be a commutative ring with an identity element, E a (unitary) R-module, and x1, x2, …, xs elements of R. In these circumstances it is possible to form the Koszul complex† K(x1, x2, …, xs|E) of E with respect to x1, x2,…, xs and to investigate the implications, for E and xl, x2, …, xs, if certain of the homology modules of this complex vanish. This was first undertaken by M. Auslander and D. A. Buchsbaum [1]. Among the many results they obtain, the following [1, Proposition 2.8, p. 632] is of particular interest in connection with the present paper:
If R is Noetherian, E is finitely generated, and x1x2,…, xs belong to the Jacobson radical of R, then the statements
(a) x1, x2,…, xsis an R-sequence on E,
(b) HpK(x1, x2,…,xs⃒E) = O for all p > 0,
(c) H1K(x1, x2,…., xs,⃒E) = 0,
are all equivalent.