Convergent presentations and polygraphic resolutions of associative algebras - Archive ouverte HAL Access content directly
Journal Articles Mathematische Zeitschrift Year : 2019

Convergent presentations and polygraphic resolutions of associative algebras

Abstract

Several constructive homological methods based on noncommutative Gröbner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the existence of a quadratic Gröbner basis of its ideal of relations. In this article, using a higher-dimensional rewriting theory approach, we give several improvements of these methods. We define polygraphs for associative algebras as higher-dimensional linear rewriting systems that generalise the notion of noncommutative Gröbner bases, and allow more possibilities of termination orders than those associated to monomial orders. We introduce polygraphic resolutions of associative algebras, giving a categorical description of higher-dimensional syzygies for presentations of algebras. We show how to compute polygraphic resolutions starting from a convergent presentation, and how these resolutions can be linked with the Koszul property.
Fichier principal
Vignette du fichier
groebner.pdf (754.76 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01006220 , version 1 (14-06-2014)
hal-01006220 , version 2 (21-12-2017)
hal-01006220 , version 3 (08-10-2018)

Identifiers

Cite

Yves Guiraud, Eric Hoffbeck, Philippe Malbos. Convergent presentations and polygraphic resolutions of associative algebras. Mathematische Zeitschrift, 2019, 293 (1-2), pp.113-179. ⟨10.1007/s00209-018-2185-z⟩. ⟨hal-01006220v3⟩
832 View
277 Download

Altmetric

Share

Gmail Facebook X LinkedIn More