Showing 1–1 of 1 results for author: Gamanda, M

The syzygy theorem for Bézout rings

Authors: Maroua Gamanda, Henri Lombardi, Stefan Neuwirth, Ihsen 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 strict Bézout rings with a divisibility test for the case of finitely generated modules whose module of leading terms is finitely generated. 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. △ Less

Submitted 30 January, 2024; v1 submitted 20 May, 2019; originally announced May 2019.

Comments: This version differs from the published version for the statement and proof of Theorem 5.5, the statement of Theorems 5.8 and 6.2, as well as the free resolution at the end of Example 6.7. The changes have been typeset in green

MSC Class: 13D02; 13P10; 13C10; 13P20; 14Q20

Journal ref: Mathematics of Computation 89 (2020) 941-964