Related papers: Regular left-orders on groups

We investigate when an ordered abelian group $G$ is stably embedded in a given elementary extension $H$. We focus on a large class of ordered groups which includes maximal ordered groups with interpretable archimedean valuation. We give a…

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be…

Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable…

In the present paper we continue studying regular free group actions on $\mathbb{Z}^n$-trees. We show that every finitely generated $\mathbb{Z}^n$-free group $G$ can be embedded into a finitely generated $\mathbb{Z}^n$-free group $H$ acting…

In the paper, we describe all total orders $\succ$ compatible with addition on additive subsemigroup $S$ of finite dimensional spaces over rational numbers. We provide a necessary and sufficient condition under which a finitely generated…

A sequence $s_1,s_2,\ldots, s_k$ of elements of a group $G$ is called a valid ordering if the partial products $s_1, s_1 s_2, \ldots, s_1\cdots s_k$ are all distinct. A long-standing problem in combinatorial group theory asks whether, for a…

We prove that every odd-order group is symmetric harmonious: there exists a permutation $g_0,g_1,\ldots, g_{\ell-1}$ of elements of $G$ such that the consecutive products $g_0g_1,g_1g_2,\ldots, g_{\ell-1}g_0$ also form a permutation of…

For a group $ G $ we consider its tensor square $G \otimes G$ and exterior square $G \wedge G$. We prove that for a circularly orderable group $G$, under some assumptions on $H_1(G)$ and $H_2(G)$, its exterior square and tensor square are…

Let A be an associative algebra over an algebraically closed field F of characteristic zero and let G be a finite abelian group. Regev and Seeman introduced the notion of a regular G-grading on A, namely a grading A= {\Sigma}_{g in G} A_g…

Left invariant affine structures in a Lie group $G$ are in one-to-one correspondence with left-symmetric algebras over its Lie algebra $\mathfrak g=T_eG$ (``over'' means that the commutator $[x,y]=xy-yx$ coincides with the Lie bracket;…

We show that all residually finite generalized Baumslag-Solitar groups of rank $n \geq 1$, defined on a finite and connected graph, are self-similar. Furthermore we prove that all residually finite fundamental groups of (finite, connected)…

Consider the free group algebra $K\left[F\right]$, where $F$ is a free group and $K$ a field. A well-order $\prec$ on $F$ is called an exposure order if words are greater than their proper prefixes. We show that every one-sided ideal $I$ in…

We study the categorical properties of right-preordered groups, giving an explicit description of limits and colimits in this category, and studying some exactness properties. We show that, from an algebraic point of view, the category of…

An order is a commutative ring that as an abelian group is finitely generated and free. A commutative ring is reduced if it has no non-zero nilpotent elements. In this paper we use a new tool, namely, the fact that every reduced order has a…

Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $\mathcal U$ of {\it unital}…

We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes…

Let "$\leq_L$" be the Kazhdan-Lusztig left cell preorder on the symmetric group $S_n$. Let $w\mapsto (P(w),Q(w))$ be the Robinson-Schensted-Knuth correspondence between $S_n$ and the set of standard tableaux with the same shapes. We prove…

It is proved that the reduced group C*-algebra C*_{red}(G) has stable rank one (i.e. its group of invertible elements is a dense subset) if G is a discrete group arising as a free product G_1*G_2 where |G_1|>=2 and |G_2|>=3. This follows…

We investigate the orderability properties of fundamental groups of 3-dimensional manifolds. Many 3-manifold groups support left-invariant orderings, including all compact P^2-irreducible manifolds with positive first Betti number. For…