An associative operator on the lattice of varieties of inverse semigroups (Q1204134)

Let \(I\) be the variety of all inverse semigroups. If \(U\), \(V\) are subvarieties of \(I\), then \(Wr(U,V)\) is the variety generated by all wreath products of semigroups in \(U\) with semigroups in \(V\). Let \(L(I)\) denote the lattice of all subvarieties of \(I\). Theorem 1: The operation \(Wr\) is associative and \(\langle L(I);Wr\rangle\) is a monoid with 0. Theorem 2: If \(U\) is a group variety, then \(Wr(U,V)\) coincides with \(U\circ V\) as defined by Mal'cev. Theorem 3: Let \(S\) be the variety of all semilattices and \(V\in L(I)\). Then \(Wr(S,V)\) is the variety satisfying all the idempotent laws of \(V\). Theorem 4: If \(V\) is a variety with decidable equational theory, then \(Wr(S,V)\) has decidable equational theory. Theorem 5: If \(V\) is a locally finite variety, then \(Wr(S,V)\) is locally finite. The monoid \(\langle L(I);Wr\rangle\) does not possess unique factorization.