Baumslag-Solitar groups BS(p,q) =< a,t | tapt-1 = aq > were first introduced as examples of non-Hopfian groups. They may be described using graphs of cyclic groups. In analogy with the study of Out(Fn) one can study their automorphisms through their action on an “outer space”. After introducing generalized Baumslag-Solitar groups and their actions on trees, I will present an analogue of a Whitehead algorithm which takes an element of a free group and decides whether there exists a free factor which contains that element.

This video is part of the New York Group Theory Cooperative‘s group theory seminar series.