Tight embedding of modular lattices into partition lattices: progress and program

A famous Theorem of Pudlak and T?ma states that each finite lattice L occurs as sublattice of a finite partition lattice. Here we derive, for modular lattices L, necessary and sufficient conditions for cover-preserving embeddability. Aspects of our work relate to Bjarni Jónsson.     

The subvariety of commutative residuated lattices represented by twist-products

Given an integral commutative residuated lattice L, the product L × L can be endowed with the structure of a commutative residuated lattice with involution that we call a twist-product. In the present paper, we study the subvariety ${\mathbb{K}}$ of commutative residuated lattices that can be represented by twist-products. We give an equational characterization of ${\mathbb{K}}$ , a categorical interpretation of the relation among the algebraic categories of commutative integral residuated lattices and the elements in ${\mathbb{K}}$ , and we analyze the subvariety of representable algebras in ${\mathbb{K}}$ . Finally, we consider some specific class of bounded integral commutative residuated lattices ${\mathbb{G}}$ , and for each fixed element ${{\bf L} \in \mathbb{G}}$ , we characterize the subalgebras of the twist-product whose negative cone is L in terms of some lattice filters of L, generalizing a result by Odintsov for generalized Heyting algebras.     

Isotone maps on lattices

Let ${\mathcal{L} = (Li | i \in I)}$ be a family of lattices in a nontrivial lattice variety V, and let ${\varphi_{i} : L_{i} \rightarrow M}$ , for ${i \in I}$ , be isotone maps (not assumed to be lattice homomorphisms) to a common lattice M (not assumed to lie in V). We show that the maps ${\varphi_{i}}$ can be extended to an isotone map ${\varphi : L \rightarrow M}$ , where ${L = {\rm Free}_{V} \mathcal{L}}$ is the free product of the L _i in V. This was known for V = L, the variety of all lattices. The above free product L can be viewed as the free lattice in V on the partial lattice P formed by the disjoint union of the L _i . The analog of the above result does not, however, hold for the free lattice L on an arbitrary partial lattice P. We show that the only codomain lattices M for which that more general statement holds are the complete lattices. On the other hand, we prove the analog of our main result for a class of partial lattices P that are not-quite-disjoint unions of lattices. We also obtain some results similar to our main one, but with the relationship lattices : orders replaced either by semilattices : orders or by lattices : semilattices. Some open questions are noted.     

On lattices embeddable into lattices of algebraic subsets

We prove that, for a Scott-continuous lattice L, the lattice Sp(L) of algebraic subsets of L has a meet-complete lattice embedding into the lattice of algebraic subsets of a bi-algebraic distributive lattice.     

Jónsson posets and unary Jónsson algebras

We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than ${|P|}$ and ${\kappa}$ is a cardinal number strictly less than ${|P|}$ , then P has a principal order ideal of cardinality at least ${\kappa}$ . We apply this result to characterize the possible sizes of unary Jónsson algebras.     

The Homomorphism Lattice Induced by a Finite Algebra

Each finite algebra A induces a lattice L _A via the quasi-order → on the finite members of the variety generated by A, where B →C if there exists a homomorphism from B to C. In this paper, we introduce the question: ‘Which lattices arise as the homomorphism lattice L _A induced by a finite algebra A?’ Our main result is that each finite distributive lattice arises as L _Q , for some quasi-primal algebra Q. We also obtain representations of some other classes of lattices as homomorphism lattices, including all finite partition lattices, all finite subspace lattices and all lattices of the form L ⊕1, where L is an interval in the subgroup lattice of a finite group.     

Definability in substructure orderings, IV: Finite lattices

Let ${\mathcal{L}}$ be the ordered set of isomorphism types of finite lattices, where the ordering is by embeddability. We study first-order definability in this ordered set. Our main result is that for every finite lattice L, the set {?, ? ^opp} is definable, where ? and ? ^opp are the isomorphism types of L and its opposite (L turned upside down). We shall show that the only non-identity automorphism of ${\mathcal{L}}$ is the map ${\ell \mapsto \ell^{\rm opp}}$ .     

Jónsson posets

According to Kearnes and Oman (2013), a partially ordered set P is Jónsson if it is infinite and the cardinality of every proper initial segment of P is strictly less than the cardinaliy of P. We examine the structure of Jónsson posets.     

Lattice subordinations and Priestley duality

There is a well-known correspondence between Heyting algebras and S4-algebras. Our aim is to extend this correspondence to distributive lattices by defining analogues of S4-algebras for them. For this purpose, we introduce binary relations on Boolean algebras that resemble de Vries proximities. We term such binary relations lattice subordinations. We show that the correspondence between Heyting algebras and S4-algebras extends naturally to distributive lattices and Boolean algebras with a lattice subordination. We also introduce Heyting lattice subordinations and prove that the category of Boolean algebras with a Heyting lattice subordination is isomorphic to the category of S4-algebras, thus obtaining the correspondence between Heyting algebras and S4-algebras as a particular case of our approach. In addition, we provide a uniform approach to dualities for these classes of algebras. Namely, we generalize Priestley spaces to quasi-ordered Priestley spaces and show that lattice subordinations on a Boolean algebra B correspond to Priestley quasiorders on the Stone space of B. This results in a duality between the category of Boolean algebras with a lattice subordination and the category of quasi-ordered Priestley spaces that restricts to Priestley duality for distributive lattices. We also prove that Heyting lattice subordinations on B correspond to Esakia quasi-orders on the Stone space of B. This yields Esakia duality for S4-algebras, which restricts to Esakia duality for Heyting algebras.     

Involutive Residuated Lattices Based on Modular and Distributive Lattices

An involutive residuated lattice (IRL) is a lattice-ordered monoid possessing residual operations and a dualizing element. We show that a large class of self-dual lattices may be endowed with an IRL structure, and give examples of lattices which fail to admit IRLs with natural algebraic conditions. A classification of all IRLs based on the modular lattices M _n is provided.     

Coordinatization of lattices by regular rings without unit and Banaschewski functions

A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. We prove a set of results that include the following:

• Every countable complemented modular lattice has a Banaschewski function with Boolean range, the latter being unique up to isomorphism.
• Every (not necessarily unital) countable von Neumann regular ring R has a map ${\varepsilon}$ from R to the idempotents of R such that ${x{R} = \varepsilon(x){R}}$ and ${\varepsilon(xy) = \varepsilon(x)\varepsilon(xy)\varepsilon(x)}$ for all ${x, y \in R}$ .
• Every sectionally complemented modular lattice with a Banaschewski trace (a weakening of the notion of a Banaschewski function) embeds, as a neutral ideal and within the same quasivariety, into some complemented modular lattice. This applies, in particular, to any sectionally complemented modular lattice with a countable cofinal subset.

A sectionally complemented modular lattice L is coordinatizable, if it is isomorphic to the lattice ${\mathbb{L}(R)}$ of all principal right ideals of a von Neumann regular (not necessarily unital) ring R. We say that L has a large 4-frame, if it has a homogeneous sequence (a ₀, a ₁, a ₂, a ₃) such that the neutral ideal generated by a ₀ is L. Jónsson proved in 1962 that if L has a countable cofinal sequence and a large 4-frame, then it is coordinatizable. We prove that A sectionally complemented modular lattice with a large 4-frame is coordinatizable iff it has a Banaschewski trace.     

Relational Representation of Groupoid Quantales

In Palmigiano and Re (J Pure Appl Algebra 215(8):1945–1957, 2011), spatial SGF-quantales are axiomatically introduced and proved to be representable as sub unital involutive quantales of quantales arising from set groupoids. In the present paper, spatial SGF-quantales of this class are shown to be optimally representable as unital involutive quantales of relations. The results of the present paper have several aspects in common with Jónsson and Tarski’s representation theory for relation algebras (Jónsson and Tarski, Am J Math 74(2):127–162, 1952).     

Diamond-Free Subsets in the Linear Lattices

Four distinct elements a, b, c, and d of a poset form a diamond if \(a< b and \(a . A subset of a poset is diamond-free if no four elements of the subset form a diamond. Even in the Boolean lattices, finding the size of the largest diamond-free subset remains an open problem. In this paper, we consider the linear lattices—poset of subspaces of a finite dimensional vector space over a finite field of order q—and extend the results of Griggs et al. (J. Combin. Theory Ser. A 119(2):310–322, 2012) on the Boolean lattices, to prove that the number of elements of a diamond-free subset of a linear lattice can be no larger than \(2+\frac {1}{q+1}\) times the width of the lattice, so that this fraction tends to 2 as \(q \longrightarrow \infty \) . In addition, using an algebraic technique, we introduce so-called diamond matchings, and prove that for linear lattices of dimensions up to 5, the size of a largest diamond-free subset is equal to the sum of the largest two rank numbers of the lattice.     

A test for identities satisfied in lattices of submodules

SupposeR is ring with 1, andH?(R) denotes the variety of modular lattices generated by the class of lattices of submodules of allR-modules. An algorithm using Mal'cev conditions is given for constructing integersm≧0 andn≧1 from any given lattice polynomial inclusion formulad∈e. The main result is thatd∈e is satisfied in every lattice inH?(R) if and only if there existsx inR such that (m·1)x=n·1 inR, where 0·1=0 andk·1=1+1...+1 (k times) fork≧1. For example, this “divisibility” condition holds form=2 andn=1 if and only if 1+1 is an invertible element ofR, and it holds form=0 andn=12 if and only if the characteristic ofR divides 12. This result leads to a complete classification of the lattice varietiesH?(R),R a ring with 1. A set of representative rings is constructed, such that for each ringR there is a unique representative ringS satisfyingH?(R)=H?(R). There is exactly one representative ring with characteristick for eachk≧1, and there are continuously many representative rings with characteristic zero. IfR has nonzero characteristic, then all free lattices inH?(R) have recursively solvable word problems. A necessary and sufficient condition onR is given for all free lattices inH?(R) to have recursively solvable word problems, ifR is a ring with characteristic zero. All lattice varieties of the formH?(R) are self-dual. A varietyH?(R) is a congruence variety, that is, it is generated by the class of congruence lattices of all members of some variety of algebras. A family of continuously many congruence varieties related to the varietiesH?(R) is constructed.     

Decidability of absorption in relational structures of bounded width

The absorption theory of Barto and Kozik has proven to be a very useful tool in the algebraic approach to the Constraint Satisfaction Problem and the structure of finite algebras in general. We address the following problem: Given a finite relational structure \({\mathbb{A}}\) and a subset \({B \subseteq A}\) , is it decidable whether B is an absorbing subuniverse? We provide an affirmative answer in the case when \({\mathbb{A}}\) has bounded width (i.e., the algebra of polymorphisms of \({\mathbb{A}}\) generates a congruence meet semidistributive variety). As a by-product, we confirm that in this case the notion of Jónsson absorption coincides with the usual absorption. We also show that several open questions about absorption in relational structures can be reduced to digraphs.     

Classification of Sol lattices

Sol geometry is one of the eight homogeneous Thurston 3-geometries $${\bf E}^{3}, {\bf S}^{3}, {\bf H}^{3}, {\bf S}^{2}\times{\bf R}, {\bf H}^{2}\times{\bf R}, \widetilde{{\bf SL}_{2}{\bf R}}, {\bf Nil}, {\bf Sol}.$$ In [13] the densest lattice-like translation ball packings to a type (type I/1 in this paper) of Sol lattices has been determined. Some basic concept of Sol were defined by Scott in [10], in general. In our present work we shall classify Sol lattices in an algorithmic way into 17 (seventeen) types, in analogy of the 14 Bravais types of the Euclidean 3-lattices, but infinitely many Sol affine equivalence classes, in each type. Then the discrete isometry groups of compact fundamental domain (crystallographic groups) can also be classified into infinitely many classes but finitely many types, left to other publication. To this we shall study relations between Sol lattices and lattices of the pseudoeuclidean (or here rather called Minkowskian) plane [1]. Moreover, we introduce the notion of Sol parallelepiped to every lattice type. From our new results we emphasize Theorems 3?C6. In this paper we shall use the affine model of Sol space through affine-projective homogeneous coordinates [6] which gives a unified way of investigating and visualizing homogeneous spaces, in general.     

Canonical Extensions and Profinite Completions of Semilattices and Lattices

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 \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) of (unital) meet semilattices. Any \({\mathbf S}\in {{\boldsymbol{\mathcal{S}}}}_{\wedge}\) embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt²(S), is a compact and \({\textstyle{\bigvee}\,}{\textstyle{\bigwedge}\,}\) -dense extension of S. The complete meet-subsemilattice S ^δ of Filt²(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 \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) has a profinite completion, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) . Via the duality theory available for semilattices, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) can be identified with Filt²(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 {{\boldsymbol{\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.     

Canonical extensions of bounded archimedean vector lattices

Canonical extensions of Boolean algebras with operators were introduced in the seminal paper of Jónsson and Tarski. The two defining properties of canonical extensions are the density and compactness axioms. While the density axiom can be extended to the setting of vector lattices of continuous real-valued functions, the compactness axiom requires appropriate weakening. This provides a motivation for defining the concept of canonical extension in the category \(\varvec{ bav }\) of bounded archimedean vector lattices. We prove existence and uniqueness theorems for canonical extensions in \(\varvec{ bav }\). We show that the underlying vector lattice of the canonical extension of \(A\in \varvec{ bav }\) is isomorphic to the vector lattice of all bounded real-valued functions on the Yosida space of A, and give an intrinsic characterization of those \(B \in \varvec{ bav }\) that arise as the canonical extension of some \(A \in \varvec{ bav }\).     

On the number of lattice points in a small sphere and a recursive lattice decoding algorithm

Let L be a lattice in ${\mathbb{R}^n}$ . This paper provides two methods to obtain upper bounds on the number of points of L contained in a small sphere centered anywhere in ${\mathbb{R}^n}$ . The first method is based on the observation that if the sphere is sufficiently small then the lattice points contained in the sphere give rise to a spherical code with a certain minimum angle. The second method involves Gaussian measures on L in the sense of Banaszczyk (Math Ann 296:625–635, 1993). Examples where the obtained bounds are optimal include some root lattices in small dimensions and the Leech lattice. We also present a natural decoding algorithm for lattices constructed from lattices of smaller dimension, and apply our results on the number of lattice points in a small sphere to conclude on the performance of this algorithm.     

Various disconnectivities of spaces and projectabilities of ?-groups

Arch denotes the category of archimedean ?-groups and ?-homomorphisms. Tych denotes the category of Tychonoff spaces with continuous maps, and α denotes an infinite cardinal or ∞. This work introduces the concept of an αcc-disconnected space and demonstrates that the class of αcc-disconnected spaces forms a covering class in Tych. On the algebraic side, we introduce the concept of an αcc-projectable ?-group and demonstrate that the class of αcc-projectable ?-groups forms a hull class in Arch. In addition, we characterize the αcc-projectable objects in W—the category of Arch-objects with designated weak unit and ?-homomorphisms that preserve the weak unit—and construct the αcc-hull for G in W. Lastly, we apply our results to negatively answer the question of whether every hull class (resp., covering class) is epireflective (resp., monocoreflective) in the category of W-objects with complete ?-homomorphisms (resp., the category of compact Hausdorff spaces with skeletal maps).