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’s. 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".