2013/05/19 by Andrew Duncan, Andrew J. Duncan, Duncan, Andrew +2
Computer Science · Mathematics · #Advanced Operator Algebra Research #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #math.GR #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1305.4407
66 pages, 21 figures The paper has been withdrawn as the conclusions are incorrect
openalex publication_date 2013/05/19 · arxiv created 2013/05/21 · arxiv updated 2013/05/22 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
Stallings folding theory is modified, using double coset representatives, and to applied to the study of subgroups of amalgamated products of finite rank free groups. As a first application the subgroup membership problem for such groups is shown to be decidable. An algorithm for this problem is constructed and its complexity is analysed. Groups in this class are also shown to possess the Howson property.