Buchberger's Criterion
- Pure Mathematics -
Algebra Dictionary
Definition
A characterization stating that a finite set of polynomials is a Gröbner basis (for a fixed monomial order) if and only if every S-polynomial of every pair of elements of the set reduces to zero modulo that set.