The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
21 views

What is the smallest partition lattice PART(M) containing the lattice P(N) of subsets of a finite set of N elements

It's been known for 35 years that every finite lattice can be embedded in a finite partition lattice ( Pudlak and Tuma algebra universalis 1980, Volume 10, Issue 1, pp 74-95). I don't follow the ...
1
vote
2answers
90 views

Continuous image relation on topological spaces

Let $\kappa$ be a cardinal, and let $\text{Top}(\kappa)$ be the set of topological spaces $(X,\tau)$ such that $X\subseteq \kappa$. We pre-order $\text{Top}(\kappa)$ by for $X, Y \in ...
-1
votes
0answers
54 views

Is countably complete lattice bounded? [closed]

I wonder if countably complete lattice is bounded and, if it is why ?
7
votes
0answers
126 views

Decidabilty of the Hilbert lattice and quantum logic

What is known about the decidability of (first-order formulas in) the structure $(\mathcal{L}(H),\leq)$, where $\mathcal{L}(H)$ is the collection of all closed linear subspaces of a (separable) ...
2
votes
0answers
35 views

Lattice of subobjects of a particular coproduct

I have the following situation: $\mathcal C$ is a (good enough, say Grothendieck) Abelian category and $F:\mathcal C\to \mathcal C$ is self-equivalence. Given an object $C$ in $\mathcal C$, what can I ...
1
vote
0answers
75 views

Lattice: Join of orthogonal elements is set union?

I am studying a lattice of closed sets generated by an orthogonality relation $\perp$ with set inclusion as ordering relation and meet and join defined as $(A \land B)=A \cap B$ and $(A \lor B) = (A ...
0
votes
0answers
46 views

Is the core of an atom in lattice of group topologies a coatom?

Let $(G,\mathcal T)$ be an abelian topological group such that for any nontrivial group topology $\mathcal S$ on $G$ with $\mathcal S\subseteq \mathcal T$ we have $\mathcal S = \mathcal T$. Let ...
1
vote
2answers
75 views

Order-preserving image of a complete lattice

If $L$ is a complete lattice and $P$ is a poset and $f: L\to P$ is an order preserving surjective map, does this imply that $P$ is a (complete) lattice?
-1
votes
1answer
141 views

How to recognize if a lattice is distributive? [closed]

I know that a Boolean lattice must be distributive. But what with these lattices? Are these distributive? $\hskip0.7in$ How to recognize which lattices are distributive or not only by looking on ...
8
votes
0answers
199 views

Is there a notion analogous to separability but requiring definable rather than countable sets?

Among models of $\lambda$-calculus, some like the Bohm tree model have the property that every element is a directed sup of definable elements, whereas others like the $D_\infty$ and $P(\omega)$ ...
0
votes
1answer
52 views

Lower bounds on the rank of a unimodular lattice, given the binlinear pairing of a subset of basis vectors

I have some questions on lower bounds on the rank of unimodular lattices given the bilinear pairing of a subset of its basis is known. Let $\Lambda$ be an odd, unimodular matrix of signature ...
8
votes
1answer
199 views

For any two noncrossing partitions $p, q$ of $n$, is the graph of geodesics from $p$ to $q$ in $NC(n)$ connected?

Let $NC(n)$ denote the lattice of noncrossing partitions of $n$, and let $G$ denote the Hasse diagram of $NC(n)$ with respect to covering relations, viewed as an undirected graph. I'm interested in ...
3
votes
1answer
203 views

When is the homomorphism poset between posets a lattice?

Let $P,Q$ be partially ordered sets (posets). We consider the set $\text{Hom}(P,Q)$ of order-preserving functions $f:P\to Q$. There is a natural ordering relation on $\text{Hom}(P,Q)$ given by $f\leq ...
3
votes
0answers
28 views

Unique representability of bounded distributive lattices

Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space. A poset $(P,\leq)$ is called ...
3
votes
1answer
59 views

Minor ordering for finite graphs

Let $\mathcal{G}_{<\omega}$ be the set of graphs $G = (V,E)$ such that $V = \{0,\ldots,n\}$ for some $n \geq 0$ and $E \subseteq \mathcal{P}_2(V) = \{\{a,b\} : a,b \in V \textrm{ and } a\neq b\}$. ...
1
vote
1answer
56 views

What properties of lattice are preserved in a weak lattice structure [closed]

A lattice structure requires that every two elements have a join and a meet. Suppose we consider instead posets in which for every two elements $x,y$, if there exists an element greater than both of ...
3
votes
2answers
122 views

About a construction of Borel $\sigma$-algebra associated to a lattice

Let $(\mathcal{A}, \cup, \cap)$ a lattice (with minimum and maximum elements $\bot$ and $\top$). Let $X\subset \mathcal{A}$ a generator set (a set of minimal cardinality that generate $\mathcal{A}$ ...
3
votes
1answer
153 views

Uniformizing a relation on ordered sets

Suppose $A$ and $B$ are (complete) ordered sets. Suppose $R\subseteq A\times B$, and $f(a)=\inf\{b : (a,b)\in R\}$ $g(b)=\inf\{a : (a,b)\in R\}$ then what can we call $f$ and $g$? Perhaps there is ...
4
votes
1answer
251 views

Normal subgroup lattice of the group $U_{6n}$

I need to find the normal subgroup lattice of the group $U_{6n} = \langle a,b | a^{2n} = b^ 3= 1, a^{-1}ba = b^{-1}\rangle$. To the best of my knowledge this group was introduced at first by GORDON ...
1
vote
1answer
39 views

When does an orthomodular projection lattice have a non-trivial centre?

When does an orthomodular lattice $L$ of projections onto a given Hilbert space have a non-trivial centre $Z(L)$ and what can we generally say about the cardinality of $Z(L)$?
1
vote
1answer
171 views

Relative Compactness vs Way Below in Locally Compact Hausdorff Spaces

Let $Y$ be a subset of a locally compact Hausdorff topological space $X$ and consider the following properties. $\overline{Y}$ is compact. Every open cover of $X$ has a finite subcover of $Y$. ...
3
votes
1answer
178 views

Cancellative semigroup on a distributive lattice

Let $(S,\le)$ be a distributive lattice. Is there a semigroup structure on $S$ such that $S$ is cancellative and always $(x\wedge y)(x\vee y)=xy$?
1
vote
1answer
83 views

Which Hyperspace Topologies Yield Topological Lattices?

At least on a continuum, the binary operations of intersection and union are Vietoris-continuous. But the Vietoris topology only applies the the collection of NONEMPTY closed subsets, and this means ...
11
votes
1answer
1k views

Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$. It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1]. Is $(\mathcal L,\subseteq)$ distributive? $$~$$ [1] ...
9
votes
0answers
423 views

A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{trivial}, \mathcal T_{discrete}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with $$\mathcal ...
5
votes
0answers
113 views

Self-duality of the subgroup lattice of $G\times H$

Let $G$ and $H$ be finite groups and $\gcd(|G|,|H|)=1$. Suppose the lattice of all subgroups of $G\times H$ is self-dual. Is the lattice of all subgroups of $G$ self-dual?
2
votes
0answers
79 views

A twisted self-dual subgroup lattice

A lattice $(X,\le)$ is twisted self-dual iff it is self-dual but there is not any self-duality $f:X\to X$ with $f\circ f=1_X$. Is there any group with lattice of all its subgroups twisted self-dual?
7
votes
1answer
269 views

Self-duality in a lattice

Is there any self-dual lattice $(X,\le)$ such that there is not any self-duality $f:X\to X$ such that $f\circ f = 1_X$?
0
votes
0answers
42 views

Is it true that the set of points minimizing their distance to a multiset of intervals from a distributive lattice is an interval?

Let $(E, \preceq)$ be a finite distributive lattice, $H_E$ be the Hasse diagram of $E$ and $d$ be the distance on $E \times E$ defined as the length of the shortest path in $H_E$ between any pair of ...
8
votes
1answer
186 views

Status of Barany's conjecture?

One of Barany's most intriguing conjectures is about the $f$-vectors of convex polytopes. It asks: Let $P$ be a convex $d$-polytope. Is it always true that $f_k \geq \min(f_0, f_{d-1})$? A ...
2
votes
1answer
133 views

a characterization for cyclic groups [duplicate]

Let $G$ be a group of order $n$ and its subgroup lattice be order-isomorphic to that of $\Bbb Z_n$. Is $G$ cyclic‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌?
2
votes
1answer
144 views

generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?
2
votes
1answer
156 views

Which complete lattices arise as images of the Galois connections induced by binary relations?

Any binary relation $R\subseteq X\times Y$ gives rise to a Galois connection between the powersets of $X$ and $Y$ in a well known way (on MO you can see it e. g. in this answer; in fact, such Galois ...
6
votes
3answers
450 views

Do any Stone-like dualities have some self-dualities hidden inside them?

This question originated from the observation that in most cases when one has duality of structured sets induced by a dualizing set-with-two-structures $D$, both sides of the duality are substructures ...
1
vote
0answers
180 views

$\mathcal{L}(H_i \subset G_i)$ distributive $\Rightarrow$ $\mathcal{L}(H_1 \times H_2 \subset G_1 \times G_2)$ modular?

Let $\mathcal{L}( G)$ be the lattice of subgroups of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups. Definitions: A lattice $(L, \wedge, \vee)$ is distributive if, ...
0
votes
2answers
140 views

Products of maximal inclusions of finite groups with a non-obvious intermediate

Let $(H_1 \subset G_1)$ and $(H_2 \subset G_2)$ be core-free maximal inclusions of finite groups. Their product, the inclusion $(H_1 \times H_2 \subset G_1 \times G_2)$, admits four obvious ...
2
votes
0answers
175 views

Existence of inclusions of finite groups with a particular lattice property

Definition : Let $\sim$ be the equivalence relation on inclusions of finite groups, generated by : $(H \subset G) \sim (\phi(H) \subset \phi(G))$, with $ \phi: G \to L$ a finite group morphism and ...
3
votes
2answers
404 views

Examples of complete distributive lattices that are not Heyting algebras

Here is a short question with a possibly simple and short answer: I need an example of a complete distributive lattice that is not a Heyting algebra which should be an infinite complete lattice that ...
3
votes
2answers
246 views

Type III factor representation

Does there exist any theorem which permits, under suitable hypotheses, to represent a particular complete orthomodular lattice as the projection lattice of a Type III von Neumann factor?
20
votes
7answers
1k views

Was lattice theory central to mid-20th century mathematics?

Four years ago, I read a book on the history of mathematics up to 1970 or so. It was very interesting up until the end. The last few chapters, though, were on lattices. The author claimed that ...
6
votes
1answer
260 views

Generalizations of Birkhoff's HSP Theorem

Let $\mathbf{C}$ be the class of algebraic structures of some fixed type satisfying some sentence $\phi$. Birkhoff's HSP theorem says that $\mathbf{C}$ is closed under homomorphisms, subalgebras and ...
2
votes
1answer
138 views

Is there a maximal (or maximal Tychonoff) non normal space?

Is there a maximal (or maximal Tychonoff) non normal space? In "A Problem of Set-Teoretic Topology" the existence of a maximal Tychonoff space is asserted. Also there exists a perfectly normal maximal ...
2
votes
2answers
358 views

Embedding a brouwerian lattice into a boolean lattice

I have already asked a similar question at http://math.stackexchange.com/questions/470704/can-a-brouwerian-lattice-be-extended-into-a-boolean-algebra but have received no answer. Sorry, I ask a ...
2
votes
1answer
123 views

A non-orthomodular orthocomplemented lattice identity?

Assume you have an orthocomplemented (but possibly not orthomodular) lattice $L$. For $q,r\in L$ say "$q$ and $r$ are in position $p'$" to mean that $q\wedge r^\perp=0$ and $r\wedge q^\perp=0$. Is ...
2
votes
2answers
132 views

Are there atomistic ortholattices which are not modular?

Let $L$ be an atomic ortholattice. We say that two elements $a$ and $b$ of $L$ are orthogonal if $a\leq b^\perp$. If $L$ is orthomodular then every element of $L$ can be written as a join of pairwise ...
1
vote
0answers
58 views

Reference request: Compact metrizable semilattices with small connected semilattices are absolute retracts

Let $X$ be a compact metrizable topological semilattice with a neighbourhood base of sub-semilattices that are path connected. I need a reference for a proof that $X$ is an absolute retract. Here is ...
4
votes
1answer
202 views

projection of sobolev spaces onto cones

Consider the Sobolev space $W^{k,p}(\Omega)$ for $k\in \mathbb N$, $p\in [1,\infty]$ and some open domain $\Omega\subset \mathbb R^n$ $^*$. Then it is known that $W^{k,p}(\Omega)$ is an ordered Banach ...
5
votes
1answer
235 views

Complete anti-chain lattices and the axiom of choice

Hello, everyone. I'm trying to find out about lattices of anti-chains, and was wondering whether you could help me with getting to grips with a Comp. Sci. paper I'm struggling with. I've been reading ...
1
vote
0answers
58 views

variant on ring objects in the category of complete lattices

Let $L$ be a complete lattice and denote its top and bottom elements by $0$ and $\infty$ respectively. Consider two binary operations $+$ and $\times$ defined on $L$ such that $(L^{op},+,0)$ is a ...
3
votes
1answer
102 views

Is the complete lattice of inflators on a frame a frame?

Yup, it may sound like an inocent question to many of you; but a very good friend of mine is completely baffled in his research about lattices of inflators on a frame. He asked me very kindly to post ...