Hostname: page-component-7c8c6479df-ws8qp Total loading time: 0 Render date: 2024-03-28T08:43:32.863Z Has data issue: false hasContentIssue false

The isomorphism problem for a class of para-free groups

Published online by Cambridge University Press:  20 January 2009

Benjamin Fine
Affiliation:
Department of Mathematics, Fairfield University, Fairfield, Connecticut 06430, U.S.A.
Gerhard Rosenberger
Affiliation:
Fachbereich Mathematik Universitat, Dortmund, 44221 Dortmund, Federal Republic of Germany
Michael Stille
Affiliation:
Fachbereich Mathematik Universitat, Dortmund, 44221 Dortmund, Federal Republic of Germany
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.

In 1962 Gilbert Baumslag introduced the class of groups Gi, j for natural numbers i, j, defined by the presentations Gi, j = < a, b, t; a−1 = [bi, a] [bj, t] >. This class is of special interest since the groups are para-free, that is they share many properties with the free group F of rank 2.

Magnus and Chandler in their History of Combinatorial Group Theory mention the class Gi, j to demonstrate the difficulty of the isomorphism problem for torsion-free one-relator groups. They remark that as of 1980 there was no proof showing that any of the groups Gi, j are non-isomorphic. S. Liriano in 1993 using representations of Gi, j into PSL(2, pk), k ∈ ℕ, showed that G1,1 and G30,30 are non-isomorphic. In this paper we extend these results to prove that the isomorphism problem for Gi, 1, i ∈ ℕ is solvable, that is it can be decided algorithmically in finitely many steps whether or not an arbitrary one-relator group is isomorphic to Gi, 1. Further we show that Gi, 1G1, 1 for all i > 1 and if i, k are primes then Gi, 1Gk, 1 if and only if i = k.

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 1997

References

REFERENCES

1.Baumslag, G., A survey of groups with a single defining relation, in Proceedings of Groups St Andrews 1985 (1986), 3058.Google Scholar
2.Baumslag, G., Groups with the same lower central series as a relatively free group. II. Properties, Trans. Amer. Math. Soc. 142 (1969), 507538.CrossRefGoogle Scholar
3.Chandler, B. and Magnus, W., The History of Combinatorial Group Theory (Springer-Verlag, 1982).CrossRefGoogle Scholar
4.Fine, B., Rohl, F. and Rosenberger, G., Two generator subgroups of certain HNN groups, Contemp. Math. 109 (1990), 1923.CrossRefGoogle Scholar
5.Fine, B., Rohl, F. and Rosenberger, G., On HNN groups whose three-generator subgroups are free, in Infinite Groups and Group Rings (World Scientific, 1993), 1337.Google Scholar
6.Kalia, R. N. and Rosenberger, G., Uber Untergruppen ebener discontinuelicher Gruppen, Contemp. Math. 33 (1984), 308327.CrossRefGoogle Scholar
7.Liriano, S., The non-isomorphism of two one-relator groups is established (Ph.D. thesis, New York 1993).Google Scholar
8.Lyndon, R. C. and Schupp, P. E., Combinatorial Group Theory (Springer-Verlag 1977).Google Scholar
9.McCool, J., Some finitely presented subgroups of the automorphism group of a free group, J. Algebra 35 (1975), 205273.CrossRefGoogle Scholar
10.Peczynski, N. and Reiwer, W., On cancellations in HNN groups, Math. Z. 158 (1978), 7986.CrossRefGoogle Scholar
11.Peczynski, N., Rosenberger, G. and Zieschang, H., Uber Erzeugende ebener diskontinuier-licher Gruppen, Invent. Math. 29 (1975), 161180.CrossRefGoogle Scholar
12.Rosenberger, G., Gleichungen in freien Produkten mil Amalgam, Math. Z. 173 (1980), 112.CrossRefGoogle Scholar
13.Rosenberger, G., Zum Rang und Isomorphieproblem fur freie Produkte mit Amalgam (Habilitationsschrift, Hamburg 1974).Google Scholar
14.Rosenberger, G., On one-relator groups that are free products of two free groups with cyclic amalgamation, in Groups St Andrews 1981 (1983), 328344.Google Scholar
15.Zieschang, H., Uber die Nielsensche Kurzungsmethode in freien Produkten mit Amalgam, Invent. Math. 10 (1970), 437.CrossRefGoogle Scholar