Syzygies among reduction operators - Archive ouverte HAL 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⟩
259 Consultations
175 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More