A quick test for nonisomorphism of one-relator groups

Author:
K. J. Horadam

Journal:
Proc. Amer. Math. Soc. **81** (1981), 195-200

MSC:
Primary 20F05; Secondary 03D40, 20F10, 20J05

MathSciNet review:
593456

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A sequence of integers is read off from the presentation of a finitely generated torsion-free one-relator group with nontrivial second integral homology, without recourse to group-theoretic manipulations. This test sequence is derived from the cup coproduct on the coring of the integral homology module of the group, and reflects information about the group's second lower central factor group.

Test sequences differ only if the corresponding groups are nonisomorphic. The test process can be generalised to any one-relator group with nontrivial second integral homology.

**[1]**Gilbert Baumslag,*Some problems on one-relator groups*, Proceedings of the Second International Conference on the Theory of Groups (Australian Nat. Univ., Canberra, 1973) Springer, Berlin, 1974, pp. 75–81. Lecture Notes in Math., Vol. 372. MR**0364463****[2]**Ralph H. Fox,*Free differential calculus. I. Derivation in the free group ring*, Ann. of Math. (2)**57**(1953), 547–560. MR**0053938****[3]**K. J. Horadam,*The diagonal comultiplication on homology*, J. Pure Appl. Algebra**20**(1981), no. 2, 165–172. MR**601682**, 10.1016/0022-4049(81)90090-6**[4]**A. G. Kurosh,*The theory of groups. Vol. II*, Chelsea Publishing Company, New York, N.Y., 1956. Translated from the Russian and edited by K. A. Hirsch. MR**0080089****[5]**Morris Newman,*Integral matrices*, Academic Press, New York-London, 1972. Pure and Applied Mathematics, Vol. 45. MR**0340283****[6]**Wilhelm Magnus, Abraham Karrass, and Donald Solitar,*Combinatorial group theory*, Second revised edition, Dover Publications, Inc., New York, 1976. Presentations of groups in terms of generators and relations. MR**0422434****[7]**Stephen J. Pride,*The isomorphism problem for two-generator one-relator groups with torsion is solvable*, Trans. Amer. Math. Soc.**227**(1977), 109–139. MR**0430085**, 10.1090/S0002-9947-1977-0430085-X

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
20F05,
03D40,
20F10,
20J05

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

Additional Information

DOI:
http://dx.doi.org/10.1090/S0002-9939-1981-0593456-3

Keywords:
One-relator group,
isomorphism problem,
lower central sequence,
integral homology module,
cup coproduct,
Fox derivative,
invariant factors of matrix

Article copyright:
© Copyright 1981
American Mathematical Society