设 是有限生成剩余有限群G的素数p阶自同构，映射 是满射，则G是幂零类至多为h(p)的幂零群，其中h(p)是与素数p有关的函数。特别地，如果 是2阶自同构，那么G是交换群。 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.
展开▼
机译：设 是有限生成剩余有限群G的素数p阶自同构，映射 是满射，则G是幂零类至多为h(p)的幂零群，其中h(p)是与素数p有关的函数。特别地，如果 是2阶自同构，那么G是交换群。 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.
展开▼
