Finitude local de variedades para as relações de Green

Neste seminário iremos estudar uma noção que se situa entre a de variedade localmente finita e a de variedade periódica, chamada variedade localmente K-finita, onde K é uma das cinco relações de Green. Mais precisamente, diz-se que uma variedade é localmente K-finita se, nela, todo o semigrupo finitamente gerado tem um número finito de K-classes. Iremos descrever as caracterizações obtidas, todas elas formuladas na linguagem de "objetos proibidos".

Este é um trabalho conjunto com Mikhail V. Volkov (Universidade de Ekaterinburg) e Pedro V. Silva (Universidade do Porto).