The Gröbner ring conjecture in one variable

DOI10.1007/S00209-011-0847-1MaRDI QIDQ415466zbMATH OpenOpenAlexWikidataFDO

Authors Ihsen Yengui, Peter Schuster, Henri Lombardi

Publication date 8 May 2012

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00209-011-0847-1

zbMATH Keywords

Bézout domainconstructive mathematicsGröbner ring conjecturesemihereditary ringvaluation domain

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Projective and free modules and ideals in commutative rings (13C10) Stability for projective modules (19A13)

Review text

In the main result of this paper, the authors prove that a valuation domain \(\mathbf V\) has Krull dimension \(\leq 1\) if and only if for every finitely generated ideal \(I\) of \(\mathbf V[X]\) the ideal generated by the leading terms of elements of \(I\) is also finitely generated. This proves the Gröbner ring conjecture in one variable, and also gives an example of a class of non-Noetherian rings satisfying this property. As a consequence, they show that the result is valid for semihereditary rings. Finally, they ask two open problems.

Recommendations

• The Gröbner ring conjecture in the lexicographic order case
• Gröbner bases for ideals in univariate polynomial rings over valuation rings
• A counterexample to the Gröbner ring conjecture
• On the leading terms ideals of polynomial ideals over a valuation ring
• A zero-dimensional valuation ring is 1-Gröbner

Cites work

• A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
• A course in constructive algebra
• Dynamical Gröbner bases
• Dynamical Gröbner bases over Dedekind rings
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
• scientific article; zbMATH DE number 2084947 (Why is no real title available?)
• Krull dimension, Nullstellensätze and dynamical evaluation

Cited in

(16)

• A negative answer to a question about leading terms ideals of polynomial ideals
• A counterexample to the Gröbner ring conjecture
• A Gröbner basis algorithm for ideals over zero-dimensional valuation rings
• Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain
• A zero-dimensional valuation ring is 1-Gröbner
• The Gröbner ring conjecture in the lexicographic order case
• Un Algorithme pour le Calcul des Syzygies surV[X] dans le cas oùVest un Domaine de Valuation
• On the leading terms ideals of polynomial ideals over a valuation ring
• Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain
• Gröbner bases for ideals in univariate polynomial rings over valuation rings
• The trailing terms ideal over a valuation domain
• COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}], R A VALUATION RING
• Constructing Gröbner bases for Noetherian rings
• Commutative von Neumann regular rings are 1-Gröbner
• The multivariate Serre conjecture ring
• A constructive proof of the general Nullstellensatz for Jacobson rings

This page was built for publication: The Gröbner ring conjecture in one variable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q415466)