Abstract
LetH=〈a,b;a k=b l〉, wherek,l≧2 andk+l>4. McCool and Pietrowski have proved that any pair of generators forH is Nielsen equivalent to a pairx=a r andy=b s where
In terms ofx andy,H can be presented as
and Zieschang has shown that ifr=1 ors=1, thenH can be defined by a single relation inx andy.
We establish the exact converse of Zieschang's result, namely thatH is not defined by a single relation inx andy unlessr=1 ors=1. The proof is based on an observation of Magnus which associates polynomials with relators and some elementary facts about cyclotomic polynomials.
Similar content being viewed by others
References
Collins, D. J.: Generation and presentation of one-relator groups with centre. Math. Z.157, 63–77 (1977)
Dunwoody, M. J.: Relation modules. Bull. Lond. Math. Soc.4, 151–155 (1972)
Dunwoody, M. J.: The homotopy type of a two-dimensional complex. Bull. Lond. Math. Soc.8, 282–285 (1976)
Dunwoody, M. J., Pietrowski, A.: Presentations of the trefoil group. Canad. Math. Bull.16, 517–520 (1973)
Magnus, W.: Über diskontinuierliche Gruppen mit einer definierenden Relation (Der Freiheitssatz). J. Reine u. Angew. Math.163, 141–164 (1930)
McCool, J., Pietroswki, A.: On free products with amalgation of infinite cyclic groups. J. Algebra18, 377–387 (1971)
McCool, J., Pietrowski, A.: On recognising certain one-relation presentations. Proc. Amer. Math. Soc.36, 31–33 (1972)
Rapaport, E. S.: Note on Nielsen transformation. Proc. Amer. Math. Soc.10, 228–235 (1959)
Weiss, E.: Algebraic number theory. New York: McGraw-Hill 1963
Zieschang, H.: Generators of the free product with amalgamation of two infinite cyclic groups. Math. Ann.227, 195–221 (1977)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Collins, D.J. Presentations of the amalgamated free product of two infinite cycles. Math. Ann. 237, 233–241 (1978). https://doi.org/10.1007/BF01420178
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01420178