Rational subsets in HNN-extensions and amalgamated products

International Journal of Algebra and Computation

Volumn 18, Issue 1, 2008, Pages 111-163

  Lohrey, Markus ^a   Sénizergues, Géraud ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

Amalgamated product; Finitely generated subgroups; Groups and monoids; HNN extensions; Rational subsets

Indexed keywords

EID: 44249087431     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021819670800438X     Document Type: Article

References (35)

1. R. B. J. T. Allenby and R. J. Gregorac, On locally extended residually finite groups, in Conference on Group Theory, University of Wisconsin-Parkside, Kenosha, Wisconsin, 1972, Lecture Notes in Mathematics, Vol. 319 (Springer, 1973), pp. 9-17.
2. I. J. Jan Aalbersberg and H. J. Hoogeboom, Characterizations of the decidability of some problems for regular trace languages, Math. Syst. Theory 22(1) (1989) 1-19.
3. A. W. Anissimow and F. D. Seifert, Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen, Elektron. Informationsverarbeit. Kyber-netik 11(10-12) (1975) 695-702.
4. M. Benois, Parties rationnelles du groupe libre, C. R. Acad. Sci. Paris, Sér. A 269 (1969) 1188-1190.
5. V. N. Bezverkhniǐ, On the intersection of subgroups in HNN-groups, Fundam. Prikl. Mat. 4(1) (1998) 199-222.
6. R. V. Book, M. Jantzen and C. Wrathall, Monadic Thue systems, Theoret. Comput. Sci. 19(3) (1982) 231-251.
7. N. Dershowitz and J. P. Jouannaud, Rewrite systems, in Handbook of Theoretical Computer Science, Vol. B, Chap. 2 (Elsevier, 1991), pp. 423-320.
8. W. Dicks and M. J. Dunwoody, Groups Acting on Graphs (Cambridge University Press, 1990).
9. V. Diekert, personal Communication (2005).
10. R. Gitik, Graphs and separability properties of groups, J. Algebra 188(1) (1997) 125-143.
11. Z. Grunschlag, Algorithms in geometric group theory, PhD thesis, University of California Berkeley (1990).
12. M. Hall, Jr., Coset representations in free groups, Trans. Amer. Math. Soc. 67 (1949) 421-432.
13. G. Higman, B. H. Neumann, and H. Neumann, Embedding theorems for groups, J. London Math. Soc. 24 (1949) 247-254.
14. J. M. Howie, Embedding theorems for semigroups, The Quarterly Journal of Mathematics. Oxford Second Series 14 (1963) 254-258.
15. M. Kambites, P. V. Silva and B. Steinberg, On the rational subset problem for groups, J. Algebra 309(2) (2007) 622-639.
16. I. Kapovich, R. Weidmann and A. Myasnikov, Foldings, graphs of groups and the membership problem, Internat. J. Algebra Comput. 15(1) (2005) 95-128.
17. A. Karrass and D. Solitar, The subgroups of a free product of two groups with an amalgamated subgroup, Trans. Amer. Math. Soc. 150 (1970) 227-255.
18. A. Karrass and D. Solitar, Subgroups of HNN groups and groups with one defining relation, Canad. J. Math. 23 (1971) 627-643.
19. R. C. Lyndon and P. E. Schupp, Combinatorial Group Theory (Springer-Verlag, Berlin, 1977). Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 89.
20. M. Lohrey and G. Sénizergues, Equations in HNN-extensions. Manuscript (2006).
21. M. Lohrey and G. Sénizergues, Positive theories of HNN-extensions and amalgamated free products. Manuscript (2006).
22. L. Markus-Epstein, Algorithmic problems in amalgams of finite groups. Technical report, arXiv.org, 2007. http://arxiv.org/abs/0705.0759.
23. L. Markus-Epstein, Stallings' foldings and subgroups of amalgams of finite groups, Int. J. Algebra Comput. 17(8) (2007) 1493-1535.
24. V. Metaftsis and E. Raptis, Subgroup separability of graphs of abelian groups, Proc. Amer. Math. Soc. 132(7) (2004) 1873-1884.
25. M. Yu. Nedbaj, The occurrence problem in a rational subset of the free product of groups, Vestn. Omsk. Univ. 2000(2) (2000) 17-18.
26. Ch. Reutenauer, Sur les semi-groupes vérifiant le théorème de Kleene, RAIRO Inform. Théoret. 19(3) (1985) 281-291.
27. J. Sakarovitch, On regular trace languages, Theoret. Comput. Sci. 52 (1987) 59-75.
28. J. Sakarovitch, The "last" decision problem for rational trace languages, in Proc. 1st Latin Amer. Symp. Theoretical Informatics (LATIN'92), ed. I. Simon, Lecture Notes in Computer Science, Vol. 583 (Springer, 1992), pp. 460-473.
29. P. Scott, Subgroups of surface groups are almost geometric, J. Lond. Math. Soc. (2) 17(3) (1978) 555-565.
30. G. Sénizergues, Formal languages and word-rewriting, in Term Rewriting, Font-Romeu 93, Advanced Course, Lecture Notes in Computer Science, Vol. 909 (Springer, 1994), pp. 75-94.
31. G. Sénizergues, On the rational subsets of the free group. Acta Inform. 33(3) (1996) 281-296.
32. J.-P. Serre, Trees, Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. Translated from the French original by J. Stillwell, Corrected 2nd printing of the 1980 English translation.
33. J. R. Stallings, Group Theory and Three-Dimensional Manifolds, Yale Mathematical Monographs, Vol. 4 (Yale University Press, 1971).
34. John R. Stallings. Topology of finite graphs. Invent. Math., 71(3) (1983) 551-565.
35. D. T. Wise. Subgroup separability of graphs of free groups with cyclic edge groups. Q. J. Math., 51(1) (2000) 107-129.