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

Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that the conjecture is true when a finite non-abelian $p$-group $G$ has…

We show that for a large class $\mathcal{C}$ of finitely generated groups of orientation preserving homeomorphisms of the real line, the following holds: Given a group $G$ of rank $k$ in $\mathcal{C}$, there is a sequence of $k$-markings…

This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in…

We prove that in a torsion-free hyperbolic group, an element is a test element if and only if it is not contained in a proper retract.

A non-degenerate toric variety $X$ is called $S$-homogeneous if the subgroup of the automorphism group $\text{Aut}(X)$ generated by root subgroups acts on $X$ transitively. We prove that maximal $S$-homogeneous toric varieties are in…

Let $G$ be a unique product group, i.e., for any two finite subsets $A$ and $B$ of $G$ there exists $x\in G$ which can be uniquely expressed as a product of an element of $A$ and an element of $B$. We prove that, if $C$ is a finite subset…

We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of…

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…

In this paper we develop the theory of homogeneous functions between finite abelian groups. Here, a function $f:G\longrightarrow H$ between finite abelian groups is homogeneous of degree $d$ if $f(nx)=n^df(x)$ for all $x\in G$ and all $n$…

We describe inertial endomorphisms of an abelian group $A$, that is endomorphisms $\varphi$ with the property $|(\varphi(X)+X)/X|<\infty$ for each $X\le A$. They form a ring containing multiplications, the so-called finitary endomorphisms…

Sela proved every torsion-free one-ended hyperbolic group is coHopfian. We prove that there exist torsion-free one-ended hyperbolic groups that are not commensurably coHopfian. In particular, we show that the fundamental group of every…

We characterize co-Hopfian finitely generated torsion free nilpotent groups in terms of their Lie algebra automorphisms, and construct many examples of such groups.

We prove that a self-similar free abelian group has finite rank. We apply the result to self-similar wreath products of abelian groups $G=BwrX$. We show that if $X$ is torsion-free, then $B$ is torsion of finite exponent. Furthemore, we…

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the…

We use pseudo-Anosov homeomorphisms of surfaces in order to prove that the first order theory of non abelian free groups, $T_{fg}$, is $n$-ample for any $n\in\omega$. This result adds to the work of Pillay, that proved that $T_{fg}$ is non…

In this note we give a new proof of the fact that an elementary subgroup (in the sense of first-order theory) of a non abelian free group $\mathbb{F}$ must be a free factor. The proof is based on definability of orbits of elements of under…

Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…

We study model geometries of finitely generated groups. If a finitely generated group does not contain a non-trivial finite rank free abelian commensurated subgroup, we show any model geometry is dominated by either a symmetric space of…

A group is said to be cube-free if its order is not divisible by the cube of any prime. Let $f_{cf,sol}(n)$ denote the isomorphism classes of solvable cube-free groups of order $n$. We find asymptotic bounds for $f_{cf,sol}(n)$ in this…

We complete the study of finite and profinite groups admitting an action by an elementary abelian group under which the centralizers of automorphisms consist of Engel elements. In particular, we prove the following theorems. Let $q$ be a…