A McCool Whitehead type theorem for finitely generated subgroups of $\mathsf{Out}(F_n)$

Mladen Bestvina, Mark Feighn, Michael Handel

S. Gersten announced an algorithm that takes as input two finite sequences $\vec{K}=(K_1,\dots ,K_N)$ and ${\vec{K}}^{\prime }=(K_1^{\prime },\dots ,K_N^{\prime })$ of conjugacy classes of finitely generated sub…