The syzygy theorem for Bézout rings

DOI10.1090/MCOM/3466MaRDI QIDQ5207449zbMATH OpenOpenAlexFDO

Authors Maroua Gamanda, Henri Lombardi, Stefan Neuwirth, Ihsen Yengui

Publication date 27 December 2019

Published in Mathematics of Computation (Search for Journal in Brave)

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

zbMATH Keywords

dynamical Gröbner basisfree resolutionGröbner ringmonomial orderSchreyer's monomial orderSchreyer's syzygy algorithmstrict bézout ringsyzygy theoremvaluation ring

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Syzygies, resolutions, complexes and commutative rings (13D02) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational homological algebra (13P20) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Abstract: We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict B'ezout rings with a divisibility test for the case of finitely generated modules whose module of leading terms is finitely generated.

Recommendations

• scientific article; zbMATH DE number 1121775
• scientific article; zbMATH DE number 3908555
• Hilbert's syzygy theorem for monomial ideals
• On the construction of Gröbner bases using syzygies
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem

Cites work

• A course in constructive algebra
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Corrigendum to ``Dynamical Gröbner bases and to ``Dynamical Gröbner bases over Dedekind rings
• Dynamical Gröbner bases
• Dynamical Gröbner bases over Dedekind rings
• Gröbner bases in commutative algebra
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Ideals, Varieties, and Algorithms
• Modules over commutative rings. Course and exercises
• Noether normalization theorem and dynamical Gröbner bases over Bézout domains of Krull dimension 1
• On the leading terms ideals of polynomial ideals over a valuation ring
• The Gröbner ring conjecture in the lexicographic order case
• Using Algebraic Geometry

Cited in

(9)

• A counterexample to the Gröbner ring conjecture
• Noether normalization theorem and dynamical Gröbner bases over Bézout domains of Krull dimension 1
• On the inverse syzygy problem.
• The trailing terms ideal over a valuation domain
• Hilbert's syzygy theorem for monomial ideals
• The trailing terms ideal
• An iterative constructive Hilbert basis theorem
• Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
• On syzygy modules over Laurent polynomial rings

This page was built for publication: The syzygy theorem for Bézout rings

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