Questions tagged [ordered-groups]
Groups (possibly semigroups) endowed with possibly left/right/bi-invariant partial/total orderings. Study of such orders on groups.
74
questions
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 \...
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 ...
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 ...
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 ...
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 ...
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. ...
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 ...
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 ...
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 ...
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$-...
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 ...
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 ...
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 ...
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 &...
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 ...
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 ...
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).
...
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 ...
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_{...
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 ...
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 ...
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-...
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 ...
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$ ...
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 ...
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$?
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 ...
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 ...
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 ...
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 $...
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 $\...
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 ...
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-...
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 (...
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 < ...
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 ...
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 ...
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 ...
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\...
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-...
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 ...
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$....
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 ...