In a group with no free subsemigroup on two generators, the conjugates of one element by the powers of another generate a finitely generated subgroup

Initializing...

In a group with no free subsemigroup on two generators, the conjugates of one element by the powers of another generate a finitely generated subgroup · Prove2Me