Koszul complex

Notice that and are both graded algebras, therefore we can define , , . Consider the complex:

(18)

It consists of injective modules, but is it exact?