Back to Search
Start Over
The syzygy theorem for Bezout rings.
- Source :
-
Mathematics of Computation . Mar2020, Vol. 89 Issue 322, p941-964. 24p. - Publication Year :
- 2020
-
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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *GROBNER bases
Subjects
Details
- Language :
- English
- ISSN :
- 00255718
- Volume :
- 89
- Issue :
- 322
- Database :
- Academic Search Index
- Journal :
- Mathematics of Computation
- Publication Type :
- Academic Journal
- Accession number :
- 140470319
- Full Text :
- https://doi.org/10.1090/mcom/3466