Аннотация:
В настоящей работе строится пример алгебры с идеалом определяющих соотношений, заданным конечным базисом Грёбнера, для которой вопрос, является ли данный элемент делителем нуля, алгоритмически неразрешим. Тем самым даётся отрицательный ответ на вопрос, поставленный В. Н. Латышевым.
Образец цитирования:
И. А. Иванов-Погодаев, “Алгебра с конечным базисом Грёбнера и неразрешимой проблемой делителей нуля”, Фундамент. и прикл. матем., 12:8 (2006), 79–96; J. Math. Sci., 152:2 (2008), 191–202
И. А. Иванов-Погодаев, А. Я. Канель-Белов, “Конечно определенная нильполугруппа: комплексы с равномерной эллиптичностью”, Изв. РАН. Сер. матем., 85:6 (2021), 126–163; I. A. Ivanov-Pogodaev, A. Ya. Kanel-Belov, “Finitely presented nilsemigroups: complexes with the property of uniform ellipticity”, Izv. Math., 85:6 (2021), 1146–1180
И. А. Решетников, “Комбинаторика слов, фактординамика и нормальные формы”, Чебышевский сб., 22:2 (2021), 202–235
Alexei Kanel-Belov, Alexei Chilikov, Ilya Ivanov-Pogodaev, Sergey Malev, Eugeny Plotkin, Jie-Tai Yu, Wenchao Zhang, “Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non)Commutative Algebraic Geometry”, Mathematics, 8:10 (2020), 1694
Ilya Ivanov-Pogodaev, Sergey Malev, “Finite Gröbner basis algebras with unsolvable nilpotency problem and zero divisors problem”, Journal of Algebra, 508 (2018), 575