Проблема равенства и свободные произведения алгебр Ли и ассоциативных алгебр

Построен пример конечноопределенной алгебры Ли с разрешимой проблемой равенства, базис которой нерекурсивен. Получены следствия для свободных произведений алгебр Ли. Изучена финитная аппроксимируемость свободных произведений алгебр Ли. Построен пример конечноопределенной алгебры Ли характеристики $\ne2$ с неразрешимой проблемой равенства, которая разрешима степени $3$. Получены аналоги этих теорем для ассоциативных алгебр.
Библ. 12.