Further properties of lattices of equational theories (Q1180695): Difference between revisions

\(\Sigma\) is an equational theory iff \(\Sigma\) is closed under deduction. \(L(\Sigma)\) stands for the lattice of all equational theories contained in \(\Sigma\). \(L(\Sigma)\) is algebraic, fails every nontrivial lattice- identity but satisfies the (restrictive) Zipper Condition, as shown by the author [Algebra Univers. 23, 61-69 (1986; Zbl 0604.08003)]. The present paper considers several even more restrictive conditions satisfied by every \(L(\Sigma)\), due to the author, Erné and Tardos. In the colorful nomenclature introduced by the author, he proves that Velcro \(\Rightarrow\) finitary Velcro \(\Rightarrow\) F88 \(\Rightarrow\) Erné- Tardos \(\Rightarrow\) Zipper --- see the paper for the exact definitions. Erné and Tardos showed that the two last implications are not reversible. A central topic of this paper is the construction of two infinite lattices witnessing that also the two first implications cannot be reversed. The main tool used is that of colored graphs as introduced by Pudlák. The other main result is that for algebraic lattices of finite length, all the conditions listed are equivalent, supporting the conjecture that among \textbf{finite} lattices, the Zipper Condition indeed characterizes those isomorphic to some lattice of equational theories.