Cálculo de Sisiquias

El cálculo de syzygies consiste en encontrar generadores del módulo de relaciones entre un conjunto dado de generadores de un módulo o ideal; concretamente, para generadores g1,…,gn de un ideal I se calculan todos los tuplos (a1,…,an) con Σ ai gi = 0, es decir, una presentación del módulo de syzygies y normalmente el inicio de una resolución libre.

El cálculo de syzygies es el proceso de encontrar relaciones (lineales o de módulo) entre generadores de un módulo o ideal; en la práctica produce generadores del módulo de syzygies, a menudo como parte de una resolución libre o mediante bases de Gröbner.