Профиль » Публикация

Аннотация В данной работе рассмотрены аналоги базиса Грёбнера для T-идеалов. Построена последовательность нормальных слов T-идеала T2(3), независимых относительно операций монотонной замены и вставки. Также доказана теорема для алгебр без единицы о вхождении полилинейного тождества вида w1[x1,x2]w2, где x1, x2 -- буквы, а w1, w2 -- слова, в любой T-идеал, конечно базируемый в смысле отношения включения старших слов.