Abstract
In this chapter, we introduce the main topic of this book, namely the compressed word problem for a finitely generated group. This is the variant of the word problem, where the input word is not written down explicitly, but given by an SLP. Since the input word is given in a more succinct way, the compressed word problem for a group G may have a higher computational complexity than the word problem for G, and in Sect. 4.8 we will see such a group.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This wreath product is also called the restricted wreath product since only finitely supported mappings from G to H are considered and not all mappings.
References
L. Auslander, G. Baumslag, Automorphism groups of finitely generated nilpotent groups. Bull. Amer. Math. Soc. 73, 716–717 (1967)
D.A.M. Barrington, Bounded-width polynomial-size branching programs recognize exactly those languages in NC1. J. Comput. Syst. Sci. 38, 150–164 (1989)
G. Baumslag, Wreath products and finitely presented groups. Math. Z. 79, 22–28 (1961)
G. Baumslag, F.B. Cannonito, C.F. Miller III, Infinitely generated subgroups of finitely presented groups I. Math. Z. 153(2), 117–134 (1977)
M. Beaudry, P. McKenzie, P. Péladeau, D. Thérien, Finite monoids: from word to circuit evaluation. SIAM J. Comput. 26(1), 138–152 (1997)
M. Ben-Or, R. Cleve, Computing algebraic formulas using a constant number of registers. SIAM J. Comput. 21(1), 54–58 (1992)
J.-C. Birget, The groups of Richard Thompson and complexity. Int. J. Algebra Comput. 14(5–6), 569–626 (2004)
J.W. Cannon, W.J. Floyd, W.R. Parry, Introductory notes on Richard Thompson’s groups. L’Enseignement Mathématique 42(3), 215–256 (1996)
W.H. Cockcroft, The word problem in a group extension. Q. J. Math. Oxford Sec. Ser. 2, 123–134 (1951)
R. Greenlaw, H.J. Hoover, W.L. Ruzzo, Limits to Parallel Computation: P-Completeness Theory (Oxford University Press, Oxford, 1995)
V.S. Guba, M.V. Sapir, On subgroups of R. Thompson’s group F and other diagram groups. Matematicheskii Sbornik 190(8), 3–60 (1999)
N. Haubold, M. Lohrey, C. Mathissen, Compressed decision problems for graph products of groups and applications to (outer) automorphism groups. Int. J. Algebra Comput. 22(8), 53 p (2013)
M.I. Kargapolov, J.I. Merzljakov, Fundamentals of the Theory of Groups. Graduate Texts in Mathematics, vol. 62 (Springer, New York, 1979)
J. Lewin, Residual properties of loops and rings. Ph.D. thesis, New York University, 1964
R.J. Lipton, Y. Zalcstein, Word problems solvable in logspace. J. Assoc. Comput. Mach. 24(3), 522–526 (1977)
M. Lohrey, Word problems on compressed word. In Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004. Lecture Notes in Computer Science, vol. 3142 (Springer, Berlin, 2004), pp. 906–918
M. Lohrey, S. Schleimer, Efficient computation in groups via compression. In Proceedings of Computer Science in Russia, CSR 2007. Lecture Notes in Computer Science, vol. 4649 (Springer, Berlin, 2007), pp. 249–258
M. Lohrey, B. Steinberg, G. Zetzsche, Rational subsets and submonoids of wreath products. Technical Report. arXiv.org (2013), http://arxiv.org/abs/1302.2455
R.C. Lyndon, P.E. Schupp, Combinatorial Group Theory (Springer, New York, 1977)
W. Magnus, On a theorem of Marshall hall. Ann. Math. Sec. Ser. 40, 764–768 (1939)
J. Matthews, The conjugacy problem in wreath products and free metabelian groups. Trans. Amer. Math. Soc. 121, 329–339 (1966)
D. Robinson, Parallel algorithms for group word problems. Ph.D. thesis, University of California, San Diego, 1993
S. Schleimer, Polynomial-time word problems. Comment. Math. Helv. 83(4), 741–765 (2008)
H. Vollmer. Introduction to Circuit Complexity (Springer, New York, 1999)
S. Waack, The parallel complexity of some constructions in combinatorial group theory. J. Inform. Process. Cybern. EIK 26, 265–281 (1990)
B.A. Wehrfritz, On finitely generated soluble linear groups. Math. Z. 170, 155–167 (1980)
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: The Compressed Word Problem for Groups. SpringerBriefs in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-0748-9_4
Download citation
DOI: https://doi.org/10.1007/978-1-4939-0748-9_4
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)