English
Related papers

Related papers: Characterizing fully principal congruence represen…

200 papers

In this article, we prove that finite semidistributive lattices are dismantlable if and only if they are planar. This extends a well-known result by Kelly and Rival that states the same property for finite distributive lattices. Moreover,…

Combinatorics · Mathematics 2015-07-03 Henri Mühle

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

We attach to each $\langle 0, \vee \rangle$-semilattice a graph $\boldsymbol{G}_{\boldsymbol{S}}$ whose vertices are join-irreducible elements of $\boldsymbol{S}$ and whose edges correspond to the reflexive dependency relation. We study…

Combinatorics · Mathematics 2017-01-12 Pavel Růžička

This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is…

Group Theory · Mathematics 2017-12-22 Adam R. Thomas

We present a class of photonic lattices with an underlying symmetry given by a finite-dimensional representation of the 2+1D Lorentz group. In order to construct such a finite-dimensional representation of a non-compact group, we have to…

Optics · Physics 2015-12-03 B. M. Rodríguez-Lara , J. Guerrero

We prove that for every complex classical group $G$ the string polytope associated to a special reduced decomposition and any dominant integral weight $\lambda$ will be a lattice polytope if and only if the highest weight representation of…

Representation Theory · Mathematics 2020-11-25 Christian Steinert

Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice.…

Combinatorics · Mathematics 2026-03-17 Dale R. Worley

A partial lattice P is ideal-projective, with respect to a class C of lattices, if for every K $\in$ C and every homomorphism $\phi$ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f : P…

Combinatorics · Mathematics 2016-12-14 Friedrich Wehrung

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

The congruence lattices of all algebras defined on a fixed finite set $A$ ordered by inclusion form a finite atomistic lattice $\mathcal E$. We describe the atoms and coatoms. Each meet-irreducible element of $\mathcal E$ being determined…

General Mathematics · Mathematics 2017-02-27 Danica Jakubíková-Studenovská , Reinhard Pöschel , Sándor Radeleczki

Let $\Gamma$ be a finitely generated cocompact lattice of a totally disconnected locally compact group $G$, and $C$ a dense subgroup of $G$ that contains and commensurates $\Gamma$. We study the problem of describing all finitely generated…

Group Theory · Mathematics 2026-04-08 Adrien Le Boudec , Colin Reid

Following G. Gr\"atzer and E. Knapp (2007), a slim semimodular lattice, SPS lattice for short, is a finite planar semimodular lattice having no $M_3$ as a sublattice. An SPS lattice is a slim rectangular lattice if it has exactly two doubly…

Rings and Algebras · Mathematics 2023-07-17 Gábor Czédli

The generic digraph $(D,E)$ is the unique countable homogeneous digraph that embeds all finite digraphs. In this paper, we determine the lattice of reducts of $(D,E)$, where a structure $\mathcal{M}$ is a reduct of $(D,E)$ if it has domain…

Logic · Mathematics 2014-11-19 Lovkush Agarwal

A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization…

Combinatorics · Mathematics 2020-09-28 Radhika Gupta , Ivan Levcovitz , Alexander Margolis , Emily Stark

We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always…

Combinatorics · Mathematics 2025-06-30 Vincent Pilaud

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

We study compatible aggregation functions on a general bounded distributive lattice $L$, where the compatibility is related to the congruences on $L$. As a by-product, a new proof of an earlier result of G. Gr\"atzer is obtained. Moreover,…

Rings and Algebras · Mathematics 2018-10-22 Radomír Halaš , Radko Mesiar , Jozef Pócs

Let $G$ be a linear semisimple Lie group without compact factors. We show that uniform approximate lattices $\Lambda$ arising as regular model sets in $G$ determine the ambient group $G$ in a strong sense. Specifically, for every…

Group Theory · Mathematics 2026-04-03 Arunava Mandal , Shashank Vikram Singh

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

Let $G$ be a connected semisimple simply connected Lie group with a compact Cartan subgroup and let $\Gamma$ be a uniform lattice in $G$. Let $\widehat{G}_d$ denote the set of equivalence classes of unitary discrete series representations…

Representation Theory · Mathematics 2025-07-10 Kaustabh Mondal , Gunja Sachdeva