Lemma 15.30.4. Let $f_1, \ldots , f_{r - 1} \in R$ be a sequence and $f, g \in R$. Let $M$ be an $R$-module.

If $f_1, \ldots , f_{r - 1}, f$ and $f_1, \ldots , f_{r - 1}, g$ are $M$-$H_1$-regular then $f_1, \ldots , f_{r - 1}, fg$ is $M$-$H_1$-regular too.

If $f_1, \ldots , f_{r - 1}, f$ and $f_1, \ldots , f_{r - 1}, g$ are $M$-Koszul-regular then $f_1, \ldots , f_{r - 1}, fg$ is $M$-Koszul-regular too.

## Comments (2)

Comment #5363 by MAO Zhouhang on

Comment #5600 by Johan on

There are also: