ENGLISH

Church-Rosser property and Homology of Monoids (revised version)

By Yves Lafont , Alain Prouté

Book information

Year
2011
Language
english
Format
PDF
Filesize
267 kB (273104 bytes)
Series
expository notes
Pages
30\30
Time added
2016-09-27 03:49:31

Description

Ce texte écrit en collaboration avec Yves Lafont est une introduction à la réécriture dans les monoïdes et à l'homologie des monoïdes. On y démontre le théorème de Squier, qui énonce que le rang du troisième groupe d'homologie d'un monoïde minore le nombre de paires critiques dans n'importe quelle présentation du monoïde par un système de réécriture confluent et noethérien.

Similar books