Abstract
In this chapter we prove two further important transfer theorems for the compressed word problem:
-
The compressed word problem for a multiple HNN-extension of a base group H over finite associated subgroups is polynomial time Turing-reducible to the compressed word problem for H.
-
The compressed word problem for an amalgamated product of group H 1 and H 2 with finite amalgamated subgroups is polynomial time Turing-reducible to the compressed word problems for H 1 and H 2.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
V. Diekert, A.J. Duncan, A.G. Myasnikov, Geodesic rewriting systems and pregroups. In Combinatorial and Geometric Group Theory. Trends in Mathematics (Birkhäuser, Boston, 2010), pp. 55–91
N. Haubold, M. Lohrey, Compressed word problems in HNN-extensions and amalgamated products. Theor. Comput. Syst. 49(2), 283–305 (2011)
G. Higman, B.H. Neumann, H. Neumann, Embedding theorems for groups. J. Lond. Math. Soc. Sec. Ser. 24, 247–254 (1949)
M. Lohrey, G. Sénizergues, Theories of HNN-extensions and amalgamated products. In Proceedings of the 33st International Colloquium on Automata, Languages and Programming, ICALP 2006. Lecture Notes in Computer Science, vol. 4052 (Springer, Berlin, 2006), pp. 681–692
R.C. Lyndon, P.E. Schupp, Combinatorial Group Theory (Springer, New York, 1977)
J.-P. Serre, Trees (Springer, Berlin, 2003)
J.R. Stallings, Group Theory and Three-Dimensional Manifolds. Yale Mathematical Monographs, vol. 4 (Yale University Press, London, 1971)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Markus Lohrey
About this chapter
Cite this chapter
Lohrey, M. (2014). The Compressed Word Problem in HNN-Extensions. In: The Compressed Word Problem for Groups. SpringerBriefs in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-0748-9_6
Download citation
DOI: https://doi.org/10.1007/978-1-4939-0748-9_6
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4939-0747-2
Online ISBN: 978-1-4939-0748-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)