Divisible Rigid Groups. III. Homogeneity and Quantifier Elimination

A group G is said to be rigid if it contains a normal series G = G ₁ > G ₂ >.. > G _m > G _m+1 = 1, whose quotients G _i /G _i+1 are Abelian and, treated as right ℤ[G/G _i ]-modules, are torsion-free. A rigid group G is divisible if elements of the quotient G _i /G _i+1 are divisible by nonzero elements of the ring ℤ[G/G _i ]. Every rigid group is embedded in a divisible one. Our main result is the theorem which reads as follows. Let G be a divisible rigid group. Then the coincidence of ∃-types of same-length tuples of elements of the group G implies that these tuples are conjugate via an automorphism of G. As corollaries we state that divisible rigid groups are strongly ℵ ₀ -homogeneous and that the theory of divisible m-rigid groups admits quantifier elimination down to a Boolean combination of ∃-formulas.