The syzygy theorem for Bézout rings
| Autor: | Stefan Neuwirth, Ihsen Yengui, Henri Lombardi, Maroua Gamanda |
|---|---|
| Přispěvatelé: | Département de Mathematiques [Sfax], Faculté des Sciences de Sfax, Université de Sfax - University of Sfax-Université de Sfax - University of Sfax, Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB), Université de Bourgogne (UB)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), John Templeton Foundation (ID 60842), ANR-15-IDEX-0003,BFC,ISITE ' BFC(2015), Fédération Bourgogne Franche-Comté Mathématiques (BFC-Math ), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), ANR: 15-IDEX-0003,BFC,ISITE « BFC(2015) |
| Rok vydání: | 2019 |
| Předmět: |
Pure mathematics
[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC] Schreyer's syzygy algorithm 010103 numerical & computational mathematics 01 natural sciences Constructive Valuation ring MSC 2010: 13D02 13P10 13C10 13P20 14Q20 Finitely-generated abelian group 0101 mathematics Syzygy theorem Gröbner ring Monomial order strict Bézout ring Mathematics Algebra and Number Theory Hilbert's syzygy theorem Mathematics::Commutative Algebra monomial order valuation ring Applied Mathematics 010102 general mathematics free resolution Divisibility rule Mathematics - Commutative Algebra 16. Peace & justice dynamical Gröbner basis 13D02 13P10 13C10 13P20 14Q20 Schreyer's monomial order Computational Mathematics |
| Zdroj: | Mathematics of Computation Mathematics of Computation, American Mathematical Society, 2020, 89, pp.941-964. ⟨10.1090/mcom/3466⟩ |
| ISSN: | 1088-6842 0025-5718 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|