Definition 15.30.1. Let $R$ be a ring. Let $r \geq 0$ and let $f_1, \ldots , f_ r \in R$ be a sequence of elements. Let $M$ be an $R$-module. The sequence $f_1, \ldots , f_ r$ is called

*$M$-Koszul-regular*if $H_ i(K_\bullet (f_1, \ldots , f_ r) \otimes _ R M) = 0$ for all $i \not= 0$,*$M$-$H_1$-regular*if $H_1(K_\bullet (f_1, \ldots , f_ r) \otimes _ R M) = 0$,*Koszul-regular*if $H_ i(K_\bullet (f_1, \ldots , f_ r)) = 0$ for all $i \not= 0$, and*$H_1$-regular*if $H_1(K_\bullet (f_1, \ldots , f_ r)) = 0$.

## Comments (0)

There are also: