Hostname: page-component-788cddb947-xdx58 Total loading time: 0 Render date: 2024-10-19T08:42:21.183Z Has data issue: false hasContentIssue false
  • English
  • Français

The computability of group constructions II

Published online by Cambridge University Press:  17 April 2009

R.W. Gatterdam
R.W. Gatterdam
Affiliation:
Department of Mathematics, University of Wisconsin – Parkside, Kenosha, Wisconsin, USA.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Finitely presented groups having word, problem solvable by functions in the relativized Grzegorczyk hierarchy, {En(A)| n ε N, A ⊂ N (N the natural numbers)} are studied. Basically the class E3 consists of the elementary functions of Kalmar and En+1 is obtained from En by unbounded recursion. The relativization En(A) is obtained by adjoining the characteristic function of A to the class En.

It is shown that the Higman construction embedding, a finitely generated group with a recursively enumerable set of relations into a finitely presented group, preserves the computational level of the word problem with respect to the relativized Grzegorczyk hierarchy. As a corollary it is shown that for every n ≥ 4 and A ⊂ N recursively enumerable there exists a finitely presented group with word problem solvable at level En(A) but not En-1(A). In particular, there exist finitely presented groups with word problem solvable at level En but not En-1 for n ≥ 4, answering a question of Cannonito.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 8 , Issue 1 , February 1973 , pp. 27 - 60
Copyright
Copyright © Australian Mathematical Society 1973

References

[0]Cannonito, F.B. and Gatterdam, R.W., “The computability of group constructions, Part I”, Word problems (Proceedings of the Irvine Conference on Decision Problems in Group Theory. Horth Holland, Amsterdam, in press).Google Scholar
[12]Clapham, C.R.J., “Finitely presented groups with word problems of arbitrary degrees of insolubility”, Proc. London Math. Soc. (3) 14 (1964), 633–676.Google Scholar
[13]Clapham, C.R.J., “An embedding theorem for finitely generated groups”, Proc. London Math. Soc. (3) 17 (1967), 419–430.Google Scholar
[14]Gatterdam, R.W., “The Higman theorem for primitive recursive groups -a preliminary report”, Word problems (Proceedings of the Irvine Conference on Decision Problems in Group Theory. North Holland, Amsterdam, in press).Google Scholar
[15]Shoenfield, Joseph R., Mathematical logic (Addison Wesley, Reading, Massachusetts; London; Don Mills, Ontario; 1967).Google Scholar