The syzygy theorem for Bézout rings
DOI10.1090/mcom/3466zbMath1439.13033arXiv1905.08117OpenAlexW2950664028MaRDI QIDQ5207449
Stefan Neuwirth, Maroua Gamanda, Ihsen Yengui, Henri Lombardi
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
free resolutionvaluation ringmonomial ordersyzygy theoremdynamical Gröbner basisGröbner ringSchreyer's monomial orderSchreyer's syzygy algorithmstrict bézout ring
Projective and free modules and ideals in commutative rings (13C10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Syzygies, resolutions, complexes and commutative rings (13D02) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Computational homological algebra (13P20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the leading terms ideals of polynomial ideals over a valuation ring
- 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
- A course in constructive algebra
- 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
- Noether normalization theorem and dynamical Gröbner bases over Bézout domains of Krull dimension 1
- 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
- The Gröbner ring conjecture in the lexicographic order case
- Using Algebraic Geometry
- Ideals, Varieties, and Algorithms
