Let and let be the outer automorphism group of a nonabelian free group of rank . Let be the finite index subgroup of which is the kernel of the natural action of on . We show that is an -group, that is, for every , if there exists such that , then . This answers a question of Handel and Mosher. We then use the fact that is an -group in order to prove that the normalizer in of every abelian subgroup of is equal to its centralizer. We finally give an alternative proof of a result, due to Feighn and Handel, that the centralizer of an element of which has only finitely many periodic orbits of conjugacy classes of maximal cyclic subgroups of is virtually abelian.

生成讲解博客的中文版本

生成AI智能校验的中文版本