О старших словах некоторых T-идеалов

В данной работе рассмотрены аналоги базиса Грёбнера для T-идеалов. Построена последовательность нормальных слов T-идеала $T_2^{(3)}$, независимых относительно операций монотонной замены и вставки. Также доказана теорема для алгебр без единицы о вхождении полилинейного тождества вида $w_1[x_1,x_2]w_2$, где $x_1$, $x_2$ — буквы, а $w_1$, $w_2$ — слова, в любой T-идеал, конечно базируемый в смысле отношения включения старших слов.