Polynomial growth in semigroup varieties. (Q952539)

The author studies a problem posed by M. Sapir [The Sverdlovsk Notebook. 3rd ed. Ural State University. Sverdlovsk (1989), for the 1st ed. (1969) see Zbl 0364.20064]: Describe all semigroup varieties in which every finitely generated relatively free semigroup has polynomial growth. The solution of this problem is found in the case of an arbitrary nonperiodic semigroup variety defined by a system of identities over a finite set of variables. Every finitely generated (f.g.) semigroup in such a variety \(\mathfrak M\) has polynomial growth if and only if every semigroup in \(\mathfrak M\) satisfies identities of the given types. There exists an algorithm to decide whether a finite system of homogeneous semigroup identities defines a variety in which every f.g. semigroup has polynomial growth. There are some more results.