Группы Батлера с одним $\tau$-адическим соотношением

Доказано, что $\tau$-адическое соотношение, характеризующее батлеровскую группу, является кусочно-рациональным.
Библиография: 4 названия.