It is shown that π1 of a finite graph of free groups with cyclic edge groups is subgroup separable unless π1 has a non-trivial element g such that gn ∼ gm with n ≠ ±m. It is easy to decide from the presentation if such a conjugacy exists.
No takes yet. Share an insight, caveat, or question.
Daniel T. Wise (2000) studied this question.