Lemma 15.30.3. A $M$-Koszul-regular sequence is $M$-$H_1$-regular. A Koszul-regular sequence is $H_1$-regular.

Proof. This is immediate from the definition. $\square$

There are also:

• 4 comment(s) on Section 15.30: Koszul regular sequences

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).