Koszul complexThe general Koszul complex is a more or less direct generalization of this construction.
Elements of can be written as . We have to explain how acts on . For that we need to remember that andLet us introduce a basis in and a dual basis in ; the “dual basis” means that:
One can see that