Симплификаторные свойства слабо редуцируемых алгебр

В работе построен аналог базиса Гребнера в правых идеалах слабо редуцируемых алгебр. Доказана Diamond лемма, дающая модификацию алгоритма Бухбергера построения этого базиса. Описана структура базиса в главных идеалах слабо редуцируемых алгебр, в частности доказана его конечность и дана оценка на степень элементов. Построена система порождающих модуля сизигий, как следствие получен критерий того, что элемент $f$ — делитель нуля в слабо редуцируемой алгебре.