#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk

18.05.2026, совместное заседание с семинаром С. И. Адяна
А. Л. Таламбуца (МИАН, https://www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах – II (очный доклад)

В докладе будет рассматриваться проблема равенства для рекурсивных заданий минимально бесконечных групп. В первой части (16.03.2026, https://www.mathnet.ru/present49509) было установлено, что для конечно-порождённых групп этого класса проблема равенства алгоритмически разрешима. Теперь будут рассматриваться задания со счётным множеством порождающих. Будет показано, что проблема равенства разрешима для групп, которые не являются локально конечными (т.е. в которых есть конечное множество, порождающее бесконечную подгруппу). Для локально конечных минимально бесконечных групп разрешимость проблемы равенства оказывается зависимой от задания группы и оказывается эквивалентной существованию алгоритма, перечисляющего бесконечное множество слов, задающих различные элементы данной группы.