Published online by Cambridge University Press: 09 April 2009
Let S be a subset of a group G such that S−1 = S. Denote by gr (S) the subgroup of G generated by S, and by ls(g) the length of an element g ∈ gr(S) relative to the set S. Suppose that V is a finite subset of a free group F of countable rank such that the verbal subgroup V (F) is a proper subgroup of F. For an arbitrary group G, denote by (G) the set of values in G of all the words from the set V. In the present paper, for amalgamated products G = A *HB such that A ≠ H and the number of double cosets of B by H is at least three, the infiniteness of the set {ls(g) | g ∈ gr(S)}, where S = (G) ∪ (G)−1, is estabilished.