ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2006, ТОМ 12, ВЫПУСК 8, СТР. 79-96

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

И. А. Иванов-Погодаев

Аннотация

Посмотреть как HTML    Посмотреть как рисунок

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

Полнотекстовая версия статьи в формате PDF (193 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k06/k068/k06803h.htm
Изменения вносились 10 ноября 2006 г.