Проверка обобщенной гипотезы Мищенко–Фоменко для алгебр Ли малой размерности

В случае алгебр Ли $\mathfrak{g}$ малой размерности $\leq 7$ доказан усиленный вариант обобщенной гипотезы Мищенко—Фоменко, а именно показано, что для любого элемента $a\in \mathfrak{g}^*$ на двойственном пространстве $\mathfrak{g}^*$ существует полный набор полиномов в биинволюции относительно стандартной скобки Пуассона-Ли и скобки с замороженным аргументом, ассоциированной с ковектором $a$.