Related papers: Orderable groups with Engel-like conditions

Let G=O(n+3) be an orthogonal group of rank one and H=O(n+2) an anisotropic subgroup. We unwind the period along H of a spherical Eisenstein series of G against a cuspform of H into an Euler product and evaluate the local factors at odd…

We prove the following version of Milnor's theorem on solvable groups of exponential growth: A finitely generated solvable group which is not polycyclic contains an ascending HNN extension. Consequently, a finitely generated solvable group…

We introduce the term "protonormal" to refer to a subgroup H of a group G such that for every x in G the subgroups x^{-1}Hx and H commute as sets. If moreover (G,H) is a Hecke pair we show that the Hecke algebra H(G,H) is generated by the…

Let $G$ be a multiplicatively written finite group of order $n$. The Erd\H{o}s-Ginzburg-Ziv Theorem constant of the group $G$, denoted $\mathsf E(G)$, is defined as the smallest positive integer $\ell$ with the following property: for any…

Motivated by recent activity in low-dimensional topology, we provide a new criterion for left-orderability of a group under the assumption that the group is circularly-orderable: A group $G$ is left-orderable if and only if $G \times…

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 a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

We consider the oriented graph whose vertices are isomorphism classes of finitely generated groups, with an edge from G to H if, for some generating set T in H and some sequence of generating sets S_i in G, the marked balls of radius i in…

Let G be a group and H be a subgroup of G. We say that H is left relatively convex in G if the left G-set G/H has at least one G-invariant order; when G is left orderable, this holds if and only if H is convex in G under some left ordering…

Suppose that a finite group $G$ admits a soluble group of coprime automorphisms $A$. We prove that if, for some positive integer $m$, every element of the centralizer $C_G(A )$ has a left Engel sink of cardinality at most $m$ (or a right…

Let $G$ be a group of order $n$ and $H$ be a subgroup of order $m$ of $G$. Denote by $\psi_H(G)$ the sum of element orders relative to $H$ of $G$. It is known that if $G$ is nilpotent, then $\psi_H(G)\leq\psi_{H_m}(G)$, where $H_m$ is the…

We show that the nuclear dimension of a (twisted) group C*-algebra of a virtually polycyclic group is finite. This prompts us to make a conjecture relating finite nuclear dimension of group C*-algebras and finite Hirsch length, which we…

Let $H$ be a subgroup of a group $G$. The permutizer $P_G(H)$ is the subgroup generated by all cyclic subgroups of $G$ which permute with $H$. A subgroup $H$ of a group $G$ is strongly permutable in $G$ if $P_U(H)=U$ for every subgroup $U$…

We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output…

For a finite group $G$, we study the probability $sp(G)$ that, given two elements $x,y \in G$, the cyclic subgroup $\langle x \rangle$ is subnormal in the subgroup $\langle x, y \rangle$. This can be seen as an intermediate invariant…

Given a group $G$, we write $x^G$ for the conjugacy class of $G$ containing the element $x$. A famous theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the derived group…

Let $\Gamma$ be an undirected and simple graph. A set $ S $ of vertices in $\Gamma$ is called a {cyclic vertex cutset} of $\Gamma$ if $\Gamma - S$ is disconnected and has at least two components each containing a cycle. If $\Gamma$ has a…

Let $w=w(x_1,...,x_n)$ be a word, i.e. an element of the free group $F = \langle x_1,...,x_n \rangle$. The verbal subgroup $w(G)$ of a group $G$ is the subgroup generated by the set $\{ w(x_1,...,x_n) : x_1,...,x_n \in G \}$ of all…

Let m, n be positive integers, v a multilinear commutator word and w = v^m. We prove that if G is a residually finite group in which all w-values are n-Engel, then the verbal subgroup w(G) is locally nilpotent. We also examine the question…

Let $G$ be a finitely generated group. We prove that the $n$-fold tensor product $G^{\otimes n}$ is finite (resp. polycyclic) if and only $G$ is finite (resp. polycyclic). Further, assuming that $G$ is finitely presented, we show that…