Базисы Гребнера–Ширшова для алгебр Рота–Бакстера

Доказана лемма о композиции – бриллиантовая лемма для ассоциативных алгебр Рота–Бакстера (без единицы над полем характеристики нуль). В качестве следствия получено другое доказательство того, что слова Картье образуют линейный базис свободной коммутативной алгебры Рота–Бакстера. Показано также, что каждая счетно порожденная алгебра Рота–Бакстера вложима в 2-порожденную алгебру Рота–Бакстера.