Cyclic terms for SD⋁ varieties revisited
- 141 Downloads
We present a direct proof showing that every finite algebra generating a congruence join semidistributive variety has a cyclic term.
KeywordsRelational Structure Constraint Satisfaction Problem Congruence Lattice Finite Algebra Minimal Counterexample
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
- 3.Hobby D., McKenzie R.: The structure of finite algebras, Contemporary Mathematics, vol. 76. American Mathematical Society, Providence, RI (1988)Google Scholar