Mansidão da pseudovariedade LSl

A teoria de semigrupos finitos centra-se no estudo de pseudovariedades de semigrupos, ou seja, classes de semigrupos finitos fechadas para imagens homomorfas, subsemigrupos e produtos finitos. Uma questão típica é a decidibilidade (do problema de pertença) de uma pseudovariedade, sendo que estas classes são frequentemente definidas por operadores aplicados a outras pseudovariedades. Rhodes' 99 provou que o operador "produto semidirecto", que é um dos operadores mais úteis, não preserva a decidibilidade. A noção de mansidão de uma pseudovariedade foi introduzida recentemente por Almeida e Steinberg como uma propriedade apropriada para garantir a decidibilidade do produto semidirecto de qualquer número de factores. Neste seminário será abordado o caso da mansidão da pseudovariedade LSl, dos semigrupos localmente idempotentes e localmente comutativos. Este problema faz parte de uma lista de problemas propostos por Almeida sobre mansidão.