Кручение в группах внешних автоморфизмов обобщенных групп Баумслага — Солитера

Конечно порожденная группа $G$, которая действует на дереве так, что все вершинные и реберные стабилизаторы — бесконечные циклические группы, называется обобщенной группой Баумслага — Солитера ($GBS$-группой). Известно, что группы внешних автоморфизмов некоторых $GBS$-групп содержат $p$-кручение неограниченного порядка. Доказано, что в этом случае простое число $p$ должно делить целочисленный модуль группы $G$. Этот результат дает ответ на вопрос Левитта.