{"id":"arxiv/2607.25372","url":"https://arxiv.org/abs/2607.25372","tags":["math.AC"],"score":0,"title":"Reduction of the Finite Generation Problem for Leading Term Ideals under Arbitrary Rational Monomial Orders to the Lexicographic","domain":"math.AC","source":"arxiv","authors":["Xiaopeng Zheng"],"reviews":0,"subject":"math.AC","summary":"A commutative ring $R$ is called a Gröbner ring if, for every $n\\geq 1$, the leading term ideal of every finitely generated ideal of $R[X_1,\\ldots,X_n]$ is finitely generated with respect to the lexicographic order $X_1\\succ\\cdots\\succ X_n$. We prove that this property is equivalent to the condition that, for every $n\\geq 1$, every rational monomial order $\\prec$ on $R[X_1,\\ldots,X_n]$, and every finitely generated ideal $I\\subseteq R[X_1,\\ldots,X_n]$, the leading term ideal $\\operatorname{LT}_{\\prec}(I)$ is finitely generated. The construction uses a tagged monomial embedding, a compatible…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}