# Tagged Questions

Order theory deals with properties of orders, usually partial orders or quasi orders but not only those. Questions about properties of orders, general or particular, may fit into this category, as well as questions about properties of subsets and elements of an ordered set.

8k views

### Is there a known well ordering of the reals?

So, from what I understand, the axiom of choice is equivalent to the claim that every set can be well ordered. A set is well ordered by a relation, $R$ , if every subset has a least element. My ...
1k views

1k views

### Discrete Math - Hasse Diagrams

This is one of many questions of similar type I have to do for an assignment and im troubled with what to do. The question is as follows: Consider a relation R defined on the set A = {−7, −6, −5, ...
134 views

### Let G be an abelian group, and let a∈G. For n≥1,let G[n;a] := {x∈G:x^n =a}. Show that G[n; a] is either empty or equal to αG[n] := {αg : g ∈ G[n]}… [closed]

We were given questions to study for our exam coming up. We have not covered much of this topic, so any help would be greatly appreciated! Let $G$ be an abelian group, and let $a\in G$. For $n≥1$, ...
158 views

### Construction of uncountably many non-isomorphic linear (total) orderings of natural numbers

I would like to find a way to construct uncountably many non-isomorphic linear (total) orderings of natural numbers (as stated in the title). I've already constructed two non-isomorphic total ...
844 views

### The p-adic numbers as an ordered group

So I understand that there is no order on the field of p-adic numbers $\mathbb{Q_p}$ that makes it into an ordered field (i.e.) compatible with both addition and multiplication. Now, from the ...
1k views

303 views

### Recurrence Relation Solving Problem

Can anyone help me in solving this complex recurrence in detail? $T(n)=n + \sum\limits_{k-1}^n [T(n-k)+T(k)]$ $T(1) = 1$. We want to calculate order of T. I'm confused by using recursion tree ...
3k views

### Isomorphisms: preserve structure, operation, or order?

Everyone always says that isomorphisms preserve structure... but given the (multiple) definitions of isomorphism, I fail to see how the definitions equate with the intuitive meaning, which is that two ...
408 views

### How many ordinals can we cram into $\mathbb{R}_+$, respecting order?

I've been pondering the following question. How can we measure the amount of "space" above an element $p$ in a partially ordered set $P$? One way would be to try to cram the elements of ...
1k views

### How long does a sequence need to be to be guaranteed to have a monotonic subsequence length k?

The sequence 7, 2, 4, 1, 4, 8 has an increasing subsequence length four (2, 4, 4, 8) and a decreasing subsequence length three (7, 4, 1). It has other monotonic (increasing or decreasing) subsequences ...
5k views

### Simplest Example of a Poset that is not a Lattice

A partially ordered set $(X, \leq)$ is called a lattice if for every pair of elements $x,y \in X$ both the infimum and suprememum of the set $\{x,y\}$ exists. I'm trying to get an intuition for how a ...
752 views

### How to define a well-order on $\mathbb R$?

I would like to define a well-order on $\mathbb R$. My first thought was, of course, to use $\leq$. Unfortunately, the result isn't well-founded, since $(-\infty,0)$ is an example of a subset that ...
203 views

### If $X$ is an order topology and $Y \subset X$ is closed, do the subspace topology and order topology on $Y$ coincide?

Let $(X,<)$ be a linearly ordered set and give $X$ its order topology. Suppose that $Y \subset X$. There are 2 sensible ways to topologise $Y$: View $Y$ as a subspace of $X$ and give it the ...
627 views

### Why does every countable limit ordinal have cofinality $\omega$?

According to Wikipedia, if $\alpha$ is a countable limit ordinal, then $\mathrm{cf}(\alpha)=\omega$. It is intuitively clear to me that it should be so. Certainly the cofinality of such an ordinal ...
221 views

### $M_3$ is a simple lattice

I'd like to prove (exercise 9.5 in Roman's Lattices and Ordered Sets, p.203) that the lattice $M_3$ is simple, meaning that the only congruences on $M_3$ are the trivial ones (the 'equality' ...
88 views

### Introductions to posets on algerbaic structures (Everything I need to know about them)

I need a good and complete introduction to Tree-like orders and partial orders on algebraic structures with one operations. I accept basic texts too. I'm looking for free online texts mostly because ...
641 views

85 views

### Looking for example of an order homomorphism that doesn't preserve joins.

I know that not every order homomorphism preserves joins. But, I can't think of an example! Both minimal examples and 'natural' examples welcome.
186 views

163 views

### preorders induced by continuous functions to the reals

Any function to a (total) order induces a (total) preorder on its domain. What can be said about the total preorders induced by a continuous function from a "nice" topological space (for instance, a ...
5k views

### Greatest lower bound property and least upper bound property

A Completeness principle in mathematical analysis is a principle by the help of which we can establish (prove) the completeness of an ordered field( About whom I am going to post one question later). (...
474 views

### Cross Product of Partial Orders

im going to have a similar questions on my test tomorrow. I am really stuck on this problem. I don't know how to start. Any sort of help will be appreciated. Thank you Suppose that (L1;≤_1) and (L2;≤...
184 views

### Do there exist totally ordered sets with the 'distinct order type' property that are not well-ordered?

Define that the order type of an element $x$ in a totally ordered set $X$ is the order type of $\{w \in X\mid w < x\}$. Under this definition, distinct elements of a well-ordered set have distinct ...
167 views

### $<$ in a preorder

The author of the book I am studying defines $<$ for a poset as If $x, y \in X$, where $X$ is a poset, then we shall write $x < y$ to mean that $x \le y$ and $x \ne y$. From this, I can ...
465 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 ...