Related papers: A note on ampleness in the theory of non abelian f…

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…

We show that the theory of the free group -- and more generally the theory of any torsion-free hyperbolic group -- is $n$-ample for any $n\geq 1$. We give also an explicit description of the imaginary algebraic closure in free groups.

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 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 show that any nonabelian free group $F$ of finite rank is homogeneous; that is for any tuples $\bar a$, $\bar b \in F^n$, having the same complete $n$-type, there exists an automorphism of $F$ which sends $\bar a$ to $\bar b$. We further…

An element of a finitely generated non-Abelian free group F(X) is said to be filling if that element has positive translation length in every very small action of F(X) on an $\mathbb{R}$-tree. We give a proof that the set of filling…

Let $\mu_1, \mu_2$ be probability measures on $\mathrm{Diff}^1_+(S^1)$ satisfying a suitable moment condition and such that their supports genererate discrete groups acting proximally on $S^1$. Let $(f^n_\omega)_{n \in \mathbb{N}},…

It is shown that if $\{H_n\}_{n \in \omega}$ is a sequence of groups without involutions, with $1 < |H_n| \leq 2^{\aleph_0}$, then the topologist's product modulo the finite words is (up to isomorphism) independent of the choice of…

$\aleph_1$-free groups, abelian groups for which every countable subgroup is free, exhibit a number of interesting algebraic and set-theoretic properties. In this paper, we give a complete proof that the property of being $\aleph_1$-free is…

We examine the existence of universal elements in classes of infinite abelian groups. The main method is using group invariants which are defined relative to club guessing sequences. We prove, for example: Theorem: For $n\ge 2$, there is a…

Suppose that G is a nontrivial torsion-free group and w is a word over the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the group \~G=<G,x_1,x_2,...,x_n | w=1> always contains a nonabelian free subgroup. For n=1…

We prove that |A^n| > c_n |A|^{[\frac{n+1}{2}]} for any finite subset A of a free group if A contains at least two noncommuting elements, where c_n>0 are constants not depending on A. Simple examples show that the order of these estimates…

We show that free Burnside groups of sufficiently large odd exponent are non--amenable in a certain strong sense, more precisely, their left regular representations are isolated from the trivial representation uniformly on finite generating…

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.…

We give an infinite family of torsion-free groups that do not satisfy the unique product property. For these examples, we also show that each group contains arbitrarily large sets whose square has no uniquely represented element.

We show that for every positive integer $n$ there exists a simple group that is of type $\mathrm{F}_{n-1}$ but not of type $\mathrm{F}_n$. For $n\ge 3$ these groups are the first known examples of this kind. They also provide infinitely…

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 the decidability of the elementary theory of a free group.

This work introduces the first in-depth study of h-free and h-full elements in abelian monoids, providing a unified approach for understanding their role in various mathematical structures. Let m be an element of an abelian monoid, with…

We prove that every group ring of a non-abelian locally free group which is the union of an ascending sequence of free groups is primitive. In particular, every group ring of a countable non-abelian locally free group is primitive. In…