Hostname: page-component-77c89778f8-sh8wx Total loading time: 0 Render date: 2024-07-16T10:30:44.714Z Has data issue: false hasContentIssue false

Embedding Theorems for Countable Groups

Published online by Cambridge University Press:  20 November 2018

James McCool*
Affiliation:
University of Toronto, Toronto, Ontario
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.

A group P is said to be a CEF-group if, for every countable group G, there is a factor group of P which contains a subgroup isomorphic to G. It was shown by Higman, Neumann, and Neumann [5] that the free group of rank two is a CEF-group. More recently, Levin [6] proved that if P is the free product of two cyclic groups, not both of order two, then P is a CEF-group. Later, Hall [3] gave an alternative proof of Levin's result.

In this paper we give a new proof of Levin's result (Theorem 2). The proof given yields information about the factor group H of P in which a given countable group G is embedded; for example, if G is given by a recursive presentation (this concept is denned in [4]), then a recursive presentation is obtained for H, and certain decision problems (in particular, the word problem) are solvable for the recursive presentation obtained for H if and only if they are solvable for the given recursive presentation of G.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1970

References

1. Britton, J. L., Solution of the word problem for certain types of groups. I, Proc. Glasgow Math. Assoc. 8 (1956), 4554.Google Scholar
2. Britton, J. L., Solution of the word problem for certain types of groups. II, Proc. Glasgow Math. Assoc. 3 (1956), 6890.Google Scholar
3. Hall, P., Embedding theorems for countable groups, p. 3 in Some problems and results in the theory of groups. II (Notes of a mini-conference held in Oxford, August 12th and 13th, 1966), Oxford, December, 1966.Google Scholar
4. Higman, G., Subgroups of finitely presented groups, Proc. Roy. Soc. Ser. A 262 (1961), 455475.Google Scholar
5. Higman, G., Neumann, B. H., and Hanna, Neumann, Embedding theorems for groups, J. London Math. Soc. 24 (1949), 247254.Google Scholar
6. Levin, F., Factor groups of the modular group, J. London Math. Soc. 43 (1968), 195203.Google Scholar
7. McCool, J., Elements of finite order in free product sixth-groups, Glasgow Math. J. 9 (1968), 128145.Google Scholar
8. McCool, J., The order problem and the power problem in free product sixth-groups, Glasgow Math. J. 10 (1969), 19.Google Scholar
9. Miller, C. F., III and Schupp, P. E., Embeddings into Hopfian groups, Notices Amer. Math. Soc. 16 (1969), 654.Google Scholar