# Questions tagged [ordered-groups]

Groups (possibly semigroups) endowed with possibly left/right/bi-invariant partial/total orderings. Study of such orders on groups.

Groups (possibly semigroups) endowed with possibly left/right/bi-invariant partial/total orderings. Study of such orders on groups.

72
questions

3
votes

1
answer

51
views

For a ring $R$ and a group $G$ the group ring $R[G]$ consist of maps from $G$ to $R$ with finite support.
It was shown that if the group is fully ordered them this ring can be embedded in a division ...

2
votes

1
answer

77
views

A left-invariant preordering on a group $G$ is a reflexive, transitive and a complete relation $\preceq$ on $G$ such that $x\preceq y$ implies $gx\prec gy$ for any $g$ (anticommutativity is not ...

0
votes

0
answers

58
views

Let us suppose that we have a group of order $p^k$, where $p$ is prime.In General,there is one group group of order $p^k$ for each set of positive integers whose sum is $k$(such a set is called ...

1
vote

0
answers

34
views

I am looking for past results on interleaving of heaps (in the sense of Viennot). For a very simplified example, suppose I have two pieces, (b1 a1 b1), and (b2 c2 b2), where the letter represents a ...

3
votes

0
answers

124
views

I'm looking for a classification (or just non-trivial examples) of partial orders on monoid $\mathbb{N}^{m}$ that are compatible with addition. That is, partial orders $\leq$ satisfying two additional ...

6
votes

2
answers

367
views

Consider the following property for a group $(\mathcal{G},\cdot,1)$:
There are exactly three conjugacy classes $\{1\}$, $\mathcal{C}_1$, $\mathcal{C}_2$ in $\mathcal{G}$, and we have $\mathcal{C}_1 \...

3
votes

1
answer

139
views

Is it true that the structure of a commutative ordered semiring with identity is unique on a commutative ordered monoid (i.e., the structure of the monoid and the order are consistent)? I am not ...

26
votes

4
answers

2k
views

Apologies if the answer is trivial, this is far from my domain.
In order to define the field of Hahn series, one needs the following fact: if $A,B$ are two well-ordered subsets of $\mathbb{R}$ (or any ...

3
votes

0
answers

72
views

Given a free group on $n$ generators, $F_n$, $\phi$ an automorphism of $F_n$, and a non-trivial representation $\rho: F_n \rightarrow \operatorname{Homeo}_+(\mathbb{R})$, are necessary and sufficient ...

1
vote

0
answers

66
views

I am copying my question from here: https://math.stackexchange.com/q/3233462/427611.
Is it correct that $\mathbb Z/3\mathbb Z$ and $\mathbb Z/4\mathbb Z$ are the only rings with three or more ...

19
votes

1
answer

649
views

Is Thompson's group $F$ definably left-orderable? definably bi-orderable?
Orderability definitions: Recall that a group $G$ is left-orderable (resp. bi-orderable) if it admits a left-invariant (resp. ...

10
votes

1
answer

610
views

A left order on a (discrete) group $G$ is a total order on $G$ satisfying $\forall g,h,k \in G: g < h \implies kg < kh$. A right order is defined symmetrically, and a biorder is an order that is ...

4
votes

1
answer

175
views

In this question, it is shown that all Archimedean ordered groups are isomorphic to an ordered subgroup of $\mathbb R$. Additionally, it is shown that if such a group is complete, then it is ...

3
votes

0
answers

583
views

If $(X,m)$ is a median algebra, then for each $x\in X$, define an operation $\wedge_{x}$ by letting $y\wedge_{x}z=m(x,y,z)$. Then $(X,\wedge_{x})$ is a meet-semilattice with least element $x$. Define ...

1
vote

0
answers

63
views

Let $H,G$ be abelian groups with $H \leq G$. We say that $H$ is a pure subgroup of $G$ if for every $n \in \mathbb N$ and $h \in H$ the following holds: If $h$ is $n$-divisible in $G$, then $h$ is $n$-...

2
votes

1
answer

133
views

Let’s say I have a set $A$. I build the free commutative monoid $M$ generated by $A$.
When can a well-order on $A$ be extended to $M$, in a way that is compatible with its monoid structure? I am ...

1
vote

0
answers

89
views

We know that the class of right-orderable groups $\mathit{RO}$, is contained in the class of $\Omega$-groups (read it from "A note on group rings of certain torsion-free groups" by Burns-Hale).
A ...

4
votes

0
answers

82
views

I'm looking at a certain class of groups $G$ that come with a partial order $\le$ on the elements. So far it looks like $(G,\le)$ has the following properties:
The partial order is invariant under ...

0
votes

1
answer

218
views

Let $(G, <)$ be a totally ordered group, and let $<$ be left-invariant. Let $G$ act (freely?) on a partially ordered set $(S, <)$, such that this group action preserves the ordering:
$$ s_1 &...

14
votes

1
answer

905
views

A standard characterization of $\mathbf{R}$ uses the order and the field structure: any linearly ordered field that is archimedean and complete is isomorphic to $(\mathbf{R}, +, \times, <)$ as an ...

4
votes

0
answers

46
views

True or false?
All closed and bounded intervals of definably complete
ordered groups are definably compact.
Let $G$ be an ordered abelian group. Then, a definable subset $D ⊆ G$ is said to be ...

4
votes

0
answers

79
views

If $G$ is a po-group (ie. partially ordered group), we say that $G$ is po-indecomposable if it's not the direct product of two non trivial subgroups (such subgroups are necessary convex and normal).
...

1
vote

1
answer

109
views

This is a question that is a bit outside my usual mathematical comfort zone, but I feel like an expert might know the answer.
Recall that a dimension group is an ordered abelian group $G$ with ...

1
vote

1
answer

121
views

$$B_{n}(S^2)=\langle \sigma_1,\sigma_2,...\sigma_{n-1}\mid
\sigma_{i}\sigma_{j}=\sigma_{j}\sigma_{i} \text{ if } |i-j|>1;\qquad$$ $$\qquad
\sigma_{i}\sigma_{j}\sigma_{i}=\sigma_{j}\sigma_{i}\sigma_{...

4
votes

1
answer

291
views

Mainly, my question is in the title, but let me be more precise here.
Let $G$ be a finitely presented group with solvable word problem. If G is not left-orderable, is there an finite-time algorithm ...

3
votes

1
answer

116
views

Let $(G,+,0,<)$ be an ordered divisible group of uncountable dimension. Consider the subset $G^{<0}$ of $G$.
Question: Are $G$ and $G^{<0}$ isomorphic as ordered sets? Does there exist an ...

5
votes

1
answer

271
views

Let $\Omega$ be a linearly (i.e. fully) ordered set, and let $\Lambda_{\Omega}$ be the ordered abelian group consisting of
those $(\lambda_\omega)_{\omega\in\Omega}\in\mathbb{R}^{\Omega}$ with well-...

5
votes

0
answers

535
views

A group $G$ is called a u.p.-group (short for unique product group) if for all nonempty finite subsets $A,B\subseteq G$, there exists an element $g\in A \cdot B$ which can be uniquely written as a ...

0
votes

1
answer

182
views

Let G be a non-abelian finitely generated subgroup of increasing homeomorphisms of the real line having a fixed point free element $h$ ($hx>x$ for all $x$ in the line). Is there a real number $a$ ...

3
votes

1
answer

151
views

Given the additive group of the module $\mathbb{Z}^\mathbb{N}$ and a total ordering of the group that is compatible with addition and where $\chi_{\{n\}} > 0$ for all $n \in \mathbb{N}$, can we say ...

1
vote

1
answer

91
views

Is there a special name for a linearly ordered group $G$ such that for every positive element $g\in G$ there exists an element $h\in G$ such that $e<h<g$?

0
votes

1
answer

170
views

Consider a short exact sequence of partially ordered groups
$$0 \longrightarrow H \stackrel{\alpha}{\longrightarrow} G \stackrel{\beta} {\longrightarrow} G/H \longrightarrow 0 ,$$ where $H$ is a ...

4
votes

2
answers

441
views

(1) I am looking for an example of a u.p (unique product) group which is not right orderable (RO).
Almost any group I pick up (obviously torsion-free, as u.p. group cannot have nontrivial torsion ...

3
votes

1
answer

278
views

A totally ordered group is a group equipped with a compatible total order, that is, $x\leq y$ and $z\leq t$ imply $x+z\leq y+t$ for all $x,y,z,t$ in the group.
Is it true that every totally ordered ...

2
votes

1
answer

186
views

The braid group on 3 strands has the presentation $\langle x,y \;|\; xyx=yxy\rangle$. A group $G$ is called right-orderable if there is a total order $<$ on the set $G$ such that if $a<b$ then $...

2
votes

1
answer

296
views

Let $G$ be a dimension group (i.e. a directed, unperforated abelian group satisfying the Riesz interpolation property) with order unit $u\in G^{+}$. There is a canonical positive group homomorphism $\...

8
votes

1
answer

293
views

Is there a nontrivial profinite group $G$ with a binary transitive relation $<$ such that
$x<y$ implies $x\neq y$, and for any different $x,y \in G$ either $x < y$ or $y < x$ and such ...

3
votes

2
answers

364
views

Is the property of left invariant orderability for finitely generated groups preserved by quasi-isometrics? More precisely, if $G$ is a left orderable (finitely generated) group and $H$ is a torsion-...

15
votes

3
answers

984
views

I am interested in realizing linear orders as orderings of abelian groups. In particular, can Suslin lines (and other classes of line) be realised in this way?
Let $\mathcal{C}$ be a class of (...

4
votes

2
answers

344
views

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...

2
votes

0
answers

410
views

The Hahn Embedding Theorem asserts that for any (linearly) ordered abelian group $\Lambda$, there exists a linearly ordered indexing set $\Omega$ such that $\Lambda$ admits an order-preserving group ...

4
votes

1
answer

363
views

Do all right orderable groups have the Haagerup property?
Recall that a group is right orderable if there exists a total order $\leq$ on it such that $a\leq b\Rightarrow ac\leq bc$. This property is ...

4
votes

0
answers

308
views

In the literature, there are several examples of solvable groups acting faithfully by order-preserving homeomorphisms of the real line. There are also examples of groups of intermediate growth with ...

2
votes

1
answer

213
views

Definition 1:
Let $(G,\leq)$ be a nonzero partially ordered Abelian group with order unit $u$. (Recall that $u\in G$ is a order unit if, for every $g\in G$, there exists $N\in\mathbb N$ such that $-Nu\...

4
votes

1
answer

181
views

Are there any known non-trivial sufficient conditions, or full characterizations, of a totally right-preorderable group?
More precisely:
totally right-preorderable: has a non-trivial total right-...

12
votes

1
answer

406
views

We say that a group $(A, \cdot)$ is bi-orderable if there exists a total order $\preceq$ on $A$ such that $xz \prec yz$ and $zx \prec zy$ for all $x,y,z \in A$ with $x \prec y$.
Let $m,n$ be non-zero ...

1
vote

1
answer

375
views

Let $(A, +, \preceq)$ be an ordered group, namely $(A, +)$ is a group and $\preceq$ is a total order on $A$ such that $x + z \prec y + z$ and $z + x \prec z + y$ for all $x,y,z \in A$ with $x \prec y$....

3
votes

1
answer

205
views

If $G$ is a group with a (left) linear order, does every (left) partial order on $G$ extend to a (left) linear order?
The answer is affirmative on abelian groups, where being torsion-free is ...

2
votes

2
answers

272
views

Given a set $S$ with a group operation $\cdot$ and a lattice ordering $\leq$, I wish to know when we can say that $\cdot$ preserves $\leq$, i.e. $(x\vee y)z=xz\vee yz$ and similarly for meets.
...

4
votes

2
answers

1k
views

Let $\mathbb G = (G, +)$ be a group. We say that $\mathbb G$ is strictly totally orderable (others would say bi-orderable) if there exists a total order $\preceq$ on $G$ such that $x+z \prec y + z$ ...