An algorithm for stem products and one-relator groups

Abstract

We give an algorithm which for a given set of generators can decide whether a stem product of infinite cyclic groups is a one-relator group. We also generalize this to the case of one-relator products of groups.1991 Mathematics subject classification: 20F05.

FREE GROUP ROOTS OF akbl AND [ ak,b]

“…(A more efficient algorithm has been found (independently) by V. Metaftsis [11]. He uses the Bass-Serre theory of groups acting on trees to find a basis of F directly.…”