Grushko-like theorems for a class of finitely presented semigroups
HTML articles powered by AMS MathViewer
- by Ann Yasuhara
- Proc. Amer. Math. Soc. 42 (1974), 359-364
- DOI: https://doi.org/10.1090/S0002-9939-1974-0335665-0
- PDF | Request permission
Abstract:
An analogue of Grushko’s theorem and the unsolvability of the isomorphism problem hold for semigroups in the class of all finitely presented semigroups that have a presentation in which there is no defining relation of the form $1 \Leftrightarrow A$; this class is not recursive but is recursively enumerable.References
- A. H. Clifford and G. B. Preston, The algebraic theory of semigroups. Vol. II, Mathematical Surveys, No. 7, American Mathematical Society, Providence, R.I., 1967. MR 0218472
- Martin Davis, Computability and unsolvability, McGraw-Hill Series in Information Processing and Computers, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1958. MR 0124208 A. G. Kuroš, Theory of groups, GITTL, Moscow, 1953; English transl., Vol II, Chelsea, New York, 1960. MR 15, 501; 22 #727.
- A. A. Markov, Theory of algorithms, Published for The National Science Foundation, Washington, D.C. and The Department of Commerce by The Israel Program for Scientific Translations, Jerusalem, 1961. Translated by Jacques J. Schorr-Kon and PST Staff. MR 0132690
- Wilhelm Magnus, Abraham Karrass, and Donald Solitar, Combinatorial group theory: Presentations of groups in terms of generators and relations, Interscience Publishers [John Wiley & Sons], New York-London-Sydney, 1966. MR 0207802 A. Mostowski, Review of A. A. Markov’s impossibility of algorithms for recognizing some properties of associative systems, J. Symbolic Logic 17 (1952), p. 151.
- Michael O. Rabin, Recursive unsolvability of group theoretic problems, Ann. of Math. (2) 67 (1958), 172–194. MR 110743, DOI 10.2307/1969933
- Ann Yasuhara, Recursive function theory and logic, Computer Science and Applied Mathematics, Academic Press, New York-London, 1971. MR 0313027 —, Some non-recursive classes of semi-groups with solvable word problem, Z. Math. Logik Grundlagen Math. (to appear).
Bibliographic Information
- © Copyright 1974 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 42 (1974), 359-364
- MSC: Primary 20M05
- DOI: https://doi.org/10.1090/S0002-9939-1974-0335665-0
- MathSciNet review: 0335665