The syzygy theorem for Bézout rings

Maroua Gamanda,Henri Lombardi,Stefan Neuwirth,Ihsen Yengui
DOI: https://doi.org/10.1090/mcom/3466
2024-01-30
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ézout rings with a divisibility test for the case of finitely generated modules whose module of leading terms is finitely generated.
Commutative Algebra
What problem does this paper attempt to address?