Syzygienberechnung

Die Berechnung von Syzygien bedeutet das Finden von Erzeugern des Relationsmoduls zwischen einer gegebenen Menge von Modul- oder Ideal-Erzeugern; konkret für Erzeuger g1,…,gn eines Ideals I berechnet man alle Tupel (a1,…,an) mit Σ ai gi = 0, also eine Präsentation des Syz-Moduls und typischerweise den Anfang einer freien Auflösung.

Die Berechnung von Syzygien ist der Prozess, Relationen (lineare oder Modulrelationen) zwischen Erzeugern eines Moduls oder Ideals zu finden; konkret erzeugt sie Erzeuger für das Syzygie-Modul, oft im Rahmen einer freien Auflösung oder mittels Gröbnerbasen.