Related papers: Homogeneity and prime models in torsion-free hyper…

We show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under $\Aut(\F)$. We give a characterization of…

We give a complete characterization of torsion-free hyperbolic groups which are homogeneous in the sense of first-order logic, in terms of the JSJ decompositions of their free factors.

We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated…

We prove that affine Coxeter groups, even hyperbolic Coxeter groups and one-ended hyperbolic Coxeter groups are homogeneous in the sense of model theory. More generally, we prove that many (Gromov) hyperbolic groups generated by torsion…

We define a class $\mathcal{U}$ of solvable groups of finite abelian section rank which includes all such groups that are virtually torsion-free as well as those that are finitely generated. Assume that $G$ is a group in $\mathcal{U}$ and…

Free groups are known to be homogeneous, meaning that finite tuples of elements which satisfy the same first-order properties are in the same orbit under the action of the automorphism group. We show that virtually free groups have a…

We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated…

We prove that the first order theory of nonabelian free groups eliminates the "there exists infinitely many" quantifier (in eq). Equivalently, since the theory of nonabelian free groups is stable, it does not have the finite cover property.…

For any finitely generated, non-elementary, torsion-free group $G$ that is hyperbolic relative to $\mathbb P$, we show that there exists a group $G^*$ containing $G$ such that $G^*$ is hyperbolic relative to $\mathbb P$ and $G$ is not…

We prove that an automorphism $\phi:F\to F$ of a finitely generated free group $F$ is hyperbolic in the sense of Gromov if it has no nontrivial periodic conjugacy classes.

We show that for every $n\ge 2$ there exists a torsion-free one-ended word-hyperbolic group $G$ of rank $n$ admitting generating $n$-tuples $(a_1,\ldots ,a_n)$ and $(b_1,\ldots ,b_n)$ such that the $(2n-1)$-tuples $$(a_1,\ldots ,a_n,…

For every $m\geq 2$ we produce an example of a non-hyperbolic finitely presented subgroup $H < G$ of a hyperbolic group $G$, which is the kernel of a surjective homomorphism $\phi: G\to \mathbb{Z}^m$. The examples we produce are of…

Suppose $G$ is a $\mathcal{T}$-group (finitely generated torsion-free nilpotent) with centralizers outside of the derived subgroup being abelian of rank equal to $\text{rank}(Z_1)+1$. This includes the class of free nilpotent groups…

We show that if $G$ is a non-elementary word hyperbolic group, mapping class group of a hyperbolic surface or the outer automorphism group of a nonabelian free group then $G$ has $2^{\aleph_0}$ many continuous ergodic invariant random…

We answer a question raised by Pillay, that is whether the infinite weight of the generic type of the free group is witnessed in $F_{\omega}$. We also prove that the set of primitive elements in finite rank free groups is not uniformly…

We obtain a number of finiteness results for groups acting on Gromov-hyperbolic spaces. In particular we show that a torsion-free locally quasiconvex hyperbolic group has only finitely many conjugacy classes of $n$-generated one-ended…

In this paper we determine the torsion free rank of the group of endotrivial modules for any finite group of Lie type, in both defining and non-defining characteristic. On our way to proving this, we classify the maximal rank $2$ elementary…

A semigroup is completely simple if it has no proper ideals and contains a primitive idempotent. We say that a completely simple semigroup $S$ is a homogeneous completely simple semigroup if any isomorphism between finitely generated…

We present a characterization of cotorsion-free abelian groups in terms of homomorphisms from fundamental groups of Peano continua, which aligns naturally with the generalization of slenderness to non-abelian groups. In the process, we…

For which groups $G$ is it true that for all fields $k$, every non-monomial element of the group algebra $k\,G$ generates a proper $2$-sided ideal? The only groups for which we know this are the torsion-free abelian groups. We would like to…