Questions tagged [ordered-groups]

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

Filter by
Sorted by
Tagged with
1 vote
1 answer
69 views

Real exponentiation in the quotients of rings of continuous functions by prime ideals

Consider the ring $C = C(X) = C(X; \mathbb{R})$ of continuous functions $f:X\to \mathbb{R}$ where $X$ is a Tychonoff space. This is naturally a lattice ordered ring by setting $f\geq 0$ iff $f(x)\geq ...
Jakobian's user avatar
  • 735
0 votes
0 answers
63 views

Continuous real action on affine functions over a Choquet simplex

Let $K$ be a metrizable Choquet simplex. We define $A=\operatorname{Aff}(K,\mathbb{R})$ as the set of real-valued affine continuous functions. This has both the structure of a real Banach space as ...
Gabor Szabo's user avatar
3 votes
1 answer
83 views

Topology of the Malcev-Neumann group ring

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 ...
user avatar
2 votes
1 answer
85 views

Least positive elements of discrete preorders on surface groups

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 ...
nim's user avatar
  • 357
0 votes
0 answers
65 views

What will be the smallest value of $k$ such that $P(k)=m$?

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 ...
Styles's user avatar
  • 113
1 vote
0 answers
39 views

Interleaving in Viennot's Heaps models?

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 ...
holloway's user avatar
3 votes
0 answers
131 views

Partial orders on $\mathbb{N}^m$ compatible with addition

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 ...
Rybin Dmitry's user avatar
7 votes
2 answers
520 views

Groups with three conjugacy classes that define an ordering

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 \...
nombre's user avatar
  • 2,307
3 votes
1 answer
152 views

Is it true that the structure of a commutative ordered semiring is unique on a commutative ordered monoid?

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 ...
Arshak Aivazian's user avatar
26 votes
4 answers
3k views

The sum of two well-ordered subsets is well-ordered

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 ...
abx's user avatar
  • 37.1k
3 votes
0 answers
77 views

Extending a representation of a free group to an extension of a mapping torus

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 ...
guest's user avatar
  • 364
1 vote
0 answers
71 views

Compatibility with multiplication of a cyclic order on a ring

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 ...
Alex C's user avatar
  • 133
19 votes
1 answer
742 views

Is Thompson's group definably orderable?

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. ...
YCor's user avatar
  • 60.1k
10 votes
1 answer
740 views

How can you order a free group?

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 ...
Ville Salo's user avatar
  • 6,337
4 votes
1 answer
275 views

Characterization of Archimedean linearly ordered monoids

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 ...
eyeballfrog's user avatar
3 votes
0 answers
587 views

Braided lobsters

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 ...
Joseph Van Name's user avatar
1 vote
0 answers
69 views

Pure (ordered) subgroups

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$-...
Epsilon's user avatar
  • 111
2 votes
1 answer
145 views

Generating totally ordered free commutative monoids

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 ...
Tartrate's user avatar
  • 341
1 vote
0 answers
96 views

Relations between $\Omega$-groups, locally indicable groups, and right-orderable groups

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 ...
lunchmeat's user avatar
4 votes
0 answers
85 views

Is there a name for this kind of structure? (Not quite a lattice-ordered group)

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 ...
Colin Reid's user avatar
  • 4,678
0 votes
1 answer
247 views

Ordered group acting freely on partially ordered set

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 &...
lunchmeat's user avatar
14 votes
1 answer
1k views

Characterizing $\mathbf{R}$ as an ordered group

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 ...
coudy's user avatar
  • 18.5k
4 votes
0 answers
48 views

Closed and bounded intervals of definably complete ordered groups

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 ...
Ma Joad's user avatar
  • 1,611
4 votes
0 answers
81 views

A Krull-Schmidt theorem for partially ordered groups

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). ...
Rajkarov's user avatar
  • 933
1 vote
1 answer
125 views

Realizing certain affine functions on Choquet simplices on dimension groups

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 ...
Gabor Szabo's user avatar
1 vote
1 answer
129 views

Orderable subgroup of the braid groups over the 2-sphere

$$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_{...
Nouar Degaichi's user avatar
4 votes
1 answer
313 views

For which groups is (non-)left orderability decidable?

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 ...
Neil Hoffman's user avatar
  • 5,221
3 votes
1 answer
121 views

Uncountable divisible groups and the existence of order-preserving isomorphisms of their subsets

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 ...
N.W.'s user avatar
  • 33
5 votes
1 answer
296 views

Extending homomorphisms between ordered abelian groups

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-...
shane.orourke's user avatar
5 votes
0 answers
602 views

Unique product groups (and semigroups)

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 ...
Pace Nielsen's user avatar
0 votes
1 answer
186 views

Existence of an orbit of exponential growth for group acting on the real line

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$ ...
alberto's user avatar
3 votes
1 answer
161 views

Compatible total orderings of the group $\mathbb{Z}^\mathbb{N}$

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 ...
Anschel Schaffer-Cohen's user avatar
1 vote
1 answer
101 views

Name of the class of linearly ordered groups with no minimal positive element

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$?
Alex Ravsky's user avatar
  • 4,102
1 vote
1 answer
178 views

Spliting of short exact exact sequences of partially ordered groups

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 ...
Rajnish's user avatar
  • 173
4 votes
2 answers
480 views

Unique product group which is not right orderable

(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 ...
Bhaskar Vashishth's user avatar
3 votes
1 answer
301 views

Normal subgroup of a totally ordered group

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 ...
poset's user avatar
  • 63
2 votes
1 answer
198 views

Is there a non-right-orderable torsion-free quotient group of the braid group on 3 strands?

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 $...
Alireza Abdollahi's user avatar
2 votes
1 answer
307 views

When do infinitesimals split in dimension groups?

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 $\...
Min Ro's user avatar
  • 127
8 votes
1 answer
308 views

Is there a left-orderable profinite group?

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 ...
Pablo's user avatar
  • 11.2k
3 votes
2 answers
419 views

Quasi-isometry and left invariant orderability for groups

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-...
Mahdi Teymuri Garakani's user avatar
16 votes
4 answers
1k views

Can Suslin (or Aronszajn) lines ever be orderings of abelian groups?

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 (...
Avshalom's user avatar
  • 2,121
4 votes
2 answers
368 views

Embedding a linearly ordered free monoid into a linearly ordered group

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 < ...
Salvo Tringali's user avatar
2 votes
0 answers
415 views

An equivariant Hahn embedding theorem?

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 ...
shane.orourke's user avatar
4 votes
1 answer
404 views

Do all right orderable groups have the Haagerup property?

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 ...
hetairoi22's user avatar
4 votes
0 answers
322 views

Amenable groups acting on the real line, that are not subexponentially-amenable

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 ...
Cristobal Rivas's user avatar
2 votes
1 answer
223 views

Example involving partially ordered Abelian groups

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\...
user avatar
4 votes
1 answer
192 views

Totally right preorderable groups

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-...
Alexander Pruss's user avatar
12 votes
1 answer
449 views

Bi-orderability of Baumslag-Solitar group $\langle a,b \mid a^{-1} b^m a = b^n\rangle$ and of $\langle a,b \mid a^{-1} b a^m = b^n\rangle$

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 ...
Salvo Tringali's user avatar
1 vote
1 answer
388 views

Is $x + y \ne y+nx$ for $x \ne 0$ and $n \ge 2$ (in an ordered group)?

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$....
Salvo Tringali's user avatar
3 votes
1 answer
224 views

Extensions of partial orders to linear orders on (nonabelian) groups

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 ...
Alexander Pruss's user avatar