# Questions tagged [order-theory]

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. Order theory is not about the order of a group nor the order of an element of a group or other alegbraic structures.

2,801 questions
Filter by
Sorted by
Tagged with
157 views

### Name for a discrete ordered set with finite subranges

Is there a term for a set that is: discrete totally ordered has finite subranges (not a technical term), i.e. for any a and b, $\{x|a<x<b\}$ is finite At first glance, it seems this implies ...
745 views

### Cardinality of the set of ultrafilters on an infinite Boolean algebra

Let $\mathfrak B$ be a Boolean algebra with an infinite power $\kappa$. My question is how many ultrafilters does it have? $\kappa$ or $2^\kappa$? Or even smaller?
249 views

### Are there methods to well order a finite group in a meaningful way?

Can some finite groups be well ordered in a "meaningful" way? I mean, it is clear that we can trivially find a bijection between $\{1,...,n\}$ and a finite group $G$ with $n$ elements, but I am ...
194 views

### Inducing maps between Boolean completions of posets

Given a separative poset $P$, we can form it's Boolean completion $B(P)$. This is a Boolean algebra whose elements are regular cuts on $P$, as defined here. Also, $P$ embeds densely into $B(P)$ by ...
311 views

### Stone duality for ideals and filters (exercise)

In A Course in Universal Algebra (Burris, Sankapannavar), the exercise 4.4.7-8, p.158, says: Let $A$ be a Boolean algebra. Denote $A^\ast:=\{\text{ultrafilters of }A\}$, and give $A^\ast$ the ...
364 views

88 views

### Does there exist an ordered field where only addition preserves positivity?

I am trying to find a field (I'll settle for other stuff - some type of ring) that is ordered and $a>0,\,b>0$ implies $a+b > 0$ yet $a,b > 0$ doesn't imply $ab > 0$. Much of the ...
487 views

### Is there an element with no fixed point and of infinite order in $\operatorname{Sym}(X)$ for $X$ infinite?

Let $X$ be an infinite set. Let $\operatorname {Sym}(X)$ denote the group of all bijections from $X$ onto itself. I have been thinking about the existence of elements of infinite order in this group. ...
2k views

### Rudin Theorem $1.11$

After spending a few hours trying to understand Theorem $1.11$ in Rudin's Principles of Mathematical Analysis, I still don't follow the proof. $1.11$ Theorem Suppose $S$ is an ordered set with the ...
Let $\Phi : [\mathbb N \rightharpoondown \mathbb N] \to [\mathbb N \rightharpoondown \mathbb N]$ be the map from the set of partial functions $\mathbb N \to \mathbb N$ to itself (what's a nice way of ...
Suppose I have a poset $(P,\leq)$, and am trying to prove that it is complete. If, for a general subset $S \subseteq P$, I've come up with a candidate $x$ for its supremum and am trying to prove it is ...