Hostname: page-component-848d4c4894-sjtt6 Total loading time: 0 Render date: 2024-07-01T09:23:24.633Z Has data issue: false hasContentIssue false

An extension of the Freiheitssatz

Published online by Cambridge University Press:  24 October 2008

B. Baumslag
Affiliation:
Imperial College, London, and University of Glasgow
S. J. Pride
Affiliation:
Imperial College, London, and University of Glasgow

Extract

Let I be a set and let H(i) (iI) be non-trivial groups. If J is a subset of I, we denote the free product of the H(j) (jJ) by H(J). We denote H(I) simply by H. Let R be a cyclically reduced element of Hof length at least two, and let

Let μ: HG be the natural homomorphism. If J is a subset of I such that RH(J), we call H(J) a Magnus subgroup, or occasionally the J-Magnus subgroup (of H with respect to R). We will say that the Freiheitssatz holds if μ| M is an injection for each Magnus subgroup M. Magnus (4) showed that the Freiheitssatz holds if the H(i) are free, and this was extended by Pride (5) to the case where the H(i) are locally fully residually free. In this paper we prove Theorem 1. The Freiheitssatz holds if the H(i) are locally residually free.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1981

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

(1)Baumslag, B.Residually free groups. Proc. London Math. Soc. 17 (1967), 402418.CrossRefGoogle Scholar
(2)Hoare, A. H. M., Karrass, A. and Solitar, D.Subgroups of infinite index in Fuchsian groups. Math. Z. 125 (1973), 5969.CrossRefGoogle Scholar
(3)Lyndon, R. and Schupp, P. E.Combinatorial group theory (Springer-Verlag, Berlin, Heidelberg, New York, 1977).Google Scholar
(4)Magnus, W.Über diskontinuierliche Gruppen mit einer definierenden Relation (Der Freiheitssatz). J. reine angew. Math. 163 (1930), 141165.CrossRefGoogle Scholar
(5)Pride, S. J.One-relator quotients of free products. Math. Proc. Cambridge Philos. Soc. 88 (1980), 233243.CrossRefGoogle Scholar