Koszul complexNotice that and are both graded algebras, therefore we can define , , . Consider the complex:(18)It consists of injective modules, but is it exact?

Koszul complex

(18)