Related papers: Test elements in torsion-free hyperbolic groups

In this paper, we establish that, for statistically convex-cocompact actions, contracting elements are exponentially generic in counting measure. Among others, the following exponential genericity results are obtained as corollaries for the…

We show that a group that is hyperbolic relative to strongly shortcut groups is itself strongly shortcut, thus obtaining new examples of strongly shortcut groups. The proof relies on a result of independent interest: we show that every…

We prove that ascending HNN extensions of free groups are word-hyperbolic if and only if they have no Baumslag-Solitar subgroups. This extends the theorem of Brinkmann that free-by-cyclic groups are word-hyperbolic if and only if they have…

In this paper, we study the so-called diagram groups. Our main result is that diagram groups are free if and only if they do not contain any subgroup isomorphic to $\mathbb{Z}^2$. As an immediate corollary, we get that hyperbolic diagram…

In the present paper, we give some sufficient conditions for $\operatorname{Cl}(\Bbbk[P])$ to be torsionfree, where $\operatorname{Cl}(\Bbbk[P])$ denote the divisor class group of the toric ring $\Bbbk[P]$ of an integral polytope $P$. We…

We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.

In combinatorial group testing problems Questioner needs to find a special element $x \in [n]$ by testing subsets of $[n]$. Tapolcai et al. introduced a new model, where each element knows the answer for those queries that contain it and…

For a group acting on a hyperbolic space, we set up an algorithm in the group algebra showing that ideals generated by few elements are free, where few is a function of the minimal displacement of the action, and derive algebraic,…

In a discrete group generated by hyperplane reflections in the $n$-dimensional hyperbolic space, the reflection length of an element is the minimal number of hyperplane reflections in the group that suffices to factor the element. For a…

We construct an example of a torsion free freely indecomposable finitely presented non-quasiconvex subgroup $H$ of a word hyperbolic group $G$ such that the limit set of $H$ is not the limit set of a quasiconvex subgroup of $G$. In…

We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a…

We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable relatively hyperbolic group is residually finite. As a direct consequence, we obtain that the outer automorphism group of a limit…

We refine Feighn--Handel's results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups. We use these refinements to show that any finitely generated free-by-cyclic group embeds in a {finitely generated…

Let $V$ be a finite graph and let $\phi:V\rightarrow V$ be an irreducible train track map whose mapping torus has word-hyperbolic fundamental group $G$. Then $G$ acts freely and cocompactly on a CAT(0) cube complex.

Let Gamma be a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. We construct Makanin-Razborov diagrams for Gamma. We also prove that every system of equations over Gamma is equivalent to a finite…

In a group, a non-trivial element is called a generalized torsion element if some non-empty finite product of its conjugates equals to the identity. We say that a knot has generalized torsion if its knot group admits such an element. For a…

The space of deformations of the integer Heisenberg group under the action of $\textrm{Aut}(H(\mathbb{R}))$ is a homogeneous space for a non-reductive group. We analyze its structure as a measurable dynamical system and obtain mean and…

Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let Ext_{R\Gamma}^{*}(M,M) be the cohomology ring associated to the R\Gamma-module M. Let H be a subgroup of finite index of \Gamma. The following is a…

We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…

We classify the groups quasi-isometric to a group generated by finite-order elements within the class of one-ended hyperbolic groups which are not Fuchsian and whose JSJ decomposition over two-ended subgroups does not contain rigid vertex…