Residually finite groups of finite rank

The recent constructions, by Rips and Olshanskii, of infinite groups with all proper subgroups of prime order, and similar ‘monsters’, show that even under the imposition of apparently very strong finiteness conditions, the structure of infinite groups can be rather weird. Thus it seems reasonable to impose the type of condition that enables us to apply the theory of finite groups. Two such conditions are local finiteness and residual finiteness, and here we are interested in the latter. Specifically, we consider residually finite groups of finite rank, where a group is said to have rank r, if all finitely generated subgroups of it can be generated by r elements. Recall that a group is said to be virtually of some property, if it has a subgroup of finite index with this property. We prove the following result:.