Year: 2026
Type: preprint
Abstract: We study regular sublattices of lattices that satisfy the Join-Infinite Distributive Law (JID) under Dedekind MacNeille completion. Using order convergence, we identify the lattice of O-closed ideals with Crawleys completion, and compare it with the Dedekind MacNeille completion. When DM(L) satisfies (JID), this comparison yields extension results for lattice homomorphisms. In particular, if Y is a regular sublattice of a complete lattice L, and L and DM(Y) satisfy (JID), then the canonical extension lattice-embeds DM(Y) into L with join-regular image. We also give a sharp finite-dimensional obstruction: there exists an infinitely distributive regular sublattice of R3 whose Dedekind MacNeille completion is not distributive, and therefore cannot be lattice embedded in R3. In contrast, we prove that the inclusion of every join-regular sublattice of R2 with a least and a greatest element extends canonically to a lattice embedding of its MacNeille completion into R2.
Source: arXiv (Cornell University)
Authors: Abela, Kevin, Chetcuti, Emmanuel
Institution: University of Malta
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213420712