Аннотация:
Доказывается, что число слагаемых в связной сумме произведений сфер, которая, как было показано, является алгоритмически нераспознаваемым многообразием, можно снизить до 14. Отмечается, что многообразие, построенное Марковым в его первой работе о нераспознаваемости, совпадает с указанной прямой суммой (в которой число слагаемых равно числу соотношений в групповых заданиях последовательности Адяна).
Образец цитирования:
М. А. Штанько, “К теореме Маркова об алгоритмической нераспознаваемости многообразий”, Фундамент. и прикл. матем., 11:5 (2005), 257–259; J. Math. Sci., 146:1 (2007), 5622–5623
В. С. Атабекян, Л. Д. Беклемишев, В. С. Губа, И. Г. Лысёнок, А. А. Разборов, А. Л. Семенов, “Вопросы алгебры и математической логики. Научное наследие С. И. Адяна”, УМН, 76:1(457) (2021), 3–30; V. S. Atabekyan, L. D. Beklemishev, V. S. Guba, I. G. Lysenok, A. A. Razborov, A. L. Semenov, “Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian”, Russian Math. Surveys, 76:1 (2021), 1–27
Boris Lishak, Alexander Nabutovsky, “Sizes of spaces of triangulations of 4-manifold and balanced presentations of the trivial group”, J. Topol. Anal., 11:02 (2019), 311
Boris Lishak, Alexander Nabutovsky, “Balanced presentations of the trivial group and four-dimensional geometry”, J. Topol. Anal., 09:01 (2017), 15