Description of zero divisors in the monoid of semigroup varieties under the wreath product. (Q950898)

The wreath product \(T=S^A\text{\,w\,}R\) of semigroups \(S\) and \(R\) by a right \(R\)-act \(A\) is the semigroup defined on the Cartesian product \(S^A\times R\), where \(S^A\) is the set of all mappings from \(A\) in \(S\) and the multiplication on \(T\) is given by the rule \((f,p)(g,q)=(f^pg,pq)\) with \((f^pg)(a)=f(a)g(ap)\) for all \(a\in A\). The semigroup \(R\) is usually called the active and \(S\) the passive semigroup of the wreath product. The wreath product is called extended standard if \(A=R^1\), where \(R^1\) denotes the least monoid containing the semigroup \(R\). The extended standard wreath product is denoted by \(S\text{\,w\,}R\). The monoid wreath product of semigroup varieties \(\mathbf U\) and \(\mathbf V\) is the semigroup variety \(\mathbf U\text{\,w\,}\mathbf V\) generated by all the extended standard wreath products \(S\text{\,w\,}R\) in which the passive semigroup \(S\) belongs to \(\mathbf U\) and the active semigroup \(R\) belongs to \(\mathbf V\). The main result of the paper is the following: the monoid wreath product \(\mathbf U\text{\,w\,}\mathbf V\) of two varieties of semigroups coincides with the variety \(\mathbf S\) of all semigroups if and only if the variety \(\mathbf V\) is overcommutative and the variety \(\mathbf U\) contains either a nontrivial semilattice or a nontrivial group or a countably generated commutative nonnilpotent semigroup with the identity \(x^2=0\).