The syzygy theorem for Bézout rings


Mathematics of Computations 89, (2020), 941--964. Sur arXiv arXiv 1905.08117
with M. Gamanda, S. Neuwirth and I. Yengui.

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 Bézout rings with a divisibility test for the case of finitely generated modules whose module of leading terms is finitely generated.