Abstract (EN):
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 (H) over bar of all finite semigroups whose subgroups belong to a given finitely based pseudovariety H of finite groups.
Language:
English
Type (Professor's evaluation):
Scientific
No. of pages:
27