Koszul complexThe 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 basisin
and a dual basis
in
; the “dual basis” means that:
We define:One can see that