Конечная комбинаторная порождённость метабелева идеала

В работе развивается идея построения системы комбинаторных порождающих $T$-идеала свободной ассоциативной алгебры, которая является аналогом базиса Грёбнера–Ширшова для полиномиального идеала. Доказывается теорема о полилинейных мономах, позволяющая установить конечную комбинаторную порождённость метабелева $T$-идеала.