English
Related papers

Related papers: A Distributive Lattice Cover for Semilattices

200 papers

Every lattice is isomorphic to a lattice whose elements are sets of sets, and whose operations are intersection and an operation extending the union of two sets of sets A and B by the set of all sets in which the intersection of an element…

Logic · Mathematics 2007-05-23 K. Dosen

We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice…

Logic · Mathematics 2024-11-20 Richard A. Shore , Bjørn Kjos-Hanssen

For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3.…

We study the multiplication operation of square matrices over lattices. If the underlying lattice is distributive, then matrices form a semigroup; we investigate idempotent and nilpotent elements and the maximal subgroups of this matrix…

Rings and Algebras · Mathematics 2020-01-15 Kamilla Kátai-Urbán , Tamás Waldhauser

In this article we investigate the relations between three classes of lattices each extending the class of distributive lattices in a different way. In particular, we consider join-semidistributive, join-extremal and left-modular lattices,…

Combinatorics · Mathematics 2023-04-20 Henri Mühle

D.Happel and L.Unger defined a partial order on the set of basic tilting modules. We study the poset of basic pre-projective tilting modules over path algebra of infinite type. We give an equivalent condition for that this poset is a…

Rings and Algebras · Mathematics 2013-08-01 Ryoichi Kase

If $L$ is a finite lattice, we show that there is a natural topological lattice structure on the geometric realization of its order complex $\Delta(L)$ (definition recalled). Lattice-theoretically, the resulting object is a subdirect…

Rings and Algebras · Mathematics 2017-02-08 George M. Bergman

In this paper, we consider the (upper) semigroup envelope, i.e. the least upper bound, of a given family of linear Feller semigroups. We explicitly construct the semigroup envelope and show that, under suitable assumptions, it yields…

Analysis of PDEs · Mathematics 2020-11-20 Max Nendel , Michael Röckner

We find a distributive (v, 0, 1)-semilattice S of size $ aleph\_1$ that is not isomorphic to the maximal semilattice quotient of any Riesz monoid endowed with an order-unit of finite stable rank. We thus obtain solutions to various open…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung

We prove that every finite distributive lattice $D$ can be represented as the congruence lattice of a rectangular lattice $K$ in which all congruences are principal. We verify this result in a stronger form as an extension theorem.

Rings and Algebras · Mathematics 2019-08-13 G. Grätzer , E. T. Schmidt

An FN lattice $F$ is a simple, infinite, semidistributive lattice. Its existence was recently proved by R. Freese and J.\,B. Nation. Let $\mathsf{B}_n$ denote the Boolean lattice with $n$ atoms. For a lattice $K$, let $K^+$ denote $K$ with…

Rings and Algebras · Mathematics 2023-09-26 George Grätzer , J. B. Nation

Complemented lattices and uniquely complemented lattices are very important, not only in mathematics, but also in physics, biology, and even in social sciences. They have been investigated for a long time, especially by Huntington,…

History and Overview · Mathematics 2023-08-10 Daniel Parrochia

It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…

Logic · Mathematics 2025-07-15 Luca Carai , Tommaso Moraschini

Let $L$ be a lattice. We call a congruence relation $\gQ$ of $L$ isoform, if any two congruence classes of $\gQ$ are isomorphic (as lattices). Let us call the lattice $L$ isoform, if all congruences of $L$ are isoform. G. Gr\"atzer and…

Rings and Algebras · Mathematics 2013-10-01 G. Grätzer , E. T. Schmidt , R. W. Quackenbush

In this paper we show that the set of closure relations on a finite poset P forms a supersolvable lattice, as suggested by Rota. Furthermore this lattice is dually isomorphic to the lattice of closed sets in a convex geometry (in the sense…

Combinatorics · Mathematics 2016-09-06 Michael Hawrylycz , Victor Reiner

A rotational lattice is a structure (L;\vee,\wedge, g) where L=(L;\vee,\wedge) is a lattice and g is a lattice automorphism of finite order. We describe the subdirectly irreducible distributive rotational lattices. Using J\'onsson's lemma,…

Rings and Algebras · Mathematics 2013-04-24 Gábor Czédli , Ildikó V. Nagy

We first prove that the set of domino tilings of a fixed finite figure is a distributive lattice, even in the case when the figure has holes. We then give a geometrical interpretation of the order given by this lattice, using (not…

Combinatorics · Mathematics 2007-05-23 Sebastien Desreux , Martin Matamala , Ivan Rapaport , Eric Remila

We prove the existence of lattice isomorphic line arrangements having $\pi_1$-equivalent or homotopy-equivalent complements and non homeomorphic embeddings in the complex projective plane. We also provide two explicit examples, one is…

Geometric Topology · Mathematics 2018-01-10 Benoît Guerville-Ballé

Let S be a distributive {∨, 0}-semilattice. In a previous paper, the second author proved the following result: Suppose that S is a lattice. Let K be a lattice, let $\phi$: Con K $\to$ S be a {∨, 0}-homomorphism. Then $\phi$ is,…

General Mathematics · Mathematics 2007-05-23 Jiri Tuma , Friedrich Wehrung

We prove an identity for five arguments, valid in the lattice of natural numbers with gcd and lcm as lattice operations. More generally, this identity characterizes arbitrary distributive lattices. Fixing three of the five arguments, we…

Group Theory · Mathematics 2020-06-09 Wolfgang Bertram