Calcul de Syzygies

Le calcul des syzygies consiste à trouver des générateurs du module des relations entre un ensemble donné de générateurs d'un module ou d'un idéal ; concrètement, pour des générateurs g1,…,gn d'un idéal I on calcule tous les n-uplets (a1,…,an) tels que Σ ai gi = 0, c'est-à-dire une présentation du module des syzygies et typiquement une partie d'une résolution libre.

Le calcul des syzygies est le processus de recherche des relations (linéaires ou modulaires) entre générateurs d'un module ou d'un idéal ; concrètement il produit des générateurs du module des syzygies, souvent dans le cadre d'une résolution libre ou via des bases de Gröbner.