A negative answer to a question about leading terms ideals of polynomial ideals (Q1936114)

It is known that in many algebra systems, \(S\) is a Gröbner-Shirshov basis for the ideal \(I\) if \(S\subseteq I\) and the ideal \(LT(S)\) generated by the leading terms of \(S\) equals the ideal \(LT(I)\). In the special case that for any finitely generated polynomial algebra \(R[x_1, \dots , x_n]\), where \(R\) is a Noetherian commutative ring with unit \(1\), \(S\) is a Gröbner-Shirshov basis for the finitely generated ideal \(I\) if \(S \subseteq I\), and \(LT(S)=LT(I)\). Since any ideal in \(R[x_1, \dots , x_n]\) has finite Gröbner-Shirshov basis, we have there is a Gröbner-Shirshov basis \(S' \subseteq I\) such that \(LT(S')=LT(I)\), i.e., \(LT(I)\) is finitely generated. A ring \(R\) is said to be Gröbner if for any finitely generated ideal \(I\) of \(R[x_1, \dots , x_n]\), fixing a monomial ordering on \(R[x_1, \dots , x_n]\), \(LT(I)\) is finitely generated. There is a conjecture says that a valuation domain is Gröbner if and only if its Krull dimension is \(\leq 1\). This paper technically constructs an example of a finitely generated ideal \(I\) of \(R[X]\), where \(R\) is a one dimension domain, whose leading terms ideal is not finitely generated. This gives a negative answer to the open question of whether if \(R\) is a domain with Krull dimension \(\leq 1\), then \(R\) is Gröbner.