The lattice-theory tag has no wiki summary.

**1**

vote

**1**answer

53 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

**2**answers

105 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}$ ...

**2**

votes

**1**answer

140 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

**1**answer

233 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

**1**answer

38 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

**1**answer

157 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

**1**answer

164 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$?

**0**

votes

**1**answer

78 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

**1**answer

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

**0**answers

419 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

**0**answers

111 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

**0**answers

76 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

**1**answer

263 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

**0**answers

40 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

**1**answer

183 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

**1**answer

119 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

**1**answer

126 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

**1**answer

133 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

**3**answers

433 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

**0**answers

169 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

**2**answers

138 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

**0**answers

173 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

**2**answers

306 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

**2**answers

235 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

**7**answers

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

**1**answer

234 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

**1**answer

133 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

**2**answers

328 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

**1**answer

116 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

**2**answers

124 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

**0**answers

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

**1**answer

187 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

**1**answer

221 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

**0**answers

56 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 ...

**2**

votes

**1**answer

101 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 ...

**4**

votes

**1**answer

282 views

### Lattice of differences between ultrafilters

Consider two ultrafilters, $U$ and $V$, on the same cardinal $\kappa$. Let $D(U, V)=\lbrace X\subseteq \kappa: X\in U-V\rbrace$; clearly $D(U, V)$ is a lattice under $\subseteq, \cap, \cup $ since the ...

**2**

votes

**1**answer

291 views

### When are the join-irreducibles in a complete lattice join-dense?

A subset $A$ of a complete lattice $L$ is said to be join-dense if $L=\{\bigvee R|R\subseteq A\}$. An element $a\in L$ is said to be join-irreducible if $a\neq 0$ and if $a=x\vee y$ then $a=x$ or ...

**5**

votes

**3**answers

592 views

### Knaster Tarski theorem, example needed

http://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem
Let $L$ be a complete lattice and let $f : L \to L$ be an order-preserving function. Then the set of fixed points of $f$ in $L$ is also a ...