Skip to Main content Skip to Navigation
Conference papers

Confluence of linear rewriting and homology of algebras

Yves Guiraud 1, 2 Eric Hoffbeck 3 Philippe Malbos 2, 4
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
4 AGL - Algèbre, géométrie, logique
ICJ - Institut Camille Jordan [Villeurbanne]
Abstract : We introduce the notion of higher dimensional linear rewriting systems for presentations of algebras, generalizing the notion of non-commutative Gröbner bases. We show how to use this notion to compute homological invariants of associative algebras, using the confluence properties of presentations of these algebras. Our method constitutes a new application of confluence in algebra.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01105087
Contributor : Yves Guiraud <>
Submitted on : Monday, January 19, 2015 - 4:56:14 PM
Last modification on : Tuesday, May 5, 2020 - 1:03:21 PM

Identifiers

  • HAL Id : hal-01105087, version 1

Citation

Yves Guiraud, Eric Hoffbeck, Philippe Malbos. Confluence of linear rewriting and homology of algebras. 3rd International Workshop on Confluence, Jul 2014, Vienna, Austria. ⟨hal-01105087⟩

Share

Metrics

Record views

436