Алгебра с конечным базисом Грёбнера и неразрешимой проблемой делителей нуля

В настоящей работе строится пример алгебры с идеалом определяющих соотношений, заданным конечным базисом Грёбнера, для которой вопрос, является ли данный элемент делителем нуля, алгоритмически неразрешим. Тем самым даётся отрицательный ответ на вопрос, поставленный В. Н. Латышевым.