Koszul complex

The general Koszul complex is a more or less direct generalization of this construction.

generalizes to

Elements of can be written as . We have to explain how acts on . For that we need to remember that and

Let us introduce a basis in and a dual basis in ; the “dual basis” means that:

We define:

(17)

One can see that