Related papers: CSA groups and separated free constructions
In this paper we describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free…
We study model-theoretic and stability-theoretic properies of the nonabelian free group in the light of Sela's recent result on stability and results announced by Bestvina and Feighn. We point out analogies between the free group and…
We exhibit examples of finitely presented subgroups $P$ of direct products of hyperbolic groups for which there is no algorithm that detects whether a finitely presented group has a quotient isomorphic to $P$. For any torsion-free, linear,…
Let $\Gamma$ be a torsion-free hyperbolic group. We study $\Gamma$--limit groups which, unlike the fundamental case in which $\Gamma$ is free, may not be finitely presentable or geometrically tractable. We define model $\Gamma$--limit…
A countable group is C*-simple if its reduced C*-algebra is a simple algebra. Since Powers recognised in 1975 that non-abelian free groups are C*-simple, large classes of groups which appear naturally in geometry have been identified,…
Let $G = H_1 * ... * H_k * F_r$ be a torsion-free group and $\phi$ an automorphism of $G$ that preserves this free factor system. We show that when $\phi$ is fully irreducible and atoroidal relative to this free factor system, the mapping…
Let $A, B$ be finite subsets of a torsion-free group $G$. We prove that for every positive integer $k$ there is a $c(k)$ such that if $|B|\ge c(k)$ then the inequality $|AB|\ge |A|+|B|+k$ holds unless a left translate of $A$ is contained in…
A word $w$ is concise in a class of groups $\mathcal{C}$ if, for every group $G$ in $\mathcal{C}$, the verbal subgroup $w(G)$ is finite whenever $w$ takes only finitely many values in $G$. This notion can be naturally extended to…
We construct torsion-free hyperbolic groups without unique product whose subgroups up to some given finite index are themselves non-unique product groups. This is achieved by generalising a construction of Comerford to graphical small…
We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a…
We show that any one-relator group $G=F/\langle\langle w\rangle\rangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case.
We give a topological framework for the study of Sela's limit groups: limit groups are limits of free groups in a compact space of marked groups. Many results get a natural interpretation in this setting. The class of limit groups is known…
We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index…
We construct examples of non-bi-orderable one-relator groups without generalized torsion. This answers a question asked in [2].
Let $G$ be a finite group and $H$ a core-free subgroup of $G$. We will show that if there exists a solvable, generating transversal of $H$ in $G$, then $G$ is a solvable group. Further, if $S$ is a generating transversal of $H$ in $G$ and…
It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show…
Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…
We prove several results on the model theory of Artin groups, focusing on Artin groups which are ``far from right-angled Artin groups''. The first result is that if $\mathcal{C}$ is a class of Artin groups whose irreducible components are…
We find strictly ascending HNN extensions of finite rank free groups possessing a presentation 2-complex which is a non positively curved square complex. On showing these groups are word hyperbolic, we have by results of Wise and Agol that…
A valuated group with normal forms is a group with an integer-valued length function satisfying some Lyndon's axioms and an additional axiom considered by Hurley. We prove a subgroup theorem for valuated groups with normal forms analogous…