The lattice-theory tag has no wiki summary.

**2**

votes

**1**answer

99 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

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

**0**

votes

**0**answers

114 views

### Is the direct product of distributive inclusions of groups, modular?

Let $H$ a subgroup of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups ($\mathcal{L}( G)$ if $H= \{ e \}$).
Definitions: A lattice $(L, \wedge, \vee)$ is :
- Distributive if ...

**0**

votes

**2**answers

118 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

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

**2**

votes

**2**answers

123 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

178 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

**6**answers

887 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

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

**3**

votes

**1**answer

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

**0**

votes

**0**answers

40 views

### Subgroup of spinor norm 1 has index 2

Let $L$ be a lattice (free $\mathbb{Z}$-module) with even unimodular quadratic form $q$. Let $L$ be of even rank $2m$ and let's write $L_{\mathbb{R}}$ for $L\otimes \mathbb{R}$.
I know that each ...

**2**

votes

**2**answers

250 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

106 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

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

**2**

votes

**3**answers

109 views

### A question on an involution of $E_8$ lattice.

There exits an involution $\iota$ of the $E_8$ lattice such that $(E_8)^{\pm} \cong D_4$, where $(E_8)^{\pm}$ denotes the $\pm$ eigen-lattice of the involution $\iota$. Could someone kindly give me an ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

74 views

### Orthogonal trasformations with trivial spinor norm as product of reflections $r_w$ with $(w,w)=-2$

I'm trying to prove that, for a standard unimodular even lattice $\Lambda$ (by standard i mean that it is direct sum of copies of the hyperbolic plane $U$ and $E_8$) every element of $O^+(\Lambda)$ ...

**3**

votes

**1**answer

153 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

196 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

55 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

99 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

277 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

266 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

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