Um problema central na área de Semigrupos Finitos é o estudo da
decidilidade de certas classes de semigrupos finitos, as
pseudovariedades. De entre os operadores mais comuns sobre
pseudovariedades temos o produto semidirecto que não preserva a
decidibilidade dos factores. Neste contexto, foram aparecendo noções
mais robustas, como a mansidão, e pretende-se estudar em que situações
são preservadas pelo produto semidirecto. Neste seminário serão
apresentadas condições sobre uma pseudovariedade mansa *V* para que o
seu produto semidirecto com uma pseudovariedade ordem computável *W (*
leia-se uma pseudovariedade em que os objectos livres na classe dos
semigrupos compactos residualmente em *W *são finitos e efectivamente
computáveis) seja manso. |