Об аппроксимируемости конечноопределенных алгебр

Доказано, что любая конечноопределенная (неассоциативная) алгебра аппроксимируется конечномерными относительно вхождения в конечнопорожденную подалгебру.
Отсюда вытекает известная теорема А. И. Ширшова о том, что в конечноопределенной алгебре разрешима проблема вхождения. (Сибирский математический журнал, 1962, т. 3, № 1, с. 132–137).
Показано, что финитная аппроксимируемость относительно вхождения в конечнопорожденные подалгебры наследуется свободными произведениями.
Библ. 9.