Related papers: On genericity and weight in the free group

We describe groups elementarily equivalent to a free metabelian group with n generators. We also explore an exponentiation that naturally occurs in metabelian groups.

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…

This paper is motivated by the study of Alperin's weight conjecture in the representation theory of finite groups. We generalize the notion of $e$-cuspidality in the $e$-Harish-Chandra theory of finite reductive groups, and define generic…

We present a class of abelian groups that exhibit a high degree of freeness while possessing no non-trivial homomorphisms to a canonical free object. Unlike prior investigations, which primarily focused on torsion-free groups, our work…

In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.

Countably infinite groups (with a fixed underlying set) constitute a Polish space $G$ with a suitable metric, hence the Baire category theorem holds in $G$. We study isomorphism invariant subsets of $G$, which we call group properties. We…

In this paper we study (logical) types and isotypical equivalence of torsion free Abelian groups. We describe all possible types of elements and standard 2-tuples of elements in these groups and classify separable torsion free Abelian…

$\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 develop a method to show that some (abstract) groups can be embedded into a free pro-$p$ group. In particular, we show that a finitely generated subgroup of a free $\mathbb Q$-group can be embedded into a free pro-$p$ group for almost…

We prove that if a countable group is elementarily equivalent to a non-abelian free group and all of its abelian subgroups are cyclic, then the group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).

We prove that for a suitable class of representations of free group tensor products are generically irreducible. In particular we prove that there exist irreducible boundary realizations with infinite dimensional fiber.

Kervaire conjecture that the weight of the free product of every non-trivial group and the infinite cyclic group is not one is confirmed by confirming Conjecture Z of a knot exterior.

We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups.

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

We prove the existence of abelian, solvable and nilpotent definable envelopes for groups definable in models of an NTP2 theory.

We use hyperbolic towers to answer some model theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_0$, but that there is a…

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

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 construct continuum many infinite, simple, characteristic quotients of non-abelian free groups, answering a 1978 question of James Wiegold. The method is very flexible, allowing to impose certain properties on the quotients, to…