Skip to Main Content

Proceedings of the American Mathematical Society

Published by the American Mathematical Society since 1950, Proceedings of the American Mathematical Society is devoted to shorter research articles in all areas of pure and applied mathematics.

ISSN 1088-6826 (online) ISSN 0002-9939 (print)

The 2020 MCQ for Proceedings of the American Mathematical Society is 0.85.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Grushko-like theorems for a class of finitely presented semigroups
HTML articles powered by AMS MathViewer

by Ann Yasuhara PDF
Proc. Amer. Math. Soc. 42 (1974), 359-364 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).
Similar Articles
  • Retrieve articles in Proceedings of the American Mathematical Society with MSC: 20M05
  • Retrieve articles in all journals with MSC: 20M05
Additional 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