Foldings, graphs of groups and the membership problem

Ilya Kapovich, Richard Weidmann, Alexei Myasnikov

We introduce a combinatorial version of Stallings-Bestvina-Feighn-Dunwoody folding sequences. We then show how they are useful in analyzing the solvability of the uniform subgroup…