NDLI: Canonical Extensions and Profinite Completions of Semilattices and Lattices

Please wait, while we are loading the content...

Canonical Extensions and Profinite Completions of Semilattices and Lattices

Content Provider	Springer Nature Link
Author	Gouveia, M. J. Priestley, H. A.
Copyright Year	2013
Abstract	Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class ${{symbol{\mathcal{S}}}}_{\wedge}$ of (unital) meet semilattices. Any ${\mathbf S}\in {{symbol{\mathcal{S}}}}_{\wedge}$ embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt$^{2}$(S), is a compact and ${\textstyle{\bigvee}\,}{\textstyle{\bigwedge}\,}$ -dense extension of S. The complete meet-subsemilattice S $^{ δ }$ of Filt$^{2}$(S) consisting of those elements which satisfy the condition of ${\textstyle{\bigwedge}\,}{\textstyle{\bigvee}\,}$ -density is shown to provide a realisation of the canonical extension of S. The easy validation of the construction is independent of the theory of Galois connections. Canonical extensions of bounded lattices are brought within this framework by considering semilattice reducts. Any S in ${{symbol{\mathcal{S}}}}_{\wedge}$ has a profinite completion, ${\rm Pro}_{{{symbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})$ . Via the duality theory available for semilattices, ${\rm Pro}_{{{symbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})$ can be identified with Filt$^{2}$(S), or, if an abstract approach is adopted, with ${\mathbb F_{\sqcup}}({\mathbb F_{\sqcap}}({\mathbf S}))$ , the free join completion of the free meet completion of S. Lifting of semilattice morphisms can be considered in any of these settings. This leads, inter alia, to a very transparent proof that a homomorphism between bounded lattices lifts to a complete lattice homomorphism between the canonical extensions. Finally, we demonstrate, with examples, that the profinite completion of S, for ${\mathbf S} \in {{symbol{\mathcal{S}}}}_{\wedge}$ , need not be a canonical extension. This contrasts with the situation for the variety of bounded distributive lattices, within which profinite completion and canonical extension coincide.
Ending Page	216
Page Count	28
Starting Page	189
File Format	PDF
ISSN	01678094
e-ISSN	15729273
Journal	Order
Issue Number	2
Volume Number	31
Language	English
Publisher	Springer Netherlands
Publisher Date	2013-06-19
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Semilattices Complete lattices, completions Geometry Completion Discrete Mathematics in Computer Science Semilattice Convex and Discrete Geometry Theory of Computation Lattice Profinite completion Canonical extension
Content Type	Text
Resource Type	Article
Subject	Algebra and Number Theory Computational Theory and Mathematics Geometry and Topology

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Comparison of MacNeille, Canonical, and Profinite Completions

Profinite Completions and Canonical Extensions of Heyting Algebras

Boolean Topological Distributive Lattices and Canonical Extensions

PROFINITE COMPLETIONS AND CANONICAL EXTENSIONS OF SEMILATTICE REDUCTS OF DISTRIBUTIVE LATTICES

On profinite completions and canonical extensions

Δ$_{1}$-completions of a Poset

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions

Free Distributive Completions of Partial Complete Lattices

A Fresh Perspective on Canonical Extensions for Bounded Lattices

Canonical Extensions and Profinite Completions of Semilattices and Lattices

Similar Documents

Comparison of MacNeille, Canonical, and Profinite Completions

Profinite Completions and Canonical Extensions of Heyting Algebras

Boolean Topological Distributive Lattices and Canonical Extensions

PROFINITE COMPLETIONS AND CANONICAL EXTENSIONS OF SEMILATTICE REDUCTS OF DISTRIBUTIVE LATTICES

On profinite completions and canonical extensions

Δ$_{1}$-completions of a Poset

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions

Free Distributive Completions of Partial Complete Lattices

A Fresh Perspective on Canonical Extensions for Bounded Lattices

Canonical Extensions and Profinite Completions of Semilattices and Lattices