Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited (Q616130)

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.