Abstract:
Let

be an automorphism of prime order p of a finitely generated residually finite group G. If the map

defined by

is surjective, then G is nilpotent of class at most
h(p), where
h(p) is a function depending only on p. In particular, if

is of order 2, then G is abelian.