Three notes on distributive lattices
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.
- Self-dual lattice identities.
- Congruences on pseudocomplemented semilattices
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
- Fractions on a lattice
- Identities and quasi-identities in lattices of pseudovarieties
- Some pseudovariety joins involving the pseudovariety of finite groups
- The lattice of pseudovarieties of inverse semigroups
- On a problem of G. Grätzer
- Finite distributive lattices are congruence lattices of almost-geometric lattices
- On congruence lattices of lattices
- Finite Sublattices of a Free Lattice
- Finite Sublattices of a Free Lattice
- Fixed points in finite De Morgan algebras
- scientific article; zbMATH DE number 4134111 (Why is no real title available?)
- scientific article; zbMATH DE number 3134289 (Why is no real title available?)
- scientific article; zbMATH DE number 3153136 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- Lattice varieties covering the smallest non-modular variety
- Matchings and Radon transforms in lattices. I: Consistent lattices
- Matchings for linearly indecomposable modular lattices
- On pseudovarieties
- The Birkhoff theorem for finite algebras
- The structure of finite algebras
- Theory of symmetry classes.
- Finiteness and infiniteness of 3-generated lattices with distributive elements among generators
- A distributive lattice connected with arithmetic progressions of length three
- Another independent self-dual basis for the trivial variety
- scientific article; zbMATH DE number 4051701 (Why is no real title available?)
- On \(L\)-Tychonoff spaces. II
- Involutive residuated lattices based on modular and distributive lattices.
- A Note on Distributive Triples
- Several classes of non-matchable distributive lattices
This page was built for publication: Three notes on distributive lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1383432)
