Identities and quasiidentities in the lattice of overcommutative semigroup varieties. (Q1941754)

A variety of semigroups is called overcommutative if it contains the variety of all commutative semigroups. If \(\text{L}_{OC}(\mathcal V)\) is the lattice of all overcommutative subvarieties of an overcommutative variety \(\mathcal V\), then the following conditions are equivalent: (a) the variety \(\text{L}_{OC}(\mathcal V)\) satisfies a non-trivial lattice identity; (b) the variety \(\text{L}_{OC}(\mathcal V)\) satisfies a non-trivial lattice quasiidentity; (c) the lattice \(\text{L} _{OC}(\mathcal V)\) is equationally equivalent to a finite lattice; (d) the lattice \(\text{L} _{OC}(\mathcal V)\) is quasiequationally equivalent to a finite lattice; (e) the variety \(\mathcal V\) is permutative and contains none of the varieties defined by the sets of identities \(\{xy=x\}\), \(\{xyzt=xytz,\;x^2y^2=y^2x^2=(xy)^2\}\) or their duals.