“…The Baumslag -Solitar groups BS(m, n), 1 m n, are given by the presentation a, b | a −1 b m a = b n . These groups have served as a proving ground for many new ideas in combinatorial and geometric group theory (see, for instance, [2,5,6]). The only solvable groups in this class are groups BS(1, n); the groups BS(m, n) with 1 < m n contain a free nonabelian group.…”