Sciact
  • EN
  • RU

Undecidability of the submonoid membership problem for free nilpotent group of class $l\geqslant 2$ of sufficiently large rank Научная публикация

Журнал Izvestiya Mathematics
ISSN: 1064-5632
Вых. Данные Год: 2023, Том: 87, Номер: 4, Страницы: 798-816 Страниц : 19 DOI: 10.4213/im9342e
Ключевые слова submonoid membership problem, nilpotent group, Hilbert’s tenth problem, interpretability of equations in groups
Авторы Roman'kov Vitalii Anatol'evich 1
Организации
1 Omsk Branch of Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Информация о финансировании (1)

1 Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН». FWNF-2022-0003

Реферат: An answer is given to the question of M. Lohrey and B. Steinberg on decidability of the submonoid membership problem for a finitely generated nilpotent group. Namely, a finitely generated submonoid of a free nilpotent group of class 2 of sufficiently large rank r is constructed, for which the membership problem is algorithmically undecidable. This implies the existence of a submonoid with similar property in any free nilpotent group of class l ⩾ 2 of rank r. The proof is based on the undecidability of Hilbert’s tenth problem.
Библиографическая ссылка: Roman'kov V.A.
Undecidability of the submonoid membership problem for free nilpotent group of class $l\geqslant 2$ of sufficiently large rank
Izvestiya Mathematics. 2023. V.87. N4. P.798-816. DOI: 10.4213/im9342e WOS Scopus РИНЦ OpenAlex
Оригинальная: Романьков В.А.
Неразрешимость проблемы вхождения в подмоноид свободной нильпотентной группы ступени l≥2 достаточно большого ранга
Известия Российской академии наук. Серия математическая. 2023. Т.87. №4. С.166–185. DOI: 10.4213/im9342 РИНЦ OpenAlex
Даты:
Поступила в редакцию: 22 мар. 2023 г.
Опубликована в печати: 23 окт. 2023 г.
Опубликована online: 23 окт. 2023 г.
Идентификаторы БД:
Web of science: WOS:001088986700005
Scopus: 2-s2.0-85174948971
РИНЦ: 63568626
OpenAlex: W4387757270
Цитирование в БД:
БД Цитирований
OpenAlex 2
Scopus 1
Web of science 3
Альметрики: