Аннотация:
Определяется делимое пополнение разрешимой группы Баумслага–Солитера $BS(1,n)$ и доказывается, что при некоторых ограничениях на $n$ элементарная теория этого пополнения алгоритмически разрешима.
Ключевые слова:
группа Баумслага, солитера, разрешимая, элементарная теория.
УДК:
512.5, 510.6
Статья представлена к публикации:С. С. Гончаров Поступило: 26.04.2024 После доработки: 06.06.2024 Принято к публикации: 06.06.2024
