Subgroup classification in Out(F_n)

Michael Handel, Lee Mosher

For any subgroup H of Out(F_n), either H has a finite index subgroup that fixes the conjugacy class of some proper, nontrivial free factor of F_n, or H contains a fully irreducible…