We prove that the terms of the derived series of a free solvable group are definable by existential formulae. We use this result to prove some ‘model theoretic’ results about free solvable groups. For example, we prove that if Hilbert’s 10th problem has a negative answer for the field of the rationals, then the universal theory of a noncyclic free solvable group of class > 3 is undecidable. @ 1...

We exhibit a family of infinite, finitely-presented, nilpotent-byabelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry group that is virtually a product of a solvable real Lie group and a solvable p-adic Lie group. In addition, we propose a candidate for a polycyclic group whose q...

Let Γ be a finitely generated linear group over a field of characteristic 0. Suppose that every solvable subgroup of Γ is polycyclic. Then any solvable subgroup of Γ is separable. This conclusion is false without the hypothesis that every solvable subgroup of Γ is polycyclic.

Gromov’s Polynomial Growth Theorem [Gro81] states that the property of having polynomial growth characterizes virtually nilpotent groups among all finitely generated groups. Gromov’s theorem inspired the more general problem (see, e.g. [GdlH91]) of understanding to what extent the asymptotic geometry of a finitelygenerated solvable group determines its algebraic structure—in short, are solvable...

For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable conjugacy problem. Moreover, G and H have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D.

For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable conjugacy problem. Moreover G and H have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D. Collins.

Abstract Every simply connected and solvable Lie group