A characterization of MV-algebras free over finite distributive lattices

2008 ◽  
Vol 47 (3) ◽  
pp. 263-276 ◽  
Author(s):  
Vincenzo Marra
10.29007/81mc ◽  
2018 ◽  
Author(s):  
Jan Kühr ◽  
Michal Botur

Finite distributive lattices with antitone involutions (= basic algebras) are studied; it is proved that their underlying lattices are isomorphic to direct products of finite chains, and hence finite distributive basic algebras can be constructed by “perturbing” finite MV-algebras, and moreover, under certain natural conditions, they even coincide with finite MV-algebras.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Wesley Fussner ◽  
Mai Gehrke ◽  
Samuel J. van Gool ◽  
Vincenzo Marra

Abstract We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions.


Order ◽  
2021 ◽  
Author(s):  
Peter Köhler

AbstractThe paper presents a method of composing finite distributive lattices from smaller pieces and applies this to construct the finitely generated free distributive lattices from appropriate Boolean parts.


Author(s):  
G. Grätzer ◽  
H. Lakser ◽  
E. T. Schmidt

AbstractLet K and L be lattices, and let ϕ be a homomorphism of K into L.Then ϕ induces a natural 0-preserving join-homomorphism of Con K into Con L.Extending a result of Huhn, the authors proved that if D and E are finite distributive lattices and ψ is a 0-preserving join-homomorphism from D into E, then D and E can be represented as the congruence lattices of the finite lattices K and L, respectively, such that ψ is the natural 0-preserving join-homomorphism induced by a suitable homomorphism ϕ: K → L. Let m and n denote the number of join-irreducible elements of D and E, respectively, and let k = max (m, n). The lattice L constructed was of size O(22(n+m)) and of breadth n+m.We prove that K and L can be constructed as ‘small’ lattices of size O(k5) and of breadth three.


1971 ◽  
Vol 23 (5) ◽  
pp. 866-874 ◽  
Author(s):  
Raymond Balbes

For a distributive lattice L, let denote the poset of all prime ideals of L together with ∅ and L. This paper is concerned with the following type of problem. Given a class of distributive lattices, characterize all posets P for which for some . Such a poset P will be called representable over. For example, if is the class of all relatively complemented distributive lattices, then P is representable over if and only if P is a totally unordered poset with 0, 1 adjoined. One of our main results is a complete characterization of those posets P which are representable over the class of distributive lattices which are generated by their meet irreducible elements. The problem of determining which posets P are representable over the class of all distributive lattices appears to be very difficult.


1954 ◽  
Vol 10 (2) ◽  
pp. 76-77
Author(s):  
H. A. Thueston

Among the many papers on the subject of lattices I have not seen any simple discussion of the congruences on a distributive lattice. It is the purpose of this note to give such a discussion for lattices with a certain finiteness. Any distributive lattice is isomorphic with a ring of sets (G. Birkhoff, Lattice Theory, revised edition, 1948, p. 140, corollary to Theorem 6); I take the case where the sets are finite. All finite distributive lattices are covered by this case.


2020 ◽  
Vol 24 (12) ◽  
pp. 8751-8761
Author(s):  
Eslam Farsimadan ◽  
Giacomo Lenzi ◽  
Paolo Rizzo ◽  
Arsham Borumand Saeid
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document