| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 92.64 KB | Adobe PDF |
Orientador(es)
Resumo(s)
We prove that the monoids Monha, b, c, d: anb = 0, ac = 1, db = 1, dc = 1, dab = 1, da 2 b = 1,.., dan-1 b = 1i are congruence-free for all n = 1. This provides a new countable family of finitely presented congruence-free monoids, bringing us one step closer to understanding the monoid version of the Boone-Higman Conjecture. We also provide examples showing that finitely presented congruence-free monoids may have quadratic Dehn function.
Descrição
the second author was supported by an FCT Investigador advanced fellowship (IF/01622/2013/CP1161/CT0001).
Palavras-chave
Boone-Higman Conjecture Congruence-free Finitely presented Rewriting systems Analysis Applied Mathematics
