The theory of lattices in the sense of order theory. For the number-theoretic notion, use the tag "lattices" instead.

learn more… | top users | synonyms

2
votes
1answer
41 views

Topology with no direct lower neighbor

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...
3
votes
1answer
79 views

“Discrete jumps” in the collection of all topologies on a set $X$

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...
1
vote
1answer
85 views

Lower neighbors in the lattice of topologies

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y) = \{p\in P: x\leq p < y\}$, and $(x,y]$ is defined in an analogous manner. For any set $X$, let $\text{Top}(X)$ denote the set of topologies ...
0
votes
1answer
87 views

Is the set of Cauchy spaces a lattice? [closed]

Is the set of all Cauchy spaces (ordered by set-theoretic inclusion) on some (fixed) set: a join-semilattice? a meet-semilattice? a complete lattice?
1
vote
0answers
68 views

An optimal lower bound related to generators in a boolean interval of finite groups

Let $[H,G]$ be a rank $n$ boolean interval of finite groups (i.e. $[H,G] \simeq B_n$ as lattice). Let the set $E = \{ g \in G \ | \ \langle H,g \rangle = G \}$ Remark: If $g \in E$ then $Hg ...
2
votes
1answer
151 views

Pseudocomplements in the lattice of topologies

Given a set $X\neq \emptyset$ it is well-known that the collection $\text{Top}(X)$ of all topologies on $X$ is a (complete) lattice with respect to $\subseteq$. Let $0$ denote the smallest element of ...
4
votes
0answers
66 views

Cases of equality in Daykin's theorem

Let $A$ and $B$ be sets of subsets of $\{1, \dots, n\}$, and let $A \wedge B = \{a \cap b : a\in A, b\in B\}$, $A\vee B=\{a\cup b: a\in A, b\in B\}$. Then $$ |A \wedge B| |A\vee B| \geq |A||B|, $$ as ...
6
votes
1answer
524 views

Positivity of the alternating sum of indices for boolean interval of finite groups

Let $G$ be a finite group and $H$ a subgroup such that the interval $[H,G]$ is a boolean lattice. Let $L_1, \dots , L_n$ be the maximal subgroups of $G$ containing $H$. Let the alternative sum ...
1
vote
1answer
103 views

Can the reversed lattice of a subgroups interval be represented?

Let $G$ be a finite group and $H$ a subgroup. The interval $[H,G]$ is the lattice of overgroups of $H$. It is an open problem to know if every finite lattice can be represented by such an interval ...
9
votes
1answer
170 views

Are these two quotients of $\omega^\omega$ isomorphic?

Let $\omega^\omega$ denote the set of all functions $f:\omega\to\omega$. For $f,g\in\omega^\omega$ we say $f\simeq_{\text{fin}} g$ if there is $n\in \omega$ such that $f(k) = g(k)$ for all $k\geq n$. ...
15
votes
4answers
418 views

Representation theorem for modular lattices?

Birkhoff's representation theorem implies that every distributive lattice embeds into the lattice of subsets of a set. Is there also some representation theorem for modular lattices? For example, I ...
0
votes
0answers
18 views

Characterization of Dedekind complete Riesz spaces by strictly positive functionals

I was browsing throughout the literature and I found the following fact: Every $\sigma$-Dedekind complete Riesz space $E$ which admits a strictly positive functional $f$ is Dedekind complete. I ...
5
votes
2answers
248 views

A weak kind of fixed point

Let $X$ be a set and let $\cal A$ be a non-empty subset of $P(X)$ with the property that whenever $A_1 \subseteq A_2 \subseteq \cdots $ is an increasing chain of elements of $\cal A$ then $\cup_i A_i ...
1
vote
0answers
94 views

The lattice of graphs under vertex abstractions

I am curious to know if the following structure has been studied, or if anything similar is in the literature. For $n \in \mathbb{N}$, let $G = ([n],E)$ be a digraph. A partition of a subset $V$ of ...
3
votes
2answers
95 views

About Kurosch-Ore theorem

Where can I find the proof of Kurosch-Ore theorem in lattice theory? The statement of this theorem is: Let $L$ be a modular lattice with $0$ and $1$ that satisfies both chain conditions. Then for any ...
-1
votes
1answer
166 views

Which finite cyclic groups can be characterized by Lattice isomorphism and isomorphism between their automorphism groups?

Given a finite cyclic group $G$, we denote by $L(G)$ the lattice of its subgroups, and by $\mathop{\rm Aut}(G)$ the automorphism group of $G$. Let $H$ be any group. Assume that $L(G)\cong L(H)$ and ...
3
votes
0answers
78 views

What are universal abstract $\sigma$-algebras on $\sigma$-frames?

Originally asked on MSE. In this paper, the authors make the following definitions: An (abstract) $\sigma$-algebra is a boolean algebra with countable joins. A $\sigma$-frame is a bounded lattice ...
1
vote
1answer
171 views

“Zorn's Lemma guarantees that all algebraic frames are spatial.” Why?

In at least two papers (here and here) Jorge Martínez and Eric R. Zenk say that Zorn's Lemma implies that all algebraic frames are spatial. However, I haven't been able to find an actual explanation ...
2
votes
1answer
74 views

Is this a sufficient condition for distributivity of a lattice?

I asked this question here on Math.SE but uptil now it was not answered. So I decided to give it a try here. Thank you in advance. If a lattice $L$ is distributive then it can be shown that for ...
3
votes
1answer
152 views

Can a length n distributive lattice be embedded into Bn?

Let $\mathcal{L}$ be a finite distributive lattice, then it is known that it can be embedded into a finite boolean lattice (see theorem 8.5. p91 in this note). Let $n$ be the length of ...
1
vote
0answers
98 views

A finite distributive lattice which may be represented as the normal subgroup lattice of a supersolvable group

Is there a supersolvable group $G$ with the lattice of all its normal subgroups, order-isommorphic to the 18-element lattice of down-sets of this poset: ? It has been proved that not every finite ...
0
votes
1answer
79 views

Prime ideals containing the finite members of ${\cal P}(\omega)$

Let ${\frak P}$ denote the collection of prime ideals containing the finite members of ${\cal P}(\omega)$, and order ${\frak P}$ by set inclusion. What is the cardinality of ${\frak P}$, and what's ...
2
votes
3answers
119 views

Non-principal prime ideals in infinite distributive lattices

Given an infinite distributive lattice $L$, does $L$ contain a non-principal prime ideal $I$, or a non-principal prime filter $F$? ($I$ is said to be principal if there is $x\in L$ such that $I=\{y\in ...
5
votes
1answer
112 views

An equivalent definition for the adiamond lattices

A lattice is called adiamond if it admits no sublattice equivalent to the diamond lattice $M_3$ below: The top interval of a lattice is the interval between the meet of all the maximal elements and ...
2
votes
2answers
97 views

Are lattices quotients of their Dedekind-MacNeille completion?

Let $L$ be a lattice and let $\textbf{DM}(\cdot)$ denote the Dedekind-MacNeille completion. Is there a lattice $L$ that is not a quotient of $\textbf{DM}(L)$? And what if we generalise this question ...
32
votes
3answers
602 views

How is the free modular lattice on 3 generators related to 8-dimensional space?

Here are three facts which sound potentially related. What are the actual relationships? In 1900, Dedekind constructed the free modular lattice on 3 generators as a sublattice of the lattice of ...
9
votes
0answers
182 views

Is an inclusion of finite groups with boolean lattice, linearly primitive?

Let $(H \subset G)$ be an inclusion of finite groups. Definition: Let $W$ be a representation of $G$, and $X$ a subspace of $W$. Let the fixed-point subspace $W^{H}:=\{w \in W \ \vert \ kw=w \ ...
1
vote
0answers
106 views

Examples of value quantales

In his paper "Quantales and continuity spaces" R. C. Flagg gives the following examples of value quantales: the lattice $\bf{2}$ of truth values with usual addition, the lattice $\mathbb{R}_{+}$ of ...
0
votes
0answers
87 views

Properties of a specific antichain of a lattice formed by the cartesian product of finite ordered sets

Introduction Let $X$ be a poset of all $n$-tuples, $x = (x_1, x_2, ..., x_n)$, where $0 \leq x_i \leq m_i - 1$ for $i = 1, ..., n$ together with the relation $x \prec y$ defined so that for ...
2
votes
0answers
70 views

Lattice Flatness Measure

I am looking for the definition of a flatness measure in lattice theory. More generally, I am looking at finite-height lattices and I want to measure their complexity, with a perfectly flat lattice ...
1
vote
0answers
58 views

Standard name / symbol for intersection in Brouwerian lattices

A Brouwerian lattice has a lower adjoint $\cdot - B$ to $B\lor\cdot$. It is called pseudodifference. The main reference is http://www.jstor.org/stable/1969038 Once you have pseudodifference, you can ...
1
vote
0answers
65 views

Is there an official name for the intersection of the join-irreducible representations of two lattice elements?

Given a lattice provided with a join-irreducible representation of its elements, there is a natural "intersection" operator $A \mathbin{\dot\cap} B$ that returns the join of the setwise intersection ...
1
vote
0answers
79 views

Relationship of ${\cal P}(\omega)/fin$ and ${\cal L}$

Define ${\cal L}$ as in this question: the set of functions $f:\mathbb{N}\rightarrow\mathbb{N}$ such that $f(n)\leq f(n+1)\leq f(n)+1$, where two functions are considered equal if they differ at at ...
3
votes
1answer
150 views

Properties of the interval topology of the lattice of functions

Let $(P,\leq)$ be a poset. The interval topology $\tau_i(P)$ on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = \{y\in P: ...
1
vote
1answer
77 views

Is there a surjective lattice homomorphism $f: {\cal L}\to \mathbb{N}^\mathbb{N}$?

Let ${\cal L}$ be defined as in this question. Is there a surjective lattice homomorphism $f: {\cal L}\to \mathbb{N}^\mathbb{N}$, where $\mathbb{N}^\mathbb{N}$ is the set of all functions, ordered ...
11
votes
1answer
482 views

How big is the lattice of all functions?

Define the lattice $(\mathcal{L},\prec)$ as the set of all function $f:\mathbb{N}\rightarrow\mathbb{N}$ satisfying $f(n)\leq f(n+1)\leq f(n)+1$, where two functions are considered equal if they differ ...
-1
votes
2answers
132 views

Complete non-isomorphic lattices with injective complete homomorphisms between them?

Are there complete lattices $L, K$ such that $L\not\cong K$; there are injective complete lattice homomorphisms $i:L\to K$ and $j: K\to L$ ?
0
votes
1answer
82 views

Does ${\cal Id}(L) \cong {\cal Id}(K)$ imply $L\cong K$?

For any lattice $L$ we denote the complete lattice of the ideals of $L$ by ${\cal Id}(L)$. Are there non-isomorphic lattices $L\not \cong K$ such that ${\cal Id}(L) \cong {\cal Id}(K)$?
0
votes
1answer
116 views

Cardinality of pairwise non-isomorphic complete lattices on an infinite cardinal $\kappa$

Suppose $\kappa$ is an infinite cardinal. Let $\cal S$ be a collection of pairwise non-isomorphic complete lattices on the ground set $\kappa$. What cardinality can $\cal S$ have at most? Is the ...
3
votes
0answers
70 views

Hausdorff spaces with lattice isomorphism between the topologies [closed]

For $i=1,2$ let $(X_i,\tau_i)$ be Hausdorff spaces such that the lattices $\tau_1, \tau_2$ are isomorphic. Does this imply that $(X_1, \tau_1) \cong (X_2,\tau_2)$? (This is a follow-up question to ...
0
votes
1answer
53 views

$T_2$-spaces such that the lattices of open sets can be embedded into each other

Let $(X,\tau), (Y,\sigma)$ be $T_2$-spaces such that there are injective lattice homomorphisms $f: \tau\to \sigma$ and $g:\sigma\to \tau$. Does this imply that $(X,\tau)\cong (Y,\sigma)$?
0
votes
1answer
26 views

Reducing join-incomplete lattice homomorphisms to homomorphisms with co-domain ${\bf 2}$

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) > \bigvee_L f(S).$ Is it true ...
0
votes
0answers
67 views

An equality for the trace of the join of a non-degenerate indecomposable system of projections in a finite factor

Let $M \subset B(H)$ be a finite factor (see for example here p2, or there) with a trace $tr$. The subset of projections of $M$ is naturally a lattice, noted $(\mathcal{P}(M), \wedge, \vee)$. A ...
3
votes
1answer
172 views

Is the top interval of a finite distributive lattice, a boolean lattice?

Let $(L,\wedge,\vee)$ be a finite distributive lattice, and let $1$ its greatest element. An element $a \in L$ is called maximal if $a \le a' < 1$ implies $a = a'$. Let $b$ be the meet of all the ...
0
votes
0answers
28 views

Characterization of complete lattices with join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) > \bigvee_L f(S).$ How can ...
0
votes
1answer
62 views

Contracting join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_L f(S).$ If $f:L\to ...
1
vote
1answer
55 views

Simplyfing join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_L f(S).$ Is the ...
0
votes
1answer
131 views

Lattices without prime ideals

If $\kappa$ is an infinite cardinal, is there a lattice $L$ of cardinality $\kappa$ such that $L$ contains no prime ideals?
-1
votes
1answer
59 views

Lattice homomorphism from ${\cal Id}(L)$ onto $L$

For any lattice $L$ we denote the complete lattice of the ideals of $L$ by ${\cal Id}(L)$. If $L$ is complete, is there a lattice homomorphism from ${\cal Id}(L)$ onto $L$?
0
votes
2answers
118 views

Join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_L f(S).$ Suppose ...