Buchberger-Kriterium

Eine Charakterisierung, die besagt, dass eine endliche Menge von Polynomen genau dann eine Gröbner-Basis (für eine feste Monomordnung) ist, wenn jedes S-Polynom jeder Paarung von Elementen der Menge bezüglich dieser Menge auf Null reduziert werden kann.