Markov-type properties

Lockhart, Jody

doi:10.1090/S0002-9939-1982-0656089-7

Markov-type properties
HTML articles powered by AMS MathViewer

by Jody Lockhart PDF

Proc. Amer. Math. Soc. 85 (1982), 305-309 Request permission

Abstract:

Decision problems in classes of finitely presented groups with solvable conjugacy problem, with solvable order problem, and with solvable power problem are considered. It is shown that the problem of recognizing group properties is in no real sense improved by restricting attention to these classes.

References

S. I. Adyan, Algorithmic unsolvability of problems of recognition of certain properties of groups, Dokl. Akad. Nauk SSSR (N.S.) 103 (1955), 533–535 (Russian). MR 0081851
William W. Boone, Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups, Ann. of Math. (2) 84 (1966), 49–84. MR 201500, DOI 10.2307/1970530
William W. Boone and Hartley Rogers Jr., On a problem of J. H. C. Whitehead and a problem of Alonzo Church, Math. Scand. 19 (1966), 185–192. MR 210578, DOI 10.7146/math.scand.a-10808
Donald J. Collins, On recognising properties of groups which have solvable word problem, Arch. Math. (Basel) 21 (1970), 31–39. MR 265442, DOI 10.1007/BF01220872
Donald J. Collins, Representation of Turing reducibility by word and conjugacy problems in finitely presented groups, Acta Math. 128 (1972), no. 1-2, 73–90. MR 392539, DOI 10.1007/BF02392160
William W. Boone, Frank B. Cannonito, and Roger C. Lyndon (eds.), Word problems, Studies in Logic and the Foundations of Mathematics, Vol. 71, North-Holland Publishing Co., Amsterdam-London, 1973. Decision problems and the Burnside problem in group theory; An outgrowth of the Conference on Decision Problems in Group Theory, University of California at Irvine, Calif., September 1965; Dedicated to the memory of Hanna Neumann (1914–1971). MR 0346063
Graham Higman, A finitely generated infinite simple group, J. London Math. Soc. 26 (1951), 61–64. MR 38348, DOI 10.1112/jlms/s1-26.1.61
Roger C. Lyndon and Paul E. Schupp, Combinatorial group theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 89, Springer-Verlag, Berlin-New York, 1977. MR 0577064
James McCool, The order problem and the power problem for free product sixth-groups, Glasgow Math. J. 10 (1969), 1–9. MR 241512, DOI 10.1017/S0017089500000458
Michael O. Rabin, Recursive unsolvability of group theoretic problems, Ann. of Math. (2) 67 (1958), 172–194. MR 110743, DOI 10.2307/1969933
Paul E. Schupp, Embeddings into simple groups, J. London Math. Soc. (2) 13 (1976), no. 1, 90–94. MR 401932, DOI 10.1112/jlms/s2-13.1.90