Homogeneity in the free group
Homogeneity in the free group
We show that any nonabelian free group F is strongly ℵ0-homogeneous, that is, 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 elements in finitely generated groups which have the same first-order properties as a primitive …