English
Related papers

Related papers: Embeddings into the countable atomless Boolean alg…

200 papers

Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through…

Rings and Algebras · Mathematics 2021-06-03 Luciano J. González , Ismael Calomino

We investigate computability in the lattice of equivalence relations on the natural numbers. We mostly investigate whether the subsets of appropriately defined subrecursive equivalence relations -for example the set of all polynomial-time…

Computational Complexity · Computer Science 2017-04-20 Jean-Yves Moyen , Jakob Grue Simonsen

We show that every finite semilattice can be represented as an atomized semilattice, an algebraic structure with additional elements (atoms) that extend the semilattice's partial order. Each atom maps to one subdirectly irreducible…

Rings and Algebras · Mathematics 2021-02-17 Fernando Martin-Maroto , Gonzalo G. de Polavieja

We prove that every positive trace on a countably generated *-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial *-algebra can be embedded into a metric…

Operator Algebras · Mathematics 2010-05-06 Tim Netzer , Andreas Thom

Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra. As a consequence we deduce that any complete Boolean algebra is the…

Category Theory · Mathematics 2017-07-21 Greg Stevenson

Let $\Lambda$ be a lattice of rank $n$. A Lie algebra on the lattice $\Lambda$ is a Lie algebra ${\cal L}=\oplus_{\lambda\in\Lambda}\,{\cal L}_{\lambda}$ such that $\dim\,{\cal L}_\lambda=1$ for all $\lambda$. In this article, we classify…

Representation Theory · Mathematics 2014-02-26 Kenji Iohara , Olivier Mathieu

For a positive integer $s$, a lattice $L$ is said to be $s$-integrable if $\sqrt{s}\cdot L$ is isometric to a sublattice of $\mathbb{Z}^n$ for some integer $n$. Conway and Sloane found two minimal non $2$-integrable lattices of rank $12$…

Number Theory · Mathematics 2021-04-12 Qianqian Yang , Kiyoto Yoshino

We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that…

General Mathematics · Mathematics 2026-03-23 P. Douka , V. Felouzis

Let $B_n$ be the poset generated by the subsets of $[n]$ with the inclusion as relation and let $P$ be a finite poset. We want to embed $P$ into $B_n$ as many times as possible such that the subsets in different copies are incomparable. The…

Combinatorics · Mathematics 2013-10-01 Gyula O. H. Katona , Dániel T. Nagy

I propose a mathematical framework for embedding an unshaped discrete lattice $L$ on a smooth manifold $M$. This framework simplifies complex concepts in pure mathematics and physics by connecting discrete lattice structures with continuous…

Analysis of PDEs · Mathematics 2025-12-02 Francesco D'Agostino

This work proposes an alternative approach to the so-called lattice of embedded subsets, which is included in the product of the subset and partition lattices of a finite set, and whose elements are pairs consisting of a subset and a…

Discrete Mathematics · Computer Science 2016-12-20 Giovanni Rossi

In this article, we introduce a lattice congruence with respect to a nonempty ideal $I$ of a distributive lattice $L$ and a derivation $d$ on $L$ denoted by $\theta_I^d$. We investigate some necessary and sufficient conditions for the…

Rings and Algebras · Mathematics 2019-09-10 Hasan Barzegar

In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…

Logic · Mathematics 2022-09-05 Paolo Aglianò , Sara Ugolini

For a left vector space V over a totally ordered division ring F, let Co(V) denote the lattice of convex subsets of V. We prove that every lattice L can be embedded into Co(V) for some left F-vector space V. Furthermore, if L is finite…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung , Marina V. Semenova

The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the…

Rings and Algebras · Mathematics 2014-02-03 Primož Škraba , João Pita Costa

A Boolean algebra $\A$ equipped with a (finitely-additive) positive probability measure $m$ can be turned into a metric space $(\A , d_{m})$, where $d_{m}(a,b)= m ((a\wedge\neg b)\vee(\neg a\wedge b))$, for any $a,b\in A$, sometimes…

Logic · Mathematics 2022-08-01 Stefano Bonzio , Andrea Loi

It is proved that any free Moufang loop can be embedded in a loop of invertible elements of some alternative algebra.

Rings and Algebras · Mathematics 2008-04-04 Nicolae Sandu

We argue that it makes sense to talk about ``typical'' properties of lattices, and then show that there is, up to isomorphism, a unique countable lattice L* (the Fraisse limit of the class of finite lattices) that has all ``typical''…

Rings and Algebras · Mathematics 2008-01-09 Martin Goldstern

For every integer $n$ with $n \geq 6$, we prove that the Boolean dimension of a poset consisting of all the subsets of $\{1,\dots,n\}$ equipped with the inclusion relation is strictly less than $n$.

Combinatorics · Mathematics 2025-03-13 Marcin Briański , Jędrzej Hodor , Hoang La , Piotr Micek , Katzper Michno

This paper first gives a necessary and sufficient condition that a lattice $L$ can be represented as the collection of all up-sets of a poset. Applying the condition, it obtains a necessary and sufficient condition that a lattice can be…

Representation Theory · Mathematics 2017-01-17 Peng He , Xue-ping Wang