Three notes on distributive lattices (Q1383432)

The paper under review comprises three results: (1) There is a finite self-dual distributive lattice \(D\) which does not admit an anti-isomorphism \(\varphi:D\to D\) such that \(\varphi^2= \text{id}\). In other words, the lattice \(D\) cannot be converted into a de Morgan algebra. (See a problem formulated by \textit{M. Kamara} and \textit{D. Schweigert} [Demonstr. Math. 22, 167-177 (1989; Zbl 0693.06008)].) (2) An elementary proof of the following theorem is given: Each linearly indecomposable finite distributive lattice \(D\) has a proper matching \(\varphi: J(D)\to M(D)\). (Recall that \(J(D)\) means the set of all nonzero join irreducible elements of \(D\). Similarly, \(M(D)\) denotes the set of meet irreducibles of \(D\). A proper matching \(\varphi: J(D)\to M(D)\) is a bijection such that \(p\leq \varphi(p)\) for all \(p\in J(D).)\) For modular lattices a similar result was established by \textit{K. Reuter} [Discrete Math. 63, 245-247 (1987; Zbl 0608.06007)]. (3) A pseudovariety is a nonvoid class of finite algebras of finite type which is closed under finite products, subalgebras, and homomorphic images. \textit{J. Reiterman} [Algebra Univers. 14, 1-10 (1982; Zbl 0484.08007)] showed that a nonvoid class of finite algebras of fixed type turns out to be a pseudovariety if and only if it is definable by equations for implicit operations. Recall that \(f:A^n\to A\) is an implicit operation on \(A\) if it is compatible with all homomorphisms between algebras of the given class. The author of the paper under review shows that the class of all finite meet semidistributive lattices \((x\wedge y=x \wedge z\) implies \(x\wedge y=x \wedge (y\vee z))\) forms a pseudovariety. Finally, he presents a finite set of implicit equations defining this pseudovariety.