Some structural and residual properties of 2-semilattices (Q2200480)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some structural and residual properties of 2-semilattices |
scientific article |
Statements
Some structural and residual properties of 2-semilattices (English)
0 references
22 September 2020
0 references
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.
0 references
2-semilattices
0 references
digraphs
0 references
subdirectly irreducible
0 references
residually large varieties
0 references
meet-semidistributivity
0 references
0 references