Abstract
We show the existence of finitely presented torsion-free groups with decidable word problem that cannot be embedded in any finitely generated group with decidable conjugacy problem. This answers a well-known question of Collins from the early 1970’s.
Similar content being viewed by others
References
Aanderaa, S., Cohen, D.E.: Modular machines I, II, in [2]. Stud. Logic Found. Math. 95(1–18), 19–28 (1980)
Baumslag, G., Myasnikov, A., Shpilrain et al., V.: Open Problems in Combinatorial and Geometric Group Theory, http://www.grouptheory.info/
Boone, W.W., Cannonito, F.B., Lyndon, R.C.: Word Problems: Decision Problems and the Burnside Problem in Group Theory, Studies in Logic and the Foundations of Mathematics, vol. 71. North-Holland, Amsterdam (1973)
Chiodo, M., Vyas, R.: Torsion length and finitely presented groups. J. Group Theory 21(5), 947–969 (2018)
Collins, D.J.: Representation of Turing reducibility by word and conjugacy problems in finitely presented groups. Acta Math. 128(1–2), 73–90 (1972)
Collins, D.J., Miller III, C.F.: The conjugacy problem and subgroups of finite index. Proc. Lond. Math. Soc. (3) 34(3), 535–556 (1977)
Dehn, M.: Über unendliche diskontinuierliche Gruppen. Math. Ann. 71, 116–144 (1911)
Darbinyan, A.: Group embeddings with algorithmic properties. Commun. Algebra 43(11), 4923–4935 (2015)
Darbinyan, A.: Computability, order, and solvable groups, to appear in J. Symb. Logic. https://doi.org/10.1017/jsl.2020.34
Gorjaga, A.V., Kirkinskii, A.S.: The decidability of the conjugacy problem cannot be transferred to finite extensions of groups (Russian). Algebra i Logika 14(4), 393–406 (1975)
Kourovka Notebook. Unsolved Problems in Group Theory. 5th edition, Novosibirsk, 1976
Mal’cev, A.: Constructive algebras. I. Uspehi Mat. Nauk 16(3), 3–60 (1961). (99)
Miasnikov, A., Schupp, P.: Computational complexity and the conjugacy problem. Computability 6, 307–318 (2017)
Miller III, C.F.: On Group-Theoretic Decision Problems and their Classification, vol. 68 of Annals of Mathematics Studies. Princeton University Press, Princeton (1971)
Miller III, C.F.: Decision problems for groups: a survey and reflections. In: Algorithms and Classification in Combinatorial Group Theory (Berkeley, CA, 1989), Math. Sci. Res. Inst. Publ., Vol. 23, Springer (1992)
Olshanskii, AYu., Sapir, M.V.: Length and area functions on groups and quasi-isometric Higman embeddings. Int. J. Algebra Comput. 11(2), 137–170 (2001)
Olshanskii, AYu., Sapir, M.V.: Subgroups of finitely presented groups with solvable conjugacy problem. Int. J. Algebra Comput. 15(5–6), 1075–1084 (2005)
Rabin, M.: Computable algebra, general theory and theory of computable fields. Trans. Am. Math. Soc. 95, 341–360 (1960)
Smullyan, R.M.: Undecidability and recursive inseparability. Math. Log. Q. 4(7–11), 143–147 (1958)
Acknowledgements
I would like to thank Alexander Olshanskii for his thoughtful comments on this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author acknowledges the support by the ERC-grant GroIsRan No. 725773.
Rights and permissions
About this article
Cite this article
Darbinyan, A. Groups with decidable word problem that do not embed in groups with decidable conjugacy problem. Invent. math. 224, 987–997 (2021). https://doi.org/10.1007/s00222-020-01022-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-020-01022-0