Congruence relations on pseudocomplemented almost distributive lattices

Author(s):  
Gezahagne Mulat Addis
Author(s):  
Gezahagne Mulat Addis

For a given ideal [Formula: see text] of an almost distributive lattice [Formula: see text], we study the smallest and the largest congruence relation on [Formula: see text] having [Formula: see text] as a congruence class.


2012 ◽  
Vol 62 (3) ◽  
Author(s):  
Sergio Celani

AbstractIn this note we shall give some results on annihilators preserving congruence relations, or AP-congruences, in bounded distributive lattices. We shall give some new characterizations, and a topological interpretation of the notion of annihilator preserving congruences introduced in [JANOWITZ, M. F.: Annihilator preserving congruence relations of lattices, Algebra Universalis 5 (1975), 391–394]. As an application of these results, we shall prove that the quotient of a quasicomplemented lattice by means of a AP-congruence is a quasicomplemented lattice. Similarly, we will prove that the quotient of a normal latttice by means of a AP-congruence is also a normal lattice.


2020 ◽  
Vol 18 (1) ◽  
pp. 122-137
Author(s):  
Yongwei Yang ◽  
Kuanyun Zhu ◽  
Xiaolong Xin

Abstract In this paper, we present a rough set model based on fuzzy ideals of distributive lattices. In fact, we consider a distributive lattice as a universal set and we apply the concept of a fuzzy ideal for definitions of the lower and upper approximations in a distributive lattice. A novel congruence relation induced by a fuzzy ideal of a distributive lattice is introduced. Moreover, we study the special properties of rough sets which can be constructed by means of the congruence relations determined by fuzzy ideals in distributive lattices. Finally, the properties of the generalized rough sets with respect to fuzzy ideals in distributive lattices are also investigated.


1994 ◽  
Vol 46 (1) ◽  
pp. 3-54 ◽  
Author(s):  
G. Grätzer ◽  
H. Lakser

AbstractWe prove that any {0,1 }-preserving homomorphism of finite distributive lattices can be realized as the restriction of the congruence relations of a finite planar lattice with no nontrivial automorphisms to an ideal of that lattice, where this ideal also has no nontrivial automorphisms. We also prove that any {0,1 }-preserving homomorphism of finite distributive lattices with more than one element and any homomorphism of groups can be realized, simultaneously, as the restriction of the congruence relations and, respectively, the restriction of the automorphisms of a lattice L to those of an ideal of L; if the groups are both finite, then so is the lattice L.


2017 ◽  
Vol 14 (3) ◽  
pp. 315-330
Author(s):  
Berhanu Assaye Alaba ◽  
Gezahagne Mulat Addis

Author(s):  
U. M. Swamy ◽  
Ch. Santhi Sundar Raj ◽  
A. Natnael Teshale

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.


Sign in / Sign up

Export Citation Format

Share Document