A counterexample to the Gröbner ring conjecture
type: Item
instance of: scholarly article
title: A counterexample to the Gröbner ring conjecture
zbMATH Open document ID: 1476.13036
author: Ihsen Yengui
published in: Journal of Algebra
publication date: 2021-08-25T00:00:00Z
review text: This paper contributes to the generalization of Gröbner basis theory to general commutative rings, in this case considering a question related to valuation domains. The question first arose during the author's development of dynamical Gröbner bases [\textit{I. Yengui}, J. Algebra 301, No. 2, 447--458 (2006; Zbl 1113.13013)]. The ``Gröbner ring conjecture'' posits an equivalence between the following statements: \begin{itemize} \item It is possible to compute in a finite number of steps a Gröbner basis for each finitely generated nonzero ideal of a ring over a valuation ring \(\mathbf V\) by a generalized Buchberger algorithm. \item \(V\)'s Krull dimension is at most 1. \item \(V\) is a ``Gröbner ring''; that is, for every finitely generated ideal of \(\mathbf V\), the ideal of its leading terms is also finitely generated. \end{itemize} (Although it appears in the original formulation, no mention is made in this paper of the first, algorithmic characterization.) The conjecture rests on several parameters, one of which is the monomial ordering, and the counterexample to this case rests on a valuation domain with valuation group \((\mathbb Z+\mathbb Z[\sqrt2],+)\) and a monomial ordering defined by the vector \((1 \ \sqrt2)\). In this context the author describes a finitely-generated ideal whose ideal of leading terms is not finitely generated. The paper is relatively short (10 pages) and largely self-contained, so that the reader familiar with the basic algebraic concepts need not be familiar with the previous investigations to understand this result. The author concludes with an updated conjecture that restricts the claim to a \textit{rational} monomial order.
reviewed by: John Perry
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 13C10
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7385172
zbMATH Keywords: syzygies
zbMATH Keywords: rational monomial order
zbMATH Keywords: irrational monomial order
zbMATH Keywords: leading terms ideal
zbMATH Keywords: valuation domains
zbMATH Keywords: Gröbner conjecture
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2021.07.009
OpenAlex ID: W3186426567
Wikidata QID: Q123000440
cites work: Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain
cites work: Dynamical Gröbner bases over Dedekind rings
cites work: Remarks on a Remark of Kaplansky
cites work: Toward a theory of monomial preorders
cites work: Valuative dimension and monomial orders
cites work: Krull dimension, Nullstellensätze and dynamical evaluation
cites work: The syzygy theorem for Bézout rings
cites work: Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
cites work: The Gröbner ring conjecture in one variable
cites work: On the leading terms ideals of polynomial ideals over a valuation ring
cites work: Dynamical Gröbner bases
cites work: Corrigendum to ``Dynamical Gröbner bases'' and to ``Dynamical Gröbner bases over Dedekind rings''
cites work: The Gröbner ring conjecture in the lexicographic order case
cites work: Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
cites work: Computational Algebra
DOI: 10.1016/J.JALGEBRA.2021.07.009
Recommended article: Counterexamples to a conjecture of Grothendieck
Recommended article: Q3490169
Recommended article: Q3822679
Recommended article: A counterexample to the rigidity conjecture for rings
Recommended article: Counterexamples on baer rings
Recommended article: A counterexample to the unit conjecture for group rings
Recommended article: A counterexample for a conjecture about the catenarity of polynomial rings.
Recommended article: Two counterexamples about the Nagata and Serre conjecture rings
Recommended article: The Gröbner ring conjecture in one variable
description: scientific article; zbMATH DE number 7385172