The variety of semigroups defined by $B=\Big\{(x^py^p)^2=(y^px^p)^2:p \text{ is prime}\Big\}$ is non-finitely based (Isbell, 1970). Is the pseudovariety defined by $B$ also non-finitely based?

More generally, if $B$ is an infinite basis for a non-finitely based variety of semigroups, then is the pseudovariety defined by $B$ non-finitely based?

Thank you all in advance.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.