Congruences on Continuous Lattices

Shi Xiaoping,He Wei

DOI: https://doi.org/10.3969/j.issn.1001-4616.2009.04.005

2009-01-01

Abstract:Congruences are important to study quotients of lattices.In this paper,a characterization of congruences on continuous lattices is given.Homomorphism theorems of continuous lattices are also discussed.

What problem does this paper attempt to address?

Fuzzy congruence relations on fuzzy complete lattices

LIU Min,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1672-4291.2013.01.002

2013-01-01

Abstract:The concept of fuzzy complete lattice congruence relation on fuzzy complete lattice is defined,and the relation between fuzzy complete lattice congruence and fuzzy closure operator is discussed.It is proved that in a fuzzy complete lattice,the fuzzy poset of fuzzy complete lattice congruence relations is fuzzy order isomorphic to the fuzzy poset of fuzzy closure operators.The quotient of a fuzzy complete lattice congruence relation is defined.It is also proved that the image of a fuzzy complete lattice under a surjective fuzzy complete lattice morphism is fuzzy order isomorphic to the quotient of the fuzzy complete lattice congruence relation induced by the fuzzy complete lattice morphism.
A class of congruences in partial Abelian semigroups

Zhijian Yu,Junde Wu,Shijie Lu

DOI: https://doi.org/10.1007/s10582-006-0037-2

2005-01-01

Czechoslovak Journal of Physics

Abstract:In this paper, by basing on the special morphism of Habil, we introduce and study a class of congruences in partial Abelian semigroups and obtain some interesting properties.
Relational Representations of Hyper-Continuous Lattices

Xiao-Quan Xu,Ying-Ming Liu

DOI: https://doi.org/10.1007/978-94-017-1291-0_3

2003-01-01

Abstract:The relational representation and the intrinsic characterization of hyper-continuous lattices are given.
Some Characteristic Theorems on Consistently Connected Continuous Domains

SHANG Yun,ZHAO Bin

DOI: https://doi.org/10.3770/j.issn.2095-2651.2005.04.025

2005-01-01

Abstract:In this paper, we introduce the concepts of consistently connected continuous domains, and obtain some properties of consistently connected continuous domains by using of the principal ideals and the lattice of connected closed sets. Moreover, we give some good properties of directed completions of consistently connected complete posets.
Fuzzy betweenness spaces on continuous lattices

S. Y. Zhang,F. G. Shi

2022-01-01

Iranian Journal of Fuzzy Systems

Abstract:The notion of betweenness spaces is very important in convex structure theory. In this paper, it is generalized to continuous lattices. Then its some characterizations and properties are investigated. Finally the categorical relationship between fuzzy generalized convex spaces and fuzzy betweenness spaces is discussed by using a special antitone Galois connection.
Lattice-equivalence of Convex Spaces

Chong Shen,Shao-Jun Yang,Dongsheng Zhao,Fu-Gui Shi

DOI: https://doi.org/10.1007/s00012-019-0600-x

2019-01-01

Algebra Universalis

Abstract:The links between order and topology have been extensively studied. The objective of this paper is to study the similar links between convex spaces and order structures via the lattices of convex sets. In particular, we prove a characterization of convex spaces uniquely determined by means of their lattices of convex sets, they are precisely sober and S_D . One adjunction between the category of convex spaces and that of continuous lattices is constructed, revealing the connection between convex structures and domain theory.
Good Congruence Lattice on a Kind of Abundant Semigroups

LUO Yan-feng,ZHAO Qiang

DOI: https://doi.org/10.3321/j.issn:0455-2059.2005.04.021

2005-01-01

Abstract:Good congruence aggregates for the semilattice of cancellative monoids are introduced and the good congruences on these semigroups are characterized by means of good congruence aggregates. Furthermore, the meet and the join for the good congruence lattice are determined for the semilattice of commutative cancellative monoids.
Homomorphisms and principal congruences of bounded lattices

George Grätzer

DOI: https://doi.org/10.48550/arXiv.1507.03270

2015-08-16

Abstract:Two years ago, I characterized the order $\Princl L$ of principal congruences of a bounded lattice $L$ as a bounded order. If $K$ and $L$ are bounded lattices and $\gf$ is a \zo homomorphism of $K$ into~$L$, then there is a natural isotone \zo-map $\gf_{\Hom}$ from $\Princl K$ into $\Princl L$. We prove the converse: For bounded orders $P$ and $Q$ and an isotone \zo map $\gy$ of $P$ into $Q$, we represent $P$ and $Q$ as $\Princl K$ and $\Princl L$ for bounded lattices $K$ and $L$ with a \zo homomorphism $\gf$ of $K$ into $L$, so that $\gy$ is represented as $\gf_{\Hom}$.

Rings and Algebras
Congruences on Ideal Nil-Extension of Completely Regular Semigroups

Xueming Ren,Yuqi Guo,Jiaping Cen

DOI: https://doi.org/10.1007/bf02883711

1998-01-01

Abstract:Let S be an ideal nil-extension of a completely regular semigroup K by a nil semigroup Q with zero. A concept of admissible congruence pairs (δ, ω) of S is introduced, where δ and ω are a congruence on Q and a congruence on K respectively. It is proved that every congruence on S can be uniquely respresented by an admissible congruence pair (δ, ω ) of S. Suppose that ϱ k denotes the Rees congruence induced by the ideal K of S. Then it is shown that for any congruence σ on S, a mapping Γ : σ ¦→ (σ Q , σ K ) is an order-preserving bijection from the set of all congruences on S onto the set of all admissible congruence pairs of S, where σ K is the restriction of σ to K and σ Q = (σ V ϱ K ) / ϱ K . Moreover, the lattice of congruences of S is also discussed. As a special case, every congruence on completely Archimedean semigroups S is described by an admissible quarterple of S. The following question is asked: Is the lattice of congruences of the completely Archimedean semigroup a semimodular lattice?
A Gelfand duality for continuous lattices

Ruiyuan Chen

2024-01-12

Abstract:We prove that the category of continuous lattices and meet- and directed join-preserving maps is dually equivalent, via the hom functor to $[0,1]$, to the category of complete Archimedean meet-semilattices equipped with a finite meet-preserving action of the monoid of continuous monotone maps of $[0,1]$ fixing $1$. We also prove an analogous duality for completely distributive lattices. Moreover, we prove that these are essentially the only well-behaved "sound classes of joins $\Phi$, dual to a class of meets" for which "$\Phi$-continuous lattice" and "$\Phi$-algebraic lattice" are different notions, thus for which a $2$-valued duality does not suffice.

Category Theory,Logic,Rings and Algebras
Order continuity and regularity on vector lattices and on lattices of continuous functions

Eugene Bilokopytov

2024-03-12

Abstract:We give several characterizations of order continuous vector lattice homomorphisms between Archimedean vector lattices. We reduce the proofs of some of the equivalences to the case of composition operators between vector lattices of continuous functions, and so we obtain a characterization of order continuity of such operators. Motivated by this, we investigate various properties of the sublattices of the space $C\left(X\right)$, where $X$ is a Tychonoff topological space. We also obtain several characterizations of a regular sublattice of a vector lattice, and show that the closure of a regular sublattice of a Banach lattice is also regular.

Functional Analysis
Convexity on Complete Lattices

Liu Hongping,Shi Fu-Gui

DOI: https://doi.org/10.1007/s00500-020-05137-7

IF: 3.732

2020-01-01

Soft Computing

Abstract:By means of closure systems and closure operators on complete lattices, a generalized convex structure under which classical convex structures and L -convex structures are consistent with each other is established. The related convex spaces and hull spaces are investigated, and it is shown that they are isomorphic to each other from the viewpoint of category. In order to further characterize this convex structure, the notion of enclosed order spaces and their corresponding mappings are introduced. It is proved that the category of enclosed order spaces is also isomorphic to that of convex spaces we presented.
Characterizations of Distributive Lattices and Semicontinuous Lattices

Jiang Guanghao,Shi Weixue

DOI: https://doi.org/10.4134/bkms.2010.47.3.633

2010-01-01

Bulletin of the Korean Mathematical Society

Abstract:In this paper, the concept of maximal ideals relative to a filter on posets is introduced and examined. An intrinsic characterization of distributive lattices is obtained. In addition, we also give a characterization of pseudo primes in semicontinuous lattices and a characterization of semicontinuous lattices. Functions of semicontinuous lattices which are order preserving and semicontinuous are studied. A new concept of semiarithmetic lattices is introduced and examined.
Representing some families of monotone maps by principal lattice congruences

Gábor Czédli

DOI: https://doi.org/10.48550/arXiv.1403.7821

2014-09-05

Abstract:For a lattice L with 0 and 1, let Princ L denote the ordered set of principal congruences of L. For {0,1}-sublattices A subseteq B of L, congruence generation defines a natural map from Princ A to Princ B. In this way, we obtain a small category of bounded ordered sets as objects and some 0-separating {0,1}-preserving monotone maps as morphisms such that every hom-set consists of at most one morphism. We prove the converse: each small category of bounded ordered set with these properties is representable by principal lattice congruences in the above sense.

Rings and Algebras
Quasicontinuous Domains and Generalized Completely Distributive Lattices

YANG Jinbo,LUO Maokang

DOI: https://doi.org/10.3969/j.issn.1000-0917.2007.04.002

IF: 1.675

2007-01-01

Advances in Mathematics

Abstract:In this paper we prove that (1) The category of distributive generalized completely lattices and the category of quasicontinuous domains (both endowed with suitable morphisms) are equivalent, and (2) Any bounded-complete quasicontinuous domain with its Scott topology forms a maximal limit space.
Some Properties of Fuzzy Semicontinuous Lattices

韩艳伟,赵彬

DOI: https://doi.org/10.15983/j.cnki.jsnu.2011.06.019

2011-01-01

Abstract:A new kind of fuzzy way-below relation on fuzzy complete lattices is defined.Based on it,the concept of fuzzy semicontinuous lattice is introduced.We show that such a fuzzy semicontinuous lattice is a generalization of a semicontinuous lattice.Some properties of the fuzzy way-below relation on fuzzy semicontinuous lattices are discussed.An equivalent characterization of fuzzy semicontinuous lattices is given by using fuzzy Galois connections.
Congruence Preservation, Lattices and Recognizability

Patrick Cegielski,Serge Grigorieff,Irene Guessarian

2024-10-04

Abstract:We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra. Weakening Gratzer's notion to only finite index congruences, a similar result holds with lattices of sets. Genereralizing the notion to that of stable preorder preserving function, we extend these characterizations to Boolean algebras and lattices generated from any recognizable subset of the algebra. Our starting point is a result with related flavor on the additive algebra of natural integers which was obtained some years ago. All these results can be visualized in the diagram of Table 1. We finally consider some simple particular conditions on the algebra allowing to get a richer diagram.

Logic
Consistently Semicontinuous Domains

GUO Zhi-lian,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1001-7402.2012.01.021

2012-01-01

Abstract:In this paper,the concepts of consistently semicontinuous domains and consistently strongly continuous domains are introduced,and some properties are given.The relations among consistently semicontinuous domains,consistently strongly continuous domains and consistently continuous domains are discussed.Moreover,the consistently semi-Scott topologies on consistently semicontinuous domains are given,and some related properties are discussed.
Continuous L-Domains

Jh Liang,Ym Liu

1996-01-01

Abstract:Two characterization theorems of continuous L-domain are given. Then a problem raised by J. D. Lawson and M. Mislove is solved.
On a Characterization Theorem for Continuous Posets

WANG Xijuan,LU Tao,HE Wei

DOI: https://doi.org/10.11845/sxjz.2010.39.01.0088

IF: 1.675

2010-01-01

Advances in Mathematics

Abstract:In this paper we will give a direct proof of a characterization theorem for continuous posers and also a parallel result for algebraic posets. We also show that a continuous poset P is locally compact with respect to the Scott topology. These results generalize the corresponding results for dcpos.

Congruences on Continuous Lattices

Fuzzy congruence relations on fuzzy complete lattices

A class of congruences in partial Abelian semigroups

Relational Representations of Hyper-Continuous Lattices

Some Characteristic Theorems on Consistently Connected Continuous Domains

Fuzzy betweenness spaces on continuous lattices

Lattice-equivalence of Convex Spaces

Good Congruence Lattice on a Kind of Abundant Semigroups

Homomorphisms and principal congruences of bounded lattices

Congruences on Ideal Nil-Extension of Completely Regular Semigroups

A Gelfand duality for continuous lattices

Order continuity and regularity on vector lattices and on lattices of continuous functions

Convexity on Complete Lattices

Characterizations of Distributive Lattices and Semicontinuous Lattices

Representing some families of monotone maps by principal lattice congruences

Quasicontinuous Domains and Generalized Completely Distributive Lattices

Some Properties of Fuzzy Semicontinuous Lattices

Congruence Preservation, Lattices and Recognizability

Consistently Semicontinuous Domains

Continuous L-Domains

On a Characterization Theorem for Continuous Posets