5
votes
1answer
39 views

In a lattice, does $x \vee y \leq x\vee z$ and $x \wedge y \leq x\wedge z$ imply $y\leq z$?

Let $L$ be a lattice and $x,y,z\in L$. If $y \leq z$, then clearly $x\vee y \leq x\vee z$ and $x\wedge y \leq x\wedge z$. Now I wonder about the reverse direction. In general, $x\vee y \leq x\vee z$ ...
0
votes
1answer
54 views

Lower bounded lattice to complete lattice

My problem is to show that any lower-bounded lattice satisfying the maximal condition is a complete lattice. Let's call the lattice $L$. I'm having some trouble with this. I have tried to look at it ...
0
votes
1answer
45 views

Defining principal elements of every poset. Is this a new idea?

Fix an arbitrary complete lattice $\mathfrak{A}$ with order $\sqsubseteq$. I call elements $a,b\in\mathfrak{A}$ intersecting and denote $a\not\asymp b$ iff there is a non-least element ...
0
votes
1answer
33 views

increasing subset of a partial order and characteristic function

Can someone help me understand this? Suppose that $\preceq$ is a partial order on a set $S$ and that $A\subseteq S$. If $\mathbf{1}_A$ is the indicator function then $A$ is increasing if ...
1
vote
1answer
22 views

Are surjective order-homomorphisms necessarily complete lattice homomorphisms?

Let $X$ and $Y$ denote complete lattice, and suppose $f : X \rightarrow Y$ is a surjective order-homomorphism. Does $f$ necessarily preserve arbitrary suprema, therefore being a complete lattice ...
3
votes
2answers
30 views

All tree orders are lattice orders?

Say that a set is tree ordered if the downset $\downarrow a =\{b:b\leq a\}$ is linearly ordered for each $a$. In a comment, Keinstein says that such sets are also semi-lattices, provided they are ...
4
votes
4answers
68 views

Number of join-irreducible elements of a lattice: is it monotonic?

Let $\mathcal L$ be a sub-lattice of $\mathcal P(X)$, where $X$ is a finite set. Denote by $\mathcal I(\mathcal L)$ the set of union-irriducible elements of $\mathcal L$ (i.e. $A\in \mathcal ...
1
vote
1answer
54 views

What is $|Aut(D_n,|)|$?

Let $n=p_1^{\alpha_1}\dots p_k^{\alpha_k}$ with the $p_i$ distinct primes and $ \alpha_i\in \Bbb N$. Just to check if I'm correct, is it true that $k!$ is the number of order-isomorphisms of the form ...
0
votes
1answer
110 views

Is every sub-lattice of $\mathcal P(X)$ isomorphic to a sub-lattice of $\mathcal P(X')$ containing singleton sets?

Let $X$ be a finite set. $\mathcal{P}(X)$ denotes the set of all subsets of $X$. Let $\Gamma$ be a sub-lattice of $\mathcal{P}(X)$, i.e. $\Gamma$ is a collection of subsets of $X$ closed under union ...
1
vote
0answers
18 views

Proving isomorphism in lattices

The question is as follows: Let f be a monomorphism from a lattice $L$ to a lattice $M$.Show that $L$ is isomorphic to a sublattice of $M$. My attempt: Since $f$ is a monomorphism from a lattice ...
1
vote
1answer
12 views

extension of an increasing function over a lattice

Let $X$ be a finite set. $\mathcal{P}(X)$ denotes the set of all subsets of $X$. Let $\Gamma$ be a sub-lattice of $\mathcal{P}(X)$, i.e. $\Gamma$ is a collection of subsets of $X$ closed under union ...
0
votes
0answers
46 views

Exercise 1.17 from Bell & Slomson's Models and Ultraproducts

I'm attempting to prove the following theorem left as an exercise from Bell & Slomson's Models & Ultraproducts (1969). I'd like to know whether my attempted proof is correct, and if not, I'd ...
1
vote
1answer
29 views

Showing another result on distributive, complemented lattice

Currently reading Bell & Slomson's Models & Ultraproducts. Looking for clues, tips hints for showing the following: Let $L$ be a distributive, complemented lattice. Then for any $x$ $\in$ ...
0
votes
0answers
20 views

Theorem on complemented lattices

I'm looking through the book Models and Ultraproducts by Bell & Slomson, and I'm checking that my proof is correct (exercise 1.13). I'm pretty sure it is, but I thought I'd post it anyway. It is ...
0
votes
0answers
23 views

Operation table of Hasse diagram

Consider the following Hasse diagram: My book gives the following join and meet operation tables for this diagram: $$\begin{array}{|c || c | c|} \hline Subset & x \wedge y & x \vee y \\ ...
2
votes
1answer
29 views

Properties of the Majorization Order on $\mathbb{Z}^n$

I'm looking for background material on the majorization (aka dominance) order over $\mathbb{Z}^n$ (rather than over partitions). Let $v=(\psi_0,\dots,\psi_{n-1})$ and $u=(\phi_0,\dots,\phi_{n-1})$ ...
0
votes
1answer
44 views

Constructive fixed-point theorems where finite iteration yields the fixed point

I would like to show that $p$, a fixed point of some effective map $f : S\rightarrow S$, can be constructed effectively. Ideally, I would like there to exist a finite $n$ such that $p = f^n(p_0)$, ...
3
votes
2answers
32 views

Isomorphism of intervals of a distributive lattice

Let $P$ be a distributive lattice and let for $a,b \in P$ by $a \land b$ and $a \lor b$ denote the usual notion of infimum and supremum. How can I show the following isomorphism? $$[a \land b , a ...
0
votes
1answer
21 views

Going down from filters to sets for specific relations

Let $\mathfrak{A}$ be a bounded lattice. I call a $2$-staroid a relation $f\in\mathscr{P}(\mathfrak{A}\times\mathfrak{A})$ such that $i\sqcup j \mathrel{f} b\Leftrightarrow i\mathrel{f} b\vee ...
1
vote
1answer
51 views

Factor congruences of non trivial Lattices

A pair of congruences $\theta$ and $\theta^*$ are called factor congruences if $\theta \vee \theta^*$ = full congruence. $\nabla$ $\theta \wedge \theta^*$ = trivial congruence. $\triangle$ I need ...
5
votes
2answers
112 views

If a finite poset has greatest and least elements, is it a lattice?

Let $P$ be a finite partially ordered set with elements $0$ and $1$ such that $0 \le x \le 1$ for any $x \in P$. Does it follow that $P$ is a lattice? If not, what is a counterexample? I believe this ...
0
votes
1answer
52 views

Definition of finite direct decomposition of elements and indecomposable elements at arbitrary lattice

How can i define finite direct decomposition of elements and indecomposable elements at arbitrary lattice . I think i can say an element of lattice is finite direct decomposition of elements if it be ...
5
votes
1answer
118 views

Two topologies over the same set which are carried to each other by a lattice isomorphism induce homeomorphic spaces?

This is a question that I've been turning in my head and haven't been able to come up with a way to proceed to either prove it or construct a counter-example: Let $X$ be a set and $\mathfrak{T}_X$ ...
0
votes
0answers
124 views

A function that is both log-supermodular and submodular?

Functions that are log-supermodular and submodular do they have some special name? Or any special properties? Any references? Is the function below log-super-modular and sub-modular? Consider ...
2
votes
0answers
39 views

Can the actual scope of “lattice theory” be summarized as “algebraic order theory”?

Lattice and order theory are often mentioned together. So I wonder how lattice theory is "intended" to differ from order theory. Lattice theory became important in the context of universal algebra. ...
2
votes
2answers
107 views

Collection of independent sets equal to downset?

I have been struggling with the following problem. Every set here is supposed to be finite. If we have a closure $\lambda$ on $X$, we define the collection of independent sets of $X$ as $$ I_\lambda ...
0
votes
0answers
31 views

Order Embeddings

Let (S,<=) be an (partially) ordered set and A a subset of S with the inherited order, namely, <= /\ AxA Thus, A is order embedded in S. When S isn't a lattice and A is a lattice would would ...
0
votes
1answer
23 views

Order isomorphic but not Boolean isomorphic

Is there an example of Boolean lattices $(X,\le)$ and $(Y,\le)$ and a function $$f:X\to Y$$ such that for all $x,z\in X$ $$x\le z ~~~~ \leftrightarrow ~~~~f(x)\le f(z) $$ so that for some $a\in X$, ...
2
votes
1answer
110 views

non-prime maximal ideal in a complemented lattice

Is there a complemented lattice, which has a non-prime maximal ideal?
0
votes
0answers
42 views

Prove after seeing $k$ comparisons, there is no total order with $k+1$

Let $X=\{x_1,x_2,\dots,x_m\}$ be a set of $m$ values. Let $Z=\{\succ_1,\succ_2,\dots,\succ_{m!}\}$ be the set of all possible strict total orders over $X$. A comparison $c_{(i,j)}$ is a test between ...
0
votes
0answers
39 views

Recovering Ordered Monoid Operation from the Order

I have a partially ordered set $(X, \preceq)$ with the following properties: $X$ has a minimum. I'll name it $1$. For every $x \in X$, the principal filter ${\uparrow} x$ is order isomorphic to $X$. ...
4
votes
2answers
39 views

disconnected ordered set

Is there a totaly ordered infinite set $A$ with the least element $a$ and the greatest element $b$ such that for any sequence $\{\alpha_n\}$ and $\{\beta_n\}$ in $A$ which satisfies ...
0
votes
1answer
81 views

Relation between concept lattice and Dedekind–MacNeille completion

While trying to unify the (mostly linearly) ordered attributes from Statistical classification with the binary attributes from formal concept analysis, I came across an interesting section in the ...
0
votes
1answer
33 views

Ordering tuples over (0,1)

To understand the natural ordering of $\{0,1\}^N$ I first thought about $\{0,1\}^3$ which has this Hasse diagram: There's something interesting going on in the second and third rows. In 3-D it ...
2
votes
1answer
80 views

Help to understand a proof (about filters)

Niels Diepeveen claims that he has proved the following theorem: Theorem Consider the cofinite filter $F$ on an infinite set. Let $K$ be a collection of ultrafilters such that $\bigcap K=F$. Then for ...
-1
votes
2answers
57 views

Is a Lattice just a linearly ordered set?

The definition of Lattice I was introduced to recently was a poset for which every two elements had a supremum and infimum. Doesn't this just mean that the poset is a chain and tus a linearly ordered ...
3
votes
1answer
46 views

Does every orthocomplemented lattice satisfy the shuffle laws?

Let $L=(X,\wedge,\vee,^\bot)$ denote a non-empty lattice having a unary operation $x \mapsto x^\bot$ that satisfies both "shuffle" laws: $$x \wedge y \leq z \iff x \leq y^\bot \vee z.$$ $$x \leq y ...
1
vote
1answer
67 views

Adjoint of forgetful functor

I want to solve an exercise about adjoints (but I am not sure about the steps). Let $U:\textbf{CL}\rightarrow\textbf{Posets}$ be the forgetful functor. Here we have a functor from the complete ...
1
vote
1answer
53 views

Prove anti-symmetric-ness of partial ordered set in lattice.

Prove anti-symmetric-ness of partial ordered set in lattice. Definition: If $(A, \le_{A})$ is a lattice and $C$ is a set, $([C \rightarrow A], \le)$ is also a lattice. And $\rightarrow$ is defined ...
0
votes
1answer
39 views

Prove transitivity of partial ordered set in lattice.

Prove transitivity of partial ordered set in lattice. I am given this If $(A, \le_{A})$ is a lattice and C is a set, $([C \rightarrow A], \le)$ is also a lattice. And $\rightarrow$ is defined as ...
2
votes
1answer
156 views

Counting certain partitions of integers

[Recall that] Young's lattice is a partially ordered set in which all partitions of integers are ordered thus: The elements just one step below any partition are those that you can get by subtracting ...
0
votes
1answer
85 views

Is this poset a lattice?

Given the set $\Bbb Z^+\times\Bbb Z^+$ and the relation $$\begin{align*} (x_1,x_2)\,R\,(y_1,y_2)\iff &(x_1+x_2 < y_1 + y_2)\\ &\text{ OR }(x_1 + x_2 = y_1 + y_2\text{ AND }x_1 \le y_1)\;: ...
1
vote
1answer
81 views

Every countable lattice has a cofinal totally ordered subset?

If a lattice is countable, prove that it has a subset that is both totally ordered and cofinal in the lattice. Cofinal means that for each $l$ in the lattice, there is some $a$ in the subset such that ...
4
votes
1answer
63 views

Is a chain complete lattice complete?

If every chain in a lattice is complete (we take the empty set to be a chain), does that mean that the lattice is complete? If yes, why? My intuition says yes, and the reasoning is that we should ...
0
votes
0answers
67 views

An equality involving a principal filter

Let $\mathfrak{A}$ is the complete lattice of all filters on a cartesian product $\mho\times\mho$ for some set $\mho$. (I allow the improper filter and so it is really a complete lattice.) ...
1
vote
1answer
52 views

Two definitions of a monovalued morphism

Let fix some dagger category every of Hom-sets of which is a complete lattice, and the dagger functor agrees with the lattice order. I define a morphism $f$ to be monovalued when $f\circ f^{-1}\le ...
9
votes
2answers
213 views

When does a left adjoint between Heyting algebras preserve 1?

This is an exercise from Johnstone's book Stone Spaces: Let $f: A \to B$ and $g: B \to A$ be order-preserving maps between complete Heyting algebras with $f$ left adjoint of $g$. Show that $f$ ...
0
votes
1answer
29 views

lowering of a semilattice

In these Lecture Notes the notion of lowering a semilattice is introduced, there it is stated: Sometimes "broken" elements need to be looked at and computed with. Now any semilattice can have an ...
0
votes
1answer
29 views

Are ideals of an sup semilattice always non-empty?

I am trying to do an exercise from the book A Compendium of Continuous Lattices. Exercise: Let $L$ be a set with a transitive relation, and let $A,B$ be ideals of $L$. (i) $A\cap B$ is an ideal of ...
4
votes
1answer
200 views

In a complete lattice every monotone function has a fixpoint (Knaster–Tarski Theorem)

L is a complete lattice, so every subset has a supremum and infimum. In addition, there exists a function $f:L \rightarrow L$ such that $a \leq b$ implies $f(a) \leq f(b)$. Prove that there exists ...