PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY
Jorge Almeida, Mikhail Vladimirovich Volkov · Journal of Algebra and Its Applications · 2003
We introduce a series of new polynomially computable implicit operations on the class of all finite semigroups. These new operations enable us to construct a finite pro-identity basis for the pseudovariety [Formula: see text] of all finite semigroups whose subgroups belong to a given finitely based pseudovariety H of finite groups.