António José Mesquita da Cunha Machado Malheiro
01/07/2010
On finite complete presentations and regular semigroups
Complete rewriting systems play an important role both in mathematics and theoretical computer science. On other hand regularity is a central concept of semigroup theory. In a joint work with R. Gray we prove that given a (von Neumann) regular semigroup with finitely many left and right ideals, if every maximal subgroup is presentable by a finite complete rewriting system, then so is the semigroup. In this talk we intend to discuss some tools and techniques used to achieve this result. 
