Некоторые алгоритмические вопросы ассоциативных алгебр

Доказана неразрешимость проблемы вхождения для некоторых относительно свободных ассоциативных алгебр. Доказана алгоритмическая нераспознаваемость алгебраической зависимости конечного семейства элементов свободной ассоциативной алгебры. Построен пример конечно определенной ассоциативной алгебры с неразрешимой проблемой равенства, модуль соотношений которой свободен.