Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited (Q616130)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited |
scientific article |
Statements
Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited (English)
0 references
7 January 2011
0 references
A lattice \(L\) is join-semidistributive if \(x\vee y=x\vee z\) implies \(x\vee (y\wedge z)=x\vee y\) for all \(x,y,z\in L\). A variety \(V\) is congruence join-semidistributive if all the algebras in \(V\) have join-semidistributive congruence lattices. The authors present a direct proof showing that every finite algebra generating a congruence join-semidistributive variety has a cyclic term.
0 references
congruence join-semidistributive variety
0 references
cyclic term
0 references