Some structural and residual properties of 2-semilattices (Q2200480)

A \(2\)-semilattice is an algebra defined with a single binary operation satisfying the identities \(xx\approx x\), \(xy\approx yx\), and \(x(xy)\approx xy\). Associated to any \(2\)-semilattice is a binary relation \(\to\) defined so that \(a\to b\) holds exactly when \(ab=b\). The equivalence relation whose classes are the strongly connected components of the \(\to\)-relation is denoted \(\Delta_{\mathbf A}\). In this paper, the author shows that a finite \(2\)-semilattice \(\mathbf A\) has a tame congruence theoretic type-set contained in the set \(\{\mathbf 3,\mathbf 5\}\). The author characterizes when the variety generated by \(\mathbf A\) has no simple algebras of type \(\mathbf 3\). The author studies the situation when \(\Delta_{\mathbf A}\) is a congruence and \(\mathbf A/\Delta_{\mathbf A}\) is a semilattice. In this situation, the author says that \(\mathbf A\) has the component-semilattice property. The author proves that a locally finite residually small variety of \(2\)-semilattices has the property that all members have the component-semilattice property.