Uma pseudovariedade de semigrupos (resp. monóides) é uma classe de semigrupos finitos (resp. monóides) fechada para subsemigrupos (resp. submonóides), imagens homomorfas e produtos diretos finitos. As pseudovariedades da forma V*D, onde D denota a pseudovariedade dos semigrupos finitos cujos idempotentes são zeros à direita, estão entre os produtos semidiretos mais estudados.

 

Neste trabalho é estudada a propriedade de redutibilidade de produtos semidiretos da forma V*D relativamente a sistemas de equações de grafos. Mostra-se que, se uma pseudovariedade V é redutível em relação à assinatura canónica к consistindo da multiplicação e da (ω-1)-potência, então V*D também é redutível com respeito a к. Em particular, prova-se que a pseudovariedade LG, dos grupos locais, é к-mansa.