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
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.
Type de document :
Communication dans un congrès
3rd International Workshop on Confluence, Jul 2014, Vienna, Austria
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01105087
Contributeur : Yves Guiraud <>
Soumis le : lundi 19 janvier 2015 - 16:56:14
Dernière modification le : mardi 11 octobre 2016 - 15:01:33

Identifiants

  • 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>

Partager

Métriques

Consultations de la notice

175