RESEARCH ARTICLE A concept of variety for regular biordered sets
Raymond Broeksteeg · 1994
We define a bivariety of regular biordered sets to be a nonempty class of regular biordered sets which is closed under taking direct products, regular bimorphic images and relatively regular biordered subsets. It is then shown that there is a complete lattice morphism mapping the complete lattice of all e-varieties of regular semigroups onto the complete lattice of all bivarieties of regular biordered sets; as a corollary we prove that there is a complete lattice morphism mapping the complete lattice of all e-varieties of E-solid regular semigroups onto the complete lattice of all varieties of solid binary algebras. Examples of bivarieties include the class of all solid regular biordered sets and the class of all local semilattices. For each set X with at least two dements, we show that a bivariety contains a free object on X if and only if it consists entirely of solid regular biordered sets or it consists entirely of local semilattices.