Completion in Operads via Essential Syzygies - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Completion in Operads via Essential Syzygies


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
35 View
57 Download



Gmail Facebook X LinkedIn More