Questions tagged [lattice-orders]
Lattices are partially ordered sets such that a least upper bound and a greatest lower bound can be found for any subset consisting two elements. Lattice theory is an important subfield of order theory.
1,520
questions
0
votes
1
answer
36
views
Galois connections give rise to complete lattices
I am reading Introduction to Lattices and Order, second edition, by Davey and Priestly. On page 161, it says
Every Galois connection $(^\rhd,^\lhd)$ gives rise to a pair of closure operators, $^{\rhd\...
-2
votes
0
answers
23
views
The supermodularity of probability of intersection [closed]
Given a finite sample space $E$, let $E=\{A_1,A_2,\dots,A_n\}$ be a collection of random events.Then, is $f(S)=\mathbb{P}\{\cap_{A_i\in S}A_i\}$ a supermodular function for $S\subseteq E$?
0
votes
0
answers
22
views
If sub-universe $S$ of lattice has congruence $\theta$, does the lattice have a congruence $\lambda = \theta \cap S^2$? [duplicate]
Let $(L, \lor , \land )$ be a lattice and $S$ a sub-universe of the lattice. A sub-universe of a lattice will be any subset of the lattice set that is non-empty and closed under $\land$ and $\lor$. ...
0
votes
0
answers
40
views
Understanding the definition of congruences over a lattice
Let $(L, \land, \lor)$ a lattice and $\theta$ a binary relation over $L$. We say $\theta$ is a congruence iff
$$
x_0\theta x_1, y_0 \theta y_1 \Rightarrow (x_0 \lor y_0)\theta(x_1 \lor y_1)
$$
(and ...
0
votes
1
answer
45
views
Number of lattices over a finite set
I'm interested in finding a general formula for the number of lattices possible over a finite set $S$ as a function of the set's cardinality.
For instance, how many lattices over $\{1, 2, 3\}$ are ...
0
votes
0
answers
36
views
Galois connections for contexts
I am reading Introduction to Lattices and Order, Second Edition by Davey and Priestly.
On page 158, it says that
It can be verified that, for $R\in \mathcal{R}$ and $T\in \mathcal{T}$,
$$R\subset R_{...
0
votes
0
answers
15
views
Complete Lattices and the Injectivity of the Restriction $f|_S$ - Verification of Proof
Attempt (General Case)
Conjecture: I want to show that if $X$ and $Y$ are nonempty sets, $(X, \leq)$ is a complete lattice, and $f: X \to Y$ is any well-defined function, then there exists a nonempty ...
0
votes
0
answers
26
views
There are more sublocales than subspaces.
In this article: https://arxiv.org/pdf/2406.12486v1 it is written:
Given a topological space $X$, there are typically more
sublocales in its frame of opens $\Omega(X)$ than subspaces in X.
Can you ...
1
vote
0
answers
50
views
How to show that a join of meets equals a meet of joins in a distributive lattice?
On page 30 of Birkhoff's Lattice Theory, Lemma 3 states that in distributive lattices
\begin{gather*}
\bigvee_{\alpha\in A}\left\{\bigwedge_{S_\alpha}x_i\right\}=\bigwedge_{\delta\in D}\left\{\bigvee_{...
0
votes
0
answers
52
views
Extending the $M_3,N_5$ theorem from distributive lattices to frames
It is known that a lattice $L$ is distributive if and only if it does not contain the diamond $M_3$ or the pentagon $N_5$ as sublattices.
A complete lattice is one in which every subset has an infimum ...
0
votes
0
answers
29
views
If $(y_\lambda)_{\lambda \in \Lambda}$ is a subnet of $(x_\alpha)_{\alpha \in A}$ and if $A$ is a complete lattice, is $\Lambda$ a complete lattice?
Let $X$ be a set, $(x_\alpha)_{\alpha \in A}$ be a net in $X$ and $(y_\lambda)_{\lambda \in \Lambda}$ be a subnet of $(x_\alpha)_{\alpha \in A}$.
If $A$ is a complete lattice (i.e. not only a directed ...
0
votes
1
answer
46
views
Is the following object a lattice?
I'd like to check that the following object is a lattice, since I'm having trouble understanding what I read as a slight ambiguity in the definition I've got in front of me.
The set $\{\emptyset,\{1\},...
1
vote
1
answer
39
views
Example of a residuated prelinear lattice that isn't linear
A residuated lattice is an algebra
$$(L,\land, \lor, \star,\Rightarrow,0,1)$$
with four binary operations and two constants such that
$(L,\land,\lor,0,1)$ is a lattice with the largest element 1 and ...
0
votes
1
answer
50
views
Congruences on the pentagon lattice $\mathcal{N}_5$
Let $\mathcal{N}_5$ refer to the Pentagon lattice, or the lattice generated by the set $\{0, a, b, c, 1\}$ subject to $1 > a$, $1 > c$, $a > b$, $b > 0$ and $c > 0$.
My aim is to find ...
1
vote
1
answer
52
views
Lattice with supermodular height function is lower semimodular
Question
Let $(L,\leq)$ be a lattice of finite length and let its height function $h$ be supermodular, meaning that
$$h(x \wedge y) + h(x \vee y) \geq h(x) + h(y) \quad \forall x,y\in L.$$
Does it ...
1
vote
1
answer
27
views
How to get the distributive law for an l-group?
In Birkhoff an l-group G is defined as a group that is also a poset and in which group translation is isotone:
\begin{gather*}
x\leq y\implies a+x+b\leq a+y+b\;\forall a,x,y,b\in G,
\end{gather*}
and ...
1
vote
0
answers
30
views
The functor $Sob \to Loc $ is faithful
I want to show that the functor $O: Sob \to Loc$ from the sober topological spaces to the locales is faithful. So take $X,Y$ two sober topological spaces. I want to show that the map
$$O_{X,Y}: Hom(X,...
2
votes
1
answer
56
views
How to get the height function for modular lattices?
In these notes, it is said that for modular lattices of finite lengths the height function
\begin{gather*}
h(x)=lub\{l(C):C=\{x_0,...,x_n:x_0=O\prec...\prec x_n=x\}\}
\end{gather*}
obeys
\begin{gather*...
0
votes
0
answers
35
views
$X\setminus \overline{\{ x\}}$ is meet irreducible in the lattice $O(X)$.
Let $X$ be a topological space and $x\in X$ I want to show that $X\setminus \ \overline{\{ x\}}$ is meet-irreducible in the lattice $O(X)$ of open sets of $X$. This means that we want to show that $X\...
0
votes
1
answer
43
views
The open sets form a complete lattice [duplicate]
Let $X$ be a topological space and denote $O(X)$ the set of open sets of $X$. Then I read that
"$O(X)$ is a complete lattice since the union of any family of open sets is again
open". I don'...
3
votes
1
answer
46
views
Example of an infinite compact measurable space
Let $X$ be a nonempty set with a $\sigma$-algebra $\mathcal{A}$. The notion of $\sigma$-algebra strictly lies between Boolean algebras and complete Boolean algebras. Clearly, $\mathcal{A}$ is a ...
1
vote
1
answer
51
views
Alternative characterization of distributive lattice
Let $(X,{\leq},{\wedge},{\vee})$ be a lattice.
The lattice is called distributive if for all $x,y,z\in X$ both distributive laws hold:
$$
x \wedge (y \vee z) = (x \wedge z) \vee (y \wedge z)
\quad\...
2
votes
1
answer
53
views
Möbius function of distributive lattice only takes values $\pm 1$ and $0$.
In this Wikipedia article, I found the statement
[...] shares some properties with distributive lattices: for example, its Möbius function takes on only values 0, 1, −1.
My question is: How it can ...
5
votes
1
answer
123
views
A seeming example of a group whose subgroup lattice is lower semimodular but not consistent: where's my error?
Corollary 5.3.12 in Schmidt's "subgroup lattices of groups" states that if groups $A,B$ have lower semimodular subgroup lattices, then so does their direct product $A \times B$.
This paper ...
1
vote
0
answers
51
views
What can be said about a Bi-Heyting algebra when the complement operations are useless?
Imagine, for whatever reason, a bounded lattice[1] $(L, 0, 1, ∧, ∨)$ which is a bi-heyting algebra, i.e. there is an operation $→$ such that $x∧y ≤ z$ iff $x ≤ y→z$ (the heyting algebra structure) and ...
2
votes
1
answer
45
views
Stone-Cech compactification via lattice ideals of $Coz(X)$
While studying P. T. Johnstone's book Stone Spaces I have come across the following Proposition (Section: 3.3)
Where $max C(X)$ is the set of all maximal ideals of $C(X)$ (ring of real-valued ...
2
votes
1
answer
41
views
The join of two set partitions in the refinement order
Let $X$ be a set. The set $\Pi_X$ of all partitions of $X$ is partially ordered via the refinement order, which is defined by $\alpha \leq \beta$ if and only if for each block $A\in \alpha$ there is a ...
1
vote
1
answer
63
views
In this proposition why is $\approx$ used rather than $=$?
Proposition 1.1.3 Residuated Structures in Algebra and Logic by Metcalfe, Paoli, and Tsinakis states in part: There exists a bijective correspondence between lattices and algebras $\langle L, \wedge, \...
2
votes
0
answers
31
views
Dual of a complete lattice via homset
Suppose $P, Q$ are complete lattices. Define $Hom(P,Q)=\{f\colon P\rightarrow Q\vert f \ \text{preserves arbitrary sups}\}$. Any such $f$ will preserve $0$. And, $P\cong Hom(2,P)$, where $2=\{0,1\}$ ...
0
votes
1
answer
36
views
Reconstructing a closure operator from a set of fixed points
Let $L$ be a lattice, not necessarily complete. We define a closure operator as a function $f\colon L\to L$ which is:
idempotent, $f(f(x)) = f(x)$,
isotone, $x\leq y \Rightarrow f(x) \leq f(y)$,
...