The multivariate Serre conjecture ring

DOI10.1016/J.JALGEBRA.2023.10.032MaRDI QIDQ6142855zbMATH OpenOpenAlexFDO

Authors Luc Guyot, Ihsen Yengui

Publication date 4 January 2024

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2207.01034

zbMATH Keywords

Gröbner ring conjectureirrational monomial orderleading terms idealrational monomial ordervaluation domains

Mathematics Subject Classification ID

Polynomials over commutative rings (13B25) Rings of fractions and localization for commutative rings (13B30) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)

Abstract: It is well-known that for any commutative unitary ring $mathbfR$, the Serre conjecture ring $mathbfRlangleXangle$, i.e., the localization of the univariate polynomial ring $mathbfR[X]$ at monic polynomials, is a B'ezout domain of Krull dimension $leq1$ if so is $mathbfR$. Consequently, defining by induction $mathbfRlangle{X}_1,ldots,X_{n}angle:=(mathbfRlangle{X}_1,ldots,X_{n-1}angle)langle{X}_{n}angle$, the ring $mathbfRlangle{X}_1,ldots,X_{n}angle$ is a B'ezout domain of Krull dimension $leq1$ if so is $mathbfR$. The fact that $mathbfRlangle{X}_1,ldots,X_{n}angle$ is a B'ezout domain when $mathbfR$ is a valuation domain of Krull dimension $leq1$ was the cornerstone of Brewer and Costa's theorem stating that if $mathbfR$ is a one-dimensional arithmetical ring then finitely generated projective $mathbfR[X_1,dots,X_n]$-modules are extended. It is also the key of the proof of the Gr"obner Ring Conjecture in the lexicographic order case, namely the fact that for any valuation domain $mathbfR$ of Krull dimension $leq1$, any $ninmathbb{N}_{>0}$, and any finitely generated ideal $I$ of $mathbfR[X_1,dots,X_n]$, the ideal $operatornameLT(I)$ generated by the leading terms of the elements of $I$ with respect to the lexicographic monomial order is finitely generated. Since the ring $mathbfRlangle{X}_1,ldots,X_{n}angle$ can also be defined directly as the localization of the multivariate polynomial ring $mathbfR[X_1,dots,X_n]$ at polynomials whose leading coefficients according to the lexicographic monomial order with $X_1<X_2<cdots<X_n$ is $1$, we propose to generalize the fact that $mathbfRlangle{X}_1,ldots,X_{n}angle$ is a B'ezout domain of Krull dimension $leq1$ if so is $mathbfR$ to any rational monomial order, bolstering the evidence for the Gr"obner Ring Conjecture in the rational case.

Recommendations

• The Gröbner ring conjecture in the lexicographic order case
• The Gröbner ring conjecture in one variable
• A counterexample to the Gröbner ring conjecture
• Krull and valuative dimension of the Serre conjecture ring R n
• A question about saturated chains of primes in Serre conjecture rings

Cites work

• A counterexample to the Gröbner ring conjecture
• A course in constructive algebra
• Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
• Computational algebra. Course and exercises with solutions
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
• scientific article; zbMATH DE number 1531449 (Why is no real title available?)
• scientific article; zbMATH DE number 3310901 (Why is no real title available?)
• scientific article; zbMATH DE number 3323113 (Why is no real title available?)
• Krull and valuative dimension of the Serre conjecture ring R n
• Projective modules over some non-noetherian polynomial rings
• The Gröbner ring conjecture in one variable
• The Gröbner ring conjecture in the lexicographic order case
• The trailing terms ideal
• Toward a theory of monomial preorders
• Valuative dimension and monomial orders

Cited in

(1)

• Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings

This page was built for publication: The multivariate Serre conjecture ring

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