Berechnung von Syzygien von Elementen eines Moduls über dem Polynomenring über einen Körper.

Bei der Berechnung einer Gröbner-Basis (bzw. Standardbasis) werden im Buchberger-Algorithmus (bzw. Mora-Algorithmus) Erzeugende des Moduls der Syzygien automatisch mitberechnet. Man muß sich bei der Berechnung der Normalform eines Polynoms Rechenschritte im Algorithmus merken und geeignet aufbereiten.