Syzygies among reduction operators - Université Paris Cité Accéder directement au contenu
Article Dans Une Revue Journal of Pure and Applied Algebra Année : 2019

Syzygies among reduction operators

Résumé

We introduce the notion of syzygy for a set of reduction operators and relate it to the notion of syzygy for presentations of algebras. We give a method for constructing a linear basis of the space of syzygies for a set of reduction operators. We interpret these syzygies in terms of the confluence property from rewriting theory. This enables us to optimise the completion procedure for reduction operators based on a criterion for detecting useless reductions. We illustrate this criterion with an example of construction of commutative Gröbner basis.
Fichier principal
Vignette du fichier
Source.pdf (255.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01578555 , version 1 (29-08-2017)
hal-01578555 , version 2 (09-04-2018)

Identifiants

Citer

Cyrille Chenavier. Syzygies among reduction operators. Journal of Pure and Applied Algebra, 2019, ⟨10.1016/j.jpaa.2018.04.017⟩. ⟨hal-01578555v2⟩
253 Consultations
169 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More