Проблема относительной линейной зависимости для многообразия $\mathfrak{AR}_c$ алгебр Ли

Проблемой относительной линейной зависимости для многообразия $\mathfrak{M}$ алгебр над полем называется следующая алгоритмическая проблема: существует ли алгоритм, который для любой конечно определенной алгебры $L$ из $\mathfrak{M}$ и любой ее конечно порожденной подалгебры $A$ определяет по произвольной конечной системе элементов алгебры $L$, является ли эта система линейно зависимой по модулю, подалгебры $A$. Доказано, что в многообразии $\mathfrak{AR}_c$ алгебр Ли проблема относительной линейной зависимости алгоритмически разрешима.
Библ. 17.