No contexto do estudo do problema da k-palavra para a pseudovariedade LG (classe dos grupos locais finitos) surgiu de forma natural a construção de uma classe de semigrupos que geram LG e que são importantes no teste de propriedades desta classe de semigrupos, nomeadamente na prova da decidibilidade do referido problema da k-palavra. Será exposta a construção de tais semigrupos através de apresentações, ou seja, os semigrupos são definidos como quocientes de semigrupos livres.
Trabalho conjunto com José Carlos Costa (CMAT, U. Minho) e Conceição Nogueira (CMAT, I.P. Leiria).
|