Lemma 15.33.4. Let $R$ be a ring. If $R[x_1, \ldots , x_ n]/(f_1, \ldots , f_ c)$ is a relative global complete intersection, then $f_1, \ldots , f_ c$ is a Koszul regular sequence.

Proof. Recall that the homology groups $H_ i(K_\bullet (f_\bullet ))$ are annihilated by the ideal $(f_1, \ldots , f_ c)$. Hence it suffices to show that $H_ i(K_\bullet (f_\bullet ))_\mathfrak q$ is zero for all primes $\mathfrak q \subset R[x_1, \ldots , x_ n]$ containing $(f_1, \ldots , f_ c)$. This follows from Algebra, Lemma 10.136.13 and the fact that a regular sequence is Koszul regular (Lemma 15.30.2). $\square$

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).