ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1996, ТОМ 2, ВЫПУСК 2, СТР. 501-509

Базисы Гребнера и когерентность мономиальной ассоциативной алгебры

Д. И. Пионтковский

Аннотация

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

Пусть $A$ -- ассоциативная алгебра, определенная конечным числом мономиальных соотношений. В настоящей работе доказывается, что конечно порожденный односторонний идеал в $A$ обладает конечным базисом Гребнера. Это позволяет предъявить алгоритм построения базиса Гребнера идеала, а также вычислить порождающие модуля сизигий для произвольной конечной системы элементов алгебры $A$. В частности, модуль сизигий всегда конечно порожден, из чего следует, что алгебра $A$ когерентна.

Постскрипт статьи (53Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/96/962/96207h.htm
Изменения вносились 1 апреля 1999