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)