The two-generator subgroups of one-relator groups with torsion

Author:
Stephen J. Pride

Journal:
Trans. Amer. Math. Soc. **234** (1977), 483-496

MSC:
Primary 20F05; Secondary 20F10

DOI:
https://doi.org/10.1090/S0002-9947-1977-0466325-0

MathSciNet review:
0466325

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The main aim of this paper is to show that every two-generator subgroup of any one-relator group with torsion is either a free product of cyclic groups or is a one-relator group with torsion. This result is proved by using techniques for reducing pairs of elements in certain *HNN* groups. These techniques not only apply to one-relator groups with torsion but also to a large number of other groups, and some additional applications of the techniques are included in the paper. In particular, examples are given to show that the following result of K. Honda is no longer true for infinite groups: if *g* is a commutator in a *finite* group *G* then every generator of is a commutator in *G*. This confirms a conjecture of B. H. Neumann.

**[1]**K. Honda,*On commutators infinite groups*, Comment. Math. Univ. St. Paul**2**(1953), 9-12. MR**15**, 286. MR**0057877 (15:286c)****[2]**A. Karrass and D. Solitar,*Subgroups of HNN groups and groups with one defining relation*, Canad. J. Math.**23**(1971), 627-643. MR**46**#260. MR**0301102 (46:260)****[3]**W. Magnus, A. Karrass and D. Solitar,*Combinatorial group theory*:*Presentations of groups in terms of generators and relations*, Pure and Appl. Math., Vol. 13, Interscience, New York, 1966. MR**34**#7617. MR**0207802 (34:7617)****[4]**S. J. Pride,*On the Nielsen equivalence of pairs of generators in certain HNN groups*, Proc. Second. Internat. Conf. on Theory of Groups (Australian Nat. Univ., Canberra, 1973), Lecture Notes in Math., vol. 372, Springer-Verlag, Berlin and New York, 1974, pp. 580-588. MR**50**#13288. MR**0360841 (50:13288)****[5]**-,*On the generation of one-relator groups*, Trans. Amer. Math. Soc.**210**(1975), 331-364. MR**52**#3341. MR**0382458 (52:3341)****[6]**-,*Certain subgroups of certain one-relator groups*, Math. Z.**146**(1976), 1-6. MR**0393253 (52:14063)****[7]**-,*The isomorphism problem for two-generator one-relator groups with torsion is solvable*, Trans. Amer. Math. Soc.**227**(1977), 109-139. MR**0430085 (55:3092)****[8]**P. E. Schupp,*Some reflections on HNN extensions*, Proc. Second Internat. Conf. on Theory of Groups (Australian Nat. Univ., Canberra, 1973), Lecture Notes in Math., vol. 372, Springer-Verlag, Berlin and New York, 1974, pp. 611-632. MR**50**#10085. MR**0357617 (50:10085)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
20F05,
20F10

Retrieve articles in all journals with MSC: 20F05, 20F10

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1977-0466325-0

Article copyright:
© Copyright 1977
American Mathematical Society