Метод базисов Грёбнера—Ширшова для вертексных алгебр

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