Finite rank and pseudofinite groups (Q721696)

An infinite group is called \textit{pseudofinite} if it is elementary equivalent to an ultraproduct of finite groups. In other words, a pseudofinite group is an infinite model of the first-order theory of finite groups. Recall that a group is said to have finite Prüfer rank $r$ if every finitely generated subgroup can be generated by $r$ elements, and $r$ is the least such integer. The main result of the paper states that there is no infinite finitely generated group which is elementary equivalent to an ultraproduct of finite groups of given Prüfer rank.