English
Related papers

Related papers: Decomposition theorem on matchable distributive la…

200 papers

In this paper we give two characterisations of the class of reflexive graphs admitting distributive lattice polymorphisms and use these characterisations to address the problem of recognition: for a reflexive graph G in which no two…

Combinatorics · Mathematics 2018-01-30 Mark Siggers

Let $G$ be a locally compact amenable group. We say that G has property (M) if every closed subgroup of finite covolume in G is cocompact. A classical theorem of Mostow ensures that connected solvable Lie groups have property (M). We prove…

Group Theory · Mathematics 2018-10-09 U. Bader , P-E. Caprace , T. Gelander , Sh. Mozes

We show that, if $M$ is a subspace lattice with the property that the rank one subspace of its operator algebra is weak* dense, $L$ is a commutative subspace lattice and $P$ is the lattice of all projections on a separable infinite…

Functional Analysis · Mathematics 2021-12-06 S. Papapanayides , I. G. Todorov

Let $A$ be a basic finite-dimensional algebra and denote by $\operatorname{tors} A$ the collection of all all torsion classes of $A$. It has been proved in \cite{Demonet} that $\operatorname{tors} A$ is always a completely semidistributive…

Representation Theory · Mathematics 2025-09-25 Yongle Luo , Jiaqun Wei

A module of a graph G is a set of vertices that have the same set of neighbours outside. Modules of a graphs form a so-called partitive family and thereby can be represented by a unique tree MD(G), called the modular decomposition tree.…

Discrete Mathematics · Computer Science 2024-07-15 Derek Corneil , Michel Habib , Christophe Paul , Marc Tedder

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

A simple but elegant result of Rival states that every sublattice $L$ of a finite distributive lattice $\mathcal{P}$ can be constructed from $\mathcal{P}$ by removing a particular family $\mathcal{I}_L$ of its irreducible intervals.…

Combinatorics · Mathematics 2016-04-19 Mark Siggers

Let $Q$ be a subset of a finite distributive lattice $D$. An algebra $A$ represents the inclusion $Q\subseteq D$ by principal congruences if the congruence lattice of $A$ is isomorphic to $D$ and the ordered set of principal congruences of…

Rings and Algebras · Mathematics 2017-07-03 Gábor Czédli

Let $L$ be a finite lattice and let $I$ be an ideal of $L$. Then the restriction map is a bounded lattice homomorphism of the congruence lattice of~$L$ into the congruence lattice of $I$. In a 2009 paper, the authors proved the converse. In…

Rings and Algebras · Mathematics 2022-01-11 George Grätzer , Harry Lakser

Finite smooth digraphs, that is, finite directed graphs without sources and sinks, can be partially ordered via pp-constructability. We give a complete description of this poset and, in particular, we prove that it is a distributive…

Rings and Algebras · Mathematics 2021-12-23 Manuel Bodirsky , Florian Starke , Albert Vucaj

A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…

K-Theory and Homology · Mathematics 2009-11-02 Tomasz Maszczyk

If every block of a (compatible) tolerance (relation) $T$ on a modular lattice $L$ of finite length consists of at most two elements, then we call $T$ a \emph{doubling tolerance} on $L$. We prove that, in this case, $L$ and $T$ determines a…

Rings and Algebras · Mathematics 2019-12-11 Gábor Czédli

In a 1998 paper with H. Lakser, the authors proved that every finite distributive lattice $D$ can be represented as the congruence lattice of a finite \emph{semimodular lattice}. Some ten years later, the first author and E. Knapp proved a…

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

If Gamma is a nonuniform, irreducible lattice in a semisimple Lie group whose real rank is greater than 1, we show Gamma contains a subgroup that is isomorphic to a nonuniform, irreducible lattice in either SL(3,R), SL(3,C), or a direct…

Group Theory · Mathematics 2007-11-13 Vladimir Chernousov , Lucy Lifschitz , Dave Witte Morris

In general it is a difficult problem to construct the lattice of submodules $L(M)$ of a given module $M$. In \cite{St} R. P. Stanley outlined a method for constucting a distributive lattice from a knowledge of its join irreducibles. However…

Representation Theory · Mathematics 2022-07-19 Ian M. Musson

In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking…

Combinatorics · Mathematics 2007-05-23 Hugh Thomas

A planar semimodular lattice is slim if it does not contain $M_3$ as a sublattice. An SPS lattice is a slim, planar, semimodular lattice. A recent result of G\'abor Cz\'edli proves that there is an eight element (planar) distributive…

Rings and Algebras · Mathematics 2014-04-29 George Grätzer

In this article we introduce the study of the number of pairs of non-comparable elements in a distributive lattice $\L$. We give several tight lower and upper bounds for the number and give as an application the lattices precisely for which…

Combinatorics · Mathematics 2014-05-06 Himadri Mukherjee

The purpose of this article is to investigate the combinatorial properties of the cross section lattice of a $J$-irreducible monoid associated with a semisimple algebraic group of one of the types $A_n$, $B_n$, or $C_n$. Our main tool is a…

Combinatorics · Mathematics 2010-02-05 Mahir Bilen Can

The set of all subracks $\mathcal{R}(X)$ of a finite rack $X$ form a lattice under inclusion. We prove that if a rack $X$ satisfies a certain condition then the homotopy type of the order complex of $\mathcal{R}(X)$ is a $(m-2)$-sphere,…

Group Theory · Mathematics 2022-03-29 Selçuk Kayacan