Complexe de Koszul

Un complexe de chaînes fini et libre, construit à partir d'une suite finie d'éléments d'un anneau commutatif, qui encode les relations par contraction avec ces éléments ; il détecte les suites régulières et calcule Tor et certaines groupes d'homologie relatifs à cette suite.