Hostname: page-component-77c89778f8-gvh9x Total loading time: 0 Render date: 2024-07-19T18:50:18.806Z Has data issue: false hasContentIssue false
  • English
  • Français

The recursive equivalence type of a decomposition of an ω-group: The RET of a decomposition

Published online by Cambridge University Press:  09 April 2009

C. H. Applebaum
C. H. Applebaum
Affiliation:
Bowling Green State University Bowling Green, Ohio, U.S.A.
Rights & Permissions [Opens in a new window]

Extract

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.

Let ε, Λ, Λ*, ΛR stand for the set of non-negative integers, isols, isolic integers and regressive isols respectively, and let P(τ) be the ω-group of Gödel numbers of permutations of the set τ ε ε which move only finitely many elements of τ. The concept of an ω-group was studied by Hassett [5]. He proved in P12 of [5] that for an isolated set τ, the decomposition of P(τ) into conjugacy sets is a gc-decomposition if and only if τ is regressive. For the finite symmetric group on n elements, Sn it is known that the order of the conjugacy class is p(n), where p(n) is the partition function. The author shows in this paper, using a result of Barback [1], that if pΛ(T) is Nerode's canonical extension of p(n) to Λ and Req (τ) = T, then pΛ(T) = Req Cτ, where Cτ is the decomposition of P(τ) into conjugacy sets. The reader is assumed to be familiar with the contents of [2], [4] and [5].

Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 15 , Issue 2 , March 1973 , pp. 172 - 176
Copyright
Copyright © Australian Mathematical Society 1973

References

[1]Barback, J., ‘Recursive functions and regressive isols’, Math. Scand. 15 (1964), 29–42.CrossRefGoogle Scholar
[2]Dekker, J. C. E., ‘Good choice sets’, Annali della Scuola Normale Superiore di Pisa, Serie III, 20 (1966), 367–393.Google Scholar
[3]Dekker, J. C. E., ‘Infinite series of isols’, Proceedings of the Symposium on Recursive Function Theory, Amer. Math. Soc., Providence, R.I. (1962), 77–96.CrossRefGoogle Scholar
[4]Dekker, J. C. and Myhill, J., ‘Recursive equivalence types’, Univ. California Publ. Math. (N. S.) 3 (1960), 67–214.Google Scholar
[5]Hassett, M. J., ‘Recursive equivalence types and groups’, J. Symbolic Logic 34 (1969), 13–20.CrossRefGoogle Scholar
[6]Nerode, A., ‘Extension to isols’, Ann. of Math. 73 (1961), 362–403.CrossRefGoogle Scholar
[7]Niven, I. and Zuckerman, H., An introduction to the theory of numbers (John Wiley and Sons, New York, 1966).Google Scholar
[8]Scott, W. R., Group theory (Prentice Hall, Inc., New Jersey 1964).Google Scholar