Reduction of the Finite Generation Problem for Leading Term Ideals under Arbitrary Rational Monomial Orders to the Lexicographic

Xiaopeng Zheng

A commutative ring $R$ is called a Gröbner ring if, for every $n\ge 1$, the leading term ideal of every finitely generated ideal of $R[X_1,\dots ,X_n]$ is finitely generated with…