On subdirectly irreducible lattice-ordered semigroups (Q792362)

A dld-semigroup is an l-semigroup whose subjacent lattice is distributive and multiplication is distributive with respect to both lattice operations. A Cross variety of algebras is a locally finite, finitely based variety whose set of subvarieties is finite. The main result of this paper asserts that from any sufficiently large finite commutative subdirectly irreducible dld-semigroup one can select a sufficiently large subdirectly irreducible o-semigroup of one of 14 types (too complicated to be reproduced here). As a consequence, all minimal non-Cross varieties of commutative dld-semigroups belong to exactly 11 varieties.