Strong non-Noetherity of polynomial reduction

Abstract

It is a well-known result by A. Reeves and B. Sturmfels that the reduction modulo a marked set of polynomials is Noetherian if and only if the marking is induced from an admissible term ordering. For finite sets of polynomials with a nonadmissible ordering, there is a constructive proof of the existence of an infinite reduction sequence, although a finite one might still be possible. On the base of our specialized software for combinatorics of monomial orderings, we have found some examples for which there is no finite reduction sequence. This is what we call “strong” non-Noetherity. Bibliography: 3 titles.