Algorithmic Problems in Amalgams of Finite Groups: Conjugacy and Intersection Properties
arXiv:0707.0165
Abstract
Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used to solve a wide collection of decision problems for free groups and their subgroups. In the present paper we employ the generalized Stallings' methods, developed by the author, to solve various algorithmic problems concerning finitely generated subgroups of amalgams of finite groups.
54 pages with 13 figures