The Gröbner ring conjecture in the lexicographic order case (Q2636958)

A ring \(R\) is called Gröbner if for every natural number \(n\), fixing a monomial order on \(R[X_1,\dots,X_n]\), for every finitely generated ideal \(I\) of \(R[X_1,\dots,X_n]\), the ideal generated by the leading terms of the elements of \(I\) is finitely generated. The Gröbner ring conjecture asserts that a valuation ring is Gröbner if and only if it has Krull dimension at most \(1\). The author gives a simple and constructive proof of the Gröbner ring conjecture in the lexicographic order case. It is shown that the result also holds for Prüfer domains.