THE SYZYGY THEOREM FOR BEZOUT RINGS
| Affiliation auteurs | !!!! Error affiliation !!!! |
| Titre | THE SYZYGY THEOREM FOR BEZOUT RINGS |
| Type de publication | Journal Article |
| Year of Publication | 2020 |
| Auteurs | Gamanda M, Lombardi H, Neuwirth S, Yengui I |
| Journal | MATHEMATICS OF COMPUTATION |
| Volume | 89 |
| Pagination | 941-964 |
| Date Published | MAR |
| Type of Article | Article |
| ISSN | 0025-5718 |
| Mots-clés | dynamical Grobner basis, free resolution, Grobner ring, monomial order, Schreyer's monomial order, Schreyer's syzygy algorithm, strict Bezout ring, Syzygy theorem, valuation ring |
| Résumé | 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 Bezout rings with a divisibility test for the case of finitely generated modules whose module of leading terms is finitely generated. |
| DOI | 10.1090/mcom/3466 |