Some properties of Gröbner-bases for polynomial ideals
Bruno Buchberger · ACM SIGSAM Bulletin · 1976
We give a uniqueness theorem for Gröbner-bases of polynomial ideals and show that it is effectively decidable whether a given basis is a (minimal normed) Gröbner-basis. Incidentally, we show how our methods may be applied to decide α ≤ β for given polynomial ideals α and β.