Completion in Operads via Essential Syzygies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Completion in Operads via Essential Syzygies

Résumé

We introduce an improved Gröbner basis completion algorithm for operads. To this end, we define operadic rewriting systems as a machinery to rewrite in operads, whose rewriting rules do not necessarily depend on an ambient monomial order. A Gröbner basis of an operadic ideal can be seen as a confluent and terminating operadic rewriting system; thus, the completion of a Gröbner basis is equivalent to the completion of a rewriting system. We improve the completion algorithm by filtering out redundant S-polynomials and testing only essential ones. Finally, we show how the notion of essential S-polynomials can be used to compute Gröbner bases for syzygy bimodules. This work is motivated by the computation of minimal models of associative algebras and symmetric operads. In this direction, we show how our completion algorithm extends to the case of shuffle operads. CCS Concepts • Computing methodologies → Combinatorial algorithms; Algebraic algorithms.
Fichier principal
Vignette du fichier
essentialSyzygies.pdf (592.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03258883 , version 1 (12-06-2021)

Identifiants

Citer

Philippe Malbos, Isaac Ren. Completion in Operads via Essential Syzygies. 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465552⟩. ⟨hal-03258883⟩
34 Consultations
48 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More